Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

Local rings of minimal length

This paper deals with local rings R possessing an m-canonical ideal ω, R⊆ω. In particular those rings such that the length l_R(ω/R) is as short as possible are studied. The same notion for one-dimensional local Cohen-Macaulay rings was introduced and studied with the name of Almost Gorenstein. Some necessary conditions, that become also sufficient under additional hypotheses, are given and examples are provided also in the non-Noetherian case. The case when the maximal ideal of R is stable is also studied.     

The Dual Hilbert–Samuel Function of a Maximal Cohen-Macaulay Module

Let R be a Cohen–Macaulay local ring with a canonical module ω _R . Let I be an 𝔪-primary ideal of R and M, a maximal Cohen–Macaulay R-module. We call the function n??(Hom _R (M, ω _R /I ⁿ⁺¹ω _R )) the dual Hilbert–Samuel function of M with respect to I . By a result of Theodorescu, this function is of polynomial type. We study its first two normalized coefficients. In particular, we analyze the case when R is Gorenstein.     

Topological dynamical systems associated to II1-factors

If N⊂Rω is a separable II₁-factor, the space Hom(N,Rω) of unitary equivalence classes of unital ?-homomorphisms N→Rω is shown to have a surprisingly rich structure. If N is not hyperfinite, Hom(N,Rω) is an infinite-dimensional, complete, metrizable topological space with convex-like structure, and the outer automorphism group Out(N) acts on it by “affine” homeomorphisms. (If N≅R, then Hom(N,Rω) is just a point.) Property (T) is reflected in the extreme points – they?re discrete in this case. For certain free products N=Σ?R, every countable group acts nontrivially on Hom(N,Rω), and we show the extreme points are not discrete for these examples. Finally, we prove that the dynamical systems associated to free group factors are isomorphic.     

Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.     

The stationary set splitting game

The stationary set splitting game is a game of perfect information of length ω₁ between two players, unsplit and split, in which unsplit chooses stationarily many countable ordinals and split tries to continuously divide them into two stationary pieces. We show that it is possible in ZFC to force a winning strategy for either player, or for neither. This gives a new counterexample to Σ²₂ maximality with a predicate for the nonstationary ideal on ω₁, and an example of a consistently undetermined game of length ω₁ with payoff de.nable in the second‐order monadic logic of order. We also show that the determinacy of the game is consistent with Martin's Axiom but not Martin's Maximum. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

PRINCIPAL IDEAL DOMAINS AND EUCLIDEAN DOMAINS HAVING 1 AS THE ONLY UNIT

We consider a question raised by Mowaffaq Hajja about the structure of a principal ideal domain R having the property that 1 is the only unit of R. We also examine this unit condition for the case where R is a Euclidean domain. We prove that a finitely generated Euclidean domain having 1 as its only unit is isomorphic to the field with two elements F ₂ or to the polynomial ring F ₂[X]. On the other hand, we establish existence of finitely generated principal ideal domains R such that 1 is the only unit of R and R is not isomorphic to F ₂ or to F ₂[X]. We also construct principal ideal domains R of infinite transcendence degree over F ₂ with the property that 1 is the only unit of R.

     

Fuzzy system reliability analysis by the use of Tω (the weakest t-norm) on fuzzy number arithmetic operations

In general, the sup-min convolution has been used for fuzzy arithmetic to analyze fuzzy system reliability, where the reliability of each system component is represented by fuzzy numbers. It is well known that T_ω-based addition preserves the shape of L-R type fuzzy numbers. In this paper, we show T_ω-based multiplication also preserves the shape of L-R type fuzzy numbers. We then apply T_ω-based arithmetic operations to fuzzy system reliability analysis. In fact, we show that we can simplify fuzzy arithmetic operations and even get the exact solutions for L-R type fuzzy system reliability, while others [Singer, Fuzzy Sets Syst. 34 (1990) 145; Cheng and Mon, Fuzzy Sets Syst. 56 (1993) 29; Chen, Fuzzy Sets Syst. 64 (1994) 31] have got the approximate solutions using sup-min convolution for evaluating fuzzy system reliability.     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

Absolute E-rings

A ring R with 1 is called an E-ring if EndZR is ring-isomorphic to R under the canonical homomorphism taking the value 1σ for any σ∈EndZR. Moreover R is an absolute E-ring if it remains an E-ring in every generic extension of the universe. E-rings are an important tool for algebraic topology as explained in the introduction. The existence of an E-ring R of each cardinality of the form λℵ₀ was shown by Dugas, Mader and Vinsonhaler (1987) [9]. We want to show the existence of absolute E-rings. It turns out that there is a precise cardinal-barrier κ(ω) for this problem: (The cardinal κ(ω) is the first ω-Erd?s cardinal defined in the introduction. It is a relative of measurable cardinals.) We will construct absolute E-rings of any size λ<κ(ω). But there are no absolute E-rings of cardinality ?κ(ω). The non-existence of huge, absolute E-rings ?κ(ω) follows from a recent paper by Herden and Shelah (2009) [24] and the construction of absolute E-rings R is based on an old result by Shelah (1982) [31] where families of absolute, rigid colored trees (with no automorphism between any distinct members) are constructed. We plant these trees into our potential E-rings with the aim to prevent unwanted endomorphisms of their additive group to survive. Endomorphisms will recognize the trees which will have branches infinitely often divisible by primes. Our main result provides the existence of absolute E-rings for all infinite cardinals λ<κ(ω), i.e. these E-rings remain E-rings in all generic extensions of the universe (e.g. using forcing arguments). Indeed all previously known E-rings (Dugas, Mader and Vinsonhaler, 1987 [9]; Göbel and Trlifaj, 2006 [23]) of cardinality ?ℵ₀² have a free additive group R⁺ in some extended universe, thus are no longer E-rings, as explained in the introduction. Our construction also fills all cardinal-gaps of the earlier constructions (which have only sizes λℵ₀). These E-rings are domains and as a by-product we obtain the existence of absolutely indecomposable abelian groups, compare Göbel and Shelah (2007) [22].     

