Rings and Gödel algebras. (Q616126)

The authors study a class of rings, called Gödel rings, whose semirings of ideals can be equipped with a structure of a Gödel algebra. In the main result (Theorem 3.9) it is proved 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_iId(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. The paper also contains other interesting properties of these rings, from an algebraic and a topological point of view. It is proved that the map which associates to each Gödel ring its Gödel algebra of ideals can be viewed as a functor 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, and that the class of ring representable Gödel algebras generates the whole variety of Gödel algebras (Proposition 6.6).