Difference between revisions of "Template:Group-like structures"

From blackwiki
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:
{| class="infobox" style="float:right; text-align:center"
+
{| 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