刚学完Artin代数环论首节，咨询ℤ[x]理想的主/极大性充要条件

嘿，刚啃完Artin《代数学》环的第一章就来深挖ℤ[x]的理想问题，这钻研劲儿值得点赞！确实，域上多项式环的结论（比如PID性质、不可约多项式对应极大理想这些）用起来特别顺手，但当基环换成ℤ这种是UFD却不是域的情况，规则就得调整了。下面给你把判断主理想和极大理想的充要条件梳理得明明白白：

ℤ[x]是唯一分解整环（UFD），但不是主理想整环（PID）——比如理想(2, x)就没法用单个多项式生成。它的主理想有且只有两类，对应的充要条件可以这么说：

• 一个理想I ⊆ ℤ[x]是主理想，当且仅当要么存在整数n ∈ ℤ，使得I是所有系数能被n整除的多项式集合（即I = (n)），要么存在本原多项式f(x) ∈ ℤ[x]（本原多项式指系数的最大公约数为1的多项式），使得I是f(x)在ℤ[x]中的所有倍式集合（即I = (f(x))）。

换个更严谨的等价表述：假设我们考察理想I中所有多项式的常数项，这会构成ℤ的一个理想nℤ；如果n ≠ 0，再看I中所有多项式除以n后的集合，这个集合是ℚ[x]中的一个理想。此时I是主理想的充要条件是：这个商理想是ℚ[x]中的主理想，且其生成元可以取成ℤ[x]中的本原多项式（结合Gauss引理就能推导出来）。

举个例子：(3)是主理想，包含所有系数是3的倍数的多项式；(x² + 1)也是主理想，因为它是本原多项式，所有形如g(x)(x²+1)（g(x)∈ℤ[x]）的多项式都在这个理想里。

ℤ[x]中的极大理想和域上多项式环的情况差异很大——域上多项式环的极大理想都是主理想，但ℤ[x]的极大理想全不是主理想，它们都需要两个生成元来定义，充要条件是：

• 一个理想I ⊆ ℤ[x]是极大理想，当且仅当存在素数p ∈ ℤ，以及ℤ[x]中的多项式f(x)，使得f(x)在有限域ℤ/pℤ[x]中是不可约多项式，且I = (p, f(x))。

背后的逻辑很清晰：根据环同构定理，ℤ[x]/(p, f(x)) ≅ (ℤ/pℤ)[x]/(f(x) mod pℤ[x])。而ℤ/pℤ是域，域上的多项式环中，一个理想是极大理想当且仅当它由不可约多项式生成，对应的商环是域。所以当且仅当f(x) mod p是不可约多项式时，右边的商环是域，左边的商环ℤ[x]/I也是域，这就等价于I是ℤ[x]的极大理想。

举几个例子验证：

• (2, x)是极大理想：ℤ[x]/(2,x) ≅ ℤ/2ℤ，是域；
• (3, x² + 1)是极大理想：x² + 1在ℤ/3ℤ[x]中没有根（代入0、1、2都不等于0），所以不可约，对应的商环是域；
• 反过来，(4, x)不是极大理想，因为4不是素数，商环ℤ[x]/(4,x) ≅ ℤ/4ℤ不是域。

内容的提问来源于stack exchange，提问作者user5826