Difference between revisions of "Template:Group-like structures"
Jump to navigation
Jump to search
imported>INLegred m (Fixed Source) |
imported>Timeroot (Removing "infobox" attribute, replacing with some manual styles. Although on desktop, "infobox" lays out in a grid, on mobile the flex layout doesn't compute the same and the table is literally unreadable. This fixes that problem.) |
||
| Line 1: | Line 1: | ||
| − | {| | + | {| style="margin:0.5em 0 1em 35px; max-width:320px;float:right!important;font-size:90%" |
|- | |- | ||
! style="background:#cee0f2; padding:0.2em 0.4em 0.2em; text-align:center; font-size:130%; line-height:1.2em;" colspan=6 | Group-like structures | ! style="background:#cee0f2; padding:0.2em 0.4em 0.2em; text-align:center; font-size:130%; line-height:1.2em;" colspan=6 | Group-like structures | ||
| Line 9: | Line 9: | ||
!! style="text-align:center" | [[Commutativity]] | !! style="text-align:center" | [[Commutativity]] | ||
|- | |- | ||
| − | ! [[Semigroupoid]] | + | ! style = "display:block" | [[Semigroupoid]] |
| {{no|Unneeded}} || {{yes|Required}} || {{no|Unneeded}} || {{no|Unneeded}} || {{no|Unneeded}} | | {{no|Unneeded}} || {{yes|Required}} || {{no|Unneeded}} || {{no|Unneeded}} || {{no|Unneeded}} | ||
|- | |- | ||
Revision as of 20:53, 3 June 2019
| Group-like structures | |||||
|---|---|---|---|---|---|
| Totalityα | Associativity | Identity | Invertibility | 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 |
| Loop | Required | Unneeded | Required | Required | Unneeded |
| Semigroup | Required | Required | Unneeded | Unneeded | Unneeded |
| Inverse Semigroup | Required | Required | Unneeded | Required | Unneeded |
| Monoid | Required | Required | Required | Unneeded | Unneeded |
| Group | Required | Required | Required | Required | Unneeded |
| Abelian group | Required | Required | Required | Required | Required |
| ^α Closure, which is used in many sources, is an equivalent axiom to totality, though defined differently. | |||||
fr:Modèle:StructuresSemblablesGroupes pl:Szablon:Struktury grupopodobne