Torsion-free rings

We prove that the category M of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category A of abelian Polish groups in the sense of Beilinson–Bernstein–Deligne and Schneiders. Thus, M is an abelian category containing A as a full subcategory such that the inclusion functor A→M is exact and finitely continuous. Furthermore, M is uniquely characterized up to equivalence by the following universal property: for every abelian category B, a functor A→B is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor M→B. In particular, this provides a description of the left heart of A as a concrete category.We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish R-modules, for a given Polish group or Polish ring R; and separable Banach spaces and separable Fréchet spaces over a separable complete non-Archimedean valued field.

This thesis consists of two independent chapters. The first chapter concerns the Smith Normal Form (SNF) over the integers ℤ of integral matrices. We consider the SNF of a matrix A to be the ratio of two ℤ-modules -- a finitely generated abelian group; this is called the Smith group of A. The Smith group provides a unified setting to present both new and old results. The new results concern the relationship between the eigenvalues of an integral matrix and its SNF. In particular, the multiplicities of integer eigenvalues are shown to relate to the multiplicities in the type of the Smith group. Bounds are also given for the exponent of the Smith group. In some cases, these are best possible. The old results discussed are the interlacing of the SNF in the case of augmented matrices and the symmetries of the SNF for certain combinatorial matrices. The latter results are extended to rectangular matrices. Numerous examples are given throughout, along with many conjectures based on computation. The second chapter generalizes the work of Pless, et al. on duadic codes and Q-codes. We take abelian group codes to be ideals in the group ring F[G], where G is a finite abelian group of odd order n and F is a finite field with characteristic relatively prime to n. We define generalized Q-codes from a pair of idempotents of F[G] and an automorphism of G which together obey two simple equations. These codes are (n, (n+1)/2) and (n, (n-1)/2) linear codes. We show that all of the properties of duadic and Q-codes generalize. In particular, we extend the results on the relationship of these codes to projective planes with regular automorphism group G. When F has characteristic 2, we give simple numerical conditions on G and F which determine when generalized Q-codes exist. We also give some techniques for constructing these codes.

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

The representation of a ring as the ring of all the automorphisms of a primary abelian operator group expresses significant inner properties of this ring, since there exists essentially at most one such representation of a given ring. Thus it is the object of this investigation to expose invariant qualities of these automorphism rings. They are found to be pecularities of their ideal theory (Chapter III); and from these we select a complete set of postulates for the class of all the automorphism rings of primary abelian operator groups (Sections 12 and 13); thus proving incidentally that the structure of these rings is completely determined by their ideal theory (Section 14). The properties of the ideals in these rings reflect so completely the structure of the underlying operator group that we are able to prove-provided the rank of this group is at least three-the essential identity of the group of a-utomorphisms of the ring and of the group of projectivities (= biunivoque and monotone increasing transformations) of the system of admissible subgroups of the underlying operator group (Chapter II). Two [extreme] special cases may serve as an-i illustration for these theorems. Every projective geometry of finite dimension not less than three may be represented as the set of admissible subgroups of a suitable primary abelian operator group; and our characterization of the automorphisms of the automophism ring specializes in this case to the (well known) theorem that each automorphism of the automorphism ring (= ring of square matrices with coefficients from a suitable (not necessarily commutative) field) is induced by a so-called seini-linear transformation. If secondly G is an ordinary primary abelian group with the property that the least common multiple of the orders of the elements in G is a prime power p' and that G contains at least three independent elements of maximum order, then our theorem states that every automorphism of the automorphism ring is an inner auomorphism.

A BV-algebra structure on Hochschild cohomology of the integral group ring of finitely generated Abelian groups

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.

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:

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

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.

In this paper we give a detailed exposition of some of the results announced in [18]. The primary motivation for this work is Witt's observation [31, Satz 7] that if F is a field of characteristic #72, his ring 1V(F) of classes of anisotropic quadratic forms may be written as Z[G]/K where G is an abelian group of exponent two (actually G =F*/F*2), Z[G] is the integral group ring of G, and K is an ideal of Z[G] generated by elements of the form gl + g2-g3g4 and 1 + g5 with gi in G. Of course these elements can be described more explicitly, but for our purposes the only information we need about K is that any homomorphism of Z[G] -> Z sends K to 0 or to an ideal of the form 2nZ. In this introduction we shall call any ideal of Z[G] with this property admissible. In [26], Pfister proved certain structure theorems for IV(F) usilg his theory of multiplicative forms. His proofs were simplified in [11, 22, 23, 29, 30]. Harrison [11] and Leicht and Lorenz [22] gave important complements to Pfister's results concerning the ideal theory of WV(F). The main goal of our paper is to understand and generalize these structure theorems using standard techniques of commutative algebra. In [28] and [3], Scharlau and Belskii have introduced and studied Witt and Witt-Grothendieck rings for profinite groups. Their definitions generalize the usual notions of Wit.t rings, WV(F), and Witt-Grothendieck rings, K (F), of quadratic forms over fields of characteristic #72. These rings also have the form Z[G]/K with G an abelian group of exponent two and K an admissible ideal of Z[G]. Here we are mainly iinterested in another generalization of 1V(F) and K(F), namely the Witt rings, IV(C, J), and the Witt-Grothendieck rings, K(C,J) of classes of hermitian forms over a connected commutative semilocal ring C with involution J. Since J may be the identity these include the Witt and Witt-Grothendieck rings of classes of symmetric bilinear forms

In their paper [1] J.A. Davis, J. Jedwab and M. Mowbray gave new constructions of abelian semi-regular RDS’s by using (k, m, t)-building sets on abelian groups. In this article, we generalize this concept by defining a t-building set, a certain collection of elements from a group ring. We then study t-building sets on cyclic p-groups and apply our results to show that there is no non-trivial semi-regular RDS in any dihedral group. We also show that for any dicyclic group, its forbidden subgroup of even order is isomorphic to ℤ2.

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.

Some years ago A. L. S. Corner proved that every countable and cotorsion-free ring can be realized as the endomorphism ring of some torsion-free abelian group. This result has many interesting consequences for abelian groups. Using a set-theoretic axiom ∇k., which follows for instance from V = L, we can drop the countability condition in Corner's theorem.

The aim of this thesis is to investigate the circumstances under which group rings over fields have non-zero socle, i.e. contain minimal one-sided ideals. After an introductory chapter, we consider the special case o₊ a periodic abelian group and a non-modular field (that is, a field of characteristic prime to the orders of the elements of the group). This special case, and the background material contained in Chapter III, serve as preparation for our principal results, which concern, locally finite groups. We establish necessary and sufficient conditions on an arbitrary field K and a locally finite group 0 for the group ring KG to contain minimal one-sided ideals: the most important condition is that G should be a Cernikov group. We then examine the structure of KG when these conditions are satisfied. Vie show that KG has a finite series of ideal3 each factor of which i3 a direct sum of quasi-Frobenius rings, and characterize the socle of KG. Me also classify indecomposable KG-modules, and determine (for countable but not necessarily locally finite groups G) necessary and sufficient conditions for all indecomposable KG-modules to be irreducible. In the final chapter we consider non-locally-finite groups, conjecturing that group rings of such groups never contain minimal one-sided ideals. We establish the truth of this conjecture for several classes of groups, and also consider semiartinian group rings.