Template:Group-like structures
Revision as of 15:33, 12 November 2014 by 71.41.210.146 (talk) (Reordered rows so later rows add properties to earlier rows. Exceptions have a "reflection pattern" that is hopefully mnemonic. WP:BB)
Group-like structures. The entries say whether the property is required. | |||||
Totality* | Associativity | Identity | Divisibility | Commutativity | |
---|---|---|---|---|---|
Semicategory | No | Yes | No | No | No |
Category | No | Yes | Yes | No | No |
Groupoid | No | Yes | Yes | Yes | No |
Magma | Yes | No | No | No | No |
Quasigroup | Yes | No | No | Yes | No |
Loop | Yes | No | Yes | Yes | 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 |
*Closure, which is used in many sources, is an equivalent axiom to totality, though defined differently. |
fr:Modèle:StructuresSemblablesGroupes pl:Szablon:Struktury grupopodobne