Template:Group-like structures: Difference between revisions
From Vigyanwiki
(Created page with "{| class="floatright" style="font-size:90%" |+ style="background:#cee0f2; padding:0.2em 0.4em 0.2em; text-align:center; font-size:130%; line-height:1.2em; font-weight: bold" |...") |
m (1 revision imported from alpha:Template:Group-like_structures) |
(No difference)
| |
Latest revision as of 09:51, 14 December 2022
| Totalityα | Associativity | Identity | Inverse | Commutativity | |
|---|---|---|---|---|---|
| Semigroupoid | Unneeded | Required | Unneeded | Unneeded | Unneeded |
| Small category | Unneeded | Required | Required | Unneeded | Unneeded |
| Groupoid | Unneeded | Required | Required | Required | Unneeded |
| Magma | Required | Unneeded | Unneeded | Unneeded | Unneeded |
| Quasigroup | Required | Unneeded | Unneeded | Required | Unneeded |
| Unital magma | Required | Unneeded | Required | Unneeded | Unneeded |
| Semigroup | Required | Required | Unneeded | Unneeded | Unneeded |
| Loop | Required | Unneeded | Required | Required | Unneeded |
| Monoid | Required | Required | Required | Unneeded | Unneeded |
| Group | Required | Required | Required | Required | Unneeded |
| Commutative monoid | Required | Required | Required | Unneeded | Required |
| Abelian group | Required | Required | Required | Required | Required |
| ^α The closure axiom, used by many sources and defined differently, is equivalent. | |||||
