Bourbaki

习题 25, § 2

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

代数, III, 625

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

设 A 为环,*可交换或其他方式*,并设 σ\sigma 为 A 的自同态。在加法乘积群 E=ANE = A^\mathbf{N} 上,合成的内部律可以通过写 (αn)(βn)=(γn)(\alpha_n)(\beta_n) = (\gamma_n) 来定义,其中 γn=∑p+q=nαpσp(βq)\gamma_n = \sum_{p+q=n} \alpha_p \sigma^p(\beta_q) (按照约定σ0(ξ)=ξ\sigma^0(\xi) = \xi)。

(a) 证明这个律定义,E 上有加法,E 上有 环 结构,承认为单位元 ee 序列 (αn)(\alpha_n),其中 α0=1\alpha_0 = 1 和 αn=0\alpha_n = 0 为n≥1n \geq 1。 映射与每个 ξ∈A\xi \in A 元素 (αn)∈E(\alpha_n) \in E 相关联,使得 α0=ξ,αn=0\alpha_0 = \xi, \alpha_n = 0 对于 n≥1n \geq 1,是 A 的同构到 E 的子环,并与它进行识别。然后我们将所有β∈A\beta \in A写为∑n=0∞αnXn\sum_{n=0}^\infty \alpha_n X^n而不是(αn)(\alpha_n)和Xpβ=σp(β)XpX^p \beta = \sigma^p(\beta) X^p;如果u=∑n=0∞αnXn≠0u = \sum_{n=0}^\infty \alpha_n X^n \neq 0,最小的整数nn,则αn≠0\alpha_n \neq 0称为uu的*阶*,并记为ω(u)\omega(u)。

(b) 如果 A 是环,且除子不为 0,并且 σ\sigma 是 A 的同构到 A 的子环,则证明 E 为环,除子不为 0,且

ω(uv)=ω(u)+ω(v) \omega(uv) = \omega(u) + \omega(v)
对于 u≠0u \neq 0 和 v≠0v \neq 0。

(c) 为了使 u=∑n=0∞αnXnu = \sum_{n=0}^\infty \alpha_n X^n 可逆,α0\alpha_0 在 A 中可逆是充分必要的。

(d) 假设 A 是域和 σ\sigma A 的 自同构。证明 E 承认左分式的域 (I, § 9, 习题 15),并且在这个域 F 中每元素 ≠0\neq 0可以唯一地写成形式uX−hu X^{-h},其中uu是阶0的E的元素。

解答

尚未写出解答。

被以下引用

无。

引用了

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