Skip to main content
SpringerLink
Log in

Equations implying congruence n-permutability and semidistributivity

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

T. Dent, K. Kearnes and Á. Szendrei have defined the derivative, Σ′, of a set of equations Σ and shown, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent \({(\Sigma^\prime \models x \approx y)}\) . In this paper we investigate other types of derivatives that give similar results for congruence n-permutability for some n, and for congruence semidistributivity.

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

Similar content being viewed by others

References

  1. Csákány B.: Characterizations of regular varieties. Acta Sci. Math. (Szeged) 31, 187–189 (1970)

    MathSciNet  MATH  Google Scholar 

  2. Day A.: A characterization of modularity for congruence lattices of algebras. Canad. Math. Bull. 12, 167–173 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dent T., Kearnes K., Szendrei A.: An easy test for congruence modularity. Algebra Universalis 67, 375–392 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  4. Freese, R., McKenzie, R.: Commutator theory for congruence modular varieties, London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987). Online version available at: http://www.math.hawaii.edu/~ralph/papers.html

  5. Grätzer, G.: Two Mal’cev-type theorems in universal algebra. J. Combinatorial Theory 8, 334–342 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gumm, H.-P.: Congruence modularity is permutability composed with distributivity. Arch. Math. (Basel) 36, 569–576 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  7. Hagemann, J., Mitschke, A.: On n-permutable congruences. Algebra Universalis 3, 8–12 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  8. Hobby, D., McKenzie, R.: The Structure of Finite Algebras (Tame Congruence Theory). Contemporary Mathematics. American Mathematical Society, Providence, (1988)

  9. Hutchinson, G., Czédli, G.: A test for identities satisfied in lattices of submodules. Algebra Universalis 8, 269–309 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  10. Jacobson, N.: Basic algebra. I, 2nd edn. W. H. Freeman and Company, New York (1985)

  11. Kearnes, K. A., Kiss, E. W.: The Shape of Congruence Lattices. Mem. Amer. Math. Soc. 222, (2013)

  12. Kelly, D.: Basic equations: word problems and Mal’cev conditions. Abstract 701-08-4, Notices Amer. Math. Soc. 20, A–54 (1973)

    Google Scholar 

  13. Kozik, M., Krokhin, A., Valeriote M., Willard, R.: Characterizations of several Maltsev conditions. Algebra Universalis, (submitted)

  14. McNulty G.: Undecidable properties of finite sets of equations. J. Symbolic Logic 41, 589–604 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  15. Nation J. B.: Varieties whose congruences satisfy certain lattice identities. Algebra Universalis 4, 78–88 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  16. Schmidt E. T.: Über reguläre Mannigfaltigkeiten. Acta Sci. Math. (Szeged) 31, 197–201 (1970)

    MathSciNet  MATH  Google Scholar 

  17. Wille, R.: Kongruenzklassengeometrien. Lecture Notes in Mathematics, vol. 113. Springer, New York (1970)

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Hawaii, Honolulu, 96822, USA

    Ralph Freese

Authors
  1. Ralph Freese
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ralph Freese.

Additional information

Presented by A. Szendrei.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Freese, R. Equations implying congruence n-permutability and semidistributivity. Algebra Univers. 70, 347–357 (2013). https://doi.org/10.1007/s00012-013-0256-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-013-0256-x

2010 Mathematics Subject Classification

Key words and phrases

Search

Navigation