Endoregular modules

This series aims to report new developments in mathematical research and teaching -quickly, informally and at a high level.The type of material considered for publication includes: 1.Preliminary drafts of original papers and monographs 2. Lectures on a new field, or presenting a new angle on a classical field 3. Seminar work-outs 4. Reports of meetings, provided they are a) of exceptional interest or b) devoted to a single topic.

One-dimensional stable rings

The results of Szele and Szendrei [‘On Abelian groups with commutative endomorphism rings’, Acta Math. Acad. Sci. Hungar.2 (1951), 309–324] characterizing abelian groups with commutative endomorphism rings are generalized to modules whose endomorphism rings have various restrictions on their idempotents. Such properties include central or commuting idempotents, and one-sided ideals being two-sided. Related properties include direct summands having unique complements, or being fully invariant.

Let $S$ be a subsemigroup which contains 0 of a torsion-free abelian (additive) group. Then $S$ is called a grading monoid (or a $g$-monoid). The group $ \{s-s'|s,s'\in S\}$ is called the quotient group of $S$, and is denored by $q(S)$. Let $R$ be a commutative ring. The total quotient ring of $R$ is denoted by $q(R)$. Throught the paper, we assume that a $g$-monoid properly contains $ \{0\}$. A commutative ring is called a ring, and a non-zero-divisor of a ring is called a regular element of the ring. We consider integral elements over the semigroup ring $ R[X;S]$ of $S$ over $R$. Let $S$ be a $g$-monoid with quotient group $G$. If $ n\alpha\in S$ for an element $ \alpha$ of $G$ and a natural number $n$ implies $ \alpha\in S$, then $S$ is called an integrally closed semigroup. We know the following fact: ${\bf Theorem~1}$ ([G2, Corollary 12.11]). Let $D$ be an integral domain and $S$ a $g$-monoid. Then $D[X;S]$ is integrally closed if and only if $D$ is an integrally closed domain and $S$ is an integrally closed semigroup. Let $R$ be a ring. In this paper, we show that conditions for $R[X;S]$ to be integrally closed reduce to conditions for the polynomial ring of an indeterminate over a reduced total quotient ring to be integrally closed (Theorem 15). Clearly the quotient field of an integral domain is a von Neumann regular ring. Assume that $q(R)$ is a von Neumann regular ring. We show that $R[X;S]$ is integrally closed if and only if $R$ is integrally closed and $S$ is integrally closed (Theorem 20). Let $G$ be a $g$-monoid which is a group. If $R$ is a subring of the ring $T$ which is integrally closed in $T$, we show that $R[X;G]$ is integrally closed in $T[X;S]$ (Theorem 13). Finally, let $S$ be sub-$g$-monoid of a totally ordered abelian group. Let $R$ be a subring of the ring $T$ which is integrally closed in $T$. If $g$ and $h$ are elements of $T[X;S]$ with $h$ monic and $gh\in R[X;S]$, we show that $g\in R[X;S]$ (Theorem 24).

Let G be an abelian group and let R be a commutative ring with identity. Denote by R t G a commutative twisted group algebra (a commutative twisted group ring) of G over R, by ℬ(R) and ℬ(R t G) the nil radicals of R and R t G, respectively, by G p the p-component of G and by G 0 the torsion subgroup of G. We prove that: i. If R is a ring of prime characteristic p, the multiplicative group R* of R is p-divisible and ℬ(R) = 0, then there exists a twisted group algebra R t 1 (G/G p ) such that R t G/ℬ(R t G) ≅ R t 1 (G/G p ) as R-algebras; ii. If R is a ring of prime characterisitic p and R* is p-divisible, then ℬ(R t G) = 0 if and only if ℬ(R) = 0 and G p = 1; and iii. If B(R) = 0, the orders of the elements of G 0 are not zero divisors in R, H is any group and the commutative twisted group algebra R t G is isomorphic as R-algebra to some twisted group algebra R t 1 H, then R t G 0 ≅ R t 1 H 0 as R-algebras.

Let G be an abelian group, R a commutative ring of prime characteristic p with identity and R t G a commutative twisted group ring of G over R. Suppose p is a fixed prime, G p and S(R t G) are the p-components of G and of the unit group U(R t G) of R t G, respectively. Let R* be the multiplicative group of R and let f α(S) be the α-th Ulm-Kaplansky invariant of S(R t G) where α is any ordinal. In the paper the invariants f n (S), n ∈ ℕ ∪ {0}, are calculated, provided G p = 1. Further, a commutative ring R with identity of prime characteristic p is said to be multiplicatively p-perfect if (R*)p = R*. For these rings the invariants f α(S) are calculated for any ordinal α and a description, up to an isomorphism, of the maximal divisible subgroup of S(R t G) is given.

It is shown that each commutative Artin local ring having each of its ideals generated by two elements is the homomorphic image of a one-dimensional local complete intersection ring which also has each of its ideals generated by two elements. It is indicated how this can be applied to show that the property that each ideal is projective over its endomorphism ring does not pass to homomorphic images, and in determining the commutative group rings with the two-generator property.

