概念
定義
一個整環 I叫做一個主理想環，假如 I的每一個理想都是一個主理想．則稱一個主理想環一定是一個唯一分解環．
等價定義
設A為整環，那么下面的條件等價：
1. A是主理想環
2. A的每個素理想都是主理想
4. A的任意理想都是主理想
5. A存在Dedekind–Hasse範數
相關性質定理
定理一 主理想環D上的真因子序列
主理想環
主理想環
主理想環 主理想環
主理想環， ，…， ，......(其中 是 的真因子)
是一個有限序列。
定理二 主理想環中不可約元生成的理想是極大理想。
定理三 主理想環是唯一分解整環。
定理四 在主理想環D中，設d是a，b的最大公因子，則<a,b>=<d>。
推論1 在主理想環D中，設d是a，b的最大公因子，則∃u,v∈D使得：au+bv=d。
主理想環
主理想環
主理想環定理五 （唯一分解性）設R為一主理想環，那么對任意非零元a∈R能夠被惟一的分解為 ，這裡u 為可逆元， 為所選的素元，並且 。在不考慮置換的條件下，這個分解是唯一的。
主理想環
主理想環
主理想環
主理想環 主理想環 主理想環
主理想環
主理想環
主理想環證明：首先，我們證明分解的存在性。如果a是可逆的，定理平凡成立。否則，令P是包含 的極大理想， 那么有 ，其中 為素元並且 。如果 不可逆，則用 替換a可得 ，其中 為 素元。重複上面的過程直到 可逆為止。如果上面的過程是有限的，那么我們有
主理想環，（其中u可逆）。
主理想環
主理想環
主理想環
主理想環
主理想環
主理想環
主理想環
主理想環 主理想環
主理想環
主理想環否則必存在理想無窮上升鏈 ⊂ ⊂ ⊂ ⊂ . . . 。令 ，則易知 也為理 想，由R為主理想環知 且b屬於某個 ，但這將有 ⊇ 所以 ，此為矛盾！ 所以分解一定是有限的。
唯一性用類似整數分解唯一性的證明方法可得。
舉例分析
整數環是主理想環，更一般地說，歐幾里德環恆為主理想環。
域上的多項式環是主理想環。
高斯整數環是主理想環。
艾森斯坦整數環是主理想環，其中 ω 為任一非 1 的三次單位根。
環 非主理想環：可以證明理想無法由單個元素生成。
例 域F上的一元多項式環F[x]是主理想環。
證明： 設I是F[x]的任一理想，若I是零理想，則I=<0>。若I不是零理想，則在F[x]中存在次數最低的多項式p(x)，使得<p(x)>⊆I。
對於∀ f(x)∈I，由帶餘除法知
主理想環 主理想環f(x)=p(x)q(x)+r(x)其中r(x)=0或 (r(x))< (p(x))。
因為f(x)∈I，p(x)∈<p(x)>⊆I，所以r(x)∈I。由假設p(x)是I中次數最低者，有r(x)=0.從而f(x)=p(x)q(x)∈<p(x)>。所以I⊆<p(x)>，又<p(x)>⊆I，則得I=<p(x)>。即F[x]的每個理想都是主理想，所以F[x]是主理想環。證畢。
