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

Mathematics > Rings and Algebras

Title: A note on the Burris-Willard conjecture

Authors: Mike Behrisch
Abstract: Based on results by Dani\v{l}\v{c}enko, in 1987 Burris and Willard have conjectured that on any $k$-element domain where $k\geq 3$ it is possible to bicentrically generate every centraliser clone from its $k$-ary part. Later, for every $k\geq 3$, Snow constructed algebras with a $k$-element carrier set where the minimum arity of the clone of term operations from which the bicentraliser can be generated is at least $(k-1)^2$, which is larger than $k$ for $k\geq 3$.
We prove that Snow's examples do not violate the Burris-Willard conjecture nor invalidate the results by Dani\v{l}\v{c}enko on which the latter is based. We also complement our results with some computational evidence for $k=3$, obtained by an algorithm to compute a primitive positive definition for a relation in a finitely generated relational clone over a finite set.
Comments: 24 pages, contains an ancillary directory containing implementations in c++ and z3-scripts verifying parts of the paper
Subjects: Rings and Algebras (math.RA)
MSC classes: 08A02, 08A40 (Primary) 08-08, 08-11, 08-04 (Secondary)
Cite as: arXiv:2011.09027 [math.RA]
  (or arXiv:2011.09027v1 [math.RA] for this version)

Submission history

From: Mike Behrisch [view email]
[v1] Wed, 18 Nov 2020 01:26:23 GMT (2434kb,AD)

Link back to: arXiv, form interface, contact.