Let G be a $\sigma $ -finite abelian group, i.e., $G=\bigcup _{n\geq 1} G_n$ where $(G_n)_{n\geq 1}$ is a nondecreasing sequence of finite subgroups. For any $A\subset G$ , let $\underline {\mathrm {d}}( A ):=\liminf _{n\to \infty }\frac {|A\cap G_n|}{|G_n|}$ be its lower asymptotic density. We show that for any subsets A and B of G, whenever $\underline {\mathrm {d}}( A+B )<\underline {\mathrm {d}}( A )+\underline {\mathrm {d}}( B )$ , the sumset $A+B$ must be periodic, that is, a union of translates of a subgroup $H\leq G$ of finite index. This is exactly analogous to Kneser’s theorem regarding the density of infinite sets of integers. Further, we show similar statements for the upper asymptotic density in the case where $A=\pm B$ . An analagous statement had already been proven by Griesmer in the very general context of countable abelian groups, but the present paper provides a much simpler argument specifically tailored for the setting of $\sigma $ -finite abelian groups. This argument relies on an appeal to another theorem of Kneser, namely the one regarding finite sumsets in an abelian group.

An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik–Chervonenkis density. Furthermore, strong abelian groups are characterised to be precisely those abelian groups A such that there are only finitely many primes p such that the group A / pA is infinite and for every prime p, there are only finitely many natural numbers n such that $\left( {p^n A} \right)[p]/\left( {p^{n + 1} A} \right)[p]$ is infinite.

Finally, it is shown that an infinite stable field of finite dp-rank is algebraically closed.

The multiplicative group generated by a certain sequence of rationals is determined, settling a 30-year conjecture.

We answer two questions of Hindman, Steprāns, and Strauss; namely, we prove that every strongly summable ultrafilter on an abelian group is sparse and has the trivial sums property. Moreover, we show that in most cases the sparseness of the given ultrafilter is a consequence of its being isomorphic to a union ultrafilter. However, this does not happen in all cases; we also construct (assuming Martin's Axiom for countable partial orders, i.e., $\operatorname{cov}\left( \text{M} \right)=\mathfrak{c})$, a strongly summable ultrafilter on the Boolean group that is not additively isomorphic to any union ultrafilter.

The variety of topological groups generated by the class of all abelian kω-groups has been shown to equal the variety of topological groups generated by the free abelian topological group on [0, 1]. In this paper it is proved that the free abelian topological group on a compact Hausdorff space X generates the same variety if and only if X is not scattered.

We call an algebraic group monothetic if it possesses a dense cyclic subgroup. For an arbitrary field k we describe the structure of all, not necessarily affine, monothetic k-groups G and determine in which cases G has a k-rational generator.

A ring R is E-associative if φ(xy) = φ(x)y for all endomorphisms φ of the additive group of R, and all x,y ∊ R. Unital E-associative rings are E-rings. The structure of the torsion ideal of an E-associative ring is described completely. The E-associative rings with completely decomposable torsion free additive groups are also classified. Conditions under which E-associative rings are E-rings, and other miscellaneous results are obtained.

A Σ-group is an abelian group on which is given a collection of infinite sums having properties suggested by those of absolutely convergent series in R or C. It is shown that the usual decomposition of a torsion abelian group into its p-components carries over to the case of Σ-groups when the property of being torsion is replaced by an appropriate uniform version. For a certain class of Σ-groups, it turns out that being torsion is already sufficient for primary decomposition to hold.

This paper constructs a class of examples to show that for torsion-free groups H with finite nilstufe v(H) = n < ∞ there can be divisible torsion groups D with v(H ⊕ D) - n + k for all k ≤ n + 1. This answers a question of Feigelstock. The construction is based on a proposition which bounds v(H ⊕ D) in terms of v(H) and rank (D).

The abelian groups which are the additive groups of only finitely many non-isomorphic (associative) nilpotent rings are studied. Progress is made toward a complete classification of these groups. In the torsion free case, the actual number of non-isomorphic nilpotent rings these groups support is obtained.