24小时热门版块排行榜    

查看: 3541  |  回复: 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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +17 医学老男孩 2026-08-20 21/1050 2026-08-24 14:21 by refreshing11
[基金申请] 我面上完蛋了 +8 且听虎啸 2026-08-20 9/450 2026-08-24 13:52 by zzuzxg
[基金申请] 范进中举一文的中心思想 +6 炎黄贵胄 2026-08-22 7/350 2026-08-24 11:58 by 6543yes
[基金申请] 朋友圈看到的 +7 wangzilk 2026-08-18 9/450 2026-08-24 10:50 by cmrandy
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[基金申请] 什么时候开奖? +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by 开心的小狮子
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +4 process2012 2026-08-23 5/250 2026-08-23 19:58 by jurkat.1640
[教师之家] 跳槽后在研项目怎么办? +5 简单化xn 2026-08-22 10/500 2026-08-23 12:38 by 简单化xn
[基金申请] 93BebMhtakh前后11位开头都是大写 +7 且听虎啸 2026-08-17 8/400 2026-08-22 21:55 by 医学老男孩
[基金申请] 只有每年这种时候来逛逛小木虫 +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[基金申请] filecode,4个jtjc了 +13 ziyangfang 2026-08-19 16/800 2026-08-22 17:08 by WH3796
[基金申请] 人气不行了 +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 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
[论文投稿] 投稿咨询 +5 wwm09 2026-08-17 7/350 2026-08-21 10:11 by 期刊论文帮手
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见