24小时热门版块排行榜    

查看: 3540  |  回复: 1

xmq401

新虫 (初入文坛)

[求助] 关于一元多项式环K[x]的通用性质

《高等代数》下册,第3版,作者丘维生
第7章、第7页-第8页
定理4  设k是一个数域,R是有单位元的交换环,R1是R的子环,并且K到R1有一个环同构映射τ“套”。
任意给定t∈R,令σt:K[x]→R
f(x)=a0*x^0+a1*x^1+...+an*x^n  l→  τ(a0)t^0+τ(a1)t^1+...+τ(an)t^n 按定义=f(t)
那么,
σt是K[x]到R的映射;并且σt保持加法、乘法运算法则的话,即如果
f(x)+g(x)=h(x),f(x)g(x)=p(x),
则有
f(t)+g(t)=h(t),f(t)g(t)=p(t);
此外σt(x)=t。
我们把映射σt叫做x用t代入。
//
证明:
由于k[x]中每个元素f(x)的表达形式唯一(按照降幂排序),并且τ“套”是K到R1的映射,所以σt是k[x]到R的映射。
——这是第一个疑问:不是给定σt:K[x]→R吗?那还证明它什么?另外也不明白这个推导过程的内在涵义。

根据σt的定义,得σt(x)=σt(1x)=τ(1)t=R(e)*t=t  (说明R(e)是R的基本元)
设f(x)\g(x)分别以ai\bi为系数的一元多项式,次数为n/m,n大于等于m,则
h(x)=f(x)+g(x),p(x)=f(x)g(x);
根据σt的定义,和环同构映射τ对加法、乘法的保持性,得
——下面关于h(t)=f(t)+g(t),p(t)=f(t)g(t)的一些推导过程,不明白为何可以这样推导,每个步骤的等式表示什么含义?

疑问2:子环R1仅对K保加保乘,为什么最后变成它的母环R对一元多项式环K[x]保加保乘?
尽管这就是通用的性质想说明的事情,但这个过程不能理解,如果推导出来的。

望高手能解析其中的疑惑。
回复此楼

» 猜你喜欢

maths
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

xmq401

新虫 (初入文坛)

基本搞懂了,我估计是原书印刷一字之差所导致的.
//
应该是根据给定的关于西格玛t的映射,要求先证明该映射是K[X]到R的双射(而不仅仅是映射)。
然后证明该映射保加保乘。
于是,一元多项式环k[x]和任何满足定理4的环R同构,因此当然地可以用R中任何元素t替代x。
//
其实,从证明过程看,反过来替代也可以,但用一元多项式计算出一个加法或乘法的关系式,是我们最熟悉的计算方式,所以通常总是计算一元多项式,然后用其它来替换x,从而得到其它环中的一些关系式。
maths
2楼2015-10-14 16:28:46
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 xmq401 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 朋友圈看到的 +7 wangzilk 2026-08-18 9/450 2026-08-24 10:50 by cmrandy
[基金申请] 能否退出参与的面上项目解除限项 +11 koalala 2026-08-24 13/650 2026-08-24 10:49 by anjeeshine
[基金申请] 让我中一个面上吧! +13 大萍1987 2026-08-20 16/800 2026-08-24 10:23 by 太傻了
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[基金申请] 明天应该可查了!? +4 chengyan1220 2026-08-23 4/200 2026-08-24 08:47 by gloomy6159
[基金申请] 什么时候开奖? +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by 开心的小狮子
[基金申请] 范进中举一文的中心思想 +5 炎黄贵胄 2026-08-22 6/300 2026-08-24 06:34 by sincosx
[教师之家] 跳槽后在研项目怎么办? +5 简单化xn 2026-08-22 10/500 2026-08-23 12:38 by 简单化xn
[基金申请] 只有每年这种时候来逛逛小木虫 +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[基金申请] 人气不行了 +8 fansofjerry 2026-08-21 8/400 2026-08-22 16:30 by zyqchem
[基金申请] 今天基金会出结果吗?20260819 +16 kkkl_v 2026-08-19 17/850 2026-08-22 16:12 by 阿布Abu
[基金申请] 时间戳今天,20号变了 +5 archvillain 2026-08-20 5/250 2026-08-22 06:12 by hui_daxiao
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +16 医学老男孩 2026-08-20 20/1000 2026-08-21 21:13 by Ldrop2023
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 我面上完蛋了 +7 且听虎啸 2026-08-20 8/400 2026-08-21 12:31 by 酷酷墨镜
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 估计是周四 +3 archvillain 2026-08-18 3/150 2026-08-21 01:48 by jnhyjjm
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见