Skip to main content
SpringerLink
Log in

Congruence varieties

  • Published:
algebra universalis Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • K. Baker [1972]Equational bases for finite algebras, Notices Amer. Math. Soc.19, p. A-44.

    Google Scholar 

  • — [1977]Finite equational bases for finite algebras in congruence-distributive equational classes, Advances in Math.24, 207–243.

    MATH  MathSciNet  Google Scholar 

  • K. Baker [a] Jónsson Δ4-algebras from lattices, Algebra Universalis.

  • J. T. Baldwin andJ. Bermann [1977]A model theoretic approach to Mal'cev conditions, J. Symbolic Logic42, 277–288.

    Article  MATH  MathSciNet  Google Scholar 

  • S. Burris [a]Kirby Baker's finite basis theorem for congruence distributive equational classes.

  • A. Day [1969]A characterization of modularity of congruence lattices of algebras, Canad. Math. Bull.12, 167–173.

    MATH  MathSciNet  Google Scholar 

  • — [1973]p-Modularity implies modularity in equational classes, Algebra Universalis3, 398–399.

    MATH  MathSciNet  Google Scholar 

  • — [1975]Splitting lattices and congruence modularity. Contributions to universal algebra, Colloq. Math. Soc. János Bolyai Vol.17, 57–71.

    MathSciNet  Google Scholar 

  • — [1976]Lattice conditions implying congruence modularity, Algebra Universalis6, 291–301.

    MATH  MathSciNet  Google Scholar 

  • Alan Day andR. Freese [a]A characterization of identities that imply congruence modularity. Manuscript.

  • J. Doyen andC. Herrmann [1976]Projective lines and n-distributivity, Lattice Theory. Colloq. Math. Society János Bolyai14, 45–50.

    MATH  MathSciNet  Google Scholar 

  • K. Fichtner [1972]Distributivity and modularity in varieties of algebras, Acta Sci. Math. (Szeged)33, 343–348.

    MATH  MathSciNet  Google Scholar 

  • R. Freese andB. Jónsson [1977]Congruence modularity implies the Arguesian identity, Algebra Universalis7, 191–194.

    MATH  MathSciNet  Google Scholar 

  • R. Freese andJ. B. Nation [1977]3,3 Lattice inclusions imply congruence modularity, Algebra Universalis7, 191–194.

    MATH  MathSciNet  Google Scholar 

  • E. Fried [1970]Tounaments and nonassociative lattices, Ann. Univ. Sci. Budapest Eötvös Sect. Math.13, 151–164.

    MathSciNet  Google Scholar 

  • N. Funayama andT. Nakayama [1942]On the distributivity of a lattice of lattice congruences, Proc. Imp. Acad. Tokyo18, 553–554.

    MATH  MathSciNet  Google Scholar 

  • G. Grätzer [1970]Two Mal'cev-type conditions in universal algebra, J. Combinatorial Theory8, 334–342.

    MATH  MathSciNet  Google Scholar 

  • G. Grätzer, B. Jónsson andH. Lakser [1973]The amalgamation property in equational classes of modular lattices, Pacific J. Math.45, 507–524.

    MATH  MathSciNet  Google Scholar 

  • J. Hagemann andA. Mitschke [1973]On n-permutable congruences, Algebra Universalis3, 8–12.

    MATH  MathSciNet  Google Scholar 

  • C. Herrmann [1973]Weak (projective) radius and finite equational bases for classes of lattices, Algebra Universalis3, 51–58.

    MATH  MathSciNet  Google Scholar 

  • B. Jónsson [1953]On the representation of lattices, Math. Scand.1, 193–206.

    MATH  MathSciNet  Google Scholar 

  • — [1954]Modular lattices and Desargues' theorem, Math. Scand2, 295–314.

    MATH  MathSciNet  Google Scholar 

  • — [1959]Representation of modular lattices and relation algebras, Trans. Amer. Math. Soc.92, 449–464.

    Article  MATH  MathSciNet  Google Scholar 

  • — [1967]Algebras whose congruence lattices are distributive, Math. Scand.21, 110–121.

    MATH  MathSciNet  Google Scholar 

  • B. Jónsson [1972]Topics in universal algebra, Lecture Notes in Mathematics, Vol. 250. Springer-Verlag.

  • — [1972a]The class of Arguesian lattices is selfdual, Algebra Universalis2, 396.

    MATH  MathSciNet  Google Scholar 

  • — [1976]Identities in congruence varieties, Lattice Theory, Colloq. Math. Soc. János, Vol. 14, 195–205.

    Google Scholar 

  • B. Jónsson [a]On finitely based varieties of algebras, Colloq. Math.

  • B. Jónsson andG. S. Monk [1969]Representations of primary Arguesian lattices, Pacific J. Math.30, 95–139.

    MATH  MathSciNet  Google Scholar 

  • D. Kelly [1973]Basic equations: Word problems and Mal'cev conditions, Notices Amer. Math. Soc.20, A-54.

    Google Scholar 

  • R. Lyndon [1954]Identities in finite algebras, Proc. Amer. Math. Soc.5, 8–9.

    Article  MATH  MathSciNet  Google Scholar 

  • M. Makkai [1973]A proof of Baker's finite basis theorem on equational classes generated by finite elements of congruence distributive varieties, Algebra Universalis3, 174–181.

    MATH  MathSciNet  Google Scholar 

  • A. I. Mal'cev [1954]On the general theory of algebraic systems (Russian) Mat. Sb. (NS)35 (77), 3–20.

    MATH  MathSciNet  Google Scholar 

  • R. McKenzie [1970]Equational bases for lattice theories, Math. Scand.27, 24–38.

    MATH  MathSciNet  Google Scholar 

  • — [1972]Equational bases and non-modular lattice varieties, Trans. Amer. Math. Soc.174, 1–43.

    Article  MathSciNet  Google Scholar 

  • P. Mederly [1975]Three Mal'cev type theorems and their applications, Math. Časopis Sloven Akad. Vied.25, 83–95.

    MATH  MathSciNet  Google Scholar 

  • A. Mitschke [1972]Implication algebras are 3-permutable and 3-distributive, Algebra Universalis1, 182–186.

    Article  MathSciNet  Google Scholar 

  • J. B. Nation [1974]Varieties whose congruences satisfy certain lattice identities, Algebra Universalis4, 78–88.

    MATH  MathSciNet  Google Scholar 

  • W. Neumann [1974]On Mal'cev conditions, J. Austral. Math. Soc.17, 376–384.

    Article  MATH  MathSciNet  Google Scholar 

  • S. Oates andW. B. Powell [1964]Identical relations in finite groups, Quarterly J. Math.15, 131–148.

    Google Scholar 

  • A. F. Pixley [1963]Distributivity and permutability of congruence relations in equational classes of algebras, Proc. Amer. Math. Soc.14, 105–109.

    Article  MATH  MathSciNet  Google Scholar 

  • — [1972]Local Mal'cev conditions, Canad. Bull. Math.15, 559–568.

    MATH  MathSciNet  Google Scholar 

  • S. V. Polin [1976]On the identities of finite algebras, Sib. Math. J.17, 1356–1366.

    MATH  MathSciNet  Google Scholar 

  • P. Pudlák [1976]A new proof of the congruence lattice representation theorem, Algebra Universalis6, 269–276.

    MATH  MathSciNet  Google Scholar 

  • E. T. Schmidt [1972]On n-permutable equational classes, Acta Sci. Math. (Szeged)33, 29–30.

    MATH  MathSciNet  Google Scholar 

  • M. P. Schützenberger [1945]Sur certaines axiomes de la théorie des structures, C.R. Acad. Sci. Paris221, 218–220.

    MATH  MathSciNet  Google Scholar 

  • H. L. Skala [1971] Trellis theory, Algebra Universalis1, 218–233.

    MATH  MathSciNet  Google Scholar 

  • W. Taylor [1973]Characterizing Mal'cev conditions, Algebra Universalis3, 351–395.

    MATH  MathSciNet  Google Scholar 

  • W. Taylor [a]Baker's finite basis theorem Algebra Universalis.

  • M. R. Vaughan-Lee [1978]Laws in finite loops, Algebra Universalis, 191–196.

  • R. Wille [1970]Kongruenzklassengeometrien, Lecture Notes in Mathematics, Vol. 113, Springer-Verlag.

Download references

Author information

Authors and Affiliations

  1. Vanderbilt University, Nashville, Tennessee, USA

    Bjarni Jónsson

Authors
  1. Bjarni Jónsson
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was supported in part by NSF Grant MCS 76-06447 A01.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jónsson, B. Congruence varieties. Algebra Universalis 10, 355–394 (1980). https://doi.org/10.1007/BF02482916

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02482916

Keywords

Search

Navigation