On the extension of maximal ideals. (Q2586029)

\(R\) sei ein vollständiger, linearer, metrischer Raum und kommutativer Ring, der den komplexen Zahlkörper \(C\) enthält. Die maximalen Ideale \(p\) von \(R\) bilden einen topologischen Raum \(P\), und \(R\) ist homomorph einem Ring von stetigen Funktionen auf \(P\) (vgl. \textit{I. Gelfand}: On normed rings, C. R. Acad. Sci. URSS (2) 23 (1939), 430-432; F. d. M. 65). Verf. beweist: 1) Aus der Existenz eines reellen \(c>0\) mit \(| xy |\geqq c | x | | y |\) für alle \(x\), \(y \in R\), folgt \(R = C\). 2) Ist \(R_1\) ein Unterring von \(R\), der zu jedem Element ein komplex konjugiertes enthält, und \(a_1\) ein echtes Ideal von \(R_1\), so ist \(a_1 R \subset R\).