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

幂级数环

【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://www.bjxsw.cc),接着再看更方便。

相关小说

冷宫九公主要翻身 连载中
冷宫九公主要翻身
某家女主
因为不想弄这么多任务,所以就直接只有旁白仿炮灰闺女的生存方式
60.9万字5个月前
幻境……春 连载中
幻境……春
绘离
(一个作者幻想出来的美好世界…)收录了三个稿件,会出现霉运体质。
0.2万字5个月前
亡命之徒:救赎 连载中
亡命之徒:救赎
上官子兰
被人改造的实验体是根本没有人类的感情…———————————————这里是世界上最大的实验基地也是设备样样俱全的“莫古拉实验基地”里面的科学......
0.8万字3个月前
仙恋之蝶心向帝 连载中
仙恋之蝶心向帝
人鱼雪蓝
讲述了蝴蝶仙子蝶幸与天帝之间跨越身份与天规的绝美爱情故事。蝶幸在偶然间邂逅天帝,从此情根深种。然而,他们的爱情却遭到天庭的重重阻挠,王母娘娘......
2.8万字2个月前
幻境大陆 连载中
幻境大陆
彩蝶灵舞
一本属于和魔法相似的魔法小说,一共有十位主角,五位男生,五位女生。不要把其他人当配角看,重复一遍“十位主角”。
3.2万字1个月前
别了亲爱的:用情至深 连载中
别了亲爱的:用情至深
不知名诗人
我又活了,拥有了新的身份,唯一没变的是对她的爱,这次我绝对要保护好她,熟悉的环境,重走一遍的剧情,我绝对不会让她再受伤了,我不会再唯唯诺诺,......
1.4万字3周前