A prime power is a positive integer that can be expressed as a power of a prime number, meaning it takes the form $p^k$, where $p$ is a prime number and $k$ is a positive integer. This concept is crucial when discussing the structure of finite abelian groups, as it plays a key role in determining their invariant factors and elementary divisors.
congrats on reading the definition of prime power. now let's actually learn it.