Groups of order seventy

ID: groups-of-order-seventy

These are all the groups of group order up to group isomorphism, with denoting a dihedral group of order . The Sylow theorems make the Sylow subgroups of orders five and seven unique: the possible counts divide fourteen and ten, respectively, and only one has the required residue. These normal subgroups of coprime order commute, giving a normal subgroup . Cauchy's theorem for finite groups provides an element of order two outside , so .
The automorphism of a finite cyclic group defining this semidirect product is a unit modulo with . The Chinese remainder theorem makes its restrictions modulo five and seven independently or . The resulting exponents are , giving the four displayed groups in order. Their center of a group orders are , so no two are isomorphic. Every case exists as the specified semidirect product.

New to topics? Read the docs here!