Lattices of relative colour-families and antivarieties

Aleksandr Kravchenko

Discussiones Mathematicae - General Algebra and Applications (2007)

  • Volume: 27, Issue: 1, page 123-139
  • ISSN: 1509-9415

Abstract

top
We consider general properties of lattices of relative colour-families and antivarieties. Several results generalise the corresponding assertions about colour-families of undirected loopless graphs, see [1]. Conditions are indicated under which relative colour-families form a lattice. We prove that such a lattice is distributive. In the class of lattices of antivarieties of relation structures of finite signature, we distinguish the most complicated (universal) objects. Meet decompositions in lattices of colour-families are considered. A criterion is found for existence of irredundant meet decompositions. A connection is found between meet decompositions and bases for anti-identities.

How to cite

top

Aleksandr Kravchenko. "Lattices of relative colour-families and antivarieties." Discussiones Mathematicae - General Algebra and Applications 27.1 (2007): 123-139. <http://eudml.org/doc/276835>.

@article{AleksandrKravchenko2007,
abstract = {We consider general properties of lattices of relative colour-families and antivarieties. Several results generalise the corresponding assertions about colour-families of undirected loopless graphs, see [1]. Conditions are indicated under which relative colour-families form a lattice. We prove that such a lattice is distributive. In the class of lattices of antivarieties of relation structures of finite signature, we distinguish the most complicated (universal) objects. Meet decompositions in lattices of colour-families are considered. A criterion is found for existence of irredundant meet decompositions. A connection is found between meet decompositions and bases for anti-identities.},
author = {Aleksandr Kravchenko},
journal = {Discussiones Mathematicae - General Algebra and Applications},
keywords = {colour-family; antivariety; lattice of antivarieties; meet decomposition; basis for anti-identities},
language = {eng},
number = {1},
pages = {123-139},
title = {Lattices of relative colour-families and antivarieties},
url = {http://eudml.org/doc/276835},
volume = {27},
year = {2007},
}

TY - JOUR
AU - Aleksandr Kravchenko
TI - Lattices of relative colour-families and antivarieties
JO - Discussiones Mathematicae - General Algebra and Applications
PY - 2007
VL - 27
IS - 1
SP - 123
EP - 139
AB - We consider general properties of lattices of relative colour-families and antivarieties. Several results generalise the corresponding assertions about colour-families of undirected loopless graphs, see [1]. Conditions are indicated under which relative colour-families form a lattice. We prove that such a lattice is distributive. In the class of lattices of antivarieties of relation structures of finite signature, we distinguish the most complicated (universal) objects. Meet decompositions in lattices of colour-families are considered. A criterion is found for existence of irredundant meet decompositions. A connection is found between meet decompositions and bases for anti-identities.
LA - eng
KW - colour-family; antivariety; lattice of antivarieties; meet decomposition; basis for anti-identities
UR - http://eudml.org/doc/276835
ER -

References

top
  1. [1] V.A. Gorbunov and A.V. Kravchenko, Universal Horn classes and colour-families of graphs, Algebra Universalis 46 (1-2) (2001), 43-67. Zbl1058.08009
  2. [2] V.A. Gorbunov and A. V. Kravchenko, Universal Horn classes and antivarieties of algebraic systems, Algebra Logic 39 (1) (2000), 1-11. Zbl0953.03038
  3. [3] L. Lovász, Operations with structures, Acta Math. Acad. Sci. Hung. 18 (3-4) (1967), 321-328. Zbl0174.01401
  4. [4] D. Duffus and N. Sauer, Lattices arising in categorial investigations of Hedetniemi's conjecture, Discrete Math. 152 (1996), 125-139. Zbl0853.06006
  5. [5] J. Nešetřil and C. Tardif, Duality theorems for finite structures (charaterising gaps and good characterisations), J. Combin. Theory, B 80 (1) (2000), 80-97. Zbl1024.05078
  6. [6] R. Balbes and Ph. Dwinger, Distributive lattices, Univ. Missouri Press, Columbia, MI, 1974. 
  7. [7] G. Grätzer, General Lattice Theory, Birkhäusser, Basel 1998. Zbl0909.06002
  8. [8] A. Pultr and V. Trnková, Combinatorial, algebraic and topological representations of groups, semigroups and categories, Academia, Prague 1980. 
  9. [9] Z. Hedrlín, On universal partly ordered sets and classes, J. Algebra 11 (4) (1969), 503-509. Zbl0209.01602
  10. [10] J. Nešetřil, Aspects of structural combinatorics (Graph homomorphisms and their use), Taiwanese J. Math. 3 (4) (1999), 381-423. Zbl0939.05001
  11. [11] J. Nešetřil and A. Pultr, On classes of relations and graphs determined by subobjects and factorobjects, Discrete Math. 22 (3) (1978), 287-300. Zbl0388.05039
  12. [12] A.V. Kravchenko, On lattice complexity of quasivarieties of graphs and endographs, Algebra and Logic 36 (3) (1997), 164-168. Zbl0880.08006
  13. [13] V.A. Gorbunov and A.V. Kravchenko, Universal Horn logic, colour-families and formal languages, General Algebra and Applications in Discrete Mathematics (Proc. Conf. General Algebra Discrete Math.), Shaker Verlag, Aachen, 1997, pp. 77-91. Zbl0922.08008
  14. [14] D.P. Smith, Meet-irreducible elements in implicative lattices, Proc. Amer. Math. Soc. 34 (1) (1972), 57-62. Zbl0259.06008
  15. [15] S.S. Goncharov, Countable Boolean Algebras and Decidability, Plenum, New York-London-Moscow 1997. Zbl0912.03019
  16. [16] H. Rasiowa and R. Sikorski, The mathematics of metamathematics, Panstwowe Wydawnictwo Naukowe, Waszawa 1963. Zbl0122.24311
  17. [17] C. Tardif and X. Zhu, The level of nonmultiplicativity of graphs, Discrete Math. 244 (2002), 461-471. Zbl0995.05062

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.