"Abelian automorphism group not implies abelian" "CA not implies nilpotent" "Dedekind not implies abelian" "Nilpotent not implies abelian" "There exist abelian groups whose isomorphism classes of direct powers have any given period"