English

Monk Algebras and Representability

Logic 2025-01-14 v1 Discrete Mathematics Combinatorics

Abstract

In ``Monk Algebras and Ramsey Theory,'' \emph{J. Log. Algebr. Methods Program.} (2022), Kramer and Maddux prove various representability results in furtherance of the goal of finding the smallest weakly representable but not representable relation algebra. They also pose many open problems. In the present paper, we address problems and issues raised by Kramer and Maddux. In particular, we prove that their Proposition 7 does not generalize, and we answer Problem 1.1 in the negative: relation algebra 131113161311_{1316} is not representable. Thus 131113161311_{1316} is a good candidate for the smallest weakly representable but not representable relation algebra. Finally, we give the first known finite cyclic group representations for relation algebras 313731_{37}, 326532_{65}, 130613141306_{1314}, and 131413161314_{1316}.

Cite

@article{arxiv.2501.07332,
  title  = {Monk Algebras and Representability},
  author = {Jeremy F. Alm},
  journal= {arXiv preprint arXiv:2501.07332},
  year   = {2025}
}

Comments

14 pages

R2 v1 2026-06-28T21:04:39.095Z