On complete atomic proper relation algebras

Abstract

The object of this note is to classify the isomorphism types of all complete atomic proper relation algebras. In particular we find that the number of abstractly distinct complete atomic proper finite relation algebras of 2m elements is equal to the number of distinct partitions of the positive integer m into summands which are perfect squares.A relation algebra is called complete atomic if its Boolean algebra is complete atomic. A proper relation algebra is a relation algebra whose elements are relations. Lyndon has recently proved, by constructing an appropriate finite relation algebra, that not every complete atomic relation algebra is isomorphic to a proper relation algebra.Henceforth, let us consider a complete atomic proper relation algebra. The atoms {〈a, b〉}, {〈c, d〉} will be called connected if and only if {a, b} ⋂ {c, d} is not empty. Let the relation of connectedness over the set B of all atoms be denoted by ~. For brevity let B = {b1,b2, …}. The relation ~ is obviously reflexive and symmetric. But ~ is not transitive, since a, b, c, d distinct implies {〈a, 0〉} ~ {〈b, c〉}, {〈b, c〉} ~ {〈c, d〉}, and {〈a, b〉} ≁ {〈c, d〉}.