Linear groupoids and the associated wreath products.

DOI10.1016/j.jsc.2005.02.003zbMath1125.20052arXivmath/0701713OpenAlexW2023391568MaRDI QIDQ2456592

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

wreath productsBoolean algebrasequational basesbinary treeslinear identitiesvarieties of groupoidslinear groupoidsRobbins axiomstrictly balanced identities

Mathematics Subject Classification ID

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

Uses Software

• GAP
• OTTER
• Mace4

Cites Work

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

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