Matrix relation algebras (Q1090346): Difference between revisions

Let D be a distributive lattice with 0 and 1. Let \({\mathbb{M}}_ n(D)=(M_ n;\vee,\wedge,\cdot,',0,I,E)\) be the universal algebra of all \(n\times n\) matrices over D with pointwise \(\vee\) and \(\wedge\) operations, ''usual'' matrix multiplication \(\cdot\), transposition as ' operation, where \(0(i,j)=0\), \(I(i,j)=1\), \(E(i,j)=\delta_{ij}\) for i,j\(\in D\). Necessary and sufficient conditions on the distributive lattice S with 0 and 1 and additional operations \(\cdot\), ', E (satisfying some relations) are found in order to be isomorphic to \({\mathbb{M}}_ n(S)\). Using this the author gives a full characterization of \({\mathbb{M}}_ n(B)\), B being a Boolean algebra, among the relation algebra (B;\(\vee,\wedge,\cdot,',0,I,E)\) in the sense of \textit{G. Birkhoff} [Lattice Theory (1967; Zbl 0153.025), section 12, 13 of XIV].