Question
Consider the subgroup S = {0 , 1} of `ZZ_2(alpha)`.
Which of the following statements is correct:
A) S is isomorphic to `ZZ_2 times ZZ_2` and is decomposable
into a direct product of two non-trivial subgroups.
B) S is isomorphic to `ZZ_2`, is indecomposable, and satisfies
the Fundamental Theorem of Finitely Generated Abelian Groups
without further decomposition.
?