1
$\begingroup$

Let $G = \sum_{i\in I}H_i$ where $H_i$ are finite cyclic $p$-groups and $I$ may be infinite. Let $T$ be a subgroup of $G$. Is it true that $T = \sum_{i\in I}N_{i}$ where $N_i$ is normal subgroup of $H_i$?

  • 0
    I noticed you just added the adjective "cyclic", but this doesn't change the problem, because every finite abelian group is already a direct sum of cyclic groups. In any case I recommend that for your counterexample you consider $2$ cyclic groups.2012-01-18

1 Answers 1

1

This is not true. Consider $G = \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$ and the subgroup $T = \langle (1, 1)\rangle \cong \mathbb{Z}/2\mathbb{Z}$.