Matrix relation algebras
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].
- Algebraization of quantifier logics, an introductory overview
- Matrix relation algebras.
- Degree of matrix relation algebras.
- Partiality. II: Constructed relation algebras
- Matrix theory for independence algebras
- Generators and relations for matrix algebras.
- Matrix algebra
- Matrix Algebras and Reality-Based Algebras
- Constructions around partialities
- Left- and right-Atkinson linear relation matrices
- Some applications of matrix - and computer algebra in relation theory
- scientific article; zbMATH DE number 4079767 (Why is no real title available?)
- scientific article; zbMATH DE number 2230055 (Why is no real title available?)
- Algebras of diagonal relations
This page was built for publication: Matrix relation algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090346)
