【抽象代数】素理想、极大理想、唯一析因环、主理想整环、欧几里得环

素理想

设$R$是一个环，$I$是$R$的理想，若$ab\in I\Rightarrow a\in I$ 或$b\in I$ ，则称$I$是素理想。

例：

整数环$<p>$（由元素p生成的主理想），

若p是素数，且$ab\in <p>$，则$p|ab$ ，$p|a或p|b\Rightarrow a\in <p>或b\in <p>\Rightarrow <p>$ 是素理想。

性质

1）交换幺环中素理想的刻画

• 若R是交换幺环，I是R的理想，且$I\ne R$，则$I$是$R$的素理想$\iff$ $R/I$是整环。
• 推论：交换幺环R是整环当且仅当{0}\{0\}{0}是素理想

极大理想

M是环R的理想，若$M\ne R$，且不存在R的真理想N，使得$M\subset N,M\ne N$，则称M是极大理想。

例：

整数环Z,$<p>，p$是素数，$<p>$是素理想的同时也是极大理想。

R是域，{0}\{0\}{0}是域R的极大理想，事实上，设N是R的理想，且N≠{0}N\neq \{0\}N​={0}，则存在$a\in N且a\ne 0\Rightarrow a^{-1}a=1\in N\Rightarrow \forall b\in R,b=b\cdot 1\in N\Rightarrow R=N$

性质

1）设R是交换幺环，M为R的极大理想，当且仅当R/M是域。

2）推论：交换幺环R的极大理想一定是素理想。
$$I\to R的极大理想\iff R/I是域\iff R/I是整环\iff I是素理想$$
3）$f$是交换幺环$R$到$R^{\prime }$的满同态，$M$是$R$中包含$kerf$的素（极大）理想，则$f(M)$是$R^{\prime }$中素（极大）理想

唯一析因环

设R为整环，用$U$表示幺半群R∗=R−{0}R^* = R-\{0\}R∗=R−{0} 中的可逆元的集合，则$U$是交换群，称为$R$的单位群，$U$中的元素称为单位。单位元一定是单位，1，-1都是单位。

例：

集合Z[−1]={a+b−1∣a,b∈Z}Z[\sqrt{-1}] = \{a+b\sqrt{-1} | a,b \in Z\}Z[−1​]={a+b−1​∣a,b∈Z}定义加法和乘法 $\Rightarrow$ $Z[\sqrt{-1}]$是整环 $\Rightarrow$ $1,-1,\sqrt{-1},-\sqrt{-1}$都是单位。

相伴

设$a,b\in R$，若存在$R$中的单位$u$，使得$a=ub$，则称$a$ 与$b$相伴，记为$a\sim b$

性质

1）$\forall a\in R,a|a,$若$a|b,b|c\Rightarrow a|c$

2）$u$是单位，则$u|a,\forall a\in R$

3）若$a$ 与$b$相伴，则存在单位使得$b=au$（对称性）

4）相伴关系时R中的等价关系且是$R^{\ast }$幺半群中的同余关系

$a\sim bc\sim d\Rightarrow a=b{u}_{1}c=d{u}_2\Rightarrow ac=bd(u_1{u}_2)\Rightarrow ac\sim bd$

平凡因子

设$a\in R^{\ast }$，则单位和a的相伴元都是a的因子，称为a的平凡因子，若b|a ,但是$a\nmid b$，则称b是a的真因子

不可约元素

设$a\in R^{\ast }-U$，若a没有非平凡的真因子，则称a为不可约元素。

例：在整数环中，U={1,−1}U = \{1,-1\}U={1,−1}，若$a\sim b\iff a=\pm b$，则a的不可约元素 $\iff a$为素数或者负素数。

设P是域，P[x]是P上的一元多项式环，U=P∗=P−{0},f(x)∼g(x)⇔f(x)=cg(x)U = P^* = P-\{0\} ,f(x) \sim g(x) \Leftrightarrow f(x)= cg(x)U=P∗=P−{0},f(x)∼g(x)⇔f(x)=cg(x)，则$f(x)$为不可约元素$\iff$ $f(x)$是不可约多项式

素元素

设$p\in R^{\ast }-U$，且由$p|ab\Rightarrow p|a或p|b$

素元素一定是不可约元素。

例：

集合R=Z[−5]={a+b−5∣a,b∈Z}R = Z[\sqrt{-5}] = \{a +b \sqrt{-5} |a,b \in Z\}R=Z[−5​]={a+b−5​∣a,b∈Z}定义普通的加法和乘法，3是不可约元素，但3不是素元素。

唯一析因环

如果整环$R$满足下列条件：

