Affiliation:
1. Faculty of Mathematics and Computer Science , University of Bucharest , Academiei 14, RO 010014 , Bucharest , Romania
Abstract
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.
Reference23 articles.
1. Agliano, P.: Prime spectra in modular varieties, Algebra Universalis 30 (1993), 581–597.
2. Agliano, P.—Baker, K. A.: Congruence intersection properties for varieties of algebras, J. Austral. Math. Soc. (Series A) 67 (1999), 104–121.
3. Atiyah, M. F.—Macdonald, I. G.: Introduction to Commutative Algebra, Addison–Wesley Publishing Company, 1969.
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.
5. Blok, W. J.—Pigozzi, D.: On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), 195–227.