Linear groupoids and the associated wreath products.

DOI10.1016/J.JSC.2005.02.003MaRDI QIDQ2456592zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 19 October 2007

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

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

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)

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.

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.

Cites work

• scientific article; zbMATH DE number 51878 (Why is no real title available?)
• scientific article; zbMATH DE number 1501449 (Why is no real title available?)
• scientific article; zbMATH DE number 2097976 (Why is no real title available?)
• scientific article; zbMATH DE number 2115084 (Why is no real title available?)
• scientific article; zbMATH DE number 3092877 (Why is no real title available?)
• A Unification Algorithm for Associative-Commutative Functions
• Balanced identities in algebras of quasigroups
• Boolean Algebra. A Correction
• Equational theories of medial groupoids
• Experimenting with the identity (xy)z=y(zx)
• Linear Equational Theories and Semimodule Representations
• Modular groupoids
• Permutable groupoids
• Ringe mit x(yz)=(yx)z.
• Rings with x(yz)=z(yx)
• Solution of the Robbins problem
• The equational theory of paramedial cancellation groupoids
• Varieties of groupoids determined by short linear identities

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

Describes a project that uses

Uses Software

• Mace4
• OTTER
• GAP

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)