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/BF01195383Suche 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/S1446788700000896Suche in Google Scholar
[3] Atiyah, M. F.—Macdonald, I. G.: Introduction to Commutative Algebra, Addison–Wesley Publishing Company, 1969.Suche 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.6623Suche 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/BF02483723Suche 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-3Suche 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.Suche in Google Scholar
[8] Georgescu, G.—Mureşan, C.: The reticulation of a universal algebra, arXiv:1706.04270 [math.RA].Suche in Google Scholar
[9] Grätzer, G.: General Lattice Theory, Birkhäuser Akademie-Verlag, Basel-Boston-Berlin, 1978.10.1007/978-3-0348-7633-9Suche 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-9Suche 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/076Suche 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_3Suche in Google Scholar
[13] Jónsson, B.: Congruence-distributive varieties, Math. Japonica 42(2) (1995), 353–401.Suche in Google Scholar
[14] Kaplansky, J.: Commutative Rings, First Edition: University of Chicago Press, 1974; Second Edition: Polygonal Publishing House, 2006.10.1007/BFb0068926Suche in Google Scholar
[15] Köhler, P.—Pigozzi, D.: Varieties with equationally defined principal congruences, Algebra Universalis 11 (1980), 213–219.10.1007/BF02483100Suche in Google Scholar
[16] Kollár, J.: Congruences and one-element subalgebras, Algebra Universalis 9(1) (1979), 266–267.10.1007/BF02488038Suche 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.015Suche in Google Scholar
[18] Lombardi, H.—Quitté, C.: Commutative Algebra: Constructive Methods, Springer, 2015.10.1007/978-94-017-9944-7Suche in Google Scholar
[19] Mureşan, C.: Taking prime, maximal and two-class congruences through morphisms, arXiv:1511.01031 [math.RA].Suche 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].Suche in Google Scholar
[21] Ouwehand, P.: Commutator theory and abelian algebras, arXiv:1309.0662 [math.RA].Suche 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-8Suche in Google Scholar
[23] Ursini, A.: On subtractive varieties, V: Congruence modularity and the commutators, Algebra Universalis 43 (2000), 51–78.10.1007/s000120050145Suche in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Artikel in diesem Heft
- 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
Artikel in diesem Heft
- 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
