Lazy groupoids (Q2227628): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:22, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lazy groupoids |
scientific article |
Statements
Lazy groupoids (English)
0 references
15 February 2021
0 references
A binary algebraic structure, or groupoid, \((G,*)\), is called lazy if all operations obtained by composition are \(x*y\), \(x*x\) or \(x\) (up to renaming of variables). For example, rectangular bands are lazy. An essentially unary operation \(x*y=f(x)\) is lazy if and only if \(f^2(x)=x\) or \(f^2(x)=f(x)\). The paper characterizes lazy groupoids in two ways. It describes all 15 maximal varieties of lazy groupoids and their subvarieties, providing explicit equational bases. For each maximal variety of lazy groupoids, there is a universal construction of all members of the variety, similar in spirit to the classical description of rectangular bands.
0 references
lazy operation
0 references
lazy groupoid
0 references
minimal clone
0 references
rectangular band
0 references
lattice of subvarieties
0 references