Geodesic
Triple Constructions of Decomposable MS-Algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 51 (2012) no. 2, pp. 53-65 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

A simple triple construction of principal MS-algebras is given which is parallel to the construction of principal $p$-algebras from principal triples presented by the third author in [Haviar, M.: Construction and affine completeness of principal p-algebras Tatra Mountains Math. 5 (1995), 217–228.]. It is shown that there exists a one-to-one correspondence between principal MS-algebras and principal MS-triples. Further, a triple construction of a class of decomposable MS-algebras that includes the class of principal MS-algebras is given. It is a modification of the quadruple constructions by T. S. Blyth and J. C. Varlet [Blyth, T., Varlet, J.: On a common abstraction of de Morgan algebras and Stone algebras Proc. Roy. Soc. Edinburgh. 94A (1983), 301–308.], [Blyth, T., Varlet, J.: Subvarieties of the class of MS-algebras Proc. Roy. Soc. Edinburgh 95A (1983), 157–169.] and T. Katriňák and K. Mikula [Katriňák, T., Mikula, K.: On a construction of MS-algebras Portugaliae Math. 45 (1988), 157–163.]; instead of Kleene algebras and the filters $L^{\vee }$ used in their quadruples, de Morgan algebras and the filters $D(L)$, respectively, are used in our triples.
A simple triple construction of principal MS-algebras is given which is parallel to the construction of principal $p$-algebras from principal triples presented by the third author in [Haviar, M.: Construction and affine completeness of principal p-algebras Tatra Mountains Math. 5 (1995), 217–228.]. It is shown that there exists a one-to-one correspondence between principal MS-algebras and principal MS-triples. Further, a triple construction of a class of decomposable MS-algebras that includes the class of principal MS-algebras is given. It is a modification of the quadruple constructions by T. S. Blyth and J. C. Varlet [Blyth, T., Varlet, J.: On a common abstraction of de Morgan algebras and Stone algebras Proc. Roy. Soc. Edinburgh. 94A (1983), 301–308.], [Blyth, T., Varlet, J.: Subvarieties of the class of MS-algebras Proc. Roy. Soc. Edinburgh 95A (1983), 157–169.] and T. Katriňák and K. Mikula [Katriňák, T., Mikula, K.: On a construction of MS-algebras Portugaliae Math. 45 (1988), 157–163.]; instead of Kleene algebras and the filters $L^{\vee }$ used in their quadruples, de Morgan algebras and the filters $D(L)$, respectively, are used in our triples.
Classification : 06D05, 06D30
Keywords: principal MS-algebra; principal MS-triple; decomposable MS-algebra; decomposable MS-triple; de Morgan algebra; filter 
@article{AUPO_2012_51_2_a4,
     author = {Badawy, Abd El-Mohsen and Guffov\'a, Daniela and Haviar, Miroslav},
     title = {Triple {Constructions} of {Decomposable} {MS-Algebras}},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {53--65},
     year = {2012},
     volume = {51},
     number = {2},
     mrnumber = {3058873},
     zbl = {06204930},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_2012_51_2_a4/}
}
TY  - JOUR
AU  - Badawy, Abd El-Mohsen
AU  - Guffová, Daniela
AU  - Haviar, Miroslav
TI  - Triple Constructions of Decomposable MS-Algebras
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 2012
SP  - 53
EP  - 65
VL  - 51
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/AUPO_2012_51_2_a4/
LA  - en
ID  - AUPO_2012_51_2_a4
ER  - 
%0 Journal Article
%A Badawy, Abd El-Mohsen
%A Guffová, Daniela
%A Haviar, Miroslav
%T Triple Constructions of Decomposable MS-Algebras
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 2012
%P 53-65
%V 51
%N 2
%U http://geodesic.mathdoc.fr/item/AUPO_2012_51_2_a4/
%G en
%F AUPO_2012_51_2_a4
Badawy, Abd El-Mohsen; Guffová, Daniela; Haviar, Miroslav. Triple Constructions of Decomposable MS-Algebras. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 51 (2012) no. 2, pp. 53-65. http://geodesic.mathdoc.fr/item/AUPO_2012_51_2_a4/

[1] Blyth, T., Varlet, J.: On a common abstraction of de Morgan algebras and Stone algebras. Proc. Roy. Soc. Edinburgh. 94A (1983), 301–308. | MR | Zbl

[2] Blyth, T., Varlet, J.: Subvarieties of the class of MS-algebras. Proc. Roy. Soc. Edinburgh 95A (1983), 157–169. | MR | Zbl

[3] Blyth, T., Varlet, J.: Sur la construction de certaines MS-algebres. Portugaliae Math. 39 (1980), 489–496. | MR

[4] Blyth, T., Varlet, J.: Corrigendum sur la construction de certaines MS-algebres. Portugaliae Math. 42 (1983), 469–471. | MR

[5] Chen, C. C.: Stone lattice I, Construction theorems. Cond. J. Math. 21 (1969), 884–894. | DOI | MR

[6] Haviar, M.: On certain construction of MS-algebras. Portugaliae Math. 51 (1994), 71–83. | MR

[7] Haviar, M.: Construction and affine completeness of principal p-algebras. Tatra Mountains Math. 5 (1995), 217–228. | MR | Zbl

[8] Katriňák, T.: A new proof of the construction theorem for Stone algebras. Proc. Amer. Math. Soc. 40 (1973), 75–78. | DOI | MR | Zbl

[9] Katriňák,T., Mederly, P.: Construction of p-algebras. Algebra Universalis 17 (1983), 288–316. | DOI | MR

[10] Katriňák, T., Mikula, K.: On a construction of MS-algebras. Portugaliae Math. 45 (1988), 157–163. | MR