Affiliation:
1. Instititute of Mathematics and Computer Science , University of Latvia , Raiņa b. 29 , Riga LV-1459 Latvia
Abstract
Abstract
A quasi-decomposition of a Hilbert algebra A is a pair (C, D) of its subalgebras such that (i) every element a ∈ A is a meet c ∧ d with c ∈ C, d ∈ D, where c and d are compatible (i.e., c → d = c → (c ∧ d)), and (ii) d → c = c (then c is uniquely defined). Quasi-decompositions are intimately related to the so-called triple construction of Hilbert algebras, which we reinterpret as a construction of quasidirect products. We show that it can be viewed as a generalization of the semidirect product construction, that quasidirect products has a certain universal property and that they can be characterised in terms of short exact sequences. We also discuss four classes of Hilbert algebras and give for each of them conditions on a quasi-decomposition of an arbitrary Hilbert algebra A under which A belongs to this class.
Reference25 articles.
1. Chajda, I.—Länger, H.—Paseka, J.: Algebraic aspects of relatively pseudocomplemented posets, Order 37 (2020), 1–29.
2. Cīrulis, J.: Multipliers, closure endomorphisms and quasi-decompositions of a Hilbert algebra. In: Contributions to General Algebra, Vol. 16. Verl. Johannes Heyn, Klagenfurt, 2005, pp. 25–34.
3. Cīrulis, J.: Hilbert algebras as implicative partial semilattices, CentrL Eur. J. Math. 5 (2007), 264–279.
4. Cīrulis, J.: Relatively pseudocomplemented Hilbert algebras, Cent. Eur. J. Math. 6 (2008), 189–190.
5. Cīrulis, J.: Implication in sectionally pseudocomplemented posets, Acta Sci. Math. (Szeged) 74 (2008), 477–491.