This is not homework. Self-study. And I'm really enjoying it. But, as I'm going through this book ("A Book of Abstract Algebra" by Charles C. Pinter) every so often I run into a problem or concept I don't understand.
Let G be a finite abelian group, say G = (e,a1, a2, a3,...,an).
Prove...