Lattices of relative colour-families and antivarieties
Discussiones Mathematicae - General Algebra and Applications (2007)
- Volume: 27, Issue: 1, page 123-139
- ISSN: 1509-9415
Access Full Article
topAbstract
topHow to cite
topAleksandr 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] 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] 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] L. Lovász, Operations with structures, Acta Math. Acad. Sci. Hung. 18 (3-4) (1967), 321-328. Zbl0174.01401
- [4] D. Duffus and N. Sauer, Lattices arising in categorial investigations of Hedetniemi's conjecture, Discrete Math. 152 (1996), 125-139. Zbl0853.06006
- [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] R. Balbes and Ph. Dwinger, Distributive lattices, Univ. Missouri Press, Columbia, MI, 1974.
- [7] G. Grätzer, General Lattice Theory, Birkhäusser, Basel 1998. Zbl0909.06002
- [8] A. Pultr and V. Trnková, Combinatorial, algebraic and topological representations of groups, semigroups and categories, Academia, Prague 1980.
- [9] Z. Hedrlín, On universal partly ordered sets and classes, J. Algebra 11 (4) (1969), 503-509. Zbl0209.01602
- [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] 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] A.V. Kravchenko, On lattice complexity of quasivarieties of graphs and endographs, Algebra and Logic 36 (3) (1997), 164-168. Zbl0880.08006
- [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] D.P. Smith, Meet-irreducible elements in implicative lattices, Proc. Amer. Math. Soc. 34 (1) (1972), 57-62. Zbl0259.06008
- [15] S.S. Goncharov, Countable Boolean Algebras and Decidability, Plenum, New York-London-Moscow 1997. Zbl0912.03019
- [16] H. Rasiowa and R. Sikorski, The mathematics of metamathematics, Panstwowe Wydawnictwo Naukowe, Waszawa 1963. Zbl0122.24311
- [17] C. Tardif and X. Zhu, The level of nonmultiplicativity of graphs, Discrete Math. 244 (2002), 461-471. Zbl0995.05062
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.