# Surjectivity4

Exhibit a group homomorphism from Z/(8) to Z/(4)
On finite groups, power maps with exponent relatively prime to the group order are surjective
Surjective group endomorphisms need not be automorphisms
Surjective group homomorphisms preserve abelianicity