Template:Group-like structures
From HandWiki
Group-like structures | |||||
---|---|---|---|---|---|
Totalityα | Associativity | Identity | Invertibility | Commutativity | |
Semigroupoid | Unneeded | Required | Unneeded | Unneeded | Unneeded |
Small Category | Unneeded | Required | Required | Unneeded | Unneeded |
Groupoid | Unneeded | Required | Required | Required | Unneeded |
Magma | Required | Unneeded | Unneeded | Unneeded | Unneeded |
Quasigroup | Required | Unneeded | Unneeded | Required | Unneeded |
Loop | Required | Unneeded | Required | Required | Unneeded |
Semigroup | Required | Required | Unneeded | Unneeded | Unneeded |
Inverse Semigroup | Required | Required | Unneeded | Required | Unneeded |
Monoid | Required | Required | Required | Unneeded | Unneeded |
Group | Required | Required | Required | Required | Unneeded |
Abelian group | Required | Required | Required | Required | Required |
^α Closure, which is used in many sources, is an equivalent axiom to totality, though defined differently. |