Published on

Groups

Authors
  • avatar
    Name
    Daniel Jeong
    Twitter
TypeClosureAssociativityIdentityInverseCommutativity
MagmaO----
Unity MagmaO-O--
SemigroupOO---
QuasigroupO----
LoopO-OO-
MonoidOOO--
GroupOOOO-
Abelian GroupOOOOO

Properties

  • Closure: For any two elements aa and bb in SS, the result of aba * b is also in SS.
  • Associativity: For any elements a,b,a, b, and cc in SS, the equation (ab)c=a(bc)(a * b) * c = a * (b * c) holds true. The order of operations doesn't matter.
  • Identity: There exists a special element ee in SS such that for any element aa in SS, ae=ea=aa * e = e * a = a.
  • Inverse: For every element aa in SS, there is a corresponding element a1a⁻¹ in SS such that aa1=a1a=ea * a⁻¹ = a⁻¹ * a = e, where ee is the identity element.
  • Commutativity: For any two elements aa and bb in SS, ab=baa * b = b * a. The order of the elements doesn't matter.