Cellular Covers of Abelian Groups

In this chapter, we discuss several special types of modules that will make frequent appearances later. These include semisimple modules, artinian modules, and torsionfree modules, which have prototypes in vector spaces, finite abelian groups, and torsionfree abelian groups, respectively. That special types of modules have useful roles in the study of arbitrary modules may be seen already in the case of abelian groups (i.e., ℤ-modules). In studying an arbitrary abelian group, an almost reflexive first step is to look at its torsion part (i.e., the torsion subgroup) and its torsionfree part (i.e., the factor group modulo the torsion subgroup), since entirely different techniques are available (and needed) for dealing with torsion groups and torsionfree groups. On the torsionfree side, vector spaces make an appearance due to the facts that the torsionfree divisible abelian groups are exactly the vector spaces over ℚ and that every torsionfree abelian group can be embedded in a divisible one. On the torsion side, many questions can be reduced to the case of finite abelian groups, since every torsion abelian group is a directed union of finite subgroups. In studying torsion abelian groups, one also reduces to the case of p -groups for various primes p . Vector spaces make another appearance here, since in an abelian p -group the set of elements of order p (together with 0) forms a vector space over ℤ/ p ℤ.

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.

The study of Hopficity in Abelian groups has been largely motivated by the fundamental results of Baumslag, who proved that torsion groups are always Hopfian regardless of their cardinality, but left several questions open concerning torsion-free groups. Later, Corner addressed some of these questions by providing counterexamples showing that a direct sum of two Hopfian groups can be non-Hopfian, and that a group with an automorphism group of order two does not guarantee Hopficity. These results highlighted the need for new constructions to explore Hopficity in torsion-free Abelian groups. Our work introduces a new approach based on divisibility techniques, as it contributes to the understanding of free-torsion groups with respect to the Hopficity property, providing new insights into their structural properties and implications within group theory. Our analysis also demonstrates how divisibility properties, as well as the introduction of totally invariant subgroups and homomorphisms, can be used to establish Hopficity in specific Abelian groups, particularly those that are free-torsion. In order to reach all of this, we start by taking a group defined as an infinite direct sum of cyclic groups; then we construct a specific subgroup generated by two particular families of elements; and finally we show that this group is Hopfian through results from the theory of divisible subgroups.

Introduction. A nil group is an (additively written) abelian group G such that every associative ring R with G as its additive group has trivial multiplication, i.e., xy = 0 for every x, y ER. Szele [2] has shown that every nil group is either a torsion group (every element of finite order) or a torsion-free group (every element except the identity of infinite order), and he has completely characterized the torsion nil groups. In [3 ], Szele discusses some questions related to nil groups, but is unable to find conditions for the existence of torsionfree nil groups. An additive group G is said to be strongly nil if there is no nontrivial ring, associative or nonassociative, which has G as its additive group. It is the purpose of this note to characterize those nil and strongly nil groups which are (isomorphic to) a weak direct sum of subgroups of the additive group of rationals, and to show that every such nil group is also strongly nil. The authors would like to express thanks to the referee for helpful suggestions.

Epimorphic images of compact (algebraically compact) abelian groups are called cotorsion groups after Harrison. In a recent paper, Ph. Schultz raised the question whether “cotorsion” is a property which can be recognized by its small cotorsion epimorphic images: If G is a torsion-free group such that every torsion-free reduced homomorphic image of cardinality is cotorsion, is G necessarily cortorsion? In this note we will give some counterexamples to this problem. In fact, there is no cardinal k which is large enough to test cotorsion.

We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are p-divisible for infinitely many primes p, or groups of the form ⊕pϵIZ(p∞), where I is an infinite set of primes.

The abelianizations of Weyl groups of root systems extended by abelian groups

