Since , the number of Sylow subgroups for divides and is modulo , hence is or . In the first case the unique subgroup is a nontrivial proper normal subgroup.
In the second case the subgroups of order have pairwise trivial intersection: two such subgroups sharing a nonidentity element would both be generated by it. They account for nonidentity elements of order . Exactly elements, including the identity, remain. Every Sylow subgroup for has order , and all its elements lie among these remaining elements, by Lagrange's theorem. It must therefore be precisely that set. The Sylow subgroup for is unique and hence normal. In either case is not a simple group.

Articles by others on the same topic (0)

There are currently no matching articles.