除环和域无零因子环的特征.ppt

上传人:za****8 文档编号:15716125 上传时间:2020-09-01 格式:PPT 页数:19 大小:2.12MB
收藏 版权申诉 举报 下载
除环和域无零因子环的特征.ppt_第1页
第1页 / 共19页
除环和域无零因子环的特征.ppt_第2页
第2页 / 共19页
除环和域无零因子环的特征.ppt_第3页
第3页 / 共19页
资源描述:

《除环和域无零因子环的特征.ppt》由会员分享,可在线阅读,更多相关《除环和域无零因子环的特征.ppt(19页珍藏版)》请在装配图网上搜索。

1、近 世 代 数(Abstract Algebra),主讲教师 : 蔡 炳 苓,(河北师范大学数学与信息科学学院),第3节 整环, 除环和域,河北师范大学,第三章 环与域,定义 一个交换的,有单位元,且,的无零因子环,称为整环.,例 1 整数环, 高斯整环都是整环,而偶数环为无零因子的交换环。,定义:设,是有单位元的环,且,如果,中每个非零元都可逆,则称,为除环.,交换的除环称为域.,例2,都是域.,例3,为域.,是有单位元的交换环.,的每个非零元都可逆.,证明,证明 可证,下证,例4 模m的剩余类环,零元为0,单位元为1.而且有结论,为域,为素数.,为此先考虑以下性质即可:,性质1 设,则,为

2、,的零因子,(1),(2),为,的可逆元,证:(1)若,为,的零因子,则存在,使得,故,.若,则,所以,矛盾.于是,.,反之,如果,设,则,所以,但,于是,是零因子.,(2)若,为,的可逆元,则,即,于是,使得,也就是,所以,反之, 如果,则,因此,故,可逆.,剩余类环中非零元不是可逆元就是零因子.,性质2,为无零因子环,为素数.,为素数,若,则,,,或者,,即,若,不是素数,则,证:设,为无零因子环.,为有零因子环.,例 5,解 (1),(2),直接计算可知,相应的逆元为,全部零因子:,全部可逆元:,域的除法,设,为域, 则对任意的,有,,记作,由此可定义域,的除法: 设,规定,称,为以,除

3、,的商.,且有下列运算法则:,说明:(1)整环,除环和域都是无零因子的环;,(2)R中至少2个元,则 环R为除环当且仅当R中全体非零元集合 R*关于乘法做成群; 环R为域当且仅当(R,+)和(R*,.)都是交换群.,(3)除环中,例5,第4节 无零因子环的特征,我们知道,任意数环中,任意两个非零数之积还是非零数,而且对有,在模n的剩余类环中,,而且满足条件的最小正整数n是存在的.,不难发现,以上性质和环中元的加法阶有关.,定理1:,无零因子环中任意非零元对加法的阶相同.,证明:若都无限,阶相同.,定义:对于加法来说,一个无零因子环R的非零元的相同的(加法)阶叫做环R的特征。,记作charR。,注:若无零因子环R的特征是n,则R的所有非零元的n倍为零元。,定理2:,无零因子环的特征或者无限,或者为素数.,证明:(反证法)设有限且为合数,与无零因子环矛盾,故假设不成立.,推论: 整环,除环和域的特征或为无限大或,为素数p.,性质:在特征为p的交换环R里,有,

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!