Abstract
We introduce ideals, radicals and prime ideals in arbitrary algebras with at least one binary operation, and we show that various separation lemmas and prime ideal theorems are special instances of one general theorem which, in turn, is equivalent to the Boolean Prime Ideal Theorem (or Ultrafilter Principle).
Similar content being viewed by others
References
Aubert, K. E.: Géneralisation de la théorie des r-idéaux de Prüfer-Lorenzen, C.R. Acad. Sci. Paris 238(1954), 214–216.
Aubert, K. E.: Theory of x-ideals, Acta Math. 107(1962), 1–52.
Banaschewski, B.: The power of the ultrafilter theorem, J. London Math. Soc. (2) 27(1983), 193–202.
Banaschewski, B.: Prime elements from prime ideals, Order 2(1985), 211–213.
Banaschewski, B.: The prime ideal theorem and representation of F-rings, Algebra Universalis 25(1988), 384–387.
Banaschewski, B. and Erné, M.: On Krull's separation lemma, Order 10(1993), 253–260.
Birkhoff, G.: Lattice Theory, 3rd edn, Amer. Math. Soc. Coll. Publ. 25, Providence, RI, 1973.
Birkhoff, G. and Pierce, R. S.: Lattice-ordered rings, An. Acad. Brasil. Ci. 28(1956), 41–69.
Blyth, T. S. and Janowitz, M. F.: Residuation Theory, Pergamon Press, Oxford, 1972.
Dilworth, R. P. and Ward,M.: Residuated lattices, Trans. Amer. Math. Soc. 45(1939), 335–354.
Erné, M.: Distributors and wallmanufacture, Preprint No. 204/204a, Hannover, 1986 (see also J. Pure Appl. Algebra 68(1990), 109–125).
Erné, M.: Ideal theory in groupoids, Preprint, Hannover, 1996.
Erné, M.: Closure operators on cm-lattices, Preprint, Hannover, 1996.
Feldman, D. and Henriksen, M.: f-rings, subdirect products of totally ordered rings, and the Prime Ideal Theorem, Preprint, 1987.
Fuchs, L.: Partially Ordered Algebraic Systems, Pergamon Press, Oxford, 1963.
Halpern, J.: The independence of the Boolean prime ideal theorem from the axiom of choice, Fund. Math. 55(1964), 57–66.
Keimel, K.: A unified theory of minimal prime ideals, Acta Math. Acad. Sci. Hungar. 23(1972), 51–69.
Krull, W.: Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen, Math. Z. 28(1927), 481–503.
Lam, T. Y.: A First Course in Noncommutative Rings, Springer-Verlag, New York, 1991.
Lorenzen, P.: Ñber halbgeordnete Gruppen, Math. Z. 52(1949), 483–526.
Pincus, D.: Adding Dependent Choice to the Prime Ideal Theorem, Logic Colloquium 76, North-Holland, 1977.
Priestley, H. A.: Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3) 24(1972), 507–530.
Rav, Y.: Variants of Rado's selection lemma and their applications, Math. Nachr. 79(1977), 145–165.
Rav, Y.: Semiprime ideals in general lattices, J. Pure Appl. Algebra 56(1989), 105–118.
Rosenthal, K. I.: Quantales and Their Applications, Pitman Research Notes in Math. 234, Longman Scientific & Technical, 1990.
Scott, D. S.: Prime ideal theorems for rings, lattices and Boolean algebras, Bull. Amer. Math. Soc. 60(1954), 390 (Abstract).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Erné, M. Prime Ideal Theory for General Algebras. Applied Categorical Structures 8, 115–144 (2000). https://doi.org/10.1023/A:1008611926427
Issue Date:
DOI: https://doi.org/10.1023/A:1008611926427