Difference between revisions of "Template:Group-like structures"
Jump to navigation
Jump to search
imported>LokiClock (better link) |
imported>Eric Kvaalen (The entries say whether the property is required.) |
||
| Line 1: | Line 1: | ||
{| align="right" class="infobox" style="text-align:center" | {| align="right" class="infobox" style="text-align:center" | ||
|- align="center" | |- align="center" | ||
| − | | style="border-bottom: 2px solid #303060" colspan=6| '''Group-like structures''' | + | | style="border-bottom: 2px solid #303060" colspan=6| '''Group-like structures. The entries say whether the property is ''required''.''' |
|- | |- | ||
! !! [[Total Function|Totality]]* !! [[Associativity]] !! [[Identity element|Identity]] !! [[Inverse element|Divisibility]] !! [[Commutativity]] | ! !! [[Total Function|Totality]]* !! [[Associativity]] !! [[Identity element|Identity]] !! [[Inverse element|Divisibility]] !! [[Commutativity]] | ||
Revision as of 11:45, 27 May 2014
| 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