MODULES WITH ABELIAN ENDOMORPHISM RINGS

Endoregular modules

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 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.

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.

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

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.

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.

The construction of torsion-free abelian groups with prescribed endomorphism rings starting with Corner’s seminal work (see Corner, 1963) is a well-studied subject in the theory of abelian groups. Usually these construction work by adding elements from a (topological) completion in order to get rid of (kill) unwanted homomorphisms. The critical part is to actually prove that every unwanted homomorphism can be killed by adding a suitable element. We will demonstrate that some of those constructions can be significantly simplified by choosing the elements at random. As a result, the endomorphism ring will be almost surely prescribed, i.e., with probability one.

One-dimensional stable rings

Here, we continue to characterize a recently introduced notion, le-modules [Formula: see text] over a commutative ring [Formula: see text] with unity [A. K. Bhuniya and M. Kumbhakar, Uniqueness of primary decompositions in Laskerian le-modules, Acta Math. Hunga. 158(1) (2019) 202–215]. This paper introduces and characterizes Zariski topology on the set Spec[Formula: see text] of all prime submodule elements of [Formula: see text]. Thus, we extend many results on Zariski topology for modules over a ring to le-modules. The topological space Spec[Formula: see text] is connected if and only if R/Ann(M) contains no idempotents other than [Formula: see text] and [Formula: see text]. Open sets in the Zariski topology for the quotient ring R/Ann(M) induces a base of quasi-compact open sets for the Zariski topology on Spec[Formula: see text]. Every irreducible closed subset of Spec[Formula: see text] has a generic point. Besides, we prove a number of different equivalent characterizations for Spec[Formula: see text] to be spectral.

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.

We prove in this note that the ring of endomorphisms of an infinite bounded Abelian group admits a nondiscrete right bounded ring topology. We give an example of an Abelian group whose ring of endomorphisms admits both nondiscrete left and right bounded topologies but does not admit a nondiscrete bounded ring topology.

In a recent paper2 we have called a ring 2 primitive if 2 contains a maximal right ideal a such that the quotient (a: W) = (0). The quotient (: 1) is defined to be the largest two-sided ideal of 21 that satisfies the condition 21(a: 21) C a. Thus if 21lias an identity, (a: 21) is the largest two-sided ideal of 21 contained in a. Primitive rings appear to play a role in the general structure theory of rings analogous to that played by simple rings in the Wedderburn-Artin theory. Primitive rings are also fundamental in general representation theory since it is known that a necessary and sufficient condition that a ring 21 be primitive is that 21 be isomorphic to an irreducible ring W of endomorphisms in a commutative group T. If 2 is irreducible in T and Zi is the division ring of endomorphisms commutative with the elements of A, then R is a dense ring of linear transformations in T regarded as a vector space over Z.3 We shall call 2 a left primitive ring if 2 contains a maximal left ideal a' such that the quotient (}': 21)l = (0). Here (s': 2) 1 is the largest two-sided ideal in 2 having the property (a': 21)1 21 C a'. Evidently, a ring is left primitive if and only if it is anti-isomorphic to an irreducible ring of endomorphisms. It is an open question whether or not a primitive ring is necessarily left primitive. This is indeed the case if 2 contains minimal ideals. In many other respects the theory of primitive rings that contain minimal ideals constitutes the most satisfactory part of the theory of primitive rings. An appropriate tool for studying rings of this type is a generalization of the duality theory previously used by Dieudonn6 in studying simple rings that possess minimal ideals.4 In this note we develop this generalization of Dieudonn6's results. We also investigate certain natural topologies that can be defined in any primitive ring.