Skip to main content
Log in

Rings and Gödel algebras

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

In this paper, we study those rings whose semiring of ideals can be given the structure of a Gödel algebra. Such rings are called Gödel rings. We investigate such structures both from an algebraic and a topological point of view.

Our main result states that every Gödel ring R is a subdirect product of prime Gödel rings R i , and the Gödel algebra Id(R) associated to R is subdirectly embeddable as an algebraic lattice into \({{\prod_{i}}Id(R_{i})}\), where each Id(R i ) is the algebraic lattice of ideals of R i that can be equipped with the structure of a Gödel algebra. We see that the mapping associating to each Gödel ring its Gödel algebra of ideals is functorial from the category of Gödel rings with epimorphisms into the full subcategory of frames whose objects are Gödel algebras and whose morphisms are complete epimorphisms.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Bergman, G.: Von Neumann regular rings with tailor-made ideal lattices. Unpublished Notes (1986)

  2. Blyth T.: Lattices and Ordered Algebraic Structures. Springer-Verlag, London (2005)

    MATH  Google Scholar 

  3. Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer-Verlag (1981)

  4. Faith, C.: Rings and Things and a Fine Array of Twentieth Century Associative Algebras. Mathematical Surveys and Monographs, vol. 65. American Mathematical Society (2004)

  5. Gabbay D.M., Maksimova L.: Interpolation and definability: Modal and intuitionistic logics. Oxford Logic Guides, vol. 46. Oxford University Press, Oxford (2005)

    Google Scholar 

  6. Goodearl K.: Prime ideals in regular self-injective rings II. Journal of Pure and Applied Algebra 3, 357–373 (1973)

    Article  MATH  MathSciNet  Google Scholar 

  7. Goodearl K.: Von Neumann Regular Rings. Krieger, Malabar FL (1991)

    MATH  Google Scholar 

  8. Herstein, I.N.: Noncommutative Rings. Carus Mathematical Monographs. Mathematical Association of America (1968)

  9. Jacobson N.: Lectures in Abstract Algebra, vol. 2. van Nostrand Reinhold, New York (1953)

    MATH  Google Scholar 

  10. Kaplansky I.: Fields and Rings. Chicago Lectures in Mathematics. The University of Chicago Press, Chicago (1969)

    Google Scholar 

  11. Ore O.: On the foundation of abstract algebra I. Annals of Mathematics. Second Series 36(2), 406–437 (1935)

    MathSciNet  Google Scholar 

  12. von Neumann, J.: On regular rings. In: Proceedings of the National Academy of Sciences, vol. 22, pp. 707–713 (1936)

  13. von Neumann J.: Continuous Geometries. Princeton Math. Series, vol. 25. Princeton University Press, Princeton N.J. (1960)

    Google Scholar 

  14. Wehrung F.: Representation of algebraic distributive lattices with \({\aleph_{1}}\) compact elements as ideal lattices of regular rings. Publicacions Matematiques 44(2), 419–435 (2000)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Enrico Marchioni.

Additional information

Presented by C. Tsinakis.

Marchioni acknowledges partial support from the Spanish projects MULOG2 (TIN2007- 68005-C04), Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010), the Generalitat de Catalunya grant 2009-SGR-1434, and Juan de la Cierva Program of the Spanish MICINN, as well as the ESF Eurocores-LogICCC/MICINN project (FFI2008-03126-E/FILO). The authors would also like to thank the anonymous referee for several suggestions that have led to a substantial improvement of this work.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Belluce, L.P., Di Nola, A. & Marchioni, E. Rings and Gödel algebras. Algebra Univers. 64, 103–116 (2010). https://doi.org/10.1007/s00012-010-0092-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-010-0092-1

2010 Mathematics Subject Classification

Keywords and phrases

Navigation