Revision #406 → #1342 · back to history
addedLagrange's theoremd3e5e53a8636
addedLagrange's theorem (statement in lead)835c2d5bc694
addedIndex variant of Lagrange's theorem12ed090f28be
addedInfinite case via cardinal numbers76f520da749a
addedLeft cosets partition G69bf15a89dce
addedExtension of Lagrange's theorem4abf18e25ee3
addedDecomposition of cosets between three subgroupsa53df169940c
addedRecovering original Lagrange equation4d2434372d56
addedOrder of an element divides group orderc5aae6496e65
addedFermat's little theorem and Euler's theorem as consequencese922daad1537
addedGroups of prime order are cyclic and simple76781ac36c2d
addedInfinitude of primes via Lagrange9d6df45bf6d0
addedFailure of the converse of Lagrange's theorem8324874bc573
addedCLT group7f5bb907bf2a
addedCLT groups are solvable; supersolvable implies CLT1a88ad0b3f72
addedCauchy's theorem (partial converse)c59d30421174
addedSylow's theorem (partial converse)7450759de63e
addedHall's theorems (partial converse)6c006bb2f83a
addedA4 has no subgroup of order 6266bc85d1d7e
addedKlein four-group V in A4addbac05bf08
addedLagrange's polynomial resultea1d500122f3
addedGauss's special case for (Z/pZ)*cdb28789ccdf
addedCauchy's proof for symmetric groupf999b6245293
addedJordan's proof for permutation groupsf283f20620d4