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

Download:

Current browse context:

math.RA

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 > Rings and Algebras

Title: Vaughan--Lee's nilpotent loop of size $12$ is finitely based

Authors: Peter Mayr
Abstract: In 1983 Vaughan--Lee showed that if a finite nilpotent loop splits into a direct product of factors of prime power order, then its equational theory has a finite basis. Whether the condition on the direct decomposition is necessary has remained open since. In the same paper, Vaughan--Lee gives an explicit example of a nilpotent loop of order $12$ that does not factor into loops of prime power order and asks whether it is finitely based. We give a finite basis for his example by explicitly characterizing its term functions. This also allows us to show that the subpower membership problem for this loop can be solved in polynomial time.
Subjects: Rings and Algebras (math.RA)
MSC classes: 08B05, 20N05, 08A40
Cite as: arXiv:2206.06136 [math.RA]
  (or arXiv:2206.06136v1 [math.RA] for this version)

Submission history

From: Peter Mayr [view email]
[v1] Mon, 13 Jun 2022 13:20:21 GMT (10kb)

Link back to: arXiv, form interface, contact.