Let be a commutative ring with identity. Two elements and b in are called to be associates if and , or equivalently, if . The generalization of associate relation in R has given the idea for definitions of presimplifiable and weakly presimplifiable rings. First of all, it will be given definitions of very strong associate relation, strong regular associate relation, very strongly associate ring, and strongly regular associate ring. The presimplifiable ring is a commutative ring with the condition that every nonzero element is a unit element. While the weakly presimplifiable ring is a commutative ring with the condition that every nonzero element is regular element. Furthermore, it is shown that the relationship between very strongly associate ring with presimplifiable ring and the linkage between strongly regular associate ring and weakly presimplifiable ring. It is obtained that is a presimplifiable ring if and only if is a very strongly associate ring. Meanwhile, is a weakly presimplifiable ring if and only if is a strongly regular associate ring. Then, it is shown that the correlation between presimplifiable and weakly presimplifiable rings to its polynomial ring and its the formal power series ring . If is a weakly presimplifiable ring, then and are also weakly presimplifiable rings. However, if is a presimplifiable ring, then is also a presimplifiable ring but always not valid for .

In this work we study flat modules over commutative noetherian rings under two kinds of restriction: that the modules are either submodules of free modules or that they have finite rank. The first ones have nicely behaved annihilators: they are generated by idempotents. Among the various questions related to flat modules of finite rank, emphasis is placed on discussing conditions implying its finite generation, as for instance, (i) over a local ring, a flat module of constant rank is free, and (ii) a flat submodule of finite rank of a free module is finitely generated. The rank one flat modules already present special problems regarding its endomorphism ring; in a few cases it is proved that they are flat over the base ring. Finally, a special class of flat modules—unmixed—is discussed, which have, so to speak, its source of divisibility somewhat concentrated in the center of its endomorphism ring and thus resemble projective modules over flat epimorphic images of the base ring.

In 1963, Gilmer characterized all finite commutative rings with a cyclic group of units and, in 1967, Eldridge and Fischer generalized these results to rings with minimum condition. In the present paper these results are extended to semiperf ect rings and generalizations of the three theorems are obtained. It is shown that a semiperfect ring with cyclic group of units is finite and is either commutative or is the direct sum of a commutative ring and the 2 x 2 upper triangular matrix ring over the field of two elements. Let R be semiperfect with an abelian group of units. It is shown that R is finite if either the group of units is finite or the group of units is finitely generated and the Jacobson radical is nil. The proofs of all these results depend on our main theorem: The structure of a semiperfect ring R with an abelian group of units is described completely up to the structure of commutative local rings. (That is commutative rings with a unique maximal ideal.) The groups of units of these local rings are shown to be direct factors of the group of units of R.

A commutative ring R is called J-rad clean in case, for any r ∈ R, there is an idempotent e ∈ R such that r−e ∈ U(R) and re ∈ J(R), where U(R) and J(R) denote the set of units and the Jacobson radical of R, respectively. Also, a ring R is called semiregular if R/J(R) is regular in the sense of von Neumann and idempotents lift modulo J(R). We demonstrate that these two concepts are, actually, equivalent and we portray a portion of the properties of this class of rings. In particular, as a direct application, we prove that the commutative group ring RG is J-rad clean if, and only if, R is a commutative J-rad clean ring and G is a torsion abelian group, provided that J(R) is nil.

In this paper we present a new approach to Grothendieck duality over commutative rings. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. The method of rigidity was modified to work over general commutative base rings in our paper (Yekutieli and Zhang, Trans AMS 360:3211-3248, 2008). In the present paper we obtain many of the important local features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to essentially finite type algebras over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic rings. In the sequel paper (Yekutieli, Rigid dualizing complexes on schemes, in preparation) these results will be used to construct and study rigid dualizing complexes on schemes.

Let R be an associative ring with a unit and N be a left R-module. The set MR(N) = {f: N → N | f(rx) = rf(x), r ∈ R, x ∈ N} is a near-ring with respect to the operations of addition and composition and contains the ring ER(N) of all endomorphisms of the R-module N. The R-module N is endomorphic if MR(N) = ER(N). We call an Abelian group endomorphic if it is an endomorphic module over its endomorphism ring. In this paper, we find endomorphic Abelian groups in the classes of all separable torsion-free groups, torsion groups, almost completely decomposable torsion-free groups, and indecomposable torsion-free groups of rank 2.

It was shown in Huber [4; Theorem 3.3] that an R-module E is slender as a module over its endomorphism ring S = EndR E if it is of the form E = M(IN) for some R-module M. This had important consequences for questions of E-reflexivity. In Mader [6; Lemma 5.1] it was shown that the abelian group E = M ∞i=1 Z(pi)is slender over S = End E and this was a key step in proving that the completion of a group A of non-measurable cardinality equipped with the direct-sum-of-cyclics topology of D’Este [1] is algebraically the group HomS(HomZ (A, E), E). At the Honolulu Conference on Abelian Group Theory 1982/83, Martin Huber suggested to me that [6; Lemma 5.1] should be extendable to more general direct sums. In this note we prove such a theorem and use it to characterize completely the totally projective p-groups which are slender as modules over their endomorphism rings.

The projective dimension of an abelian group with torsion reduced part, as a module over its endomorphism ring, is determined.In particular, a group of projective dimension 2 is exhibited.Any abelian group G may be considered as a module over its endomorphism ring E. It then is natural to study the properties of G as an P-module.In particular, you can try to compute the various homological dimensions of G.For example, in [6] we showed that a /J-group G is flat over E (i.e. has weak dimension zero) unless its reduced part is bounded and its divisible part is nonzero.In [7] we characterized those G which are injective over P. Douglas and Farahat [2] showed that if G is torsion, then dimEG < 1, where dim£G denotes the projective dimension of G over P. Later [3] they