Displaying similar documents to “Rings satisfying a certain idempotency condition”

σ-ring and σ-algebra of Sets1

Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama (2015)

Formalized Mathematics

Similarity:

In this article, semiring and semialgebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semiring of sets has already been formalized in [13], that is, strictly speaking, a definition of a quasi semiring of sets suggested in the last few decades [15]. We adopt a classical definition of a semiring of sets here to avoid such a confusion. Ring of sets and algebra of sets have been formalized as non empty preboolean set [23] and field of subsets...

Closure rings

Barry J. Gardner, Tim Stokes (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We consider rings equipped with a closure operation defined in terms of a collection of commuting idempotents, generalising the idea of a topological closure operation defined on a ring of sets. We establish the basic properties of such rings, consider examples and construction methods, and then concentrate on rings which have a closure operation defined in terms of their lattice of central idempotents.