In the theory of abelian groups, the study of relations between an abelian group and its endomorphism group is an important problem. The question arises on conditions under which an abelian group and its endomorphism group are isomorphic ([1], Problem 31). The answer to this question has been obtained in the classes of completely decomposable abelian groups [2], vector groups [3], in the classes of periodic abelian groups, divisible abelian groups, nonreduced abelian groups, reduced algebraically compact abelian groups [4]. A group A is called an E+-group if it is isomorphic to its endomorphism group End(A). Clearly, if an abelian group A is an E+-group, then its endomorphism group End(A) is also an E+-group. In this paper, we show that the converse statement holds not always. A group A is called an End-group if the following implication takes place:

Bieberbach groups are torsion free crystallographic groups. In this paper, our focus is on the Bieberbach groups with elementary abelian 2-group point group, The central subgroup of the nonabelian tensor square of a group is generated by for all in The purpose of this paper is to compute the central subgroups of the nonabelian tensor squares of two Bieberbach groups with elementary abelian 2-point group of dimension three.

If a finite group A of exponent 4 is the automorphism group of a torsionfree (abelian) group G, then A must be a subdirect product of cyclic groups C2 and C4 and of quaternion groups Qs (see [2, 4]); A is therefore contained in the variety V(Qs) generated by the quaternion group. Having dealt completely in [3] with the case of finite (or countable) abelian automorphism groups, we now turn to non-abelian groups (which, as we have mentioned before ([3], p. 34), must be of exponent 4 or 12). In this paper we confine ourselves to proving that for every n>2 the free n-generator group A, of V(Qs) is, in fact, the automorphism group of a suitably chosen torsionfree group 1. We also give at the end of the paper an example (with n = 3) of an epimorphic image of Aa of order 27 that cannot be an automorphism group, although it still satisfies the condition N3 of [2]: all its elements of order 2 lie in its centre. This group fails to satisfy the necessary condition N5 of [1] and cannot be a subdirect product of the kind described above.

In the paper, necessary and sufficient conditions for an Abelian group A to be isomorphic to the endomorphism group End(A) are obtained. The classes of periodic Abelian groups, divisible Abelian groups, nonreduced Abelian groups, and reduced algebraically compact Abelian groups are considered. For certain classes of Abelian groups, the isomorphism problem for a group and its endomorphism group is solved under the assumption that the endomorphism group itself has the corresponding property.

An associative ring R is called a unique addition ring (UA-ring) if its multiplicative semigroup (R, · ) can be equipped with a unique binary operation+ transforming the triple (R, ·, +) to a ring. An R-module A is said to be an End-UA-module if the endomorphism ring EndR(A) of A is a UA-ring. In the paper, the torsion-free End-UA-modules over commutative Dedekind domains are studied. In some classes of Abelian torsion-free groups, the Abelian groups having UA-endomorphism rings are found.

A Bieberbach group is a torsion free crystallographic group that represents an extension of a free abelian lattice group by a finite point group. This research began by taking the group offered in the Crystallographic Algorithms and Tables (CARAT) package, which is in the matrix form. There are only four Bieberbach groups of dimension six to be isomorphic to the quaternion point group of order eight. In this study, three Bieberbach groups of dimension six with the quaternion point group of order eight that are considered as only the first group has been found its well-defined polycyclic presentation. Every group has eight generators that describe the group. However, the algorithm used in constructing the polycyclic presentation requires a new arbitrary generator to be added into the group. Then the consistency relations need to be checked and the polycyclic presentation is said to be a well-defined construction if it is consistent. Therefore, this study shows the construction of polycyclic presentation with the new arbitrary generator for all three groups. Furthermore, the polycyclic presentation for the second group has been proven to be consistent, which implies that the construction is well-defined.

The group of extensions of a torsion group by a torsion free group

This paper investigates torsion-free abelian groups A which are Q E-flat, i.e. for which Q A is flat as an Q E(A)-module. It is shown that a torsion-free A has this property iff Tor1 (M, A) is torsion for all right E(A)-modules M. Furthermore, a torsion-free group of rank 4 is constructed which is Q E-flat but not quasi-isomorphic to an E-flat group. This gives a negative response to a question of R. Pierce. The paper concludes with a discussion of the structure of torsion-free groups of finite rank which are Q E-flat.