## Finitely generated abelian groups

Hi everyone.

Verify that an elementary Abelian group of order $p^k$ (p a prime) may be regarded as a k-dimensional vector space over the prime field consisting of the elements $0,1,...,p-1$.

Thanks