Template:Group-like structures: Difference between revisions
From Vigyanwiki
No edit summary |
m (1 revision imported from alpha:Template:Group-like_structures) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 52: | Line 52: | ||
<!-- Categories below this line; interwikis at Wikidata --> | <!-- Categories below this line; interwikis at Wikidata --> | ||
[[Category:Mathematics sidebar templates]] | [[Category:Mathematics sidebar templates]] | ||
</noinclude> | </noinclude>[[Category: Templates Vigyan Ready]] | ||
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. | |||||
