Revision #790 → #1225 · back to history
addedFinite group49450cf7cc19
addedSymmetric group S_n43d9d81aa14b
addedOrder of symmetric groupff0a9b7c07df
addedCyclic group Z_n99451d6e8e8f
addedComplex nth roots of unity realization08ff0396fad4
addedAbelian group29d16c506ca8
addedStructure of finite abelian groupsddb8afedc83b
addedGroup of Lie type2b1e973a077f
addedJordan's simplicity of PSL(2,q)664bdd774ca6
addedLagrange's theoremc6f23cb78f62
addedSylow theorems36bfebcaeee1
addedCayley's theorem87e98fee6423
addedBurnside's theoremd9bfca0eeaa3
addedNon-abelian simple groups have order divisible by three primesa66a72d23b0b
addedFeit–Thompson theorema7483eb34f36
addedClassification of finite simple groups30c7609f9d44
addedJordan–Hölder theoremc41ac90a94cd
addedGroups of prime order are cyclic2e90b8718cf0
addedGroups of order p^243d3d15171f7
addedGroups of order pq are cyclic360094256a1d
addedSquarefree order implies solvable077a95ac0371
addedAt most two simple groups of each order9f4d1ddf689a