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

幂级数环

【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),接着再看更方便。

相关小说

林晓晓 连载中
林晓晓
多吃一点米
故事设定了基调和背景,接下来的故事将围绕陆霆骁和林晓晓之间的关系发展,以及他们如何共同面对即将到来的挑战和阴谋
2.1万字5个月前
彼岸花开繁尘落 连载中
彼岸花开繁尘落
一盏蝶
“你真想好了吗?不打算再去见见他?”“还是不了,他如今是天界战神,只为苍生不为我……”“在你眼里我依旧是那个只为天下苍生而活的战神,去不知我......
7.4万字5个月前
兰式玉 连载中
兰式玉
匕首_27562892568598715
苏章是个杀手在执行任务时意外身亡,在睁眼就到了个陌生的地方,还绑定了万圣2.0系统,在个个小世界演绎角色。
1.6万字3个月前
梦回山海 连载中
梦回山海
要献便献吻_37211257035372
本是青梅竹马,却了天意弄人。梦回过去。你还会做出同样的选择?
3.1万字2个月前
小刘的发疯日常 连载中
小刘的发疯日常
紫薯LO
神神经经,没有烦恼!啊啊啊啊!
0.5万字1个月前
旧梦遇 连载中
旧梦遇
野草啊
大概就是说,楚江和邬渊的故事吧
0.4万字2周前