Matrix relation algebras (Q1090346): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5810602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of relation algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3963056 / rank | |||
Normal rank |
Latest revision as of 20:05, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Matrix relation algebras |
scientific article |
Statements
Matrix relation algebras (English)
0 references
1987
0 references
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].
0 references
matrices over lattice
0 references
universal algebra of matrices
0 references
distributive lattice
0 references
Boolean algebra
0 references
relation algebra
0 references