Pure subgroups of completely decomposable groups and a group class problem

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

In [Todor Tsankov, The additive group of the rationals does not have an automatic presentation, May 2009, arXiv:0905.1505v1], it was shown that the group of rational numbers is not FA-presentable, i.e. it does not admit a presentation by a finite automaton. More generally, any torsion-free abelian group that is divisible by infinitely many primes is not of this kind. In this article we extend the result from [13] and prove that any torsion-free FA-presentable abelian group G is an extension of a finite rank free group by a finite direct sum of Prüfer groups ℤ(p∞).

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 shall characterize the complete first order theories of torsion free abelian groups having algebraically prime models, elementarily prime models, minimal models, etc., using the well known invariants from [9], [3]. This study was suggested by the questions raised in [2]. Group here will always mean abelian group. For reference on groups see Fuchs [5], [6], for model theory Chang-Keisler [1]. All theories considered are theories in the first order language of group theory. A group G is minimal (strictly minimal) if H < G implies H = G (H-= G), and elementarily prime (algebraically prime) if G is elementarily (algebraically) embeddable in every H G. p, q always denote prime numbers, P the set of all primes. The p-rank of a group G, p-rk(G), is the dimension of G/pG as a vector space over Z/pZ. We define tf(p, G): = min {p-rk(G), ~o}. By the results of [9], [3], two nontrivial torsion free abelian groups G and H are elementarily equivalent iff for all primes p tf(p, G) = tf(p, H). This gives a natural 1-1 correspondence between the complete theories of nontrivial torsion free abelian groups and the functions /3 : P --~ ~o + 1. /3 will always stand for such a function, and the corresponding complete theory will be denoted by T 0. S o is the set of primes p for which/3(p) ~ 0. For more definitions see section 3. Let 13 be a function from P to o) + 1. We shall study the following questions: Does T o have an elementarily (algebraically) prime model? Does T o have a minimal (strictly minimal) model, and if this is the case, how many such models does T o have? Do the minimal and strictly minimal models of T o coincide? These questions have been studied for the special case of the theory of the

Properties of abelian groups related to a given finite rank torsion free abelian group A are analyzed in terms of End (A), the endomorphism ring of A. This point of view gives rise to generalizations of some classical theorems by R. Baer and examples of pathological direct sum decompositions of finite rank torsion free abelian groups.

Let T be an abelian group and λ an uncountable regular cardinal. The question of whether there is a λ-universal group U among all torsion-free abelian groups G of cardinality less than or equal to λ satisfying Exta(G,T) = 0 is considered. U is said to be λ-universal for T if, whenever a torsion-free abelian group G of cardinality at most λ satisfies Ext(G,T)=0, there is an embedding of G into U. For large classes of abelian groups T and cardinals λ, it is shown that the answer is consistently no, that is to say, there is a model of ZFC in which, for pairs T and λ, there is no universal group. In particular, for T torsion, this solves a problem by Kulikov.

In this note we shall use the terminology and notation from [2, pp.516-517].In particular, order will always mean linear order.Some answers are given to the question: When can the group 1 of ^-automorphisms of an abelian o-group G be ordered?We prove that SI can be ordered provided that the rank of G is well ordered and the 0-automorphism group of each component of G is isomorphic to a subgroup of the positive rationals.Thus every torsion free abelian group G admits an ordering for which the corresponding 31 can be ordered.Our results provide examples of nonabelian o-groups, and they can be used to obtain information about the underlying group

It is proved that a suitable free Abelian group of finite rank is not absolutely closed in the class $ {\mathcal A} $ 2 of metabelian groups. A condition is specified under which a torsion-free Abelian group is not absolutely closed in $ {\mathcal A} $ 2. Also we gain insight into the question when the dominion in $ {\mathcal A} $ 2 of the additive group of rational numbers coincides with this subgroup.

We will show that any complete Hausdorff ring R R which admits, as a basis of neighborhoods of 0, a family of right ideals I I with R / I R/I cotorsion-free can be realized as a topological endomorphism ring of some torsion-free abelian group with the finite topology. This theorem answers a question of A. L. S. Corner (1967) and can be used to provide examples in order to solve a problem (No. 72) in L. Fuchs’ book on abelian groups.

Independence in computable algebra

Let C be an Abelian group. An Abelian group A from a class X of Abelian groups is said to be CH-definable in X if, for any group B ∈ X, the isomorphism Hom(C,A) ≅ Hom(C,B) implies that A ≅ B. If every group from X is CH-definable in X, then X is called an CH-class. In this paper, we study conditions under which a class of completely decomposable torsion-free Abelian groups is an CH-class, where C is a vector group.

Let C be an Abelian group. A class X of Abelian groups is called a CE•H-class if, for every groups A, B ∈ X, the isomorphisms E•(A) ≅ E•(B) and Hom(C, A) ≅ Hom(C, B) imply the isomorphism A ≅ B. In the paper, necessary and sufficient conditions on a completely decomposable torsion-free Abelian group C are described under which a given class of torsion-free Abelian groupsisa CE•H-class.

The number of elements in the sum A + B of two complexes A and B of a group G which have multiple representations a + b = a '+ b' has been investigated by Scherk and Kemperman [1]. Kemperman [2] appealed to transfinite techniques (to order G) to prove:If G is a torsion-free abelian group with finite subsets A and B with | B | ≥ 2, then at least two elements c of A + B admit exactly one representation c = a + b.

Invariants for abelian groups and dual exact sequences

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