The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Jerzy Płonka

Discussiones Mathematicae - General Algebra and Applications (2001)

  • Volume: 21, Issue: 2, page 255-268
  • ISSN: 1509-9415

Abstract

top
Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by V b the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type τ b : + , · , ´ N , where τ b ( + ) = τ b ( · ) = 2 and τ b ( ´ ) = 1 . In this paper we characterize the lattice ( B b ) of all subvarieties of the biregularization of the variety B.

How to cite

top

Jerzy Płonka. "The lattice of subvarieties of the biregularization of the variety of Boolean algebras." Discussiones Mathematicae - General Algebra and Applications 21.2 (2001): 255-268. <http://eudml.org/doc/287674>.

@article{JerzyPłonka2001,
abstract = {Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_\{b\}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type $τ_\{b\}: \{+,·,´\} → N$, where $τ_\{b\}(+) = τ_\{b\}(·) = 2$ and $τ_\{b\}(´) = 1$. In this paper we characterize the lattice $ℒ(B_\{b\})$ of all subvarieties of the biregularization of the variety B.},
author = {Jerzy Płonka},
journal = {Discussiones Mathematicae - General Algebra and Applications},
keywords = {subdirectly irreducible algebra; lattice of subvarieties; Boolean algebra; biregular identity; variety of Boolean algebras; biregularization; biregular identities},
language = {eng},
number = {2},
pages = {255-268},
title = {The lattice of subvarieties of the biregularization of the variety of Boolean algebras},
url = {http://eudml.org/doc/287674},
volume = {21},
year = {2001},
}

TY - JOUR
AU - Jerzy Płonka
TI - The lattice of subvarieties of the biregularization of the variety of Boolean algebras
JO - Discussiones Mathematicae - General Algebra and Applications
PY - 2001
VL - 21
IS - 2
SP - 255
EP - 268
AB - Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_{b}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type $τ_{b}: {+,·,´} → N$, where $τ_{b}(+) = τ_{b}(·) = 2$ and $τ_{b}(´) = 1$. In this paper we characterize the lattice $ℒ(B_{b})$ of all subvarieties of the biregularization of the variety B.
LA - eng
KW - subdirectly irreducible algebra; lattice of subvarieties; Boolean algebra; biregular identity; variety of Boolean algebras; biregularization; biregular identities
UR - http://eudml.org/doc/287674
ER -

References

top
  1. [1] S. Burris and H.P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York-Heidelberg-Berlin 1981. Zbl0478.08001
  2. [2] I. Chajda, Normally presented varieties, Algebra Universalis 34 (1995), 327-335. Zbl0842.08007
  3. [3] I. Chajda and K. Gazek, A Basic Course on General Algebra, TechnicalUniversity Press, Zielona Góra 2000. 
  4. [4] G. Grätzer, Universal Algebra (2nd edition), Springer-Verlag, New York-Heidelberg-Berlin 1979. 
  5. [5] B. Jónsson and E. Nelson, Relatively free products in regular varieties, Algebra Universalis 4 (1974), 14-19. Zbl0319.08002
  6. [6] H. Lakser, R. Padmanabhan and C.R. Platt, Subdirect decomposition of Płonka sums, Duke Math. J. 39 (1972), 485-488. Zbl0248.08007
  7. [7] R. McKenzie, G. McNulty and W. Taylor, Algebras, Lattices, Varieties, vol. 1, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, California 1987. 
  8. [8] J. Płonka, On a method of construction of abstract algebras, Fund. Math. 61 (1967), 183-189. Zbl0168.26701
  9. [9] J. Płonka, On equational classes of abstract algebras defined by regular equations, Fund. Math. 64 (1969), 241-247. Zbl0187.28702
  10. [10] J. Płonka, Biregular and uniform identities of bisemilattices, Demonstratio Math. 20 (1987), 95-107. Zbl0679.08005
  11. [11] J. Płonka, On varieties of algebras defined by identities of some special forms, Houston J. Math. 14 (1988), 253-263. Zbl0669.08006
  12. [12] J. Płonka, Biregular and uniform identities of algebras, Czechoslovak Math. J. 40 (115) (1990), 367-387. Zbl0728.08005
  13. [13] J. Płonka, Subdirect decompositions of algebras from 2-clone extension of varieties, Colloq. Math 77 (1998), 189-199. Zbl0952.08004
  14. [14] J. Płonka, On n-clone extensions of algebras, Algebra Universalis 40 (1998), 1-17. Zbl0935.08001
  15. [15] J. Płonka, Free algebras over biregularization of varieties, Acta Appl. Math. 52 (1998), 305-313. Zbl0911.08004
  16. [16] J. Płonka, On sums of direct systems of Boolean algebras, Colloq. Math. 20 (1969), 209-214. Zbl0186.30802
  17. [17] J. Płonka, Lattices of subvarieties of the clone extension of some varieties, Contributions to General Algebra 11 (1999), 161-171. Zbl0930.08006
  18. [18] J. Płonka, Clone networks, clone extensions and biregularizations of varieties of algebras, Algebra Colloq. 8 (2001), 327-344. Zbl0987.08006
  19. [19] J. Płonka. and Z. Szylicka, Subdirectly irreducible generalized sums of upper semilattice ordered systems of algebras, Algebra Universalis (in print). Zbl1065.08007

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.