Matrix Expression of Finite Boolean-type Algebras

From MaRDI portal
Publication:6325371

DOI10.1016/J.AMC.2020.125880arXiv1909.07049MaRDI QIDQ6325371FDOQ6325371


Authors: Shihua Fu, Daizhan Cheng, Jun-e Feng, Jianli Zhao Edit this on Wikidata


Publication date: 16 September 2019

Abstract: Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expressions of BTL and CA (and then BTA) are presented. The construction and certain properties of BTAs are investigated via their matrix expression, including the homomorphism and isomorphism, etc. Then the product/decomposition of BTLs are considered. A necessary and sufficient condition for decomposition of BTA is obtained. Finally, a universal generator is provided for arbitrary finite universal algebras.













This page was built for publication: Matrix Expression of Finite Boolean-type Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325371)