Revision #932 → #1609 · back to history
addedSylow p-subgroup66165f84656b
addedSylow theorems (lead summary)6614b390c529
addedOrder of Sylow p-subgroups5c546dde1864
addedSylow Theorem 1 (Existence)68f36ab8bc45
addedCauchy's theorem (Corollary)102c5c741809
addedSylow Theorem 2 (Conjugacy)d85a10099c97
addedSylow Theorem 3 (Number of Sylow subgroups)ecb359277e66
addedSubgroup of every prime-power order7ca769abcd55
addedSylow subgroups have equal order and are conjugatedce80e8f7b01
addedNormality of unique Sylow subgroupac18f77bd867
addedn_p divides |G|6e6185640d5e
addedSylow p-subgroup (infinite group)9a1892f040c8
addedSylow theorem for infinite groupsd5b8b3b80d3f
addedSylow subgroups of dihedral group (n odd)d824ea8796ef
addedSylow 2-subgroups of dihedral group (n even)f52e57a0567e
addedSylow p-subgroups of GL_2(F_q)1827a84c557e
addedDiagonal matrix Sylow subgroup3a06158d9110
addedBurnside's p^a q^b theorem53bc6ce43d7d
addedGroups of order 15 are cyclic4cb6f6548246
addedGroups of order pq are cyclic192d17c07a73
addedNo simple group of order 30b6cb5c75baff
addedNo simple group of order 4237ca5be2508b
addedSmallest non-cyclic simple group is A_5d4b4c01ec1f8
addedWilson's theorembcac361a011c
addedBurnside's fusion theoreme85ce63654e0
addedp-nilpotency from central Sylow normalizer4e2f7cc57c1c
addedTheorem 1 (proof statement)b6efd4feed6c
addedFixed-points lemma9315f2107b5e
addedTheorem 2 (proof statement)565ba77cc541
addedTheorem 3 (proof statement)0f4fe4975aa1
addedConstructive existence of Sylow p-subgroup5b3284b64183
addedPolynomial-time Sylow algorithm for permutation groupsf7ef1d856069