Abelian Group is Product of Prime-power Order Groups


 * 1) REDIRECT: Abelian Group Factored by Prime/Corollary