Revision #513 → #1112 · back to history
addedConjugate elementsa9594358ee92
addedConjugacy classes6c7c03884da8
addedClass functions138c9062a784
addedConjugate subsetscb96f5266791
addedNormal subgroup characterizationcceb723a7b69
addedInner automorphism698769362ecc
addedMatrix similarity as conjugacy723abe9b200a
addedSylow subgroups are conjugatebcd74fcee442
addedConjugate elements (formal)0fffa278447b
addedMatrix similarityc778db08d40b
addedConjugacy is an equivalence relation2a7fe506a5e3
addedClass numbercba2cadd6a12
addedCenter and singleton classes46e3707d0b2d
addedConjugate elements share order12dfc4ac6342
addedPowers of conjugates are conjugate010592d42d32
addedQuotient by center is inner automorphism groupb4785f938d25
addedConjugacy classes of S31fbe252d4d47
addedConjugacy classes of S4abb0628e88cc
addedNumber of classes in symmetric group4d26494a0ec2
addedConjugacy classes of dihedral group52d91ae1633c
addedConjugation group action; orbits are classes47769001f935
addedClass corresponds to centralizer cosetsd0425a547dde
addedClass size divides group order653793b51e63
addedClass equation578093973f61
addedFinite p-group has nontrivial centere060004cb462
addedGroups of order p^2 are abelian3a2e3e3c0878
addedBurnside average centralizerce94b5bd65a0
addedConjugate subsets62198d1d208a
addedSubset class corresponds to normalizer cosetseec77d959037
addedConjugate subgroups are isomorphicbd7a048c3a4a
addedConjugacy classes as free homotopy classes73a7e021e323
addedIrreducible representations equal conjugacy classes298a3ea95367