Ring Of Real Analytic Functions on [0,1]
Shrivastava, Pandey · math.AC,math.CA,math.RA · 2016-11-14 · 原文
We consider the ring of real analytic functions defined on [0,1], i.e. C^ω[0,1] =\lbrace f :[0,1] \longrightarrow \mathbb{R} | f \text{ is analytic on } [0,1]\rbrace In this article, we explore the nature of ideals in this ring. It is well known that the ring C[0,1] of real valued continuous functions on [0,1] has precisely the following maximal ideals: \text{For } γ\in [0,1], M_γ := \lbrace f \in C[0,1] | f(γ) =0\rbrace It has been proved that each such M_γ is infinitely generated, in-fact uncountably generated. Observe that C^ω[0,1] is a subring of C[0,1] We prove that for any γ in [0,1], the contraction M^ω_γ of M_γ under the natural inclusion of C^ω[0,1] in C[0,1] is again a maximal ideal (of C^ω[0,1] ), and these are precisely all the maximal ideals of C^ω[0,1]. Next we prove that each M^ω_γ is principal (though M_γ is uncountably generated). Surprisingly, this forces all the ideals of the ring C^ω[0,1] to be singly generated, i.e. C^ω[0,1] is a PID.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
We consider the ring of real analytic functions defined on [0,1], i.e.
C^ω[0,1] =\lbrace f :[0,1] \longrightarrow \mathbb{R} | f \text{ is analytic on } [0,1]\rbrace In this article, we explore the nature of ideals in this ring.
2. 领域脉络
本文类目：math.AC、math.CA、math.RA，属于其所在研究脉络的最新进展。
3. 机制拆解
Next we prove that each M^ω_γ is principal (though M_γ is uncountably generated).
4. 证据与数字
It is well known that the ring C[0,1] of real valued continuous functions on [0,1] has precisely the following maximal ideals: \text{For } γ\in [0,1], M_γ := \lbrace f \in C[0,1] | f(γ) =0\rbrace It has been proved that each such M_γ is infinitely generated, in-fact uncountably generated.
Observe that C^ω[0,1] is a subring of C[0,1] We prove that for any γ in [0,1], the contraction M^ω_γ of M_γ under the natural inclusion of C^ω[0,1] in C[0,1] is again a maximal ideal (of C^ω[0,1] ), and these are precisely all the maximal ideals of C^ω[0,1].
Surprisingly, this forces all the ideals of the ring C^ω[0,1] to be singly generated, i.e.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
横跨 3 个类目（math.AC、math.CA、math.RA），关注其在你兴趣板块间的迁移面。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。