Gelfand-Kolmogoroff theorem for rings of analytic functions

DOI10.1016/J.TOPOL.2016.12.018MaRDI QIDQ505380zbMATH OpenOpenAlexFDO

Publication date 20 January 2017

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.03242

analytic function ring compactification discrete \(z\)-ultrafilters Krull dimension prime ideal chain topology of maximal ideal space

Mathematics Subject Classification ID

Algebras of analytic functions of one complex variable (30H50) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Abstract: Consider rings of single variable real analytic or complex entire functions, denoted by

m a t h b b K l a n g l e z a n g l e

. We study "discrete

z

-filters" on

m a t h b b K

and their connections with the space of maximal ideals of

m a t h b b K l a n g l e z a n g l e

, which we characterize as a compact

T_{1}

space

h e t a m a t h b b K

of discrete

z

-ultrafilters on

m a t h b b K

. We show that

h e t a m a t h b b K

is a bijective continuous image of

, where

Q (m a t h b b K)

is the set of far points of

.

h e t a m a t h b b K

turns out to be the Wallman compactification of the canonically embedded image of

m a t h b b K

inside

h e t a m a t h b b K

. Using our characterization of

h e t a m a t h b b K

, we derive a Gelfand-Kolmogorov characterization of maximal ideals of

m a t h b b K l a n g l e z a n g l e

and show that the Krull dimension of

m a t h b b K l a n g l e z a n g l e

is at least

c

. We also establish the existence of a chain of prime

z

-filters on

m a t h b b K

consisting of at least

2^{c}

many elements.

Review text

The paper deals with the properties of the rings of single variable real analytic functions or complex entire functions (they are together denoted by \({\mathbb K}\!\langle z\rangle\), where \(\mathbb K\) denotes one of the fields \(\mathbb R\) and \(\mathbb C\)). It is shown that every ideal of \({\mathbb K}\!\langle z\rangle\) is a discrete \(z\)-ideal and that every prime ideal of \({\mathbb K}\!\langle z\rangle\) is contained in a unique maximal ideal of \({\mathbb K}\!\langle z\rangle\). It is also shown that there is a bijective continuous map between the sets \(\beta{\mathbb K}\backslash Q({\mathbb K})\) and \(\theta{\mathbb K}\), where \(\beta{\mathbb K}\) is the Stone-Čech compactification of \(\mathbb K\), \(Q({\mathbb K})\) is the collection of all far points of \(\beta{\mathbb K}\) and \(\theta\mathbb K\) is the set of all indexed discrete \(z\)-ultrafilters (i.e., indexed maximal discrete \(z\)-filters). Moreover, it is shown that the Krull dimension of the set of all convergent power series with coefficients belonging to \(\mathbb K\) is at least the cardinality of \(\mathbb R\).

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Gelfand-Kolmogoroff theorem for rings of analytic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q505380)