1
$\begingroup$

Does anyone know of a useful general topological application of the algebraic properties of the semiring of open subsets of some topological space? Or examples of any such nontrivial properties at all?

Perhaps less vaguely, I'm looking for an application of the methods and results of what is generally known as "commutative algebra" to the structure of this commutative associative unital semiring.

$\endgroup$
5
  • 1
    $\begingroup$ The semiring structure is not enough (you're ignoring the very fundamental property of closure under arbitrary unions). See en.wikipedia.org/wiki/Complete_Heyting_algebra . $\endgroup$ Aug 5, 2012 at 23:09
  • 1
    $\begingroup$ Or lookup frames. $\endgroup$ Aug 5, 2012 at 23:28
  • $\begingroup$ Good point! Does this mean that there are broad classes of spaces with pairwise isomorphic semirings? $\endgroup$ Aug 5, 2012 at 23:32
  • 1
    $\begingroup$ Depends on how nasty you allow the spaces to be. The topological space is uniquely determined by its frame if the space is Hausdorff, or more generally, sober. $\endgroup$ Aug 6, 2012 at 10:17
  • $\begingroup$ The "commutative algebra" of frames and their "modules" is developed in Joyal and Tierney's memoir, An extension of the Galois theory of Grothendieck. $\endgroup$
    – Zhen Lin
    Aug 6, 2012 at 10:32

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.