As of May 31, 2023, we have updated our Code of Conduct.

# Questions tagged [abelian-groups]

For questions about groups whose elements commute.

216 questions
Filter by
Sorted by
Tagged with
1 vote
150 views

635 views

### Finite abelian groups with fewer automorphisms than a subgroup

It is not too hard to find examples of finite groups which have fewer automorphisms than one of their subgroups. For example $\mathcal D_4 \times \mathbb Z/2\mathbb Z$ (where $\mathcal D_4$ is the ...
284 views

### Conceptual proof of fundamental theorem of finite abelian groups

I'm looking for a conceptual proof of the following statement: Lemma: Let $G$ be a finite abelian $p$-group. Let $a$ be an element of maximal order. Then $G=\langle a \rangle \times H$ for some ...
206 views

### Is there a good notion of kernels of quadratic forms on abelian groups?

Let $G$ be an abelian group and let $q:G \to \mathbb{Q/Z}$ be a quadratic form, i.e. $q(a)=q(-a)$ and $b(x,y)=q(x+y)-q(x)-q(y)$ is a bihomomorphism. On vector spaces, when people speak about the ...
1 vote
104 views

### Is the commutator of the holomorph of generalized quaternion group abelian?

Let $Q_{2^{n}} = \langle x, y \mathrel\vert x^{2^{n-1}}=y^4 = 1, x^{2^{n-2}}=y^2, y^{-1}xy = x^{-1} \rangle$ be the generalized quaternion group of order $2^{n}$. Let $\operatorname{Hol}(Q_{2^{n+1}})$ ...
61 views

### Duality for finite quotient groups of finitely generated free abelian groups

$\newcommand{\Z}{{\Bbb Z}} \newcommand{\Q}{{\Bbb Q}} \newcommand{\Hom}{{\rm Hom}}$ The following lemma is certainly known. Lemma (well-known). Let $B$ be a lattice (that is, a finitely generated ...
243 views

6k views

### Results from abstract algebra which look wrong (but are true)

There are many statements in abstract algebra, often asked by beginners, which are just too good to be true. For example, if $N$ is a normal subgroup of a group $G$, is $G/N$ isomorphic to a subgroup ...
140 views

### Characteristic subgroups of a finite abelian $2$-group

I have recently stumbled across the problem of describing the characteristic subgroups of a finite abelian group. With some discussions with some mathematicians in my lab, I managed to obtain a "...
169 views

### Existence of fully supported element in a finite-dimensional vector space over $\mathbb{F}_p$ (and in finite abelian groups)

Let $V$ be an $n$-dimensional vector space over $\mathbb{F} = \mathbb{Z} / (p)$, the field of $p$ elements, $p$ a prime, with $\{v_1, \dotsc, v_n \}$ a basis for $V$. An element $x \in V$ is called &...
### Homomorphism group of the additive group of rational numbers $\mathbb{Q}$ into quasi-cyclic group $\mathbb{Z}(p^\infty)$ [duplicate]
I read somewhere that the group of homomorphisms from the additive group of rational numbers $\mathbb{Q}$ into the quasi-cyclic group $\mathbb{Z}(p^\infty)$ is isomorphic to the additive group of ...