Proper and piecewise proper families of reals

I introduced the notions of proper and piecewise proper families of reals to make progress on a long standing open question in the field of models of Peano Arithmetic [5]. A family of reals is proper if it is arithmetically closed and its quotient Boolean algebra modulo the ideal of finite sets is a proper poset. A family of reals is piecewise proper if it is the union of a chain of proper families each of whom has size ≤ ω₁. Here, I investigate the question of the existence of proper and piecewise proper families of reals of different cardinalities. I show that it is consistent relative to ZFC to have continuum many proper families of cardinality ω₁ and continuum many piecewise proper families of cardinality ω₂ (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

Gelfand Factor Rings and Weak Zariski Topologies

Let R be any ring with identity. Let N(R) (resp. J(R)) denote the prime radical (resp. Jacobson radical) of R, and let Spec _r (R) (resp. Spec _l (R), Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all left prime ideals, all maximal right ideals, all right primitive ideals) of R. In this article, we study the relationships among various ring-theoretic properties and topological conditions on Spec _r (R) (with weak Zariski topology). The following results are obtained: (1) R/N(R) is a Gelfand ring if and only if Spec _r (R) is a normal space if and only if Spec _l (R) is a normal space; (2) R/J(R) is a Gelfand ring if and only if every right prime ideal containing J(R) is contained in a unique maximal right ideal.     

On n-Absorbing Ideals of Commutative Rings

Let R be a commutative ring with 1 ≠ 0 and n a positive integer. In this article, we study two generalizations of a prime ideal. A proper ideal I of R is called an n-absorbing (resp., strongly n-absorbing) ideal if whenever x ₁…x _n+1 ∈ I for x ₁,…, x _n+1 ∈ R (resp., I ₁…I _n+1 ? I for ideals I ₁,…, I _n+1 of R), then there are n of the x _i 's (resp., n of the I _i 's) whose product is in I. We investigate n-absorbing and strongly n-absorbing ideals, and we conjecture that these two concepts are equivalent. In particular, we study the stability of n-absorbing ideals with respect to various ring-theoretic constructions and study n-absorbing ideals in several classes of commutative rings. For example, in a Noetherian ring every proper ideal is an n-absorbing ideal for some positive integer n, and in a Prüfer domain, an ideal is an n-absorbing ideal for some positive integer n if and only if it is a product of prime ideals.     

Priifer domains with class group generated by the classes of the invertible maximal ideals

In [2] and [3] we described the double coset decomposition for the modular group SL_r+s (Z) with respect to the congruence subgroup Р _r,s (m) for any positive integer m. In the present paper we obtain the double coset decomposition of SL_r+s (R) with respect to Р _r,s (I). Where R is a commutative ring with unioty 1, and I is a nonzero ideal in R such that R/I is the direct sum of local principal ideal rings; thus generalize the results obtained in [2] and [3].     

A note on the multiplicity in factor ring

Let (R,m) = k[x ₁,..., x _n ](x ₁,...,x _n ) be a local polynomial ring (k being an algebraically closed field), and Q:= (F ₁,..., F _r )R be a primary ideal in R with respect to a maximal ideal m ⊂ R. In this short note we give a formula for the multiplicity e ₀ (QR/(F ₁)R, R/(F ₁)R). The author was supported by the grant No. 1/0262/03) of the Slovak Ministry of Education.     

On Generalizations of Prime Ideals

Let R be a commutative ring with identity. Let φ: S(R) → S(R) ∪ {?} be a function, where S(R) is the set of ideals of R. Suppose n ≥ 2 is a positive integer. A nonzero proper ideal I of R is called (n ? 1, n) ? φ-prime if, whenever a ₁, a ₂, ?, a _n  ∈ R and a ₁ a ₂?a _n  ∈ I?φ(I), the product of (n ? 1) of the a _i 's is in I. In this article, we study (n ? 1, n) ? φ-prime ideals (n ≥ 2). A number of results concerning (n ? 1, n) ? φ-prime ideals and examples of (n ? 1, n) ? φ-prime ideals are also given. Finally, rings with the property that for some φ, every proper ideal is (n ? 1, n) ? φ-prime, are characterized.