Abstract
As a sequel to [23] we investigate ideal properties focusing on subtractive varieties. After having listed a few basic results, we give several characterizations of the commutator of ideals and prove, for example, that it commutes with finite direct products. We deal with the ideal extension property (IEP) and with related commutator properties, showing for instance that IEP implies that the commutator commutes with restriction to subalgebras. Then we characterize varieties with distributive ideal lattices and relate this property with (a form of) equationally definable principal ideals and with IEP. Then, at the other extreme, we deal with Abelian and Hamiltonian properties (of ideals and congruences), giving for example a purely ideal theoretic characterization of varieties of Abelian groups with linear operations. To finish with, we present a few examples aiming at vindicating our work.
Similar content being viewed by others
References
Agliano, P.,The prime spectrum of a universal algebra, Rivista di Matematica Pura ed Appl.5 (1989), 97–105.
Agliano, P. andUrsini, A.,Ideals and other generalizations of congruence classes, J. Austral. Math. Soc. Ser. A53 (1992), 103–115.
Chajda, I.,Congruence distributivity in varieties with constants, Arch. Math. (Brno)22 (1986), 121–124.
Csákány, B.,Varieties of algebras that are equivalent to varieties of semimodules and modules, Acta Sci. Math.24 (1963), 157–164 (Russian).
Csákány, B.,On abelian properties of varieties of universal algebras, Acta Sci. Math.25 (1964), 202–208 (Russian).
Day, A.,A note on the congruence extension property, Algebra Universalis1 (1971), 234–235.
Duda, J.,Arithmeticity at 0, Czechoslovak Math.J. 37 (1987), 197–206.
Freese, R. andMcKenzie, R.,Commutator theory for congruence modular varieties, London Math. Soc. Lecture Note Series, vol. 125, Cambridge University Press, Cambridge, 1987.
Fried, E., Grätzer, G. andQuackenbush, R.,Uniform congruence schemes, Algebra Universalis10 (1980), 176–188.
Gumm, H. P.,Algebras in permutable varieties: geometrical properties of affine algebras, Algebra Universalis9 (1979), 8–34.
Gumm, H. P. andUrsini, A.,Ideals in universal algebra, Algebra Universalis19 (1984), 45–54.
Hagemann, J. andHerrmann, C.,A concrete ideal multiplication for algebraic systems and its relation to congruence distributive varieties, Arch. Math. (Basel)32 (1979), 234–245.
Hobby, D. andMcKenzie, R.,The structure of finite algebras (tame congruence theory), Contemporary Mathematics, American Mathematical Society, Providence, RI, 1988.
Kiss, E.,Injectivity and related concepts in modular varieties. I two commutator properties. II congruence extension property, Bull. Austral. Math. Soc.32 (1985), 33–44, 45–55.
Kiss, E. andValeriote, M.,Abelian algebras and the hamiltonian property, preprint, 1992.
Klukovits, L.,Hamiltonian varieties of universal algebras, Acta Sci. Math. (Szeged)37 (1975), 11–15.
Köhler, P.,Brouwerian semilattices, Trans. Amer. Math. Soc.68 (1981), 103–126.
Köhler, P. andPigozzi, D.,Varieties with equationally definable principal congruences, Algebra Universalis11 (1980), 213–219.
Lakser, H.,The structure of pseudocomplemented distributive lattices, I, Trans. Amer. Math. Soc.37 (1973), 32–36.
McKenzie, R., McNulty, G. andTaylor, W.,Algebras, Lattices, Varieties, Volume I, Wadsworth and Brooks Cole, Monterey, CA, 1987.
Ursini, A.,Osservazioni sulle varietà BIT, Boll. Un. Mat. Ital.8 (1973), 205–211.
Ursini, A.,Ideals and their calculus I, Rapporto Matematico 41, Universitá di Siena, 1981.
Ursini, A.,On subtractive varieties I, Algebra Universalis31 (1994), 204–222.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Agliano, P., Ursini, A. On subtractive varieties II: General properties. Algebra Universalis 36, 222–259 (1996). https://doi.org/10.1007/BF01234106
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01234106