Abbreviation: IRA (this may also abbreviate the variety generated by all integral relation algebras)

An \emph{integral relation algebra} is a relation algebra $\mathbf{A}=\langle A,\vee,0, \wedge, 1, ', \circ, ^{\smile}, e\rangle$ that is

\emph{integral}: $x\circ y=0\Longrightarrow x=0\mbox{ or }y=0$

An \emph{integral relation algebra} is a relation algebra $\mathbf{A}=\langle A,\vee,0, \wedge,1,',\circ,^{\smile},e\rangle$ in which

\emph{the identity element $e$ is $0$ or an atom}: $e=x\vee y\Longrightarrow x=0\mbox{ or }y=0$

Let $\mathbf{A}$ and $\mathbf{B}$ be integral relation algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a homomorphism: $h(x\circ y)=h(x)\circ h(y)$, $h(x\vee y)=h(x)\vee h(y)$, $h(x')=h(x)'$, $h(x^\smile)=h(x)^\smile$ and $h(e)=e$.

For any group $\mathbf G=\langle G,*,^{-1},e\rangle$, construct the integral relation algebra $\mathcal R(G)=\langle\mathcal P(G),\cup,\emptyset,\cap,G,',\circ,^\smile,\{e\}\rangle$, where $X\circ Y=\{x*y:x\in X,y\in Y\}$ and $X^\smile=\{x^{-1}:x\in X\}$ for $X,Y\subseteq G$.

Every nontrivial integral relation algebra is simple.

Every simple commutative relation algebra is integral.

Every group relation algebra is integral.

For $n\ne 2^k$, the # of algebras is 0.

See http://www1.chapman.edu/~jipsen/gap/ramaddux.html for more information.

Simple commutative relation algebras

Group relation algebras

Relation algebras