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.

Improve this question
$\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$
    – Qiaochu Yuan
    Commented Aug 5, 2012 at 23:09
  • 1
    $\begingroup$ Or lookup frames. $\endgroup$
    – Benjamin Steinberg
    Commented Aug 5, 2012 at 23:28
  • $\begingroup$ Good point! Does this mean that there are broad classes of spaces with pairwise isomorphic semirings? $\endgroup$
    – Igor Makhlin
    Commented 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$
    – Emil Jeřábek
    Commented 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
    Commented Aug 6, 2012 at 10:32

0

Reset to default

You must log in to answer this question.