We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Group Theory

Title: Varieties of Lazy Magmas Characterized by Forbidden Substructure Theorems

Abstract: A magma (or groupoid) is a set with a binary operation $(A,f)$. Roughly speaking, a magma is said to be lazy if compositions such as $f(x,f(f(y,z),u))$ depend on at most two variables. Recently, Kaprinai, Machida and Waldhauser described the lattice of all the varieties of lazy groupoids.
A forbidden structure theorem is one that charcaterizes a smaller class $A$ inside a larger class $B$ as all the elements in $B$ that avoid some substructures. For example, a lattice is distributive (smaller class $A$) if and only if it is a lattice (larger class $B$) and avoids the pentagon and the diamond.
In this paper we provide a characterization of all pairs of lazy groupoid varieties $A\le B$ by forbidden substructure theorems. Some of the results are straightforward, but some other are very involved. All of these results and proofs were found using a computational tool that proves theorems of this type (for many different classes of relational algebras) and that we make available to every mathematician.
Subjects: Group Theory (math.GR); Logic (math.LO)
MSC classes: 20N02, 20M07, 20M75
Cite as: arXiv:2205.14343 [math.GR]
  (or arXiv:2205.14343v1 [math.GR] for this version)

Submission history

From: João Araújo Mr [view email]
[v1] Sat, 28 May 2022 05:59:29 GMT (16kb)

Link back to: arXiv, form interface, contact.