Linear groupoids and the associated wreath products.

DOI10.1016/J.JSC.2005.02.003zbMATH Open1125.20052arXivmath/0701713OpenAlexW2023391568MaRDI QIDQ2456592FDOQ2456592

Authors: Yanyan Li 

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: A groupoid identity is said to be linear of length $2k$ if the same $k$ variables appear on both sides of the identity exactly once. We classify and count all varieties of groupoids defined by a single linear identity. For $k=3$, there are 14 nontrivial varieties and they are in the most general position with respect to inclusion. Hentzel et. al. showed that the linear identity $(xy)z=y(zx)$ implies commutativity and associativity in all products of at least 5 factors. We complete their project by showing that no other linear identity of any length behaves this way, and by showing how the identity $(xy)z=y(zx)$ affects products of fewer than 5 factors; we include distinguishing examples produced by the finite model builder Mace4. The corresponding combinatorial results for labelled binary trees are given. We associate a certain wreath product with any linear identity. Questions about linear groupoids can therefore be transferred to groups and attacked by group-theoretical computational tools, e.g., GAP. Systematic notation and diagrams for linear identities are devised. A short equational basis for Boolean algebras involving the identity $(xy)z=y(zx)$ is presented, together with a proof produced by the automated theorem prover Otter.

Full work available at URL: https://arxiv.org/abs/math/0701713

Recommendations

• Varieties of groupoids determined by short linear identities
• Star-linear equational theories of groupoids
• Laws in a class of groupoids
• scientific article; zbMATH DE number 2103941
• On commutativity and groupoid identities between products with 3 factors.

zbMATH Keywords

binary treeswreath productsBoolean algebraslinear identitiesequational basesvarieties of groupoidslinear groupoidsRobbins axiomstrictly balanced identities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Sets with a single binary operation (groupoids) (20N02) Loops, quasigroups (20N05) Lattices of varieties (08B15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Equational theories of medial groupoids
• Solution of the Robbins problem
• A Unification Algorithm for Associative-Commutative Functions
• Boolean Algebra. A Correction
• Balanced identities in algebras of quasigroups
• Rings with x(yz)=z(yx)
• Ringe mit \(x(yz)=(yx)z\).
• Experimenting with the identity \((xy)z=y(zx)\)
• Permutable groupoids
• The equational theory of paramedial cancellation groupoids
• Title not available (Why is that?)
• Modular groupoids
• Linear Equational Theories and Semimodule Representations
• Varieties of groupoids determined by short linear identities
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• The linearity of wreath products
• Varieties of groupoids determined by short linear identities
• Star-linear equational theories of groupoids
• On commutativity and groupoid identities between products with 3 factors.
• A note on the Austin's groupoids
• LINEARIZATION OF REGULAR PROPER GROUPOIDS

Uses Software

• GAP
• OTTER
• Mace4

This page was built for publication: Linear groupoids and the associated wreath products.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456592)