Namespaces
Variants
Actions

Difference between revisions of "Structure space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (links)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
''of a ring''
+
{{TEX|done}}
 +
''of a ring $R$''
  
The set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906901.png" /> of all its primitive ideals with the following topology: A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906902.png" /> is closed if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906903.png" /> contains every ideal that contains the intersection of all ideals from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906904.png" /> (see [[Zariski topology|Zariski topology]]). The structure space of a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906905.png" /> is homeomorphic to the structure space of the quotient ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906906.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906907.png" /> is the Jacobson radical. A structure space is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906908.png" />-space; if all primitive ideals of the ring are maximal, then the structure space is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090690/s0906909.png" />-space. The structure space of a ring with a unit is compact. The structure space of a biregular ring (see [[Regular ring (in the sense of von Neumann)|Regular ring (in the sense of von Neumann)]]) is locally compact and totally disconnected. It is used to represent a biregular ring in the form of a ring of continuous functions with compact supports.
+
The set $\mathfrak P$ of all [[primitive ideal]]s $R$ with the following topology: A subset $C\subseteq\mathfrak P$ is closed if $C$ contains every ideal that contains the intersection of all ideals from $C$ (see [[Zariski topology]]). The structure space of a ring $R$ is homeomorphic to the structure space of the quotient ring $R/J$, where $J$ is the Jacobson radical. A structure space is a $T_0$-space; if all primitive ideals of the ring are maximal, then the structure space is a $T_1$-space. The structure space of a ring with a unit is compact. The structure space of a biregular ring (see [[Regular ring (in the sense of von Neumann)]]) is locally compact and totally disconnected. It is used to represent a biregular ring in the form of a ring of continuous functions with compact supports.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Jacobson,  "Structure of rings" , Amer. Math. Soc.  (1956)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  N. Jacobson,  "Structure of rings" , Amer. Math. Soc.  (1956)</TD></TR>
 +
</table>
  
  
  
 
====Comments====
 
====Comments====
This is an extension of the notion of the spectrum space of maximal ideals of a commutative ring (cf. [[Spectrum of a ring|Spectrum of a ring]]).
+
This is an extension of the notion of the spectrum space of maximal ideals of a commutative ring (cf. [[Spectrum of a ring]]).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  K.R. Goodearl,  "Von Neumann regular rings" , Pitman  (1979)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  K.R. Goodearl,  "Von Neumann regular rings" , Pitman  (1979)</TD></TR>
 +
</table>

Latest revision as of 20:41, 1 October 2016

of a ring $R$

The set $\mathfrak P$ of all primitive ideals $R$ with the following topology: A subset $C\subseteq\mathfrak P$ is closed if $C$ contains every ideal that contains the intersection of all ideals from $C$ (see Zariski topology). The structure space of a ring $R$ is homeomorphic to the structure space of the quotient ring $R/J$, where $J$ is the Jacobson radical. A structure space is a $T_0$-space; if all primitive ideals of the ring are maximal, then the structure space is a $T_1$-space. The structure space of a ring with a unit is compact. The structure space of a biregular ring (see Regular ring (in the sense of von Neumann)) is locally compact and totally disconnected. It is used to represent a biregular ring in the form of a ring of continuous functions with compact supports.

References

[1] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)


Comments

This is an extension of the notion of the spectrum space of maximal ideals of a commutative ring (cf. Spectrum of a ring).

References

[a1] K.R. Goodearl, "Von Neumann regular rings" , Pitman (1979)
How to Cite This Entry:
Structure space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Structure_space&oldid=12816
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article