Revision #565 → #1278 · back to history
addedGroup (informal)47f79580c97e
addedIntegers under addition5ae3bce6d4bb
addedGroup (formal definition)238f9ad5f3b9
addedIdentity elementc6e6929b286e
addedInverse element117524b776ef
addedAbelian group9018b154f420
addedAdditive and multiplicative group notation15ed95267c71
addedDihedral group D4 (symmetries of a square)a5e708c1bf2f
addedUniqueness of identity element8271265aa4d3
addedUniqueness of inversesbb7f20d1f8cf
addedUnique solution of left equation (left translation is a bijection)bac63cf879e5
addedUnique solution of right equation (right translation is a bijection)bfa877125559
addedEquivalent definition via one-sided axiomse595adc0d45f
addedLeft identity + right inverse insufficient25de3cd96b16
addedGroup homomorphism396aceadd348
addedIsomorphism of groups888ef010423d
addedSubgroup04e81c4f24a4
addedSubgroup testa9a1c286ef6b
addedSubgroup generated by a subset2fade3134483
addedCosets and normal subgroupdde8c01bbe13
addedLeft cosets form a partitionb4e40811e9bc
addedQuotient group3784300d51a5
addedFirst isomorphism theorem7765944e908a
addedPresentation of a groupb077544abf84
addedEvery group is a quotient of a free group7884bd42394a
addedFundamental group of plane minus a point2f08f0e40777
addedIntegers under multiplication not a group409a2c87a293
addedNonzero rationals under multiplication6a1d968abc84
addedModular addition group Z/nZ3c8746444a82
addedMultiplicative group of integers modulo a primec447fb1806d9
addedCyclic group1d967083eed1
addedGroup of nth roots of unity103264566d1e
addedInfinite cyclic group is isomorphic to Z0befe35c6471
addedGroup actionfe168c28c5be
addedGeneral linear groupe62e42f7a7f2
addedLinear representation of a groupb92b53e44f7f
addedGalois group of the quadratic73d712656d9e
addedFinite group and order3cd9dc749a2f
addedSymmetric group on n letters52d4d025192f
addedCayley's theorem5167e2a5f751
addedOrder of an elementd7075726d1d3
addedLagrange's theoreme71719ffaea1
addedStructure theorem for finite abelian groups978885dea8b5
addedGroups of prime order are cyclic3d7ae2fc1e20
addedSimple groupa3a7f3e45d23
addedClassification of finite simple groups7a4a489c8526
addedGroup via operations (equational definition)c5689e25c227
addedTopological group237f4cc1d9c1
addedLie group4dc81d9b7292
addedGeneral linear group as a Lie group22ac1fcdd5cc
addedMonoid (relaxation)7ff9b735fd7a
addedGroupoid305cb3abfa2d
addedn-ary groupa0e7f91c951d