Template:Group-like structures

From blackwiki
Revision as of 11:45, 27 May 2014 by imported>Eric Kvaalen (The entries say whether the property is required.)
Jump to navigation Jump to search
Group-like structures. The entries say whether the property is required.
Totality* Associativity Identity Divisibility 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 Yes 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.

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