Bourbaki

习题 12, § 1

标签 04P1,永久不变。引用为 [Bourbaki, Tag 04P1]。

交换代数, V, 356

It is set in small type as supplementary.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 A 为复变量的积分函数(具有复数值)的环。 分数的域是复变量的亚态函数的域,是整环。

(a) 证明 A 是完全积分闭的。 (b) 对于所有x∈Ax \in A,令Z(x)Z(x)为xx的零的集合(这是C\mathbf{C}的闭子集,如果x≠0x \neq 0,它是离散的(因此可数))。如果 aa 是 A 的理想,与 A 和 (0) 不同,则表明 x∈ax \in a 形式的 Z(x)Z(x) 是一个过滤器基 Fa\mathscr{F}_a。 (如果xx和yy是公共的中没有零的两个整数函数,则使用Mittag-Leffler定理表明可以写成1/xy=u/x+v/y1/xy = u/x + v/y,其中uu和vv在A中,并且推断出Ax+Ay=AAx + Ay = A)。相反,对于C\mathbf{C}上的每个滤波器F\mathscr{F},其中C\mathbf{C}属于、集合a(F)a(\mathscr{F})的闭离散子集为x∈Ax \in A,其中Z(x)∈FZ(x) \in \mathscr{F}是A的理想。证明Fa(s)=F\mathscr{F}_{a(s)} = \mathscr{F}为每个过滤器 F\mathscr{F} 对于不同于 A 和 (0) 的 A 的每个理想 aa,都有 C\mathbf{C} 属于和 a(F)⊇aa(\mathscr{F}) \supseteq a 的闭合离散子集。 (c) 如果 p≠(0)p \neq (0) 是 A 的素理想,则证明 Fp\mathscr{F}_p 是超滤器。 (将其限制为Fp\mathscr{F}_p的所有集合都是无限的情况,表明,如果M∈FpM \in \mathscr{F}_p是两个无限集合M′,M′′M', M''中的并,且公共的中没有点,则其中集合之一属于到Fp\mathscr{F}_p。)相反,对于C\mathbf{C}上的每个超滤器U\mathscr{U},其闭离散子集为C\mathbf{C}属于,a(U)a(\mathscr{U})是A的最大理想;获得逆命题。 (d) 设U\mathscr{U}为C\mathbf{C}上的超滤器,典范嵌入Z→C\mathbf{Z} \to \mathbf{C}下的像为Z\mathbf{Z}上的非平凡超滤器。证明存在 A 的非极大素理想 pp 使得 Fp=U\mathscr{F}_p = \mathscr{U}。 (对于所有x∈a(U)x \in a(\mathscr{U})和所有n∈Zn \in \mathbf{Z},令ωx(n)\omega_x(n)在点nn处为xx的阶(ωx(n)=0\omega_x(n) = 0如果x(n)≠0x(n) \neq 0);考虑集合pp x∈a(U)x \in a(\mathscr{U})使得lim⁡nωx=+∞\lim_n \omega_x = +\infty。) (e) 对于(d)的记号,令m为最大理想a(U)a(\mathscr{U})。证明域 Am′A_{m'} 不是完全全闭的(考虑亚纯函数 1/(sin⁡πz)1/(\sin \pi z))。 \*

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。