Template:Group-like structures

From blackwiki
Revision as of 16:56, 19 August 2013 by imported>Gemisi (Qualified the existence of inverses for loops: only left and right inverses exist.)
Jump to navigation Jump to search
Group-like structures
Totality* Associativity Identity Inverses Commutativity
Magma Yes No No No No
Semigroup Yes Yes No No No
Monoid Yes Yes Yes No No
Group Yes Yes Yes Yes No
Abelian Group Yes Yes Yes Yes Yes
Loop Yes No Yes Yes** No
Quasigroup Yes No No No No
Groupoid No Yes Yes Yes No
Category No Yes Yes No No
Semicategory No Yes No No No
*Closure, which is used in many sources to define group-like structures, is an equivalent axiom to totality, though defined differently.
**Each element of a loop has a left and right inverse, but these need not coincide.

fr:Modèle:StructuresSemblablesGroupes pl:Szablon:Struktury grupopodobne