Define a group with complex multiplication to be a finite abelian group M with an endomorphism i : M -> M such that i2 = -1. Clearly a group with complex multiplication is equivalent to a R = Z[i]-module. Recall that R is a Euclidean domain.
a. classify groups with complex multiplication using the structure theorem for modules over R
