Skip to main content

2018 | OriginalPaper | Buchkapitel

4. Analyzing \(\mathop{\mathrm{L_{q}}}\nolimits (\mathcal{K})\)

verfasst von : Jennifer Hyndman, J. B. Nation

Erschienen in: The Lattice of Subquasivarieties of a Locally Finite Quasivariety

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

To further investigate the structure of \(\mathop{\mathrm{L_{q}}}\nolimits (\mathcal{K})\), where \(\mathcal{K}\) is a locally finite quasivariety of finite type, we want algorithms to determine
(1)
the quasicritical algebras T in \(\mathcal{K}\),
 
(2)
the order on join irreducible quasivarieties, i.e., when \(\langle \mathbf{T}\rangle \leq \langle \mathbf{S}\rangle\),
 
(3)
the join dependencies, i.e., when \(\langle \mathbf{T}\rangle \leq \langle \mathbf{S}_{1}\rangle \vee \cdots \vee \langle \mathbf{S}_{n}\rangle\) nontrivially.
 

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
[2]
[10]
[12]
Zurück zum Zitat K. Adaricheva, W. Dziobiak, V.A. Gorbunov, Algebraic point lattices of quasivarieties. Algebra Logic 36, 213–225 (1997)MathSciNetCrossRef K. Adaricheva, W. Dziobiak, V.A. Gorbunov, Algebraic point lattices of quasivarieties. Algebra Logic 36, 213–225 (1997)MathSciNetCrossRef
[13]
Zurück zum Zitat K. Adaricheva, V.A. Gorbunov, Equational closure operator and forbidden semidistributive lattices. Siberian Math. J. 30, 831–849 (1989)MathSciNetCrossRef K. Adaricheva, V.A. Gorbunov, Equational closure operator and forbidden semidistributive lattices. Siberian Math. J. 30, 831–849 (1989)MathSciNetCrossRef
[14]
[15]
Zurück zum Zitat K. Adaricheva, V.A. Gorbunov, V.I. Tumanov, Join-semidistributive lattices and convex geometries. Adv. Math. 173, 1–49 (2003)MathSciNetCrossRef K. Adaricheva, V.A. Gorbunov, V.I. Tumanov, Join-semidistributive lattices and convex geometries. Adv. Math. 173, 1–49 (2003)MathSciNetCrossRef
[19]
Zurück zum Zitat K. Adaricheva, J.B. Nation, Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Parts I and II. Int. J. Algebra Comput. 22, N7 (2012)MathSciNetMATH K. Adaricheva, J.B. Nation, Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Parts I and II. Int. J. Algebra Comput. 22, N7 (2012)MathSciNetMATH
[20]
Zurück zum Zitat K. Adaricheva, J.B. Nation, Lattices of algebraic subsets and implicational classes, in Lattice Theory: Special Topics and Applications, vol. 2, Chapter 4, ed. by G. Grätzer, F. Wehrung (Brikhäuser, Cham, 2016) K. Adaricheva, J.B. Nation, Lattices of algebraic subsets and implicational classes, in Lattice Theory: Special Topics and Applications, vol. 2, Chapter 4, ed. by G. Grätzer, F. Wehrung (Brikhäuser, Cham, 2016)
[21]
Zurück zum Zitat K. Adaricheva, J.B. Nation, R. Rand, Ordered direct implicational basis of a finite closure system. Discrete Appl. Math. 161, 707–723 (2013)MathSciNetCrossRef K. Adaricheva, J.B. Nation, R. Rand, Ordered direct implicational basis of a finite closure system. Discrete Appl. Math. 161, 707–723 (2013)MathSciNetCrossRef
[28]
Zurück zum Zitat C. Bergman, R. McKenzie, Minimal varieties and quasivarieties. J. Aust. Math. Soc. (Ser. A) 48, 133–147 (1990)MathSciNetCrossRef C. Bergman, R. McKenzie, Minimal varieties and quasivarieties. J. Aust. Math. Soc. (Ser. A) 48, 133–147 (1990)MathSciNetCrossRef
[49]
Zurück zum Zitat A. Day, Characterizations of finite lattices that are bounded-homomorphic images or sublattices of free lattices. Can. J. Math. 31, 69–78 (1979)MathSciNetCrossRef A. Day, Characterizations of finite lattices that are bounded-homomorphic images or sublattices of free lattices. Can. J. Math. 31, 69–78 (1979)MathSciNetCrossRef
[58]
Zurück zum Zitat W. Dziobiak, J. Ježek, M. Maróti, Minimal varieties and quasivarieties of semilattices with one automorphism. Semigroup Forum 78, 253–261 (2009)MathSciNetCrossRef W. Dziobiak, J. Ježek, M. Maróti, Minimal varieties and quasivarieties of semilattices with one automorphism. Semigroup Forum 78, 253–261 (2009)MathSciNetCrossRef
[69]
Zurück zum Zitat R. Freese, J. Ježek, J.B. Nation, Free Lattices. Mathematical Surveys and Monographs, vol. 42 (American Mathematical Society, Providence, 1995) R. Freese, J. Ježek, J.B. Nation, Free Lattices. Mathematical Surveys and Monographs, vol. 42 (American Mathematical Society, Providence, 1995)
[70]
Zurück zum Zitat R. Freese, K. Kearnes, J.B. Nation, Congruence lattices of congruence semidistributive algebras, in Lattice Theory and Its Applications (Darmstadt, 1991), pp. 63–78; Res. Exp. Math., vol. 23 (Heldermann, Lemgo, 1995) R. Freese, K. Kearnes, J.B. Nation, Congruence lattices of congruence semidistributive algebras, in Lattice Theory and Its Applications (Darmstadt, 1991), pp. 63–78; Res. Exp. Math., vol. 23 (Heldermann, Lemgo, 1995)
[77]
Zurück zum Zitat V.A. Gorbunov, Algebraic Theory of Quasivarieties (Plenum, New York, 1998)MATH V.A. Gorbunov, Algebraic Theory of Quasivarieties (Plenum, New York, 1998)MATH
[78]
[94]
Zurück zum Zitat B. Jónsson, J.B. Nation, A report on sublattices of a free lattice, in Contributions to Universal Algebra. Coll. Math. Soc. János Bolyai, vol. 17 (North-Holland Publishing Co., 1977), pp. 223–257 B. Jónsson, J.B. Nation, A report on sublattices of a free lattice, in Contributions to Universal Algebra. Coll. Math. Soc. János Bolyai, vol. 17 (North-Holland Publishing Co., 1977), pp. 223–257
[106]
Zurück zum Zitat K. Kearnes, J.B. Nation, Axiomatizable and nonaxiomatizable congruence prevarieties. Algebra Univers. 59, 323–335 (2008)MathSciNetCrossRef K. Kearnes, J.B. Nation, Axiomatizable and nonaxiomatizable congruence prevarieties. Algebra Univers. 59, 323–335 (2008)MathSciNetCrossRef
[107]
Zurück zum Zitat K. Kearnes, Á. Szendrei, A characterization of minimal locally finite varieties. Trans. Am. Math. Soc. 349, 1749–1768 (1997)MathSciNetCrossRef K. Kearnes, Á. Szendrei, A characterization of minimal locally finite varieties. Trans. Am. Math. Soc. 349, 1749–1768 (1997)MathSciNetCrossRef
[115]
Zurück zum Zitat R. McKenzie, Equational bases and non-modular lattice varieties. Trans. Am. Math. Soc. 174, 1–43 (1972)CrossRef R. McKenzie, Equational bases and non-modular lattice varieties. Trans. Am. Math. Soc. 174, 1–43 (1972)CrossRef
[146]
Zurück zum Zitat P. Pudlák, J. Tůma, Yeast graphs and fermentation of algebraic lattices. Coll. Math. Soc. János Bolyai 14, 301–341 (1976)MATH P. Pudlák, J. Tůma, Yeast graphs and fermentation of algebraic lattices. Coll. Math. Soc. János Bolyai 14, 301–341 (1976)MATH
[150]
[154]
Zurück zum Zitat M.V. Semenova, On lattices that are embeddable into lattices of suborders. Algebra Logic 44, 270–285 (2005)MathSciNetCrossRef M.V. Semenova, On lattices that are embeddable into lattices of suborders. Algebra Logic 44, 270–285 (2005)MathSciNetCrossRef
[163]
Zurück zum Zitat Á. Szendrei, A survey on strictly simple algebras and minimal varieties, in Universal Algebra and Quasigroup Theory (Jadwisin, 1989). Res. Exp. Math., vol. 19 (Heldermann, Berlin, 1992), pp. 209–239 Á. Szendrei, A survey on strictly simple algebras and minimal varieties, in Universal Algebra and Quasigroup Theory (Jadwisin, 1989). Res. Exp. Math., vol. 19 (Heldermann, Berlin, 1992), pp. 209–239
[164]
Zurück zum Zitat V.I. Tumanov, Embedding theorems for join-semidistributive lattices, in Proc. 6th All-Union Conference on Math. Logic, Tbilisi (1982), p. 188 V.I. Tumanov, Embedding theorems for join-semidistributive lattices, in Proc. 6th All-Union Conference on Math. Logic, Tbilisi (1982), p. 188
[167]
Zurück zum Zitat F. Wehrung, Sublattices of complete lattices with continuity conditions. Algebra Univers. 53, 149–173 (2005)MathSciNetCrossRef F. Wehrung, Sublattices of complete lattices with continuity conditions. Algebra Univers. 53, 149–173 (2005)MathSciNetCrossRef
Metadaten
Titel
Analyzing
verfasst von
Jennifer Hyndman
J. B. Nation
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-78235-5_4