Laws in a class of groupoids (Q1182933): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Bernhard Neumann / rank | |||
Property / reviewed by | |||
Property / reviewed by: Sheila Oates-Williams / rank | |||
Property / author | |||
Property / author: Bernhard Neumann / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sheila Oates-Williams / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5790810 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Laws in groupoids derived from semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-Groups Which Satisfy Certain Generalized Associative Laws / rank | |||
Normal rank |
Revision as of 15:34, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Laws in a class of groupoids |
scientific article |
Statements
Laws in a class of groupoids (English)
0 references
28 June 1992
0 references
In an earlier paper [Bull. Aust. Math. Soc. 26, 385-392 (1982; Zbl 0492.08008)] the first author introduced a class of groupoids derived from commutative semigroups. The previous paper showed that such groupoids have no finite basis for their laws; this paper investigates the laws that hold in all groupoids of the class. Let \({\mathcal S}=(S,+)\) be a commutative groupoid, and \(\alpha,\;\beta\) two commuting endomorphisms of \(\mathcal S\). A new operation \(\mu\) is defined on \(S\) by \(xy\mu=x\alpha+x\beta\) and it is the groupoid \({\mathcal G}(\alpha,\beta)=(S,\mu)\) (or \(\mathcal G\) for short) that is the object of attention. Since it is only the laws that hold in all such groupoids that are of interest here, \(\mathcal S\) can be taken to be the free commutative semigroup of countable rank, and \(\alpha,\;\beta\) to be freely commuting. An example of such a law (in fact, the shortest nontrivial law) is the medial law \(xy\mu zt\mu^ 2=xz\mu yt\mu^ 2\). An infinite sequence of laws is defined as follows. Let \[ u_ m=x_ 1x_ 2\dots x_ m\mu^{m-1}, v_ m=x_{m+1}x_{m+2}\dots x_{2m-1}\mu^{m- 2}x_{2m}\mu,\;w_ n=u_ mv_ m\mu,\;\hbox{ where } n=2m. \] Let \(w_ n'\) be the word obtained from \(w_ n\) by interchanging the variables \(x_{m-1}\) and \(x_{2m-2}\); then the main result of the paper is: Theorem. Each of the laws \(w_ n=w_ n'\) for \(n=2m\geq 6\) holds in \({\mathcal G}\) and is independent of all shorter laws of \(\mathcal G\). An immediate consequence of this is that the laws of \(\mathcal G\) do not have a finite basis.
0 references
class of groupoids
0 references
commutative semigroups
0 references
commuting endomorphisms
0 references
free commutative semigroup of countable rank
0 references
medial law
0 references
infinite sequence of laws
0 references
word
0 references