Template:Group-like structures
Revision as of 19:42, 5 July 2015 by 178.16.8.237 (talk)
Group-like structures. The entries say whether the property is required. | |||||
Totality* | Associativity | Identity | Divisibility | Commutativity | |
---|---|---|---|---|---|
Semicategory | Unneeded | Required | Unneeded | Unneeded | Unneeded |
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 |
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. |
fr:Modèle:StructuresSemblablesGroupes pl:Szablon:Struktury grupopodobne