OFFSET
1,2
COMMENTS
The fact that H is of odd order means H is disjoint from -H. The finite integral relation algebra with n pairs of asymmetric diversity atoms a_i, where the forbidden cycles are of the form (a_i, a_i, a_i^(converse)), is representable over Z/pZ, where p = a(n). These are "directed anti-Ramsey algebras", since "monochromatic intransitive triangles" are forbidden.
LINKS
Jeremy F. Alm, Table of n, a(n) for n = 1..1000
Jeremy F. Alm, Python program
Jeremy F. Alm, Directed Ramsey and Anti-Ramsey Algebras and the Flexible Atom Conjecture, arXiv:1901.06781 [math.LO], 2019.
J. F. Alm and A. Ylvisaker, A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over Z/pZ, arXiv:1708.04974 [math.CO], 2017.
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeremy F. Alm, Nov 04 2017
STATUS
approved