记号: 设是整环. 则 且是中所有可逆元的集合.
唯一因子分解整环
不可约元和素元
不可约元
设不可逆. 如果不存在非可逆元, 则称为不可约元 一个等价的定义是, 若不可逆元, 则中有可逆元
反之, 若不是不可约元, 则必然存在非可逆元
设且, 则不可约当且仅当不可约. 设是不可约元, 如果, 则
例子: 中的不可约元是所有的素数和它们的相反数 中的不可约元是所有的一次多项式(代数基本定理) 中的不可约元的次数不大于 中的不可约元就是其中的不可约多项式
素元
设不可逆. 如果对于
则称是素元
设且, 则是素元当且仅当是素元 设是素元, . 如果, 则存在
引理: 整环中的素元都是不可约元 反例: 整环中的不可约元不一定是素元, 如在 (环中元素形如) 中
显然是不可约元, 但不是素元 引理: 在和中, 不可约元都是素元
注意: 不可约元的相伴依然是不可约元, 素元的相伴依旧是素元
唯一因子分解整环
不可约分解
设是不可逆元. 如果存在不可约元使得
则称有不可约分解. 上式则称为的一个不可约分解 每一个绝对值大于的整数都有不可约分解
例子: 设, 则有不可约分解 证明: 设. 对归纳: 时, 是不可约多项式, 结论成立 时, 假设结论对任何次数大于零且小于的多项式都成立. 若是不可约的, 结论成立 若可约, 则存在次数为正且小于的多项式使得 (参考此处), 而由归纳假设可知都是若干个不可约多项式之积, 故也是
唯一因子分解整环(UFD)
我们称是唯一因子分解整环(UFD), 如果中的每个非零单位的元素都满足下列两个条件
- 可以写成中有限多个不可约元素之积
- 若有以下两种不可约分解
则且适当调整下标后, 我们有
命题: 设满足上述定义中的条件(i), 则是唯一因子分解整环当且仅当中的不可约元都是素元
在唯一因子分解整环中, 素元就是不可约元, 不可约元就是素元 反之, 如果在一个整环中有不可约元就是素元, 那么这个整环就是一个唯一因子分解整环
命题: 在唯一因子分解整环中, 每个非零非可逆元可以被表示为
其中是两两不相伴的不可约元, 称之为的标准不可约分解 如果还有
则有且适当调整下标后有和
例:
算术基本定理
设. 则存在唯一的两两不同的素数和正整数使得