導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
18.119.134.160
登入
工具
閱讀
檢視原始碼
特殊頁面
頁面資訊
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
檢視 整环 的原始碼
←
整环
前往:
導覽
、
搜尋
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
{| class="wikitable" align="right" |- | style="background: #008080" align= center| '''<big>整环</big> ''' |- | [[File:P60476592.jpg|缩略图|居中|[https://img3.doubanio.com/view/note/l/public/p60476592.jpg 原图链接][https://www.douban.com/note/716453399/ 来自 搜狗 的图片]]] |- | style="background: #008080" align= center| |- | align= light| |} 整环(Integral domain),又译作整域,是抽象代数中的一个概念,指含乘法单位元的无零因子的交换环。一般假设环中乘法单位元1不等于加法单位元0,以除去平凡的环。整环是整数环的抽象化,它很好地继承了整数环的[[整除性质]],使得我们能够更好地研究整除理论。 整环也可以定义为理想是素理想的交换环,或交换的无零因子环。 =='''目录'''== '''形式定义''' '''例子'''<ref>[https://www.sogou.com/link?url=hedJjaC291OjiuZuDSs6JJ-PR9_p83XTRTko-qxnSEk. 整环],搜狗, 2017-04-18</ref> '''整除、素元、既约元''' =='''形式定义'''== 设是一个交换环,存在,(0为加法单位元),使得(存在乘法单位元)并且对任意的,如果,那么或者,或者。用数学方式表示为:(没有零因子) 就称其为整环。 定义中的无零因子性质也可以用环中乘法的消去律替代:如果,并且,那么。用数学方法表示就是: '''例子''' 整环的代表性例子是整数环。是一个交换环,并且乘法单位元1不等于加法单位0。最后,两个整数相乘等于0,则必然有其中一个等于0。 多项式环是整环当且仅当其系数构成整环。比如整系数一元多项式环和实系数[[二元多项式环]]。 每个域都是整环。相对的,每个阿廷整环都是域。特别地,每个有限的整环都是有限域。整数环就是一个非阿廷整环不是域的例子,因为它有无穷递降的理想列: 对每个整数,是实数域的子环,因此是整环。是复数域的子环,因此是整环。当时,后者被称为高斯整数环。 若是一个交换环,是的一个理想,那么商环是整环当且仅当P是素理想。由此可推出是整环当且仅当是素理想。 '''整除、素元、既约元''' 在整环上可以定义类似于整数环里的[[整除性质]]。 a与b是R中的两个元素,定义a整除b或a是b的约数或b是a的倍数,当且仅当存在R中的一个元素x使得ax = b。 整除关系满足传递性,即a整除b,b整除c推出a整除c。a整除b,则a整除b的所有倍数。a的两个倍数的和与差仍是a的倍数。 1的约数称为R的可逆元。可逆元整除所有元素。 若a整除b并且b整除a,则称a与b相伴。a与b相伴当且仅当存在可逆元u使得au = b。 非可逆元q称为既约元,如果q不能写成两个非可逆元的乘积。 如果p不是零元或可逆元,且对任意a,b,如果p整除ab可推出p整除a或p整除b,则称p为素元。 这两个定义是整数环中素数的推广。如果p是素元,那么p生成的主理想是素理想。每个素元都是既约元,但反过来则只有当R是唯一分解环才正确。 =='''参考资料'''== {{Reflist}} [[Category:540 社會學總論]]
此頁面使用了以下模板:
Template:Main other
(
檢視原始碼
)
Template:Reflist
(
檢視原始碼
)
模块:Check for unknown parameters
(
檢視原始碼
)
返回「
整环
」頁面