Miscellaneous (Burnside's, simple groups, etc.) Flashcards
What is a simple group?
G is a simple group if its only normal subgroups are the identity and the group itself.
Sylow test for nonsimplicity.
Let n be a positive nonprime integer and p be a prime divisor of n. If 1 is the only divisor of n that is equal to 1 modulo p, then there does not exist a simple group of order n.
2 Odd test.
An integer of the form 2n where n is odd > 1 is not the order of a simple group.
Index Theorem
If G is a finite group and H is a proper subgroup of G such that |G| does not divide |G:H|!, then H contains a nontrivial normal subgroup of G. Thus G is not simple.
Embedding theorem.
If a finite non-Abelian simple group G has a subgroup of index n, then G is isomorphic to a subgroup of A_n.
Burnside’s Theorem
If G is a finite group of permutations on a set S, then the number of orbits of elements of S under G is
|G|^{-1} sum |fix(phi)| where the sum runs over all permutations phi.