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

幂级数环

【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.8万字5个月前
我的太阳只为她而亮 连载中
我的太阳只为她而亮
杜杜要加油
女主月霜雪为了保护腹中的孩子而死,男主去时已晚,悲痛欲绝的他,使用尘封已久的禁忌法术,已自己的生命为代价倒流时间,来到过去,改变未来。
1.3万字2个月前
陈风日忆 连载中
陈风日忆
语言_16270265744616729
双男主,he文,内含强制爱。霍羡之X霍盼/江时遇X季林
0.2万字2个月前
第一异技师:大烟石之战 连载中
第一异技师:大烟石之战
薇伊十三号
(已完结)这是一个异技的世界,每天充满着挑战,与敌人的战斗中若战败元气大伤,若战胜折翼损爪。在此时,世界成立了一个组织,为了无辜人民,他们又......
17.1万字1个月前
快穿:三千妄念缚明月 连载中
快穿:三千妄念缚明月
我心许月
【双男主+快穿+万人迷+1vN+主受视角】长衡宗长老温简言心怀道义,怜悯苍生,白雪仙尘,天人之姿。是无数人心中肖想的,可望而不可即的明月。温......
9.9万字3周前
快穿:一统乙女游的白月光 连载中
快穿:一统乙女游的白月光
遥望星星的月
她是一统乙女游的白月光是所有人的月亮是所有人的心头肉是所有人的掌上明珠1:娱乐圈的白月光在组合内,她是当之无愧的顶流女爱豆,公司要求演戏,她......
10.2万字3周前