Indecomposable finite abelian groups
ID: indecomposable-finite-abelian-groups
A finite abelian group is indecomposable exactly when it is cyclic of prime-power order. The structure theorem proves necessity. Conversely, every nonzero subgroup of contains its unique subgroup of order , so two nonzero subgroups cannot be complementary direct summands.
New to topics? Read the docs here!