Going up and lying over in congruence-modular algebras
-
George Georgescu
Abstract
In this paper, we extend properties Going Up and Lying Over from ring theory to the general setting of congruence-modular equational classes, using the notion of prime congruence defined through the commutator. We show how these two properties relate to each other, prove that they are preserved by finite direct products and quotients and provide algebraic and topological characterizations for them. We also point out many kinds of varieties in which these properties always hold, generalizing the results of Belluce on MV-algebras and Rasouli and Davvaz on BL-algebras.
(Communicated by Anatolij Dvurečenskij)
References
[1] Agliano, P.: Prime spectra in modular varieties, Algebra Universalis 30 (1993), 581–597.10.1007/BF01195383Search in Google Scholar
[2] Agliano, P.—Baker, K. A.: Congruence intersection properties for varieties of algebras, J. Austral. Math. Soc. (Series A) 67 (1999), 104–121.10.1017/S1446788700000896Search in Google Scholar
[3] Atiyah, M. F.—Macdonald, I. G.: Introduction to Commutative Algebra, Addison–Wesley Publishing Company, 1969.Search in Google Scholar
[4] Belluce, L. P.: The Going Up and Going Down Theorem s in MV-algebras and Abelian l–groups, J. Math. An. Appl. 241 (2000), 92–106.10.1006/jmaa.1999.6623Search in Google Scholar
[5] Blok, W. J.—Pigozzi, D.: On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), 195–227.10.1007/BF02483723Search in Google Scholar
[6] Burris, S.—Sankappanavar, H. P.: A Course in Universal Algebra. Grad. Texts in Math. 78, Springer-Verlag, New York-Berlin, 1981.10.1007/978-1-4613-8130-3Search in Google Scholar
[7] Freese, R.—Mckenzie, R.: Commutator Theory for Congruence-modular Varieties. London Math. Soc. Lecture Note Ser. 125, Cambridge University Press, 1987.Search in Google Scholar
[8] Georgescu, G.—Mureşan, C.: The reticulation of a universal algebra, arXiv:1706.04270 [math.RA].Search in Google Scholar
[9] Grätzer, G.: General Lattice Theory, Birkhäuser Akademie-Verlag, Basel-Boston-Berlin, 1978.10.1007/978-3-0348-7633-9Search in Google Scholar
[10] Grätzer, G.: Universal Algebra, Second Edition, Springer Science+Business Media, LLC, New York, 2008.10.1007/978-0-387-77487-9Search in Google Scholar
[11] Hobby, D.—Mckenzie, R.: The Structure of Finite Algebras: Tame Congruence Theory, AMS Contemp. Math. Ser. 76, 1988.10.1090/conm/076Search in Google Scholar
[12] Jipsen, P.—Tsinakis, C.: A survey of residuated lattices. In: Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht, 2002, pp. 19–56.10.1007/978-1-4757-3627-4_3Search in Google Scholar
[13] Jónsson, B.: Congruence-distributive varieties, Math. Japonica 42(2) (1995), 353–401.Search in Google Scholar
[14] Kaplansky, J.: Commutative Rings, First Edition: University of Chicago Press, 1974; Second Edition: Polygonal Publishing House, 2006.10.1007/BFb0068926Search in Google Scholar
[15] Köhler, P.—Pigozzi, D.: Varieties with equationally defined principal congruences, Algebra Universalis 11 (1980), 213–219.10.1007/BF02483100Search in Google Scholar
[16] Kollár, J.: Congruences and one-element subalgebras, Algebra Universalis 9(1) (1979), 266–267.10.1007/BF02488038Search in Google Scholar
[17] Ledda, A.—Paoli, F.—Tsinakis, C.: Lattice-theoretic properties of algebras of logic, J. Pure Appl. Algebra 218(10) (2014), 1932–1952.10.1016/j.jpaa.2014.02.015Search in Google Scholar
[18] Lombardi, H.—Quitté, C.: Commutative Algebra: Constructive Methods, Springer, 2015.10.1007/978-94-017-9944-7Search in Google Scholar
[19] Mureşan, C.: Taking prime, maximal and two-class congruences through morphisms, arXiv:1511.01031 [math.RA].Search in Google Scholar
[20] Mureşan, C.: Transferring Davey‘s theorem on annihilators in bounded distributive lattices to modular congruence lattices and rings, arXiv:1709.00647 [math.RA].Search in Google Scholar
[21] Ouwehand, P.: Commutator theory and abelian algebras, arXiv:1309.0662 [math.RA].Search in Google Scholar
[22] Rasouli, S.—Davvaz, B.: An Investigation on Boolean Prime Filters in BL-algebras, Soft Computing 19(10) (2015), 2743–2750.10.1007/s00500-015-1711-8Search in Google Scholar
[23] Ursini, A.: On subtractive varieties, V: Congruence modularity and the commutators, Algebra Universalis 43 (2000), 51–78.10.1007/s000120050145Search in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular papers
- RNDr. Miloslav Duchoň, DrSc. passed away ∗ aug. 21, 1932 – †dec. 31, 2018
- Prof. RNDr. Gejza Wimmer, DrSc. – A Septuagenerian?
- Two monads on the category of graphs
- Entropy of MV-algebraic dynamical systems: An example
- Going up and lying over in congruence-modular algebras
- The minimal arity of near unanimity polymorphisms
- On the logarithmic derivative of zeta functions for compact even-dimensional locally symmetric spaces of real rank one
- The generalized Fermat Conjecture
- Evaluation of sums involving products of Gaussian q-binomial coefficients with applications
- Integrals of logarithmic functions and alternating multiple zeta values
- An abelian subextension of the dyadic division field of a hyperelliptic Jacobian
- The class of all semigroups related to semihypergroups of order 2
- Criterion for the weak potency of certain HNN extensions
- Fekete Szegö theorem for a close-to-convex error function
- Bounds for distance between eigenvalues of boundary value problems with retarded argument
- Gradient estimates for a nonlinear heat equation under the Finsler-Ricci flow
- Weak module amenability of triangular banach algebras II
- Some consequences of quasicentral approximate units modulo Hilbert-Schmidt class
- Example of C-rigid polytopes which are not B-rigid
- Some comments on rU-spaces
- On the equivalence of various definitions of mixed poisson processes
- A note on discrete C-embedded subspaces
Articles in the same Issue
- Regular papers
- RNDr. Miloslav Duchoň, DrSc. passed away ∗ aug. 21, 1932 – †dec. 31, 2018
- Prof. RNDr. Gejza Wimmer, DrSc. – A Septuagenerian?
- Two monads on the category of graphs
- Entropy of MV-algebraic dynamical systems: An example
- Going up and lying over in congruence-modular algebras
- The minimal arity of near unanimity polymorphisms
- On the logarithmic derivative of zeta functions for compact even-dimensional locally symmetric spaces of real rank one
- The generalized Fermat Conjecture
- Evaluation of sums involving products of Gaussian q-binomial coefficients with applications
- Integrals of logarithmic functions and alternating multiple zeta values
- An abelian subextension of the dyadic division field of a hyperelliptic Jacobian
- The class of all semigroups related to semihypergroups of order 2
- Criterion for the weak potency of certain HNN extensions
- Fekete Szegö theorem for a close-to-convex error function
- Bounds for distance between eigenvalues of boundary value problems with retarded argument
- Gradient estimates for a nonlinear heat equation under the Finsler-Ricci flow
- Weak module amenability of triangular banach algebras II
- Some consequences of quasicentral approximate units modulo Hilbert-Schmidt class
- Example of C-rigid polytopes which are not B-rigid
- Some comments on rU-spaces
- On the equivalence of various definitions of mixed poisson processes
- A note on discrete C-embedded subspaces
