Modular varieties with the Fraser-Horn property
HTML articles powered by AMS MathViewer
- by Diego Vaggione PDF
- Proc. Amer. Math. Soc. 127 (1999), 701-708 Request permission
Abstract:
The notion of central idempotent elements in a ring can be easily generalized to the setting of any variety with the property that proper subalgebras are always nontrivial. We will prove that if such a variety is also congruence modular, then it has factorable congruences, i.e., it has the Fraser-Horn property. (This property is well known to have major implications for the structure theory of the algebras in the variety.)References
- Joel Berman and W. J. Blok, The Fraser-Horn and Apple properties, Trans. Amer. Math. Soc. 302 (1987), no. 2, 427–465. MR 891629, DOI 10.1090/S0002-9947-1987-0891629-3
- David Bigelow and Stanley Burris, Boolean algebras of factor congruences, Acta Sci. Math. (Szeged) 54 (1990), no. 1-2, 11–20. MR 1073415
- Stanley Burris, Remarks on the Fraser-Horn property, Algebra Universalis 23 (1986), no. 1, 19–21. MR 873590, DOI 10.1007/BF01190906
- Stanley Burris and H. P. Sankappanavar, A course in universal algebra, Graduate Texts in Mathematics, vol. 78, Springer-Verlag, New York-Berlin, 1981. MR 648287, DOI 10.1007/978-1-4613-8130-3
- C. C. Chang and H. J. Keisler, Model theory, Studies in Logic and the Foundations of Mathematics, Vol. 73, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. MR 0409165
- Alan Day, A characterization of modularity for congruence lattices of algebras, Canad. Math. Bull. 12 (1969), 167–173. MR 248063, DOI 10.4153/CMB-1969-016-6
- Jaromír Duda, Fraser-Horn identities can be written in two variables, Algebra Universalis 26 (1989), no. 2, 178–180. MR 999224, DOI 10.1007/BF01236861
- Grant A. Fraser and Alfred Horn, Congruence relations in direct products, Proc. Amer. Math. Soc. 26 (1970), 390–394. MR 265258, DOI 10.1090/S0002-9939-1970-0265258-1
- George Grätzer, General lattice theory, Lehrbücher und Monographien aus dem Gebiete der Exakten Wissenschaften, Mathematische Reihe, Band 52, Birkhäuser Verlag, Basel-Stuttgart, 1978. MR 504338, DOI 10.1007/978-3-0348-7633-9
- H. Peter Gumm, Geometrical methods in congruence modular algebras, Mem. Amer. Math. Soc. 45 (1983), no. 286, viii+79. MR 714648, DOI 10.1090/memo/0286
- Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor, Algebras, lattices, varieties. Vol. I, The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987. MR 883644
- János Kollár, Congruences and one element subalgebras, Algebra Universalis 9 (1979), no. 2, 266–267. MR 523941, DOI 10.1007/BF02488038
- R. S. Pierce, Modules over commutative regular rings, Memoirs of the American Mathematical Society, No. 70, American Mathematical Society, Providence, R.I., 1967. MR 0217056
- H. RIEDEL, Existentially closed algebras and Boolean products, Journal of Symbolic Logic 53 (1988), 571-596.
- Diego Vaggione, $\scr V$ with factorable congruences and $\scr V=\textrm {I}\Gamma ^a(\scr V_{\textrm {DI}})$ imply $\scr V$ is a discriminator variety, Acta Sci. Math. (Szeged) 62 (1996), no. 3-4, 359–368. MR 1430858
- Diego Vaggione, Varieties in which the Pierce stalks are directly indecomposable, J. Algebra 184 (1996), no. 2, 424–434. MR 1409222, DOI 10.1006/jabr.1996.0268
- D. J. Vaggione, Varieties of shells, Algebra Universalis 36 (1996), no. 4, 483–487. MR 1419362, DOI 10.1007/BF01233918
Additional Information
- Diego Vaggione
- Affiliation: Facultad de Matemática, Astronomía y Física (Fa.M.A.F.), Universidad Nacional de Córdoba, Ciudad Universitaria, Córdoba 5000, Argentina
- Email: vaggione@mate.uncor.edu
- Received by editor(s): April 24, 1997
- Received by editor(s) in revised form: July 7, 1997
- Additional Notes: This research was supported by CONICOR and SECYT (UNC)
- Communicated by: Carl Jockusch
- © Copyright 1999 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 127 (1999), 701-708
- MSC (1991): Primary 08A05, 08B10
- DOI: https://doi.org/10.1090/S0002-9939-99-04647-X
- MathSciNet review: 1473681