1）有限析因条件：$\forall a\in R^{\ast }-U$，a可分解为有限个不可约元素的乘积，则有不可约元素$p_i(1\le i\le r)$使得$a=p_1{p}_2...p_r$

2）分解唯一定理：若$a\in R^{\ast }-U$ 有两种不可约元素乘积的分解
$$a=p_1{p}_2...p_r=q_1{q}_2...q_s$$
则有r=s，而且适当交换顺序可以有$p_i\sim q_j,1\le i\le r$，则称R是唯一析因环。

例：

整数环、数域上的一元多项式环都是唯一析因环。

$Z[-\sqrt{-5}]$不是唯一析因环，事实上$9=3\cdot 3=(2+\sqrt{-5})(2-\sqrt{-5})$

性质

1）唯一析因环R中的不可约元素是素元素。

2）整环$R$满足有限析因条件，且每个不可约元素是素元素，则$R$是唯一析因环。

公因子

设$a_1,a_2,...,a_n\in R$，若$c\in R$整除$a_1,a_2,...,a_n$，则称c是$a_1,a_2,...,a_n$的公因子，若分因子d能被任何一个因子整除，则称d是最大公因子

3）设$R$是唯一析因环，$a,b\in R$，则$a,b$的最大公因子存在，而且最大公因子相伴。

主理想整环

若交换幺环的每个理想都是主理想，则称此环为主理想环。若主理想环是整环，则称此环为主理想环。

例：

整数环Z是主理想整环。

性质

1）设R是主理想整环，若R中的一个序列$a_1,a_2,a_3,....$里面每一个元素都是前面一个元素的真因子，则此序列是有限序列。

2）设R是主理想整环，若$P\in R^{\ast }-U$是不可约元素，则$<P>$是极大理想。

3）主理想整环是唯一析因环。

4）R是主理想整环，$a,b\in R$，$d$为$a,b$的最大公因子，则存在$u,v\in R$，使得$d=ua+vb$。

5）R是主理想整环，$a,b$互素$\iff$ $\exists u,v\in R,st.ua+vb=1$

欧几里得环

设R是整环，若存在$R^{\ast }$到N∪{0}N \cup \{0\}N∪{0}上的映射$\delta$，使得$\forall a,b\in R,b\ne 0$，存在$q,r\in R$，满足$a=qb+r$，其中$r=0$或$\delta (r)<\delta (b)$，则称$R$是欧几里得环。

例:

整数环是欧几里得环，δ:Z∗→N∪{0},δ(m)=∣m∣\delta:Z^* \rightarrow N \cup \{0\} , \delta(m) = |m|δ:Z∗→N∪{0},δ(m)=∣m∣

数域p上的一元多项式环$P[x]$，δ:P[x]∗→N∪{0},δ(f(x))=deg(f(x)),f(x)≠0\delta :P[x]^* \rightarrow N \cup\{0\},\delta(f(x))=deg(f(x)),f(x)\neq 0δ:P[x]∗→N∪{0},δ(f(x))=deg(f(x)),f(x)​=0

Z[−1]:{a+b−1∣a,b∈Z}Z[\sqrt{-1}]:\{a+b \sqrt{-1}|a,b \in Z\}Z[−1​]:{a+b−1​∣a,b∈Z}是欧几里得环，$\delta (a+b\sqrt{-1})=a^2+b^2$

性质

1）欧几里得环是主理想整环，进而是唯一析因环。

2）对于欧几里得环R，可以定义辗转相除法

• 设$a,b\in R^{\ast }$，不妨设$\delta (a)\ge \delta (b)$，令$a_1=a,a_2=b,a_1=q{a}_2+a_3$，其中$a_3=0$或者$\delta (a_3)<\delta (a_2)$。
• 若$a_3=0$ ，则$a_2$是$a_1,a_2$的最大公因子，若$a_3\ne 0$，$a_2=q_1{a}_3+a_4$。
• 其中$a_4=0$或者$\delta (a_4)<\delta (a_3)$，重复上面的过程$\delta (a_1)\ge \delta (a_2)\ge \delta (a_3)....$在有限步终止，有$a_n\ne 0，而a_{n+1}=0$
• $a_n$是$a,b$的最大公因子

总结

$$欧几里得环⊊主理想环⊊唯一析因环⊊整环$$

1）$Z[\sqrt{-5}]$是整环但不是唯一析因环。

2）$Z[x]$是唯一析因环但不是主理想整环。

3）R={a+b2(1+−19∣a,b)∈Z}R =\{a+\frac{b}{2} (1+\sqrt{-19} |a,b)\in Z\}R={a+2b​(1+−19​∣a,b)∈Z}是主理想环但不是欧几里得环。