The additive group of the rationals does not have an automatic presentation

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.

We are investigating cellular covers of abelian groups (for definition, see Preliminaries). Surjective cellular covers of divisible abelian groups have been characterized in a recent paper by Chacholski–Farjoun–Gobel–Segev [2]; see Theorem 3.1. After presenting a new, simple proof of this theorem, we concentrate on reduced groups. For reduced torsion groups the only surjective cellular covers are the trivial ones (Theorem 4.3). On the other hand, even rank 1 torsion-free groups may have cellular covers of arbitrarily large cardinalities (Theorem 5.3). Interestingly, those rank 1 torsion-free groups that do not admit such large cellular covers have only the trivial cellular covers (Theorem 5.4).

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.

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.

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

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.

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.

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.

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.

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.

The study of nil groups, abelian groups admitting only the trivial (xy = 0) ring multiplication, was initiated by Szele [3]. More recently, Wickless [4] has considered groups which admit only nilpotent multiplications, and some related results for T-nilpotence have been obtained by the author [1]. Wickless′ paper also contains some information about torsion-free groups on which only prime radical rings can be defined.

We use a variation on a construction due to Corner 1965 to construct (Abelian) groups A that are torsion as modules over the ring End (A) of group endomorphisms of A. Some applications include the failure of the Baer-Kaplansky Theorem for Z[X]. There is a countable reduced torsion-free group A such that IA = A for each maximal ideal I in the countable commutative Noetherian integral domain, End (A). Also, there is a countable integral domain R and a countable. R-module A such that (1) R = End(A), (2) T0 ⊗RA ≠ 0 for each nonzero finitely generated (respectively finitely presented) R-module T0, but (3) T ⊗RA = 0 for some nonzero (respectively nonzero finitely generated). R-module T.

The hopficity property in a well-known class of Abelian groups—completely decomposable torsion-free groups—as well as in a class of modules over generalized matrix rings is studied. Examples of non-Hopfian completely decomposable torsion-free group are constructed.