Question
Consider the subgroup S = {0 , 1} of ℤ.
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.
?