数学联邦政治世界观
超小超大

幂级数环

【artin代数_第二版_11.2.2】 F 是域, p(t)=α₀+α₁t+α₂t²+. . . 是形式化的幂级数(formal power series)(不要求收敛),这些形式化的幂级数的集合记为 F[[t]] ,证明 F[[t]] 是环。

pf:证明F[[t]] 是环的方法可以参考多项式环 F[t] 的证明,形式化的幂级数和形式化的多项式区别在于形式化幂级数可以有无穷多项,这点对证明没有影响。

【artin代数_第二版_11.2.2】找出环 F[[t]] 的可逆元 (units)。

sol:环F[[t]] 的可逆元是所有 α₀ ≠ 0 的 p(t) ,这点不同于多项式环 F[t] (units 为 f(t)=α,α ≠ 0 )。形式化幂级数求逆元的过程就是“向后推”然后“抵消”,因为是无穷多项所以可以做到。

【artin代数_第二版_11.3.10】找出环 F[[t]] 的理想(ideal)。

sol: 假设l 是环 F[[t]] 的理想,每个 p(t) ∈ l 有最低次项,这个最低次数记为 mₚ ,例如 p(t)=3t+15t³ ,它的最低此项是 3t ,所以 mₚ=1 , l 中所有非零 p(t) 最低次数的最小值记为 m ,现在claim l=(tᵐ) 。

因为m 是所有非零 p(t) ∈ l 包含项的最低次,所以 p(t)=αₘtᵐ+αₘ₊₁tᵐ⁺¹+. . .=tᵐ(αₘ+αₘ₊₁t+. . .),括号中的部分是环 F[[t]] 中的元素,所以 l ⊂ (tᵐ) 。

假设q(t) ∈ l包含这个最低项 m 次项, 那么

q(t)=αₘtᵐ+αₘ₊₁tᵐ⁺¹+. . .=tᵐ(αₘ+αₘ₊₁t+. . .),αₘ ≠ 0,这里 αₘ+αₘ₊₁t+. . . 是 F[[t]] 的可逆元,所以 tᵐ=tᵐ(αₘ+αₘ₊₁t+. . . ) ((αₘ+αₘ₊₁t+. . .)的逆) ∈ l,所以(tᵐ) ⊂ l。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

小安的剧场 连载中
小安的剧场
虞柠安
0.8万字9个月前
魅魔的美食品鉴日记 连载中
魅魔的美食品鉴日记
清素衣
无三观!!!(标重点)无道德,毕竟你不能要求非人有道德。它是一只来自某神秘世界魅魔种族的普通魅魔,以爱与欲望为食,刚成年的小魅魔在三千小世界......
2.4万字9个月前
爱你千年,拾在心上 连载中
爱你千年,拾在心上
姽婳风过怜花城
一树梨花一袭白衣锦绣,刺锦忘川彼岸花开万里,渡一人一心,知世世,刻心上,不忘卿……灵生万物渡汐颜,淡云流水觅安宁。灵汐颜,字水觅,封号安宁公......
0.4万字9个月前
被狼崽子捡走之后的故事 连载中
被狼崽子捡走之后的故事
君苑酱
【已完结】作为一个网文太太的苏芄兰没想到自己会穿越到自己的小说里。还成了一笔带过被献祭给反派的炮灰少女。可是自家反派儿子好像还没觉醒黑化因素......
7.9万字9个月前
快穿:无cp只是因为不爱你 连载中
快穿:无cp只是因为不爱你
奇怪的用户增加了
无脑苏爽文,请大家一起来看看我老婆打天下的故事。——快穿之旅上,你最好听不见那些情话。留恋小世界不反回的后果所有人都知道!如果做好了准备,那......
5.4万字9个月前
捣蛋鬼三大CP(双心恋) 连载中
捣蛋鬼三大CP(双心恋)
159***299_7498594750
爱磕双心的蛋
0.0万字9个月前