# Questions tagged [abelian-groups]

The tag has no usage guidance.

184 questions
Filter by
Sorted by
Tagged with
6k views

### $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?
14k views

6k views

### Subgroups of a finite abelian group

Let $$G=\mathbb{Z}/p_1^{e_1}\times\cdots\times\mathbb{Z}/p_n^{e_n}$$ be any finite abelian group. What are $G$'s subgroups? I can get many subgroups by grouping the factors and multiplying them by ...
712 views

### The field of fractions of the rational group algebra of a torsion free abelian group

Let $G$ be a torsion free abelian group (infinitely generated to get anything interesting). The group algebra $\mathbb{Q}[G]$ is an integral domain. Let $\mathbb{Q}(G)$ be its field of fractions. ...
1k views

### Are the p-adics a direct summand of the direct product of the groups $\mathbb{Z}/p^n\mathbb{Z}$?

The p-adic integers $\mathbb{Z}_p$ can be thought of as a subgroup of the direct product group $P = \prod_{n \geq 1} \mathbb{Z}/p^n\mathbb{Z}$. Are they a direct summand of this group? That is, is ...
1k views

### Categorical proof subgroups of free groups are free?

This is a crossport of this question from MSE. Is there a categorical proof that subgroups of free groups are free? How about the result that subgroups of free abelian groups are free abelian? What ...
1k views

### Constructively, is the unit of the “free abelian group” monad on sets injective?

Classically, we can explicitly construct the free Abelian group $\newcommand{\Z}{\mathbb{Z}}\Z[X]$ on a set $X$ as the set of finitely-supported functions $X \to \Z$, and so easily see that the unit ...
565 views

### If $A, B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?

The question is in the title. If the isomorphism $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely generated this is also ...
1k views

893 views

### Is the class of additive groups of rings axiomatizable?

I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...
569 views

### Examples of uncountable abelian $p$-groups
Does anyone know of any interesting examples of an infinite abelian $p$-group which is uncountable? By non-interesting here I mean the direct sums of cylic and quasi-cylic groups, and totally ...