**質數分解域**（Unique factorization domain）係一種代數結構，屬環論之下。

質數分解域只係將質數分解入面可以將數字分解做質數同質數表示嘅獨有性應用喺代數入面。佢可以引伸出一條好重要嘅定理，就係質數分解域定理：「所有嘅單點環倍數域都係一個質數分解域。」

歷史
--

「可唔可以喺一個域入面做因式分解？」呢個問題係由數學家拿米（Gabriel Lamé）證明緊費馬最後定理（Fermat Last Theorem）中途而提問。費馬最後定理講嘅係當{\displaystyle n\geq 2}，{\displaystyle x^{n}+y^{n}=z^{n}}係無整數嘅解。呢條定理係好難證明，就算將{\displaystyle n=p}，{\displaystyle p}係單數或質數都係好難證明。

喺1847年3月1號嘅巴黎學術會議，拿米話自己成功證明到費馬最後定理，重將自己嘅證明步驟演譯一次。拿米嘅諗法係將{\displaystyle x^{p}+y^{p}}分解成虛數多項式，即係



x

p

+

y

p

=
(
x
+
y
)
(
x
+
α
y
)
(
x
+

α

2

y
)
⋯
(
x
+

α

p
−
1

y
)

{\displaystyle x^{p}+y^{p}=(x+y)(x+\alpha y)(x+\alpha ^{2}y)\cdots (x+\alpha ^{p-1}y)}

{\displaystyle x^{p}+y^{p}=(x+y)(x+\alpha y)(x+\alpha ^{2}y)\cdots (x+\alpha ^{p-1}y)}，{\displaystyle \alpha }係第{\displaystyle p}個始根。之後，佢覺得所有因數都係相對質數同時，如果{\displaystyle x^{n}+y^{n}=z^{n}}，每一個{\displaystyle p}因數都一定係有{\displaystyle p}咁多次方。如果{\displaystyle x',y',z'}都係細過原來嘅三個數嘅組合，因為呢個假設會推論出有一條無限長嘅遞減正整數數列，咁佢就可以證明出呢條定理。

但係另一個數學家Joseph Liouville質疑佢嘅諗法。每一個相對質數嘅因數係{\displaystyle p}次方，因為每一個佢哮嘅積係根據「所有整數都可以分解成質數，而呢個質數分解係獨有嘅」。Liouville提出點解佢可以做質數分解。雖然拿米好想解決佢呢個問題，但係喺5月24號，Liouville發現Ernst Kummer喺1844年已經證明咗「{\displaystyle \mathbb {Z} [\alpha ]}係唔可以做質數分解」，呢個{\displaystyle \alpha }係拿米提議嘅第{\displaystyle 23}個根。

直到1994年，數學家Andrew Wiles利用代數幾何嘅技巧證明出費馬最後定理。

可除性
---

內文：可除性
### 定義

設{\displaystyle a,b\in {\textbf {R}}}。

如果有一點{\displaystyle c\in {\textbf {R}}}符合，{\displaystyle ac=b}，咁一般會叫{\displaystyle b}被{\displaystyle a}除，或者叫{\displaystyle a}除{\displaystyle b}，{\displaystyle a|b}。

同埋，一般會叫{\displaystyle a}做{\displaystyle b}嘅**因數**（Factor/divisor），{\displaystyle b}係{\displaystyle a}嘅**倍數**（Multiple）。

### 相關定義

如果{\displaystyle b}唔可以被{\displaystyle a}整除，咁會用{\displaystyle a\not |b}嚟表示。

如果{\displaystyle b=ac}同埋{\displaystyle b}或者{\displaystyle c}係{\displaystyle {\textbf {R}}}嘅可逆元素（Unit），咁會叫{\displaystyle b}做{\displaystyle a}嘅**正因數**（proper factor）。

### 相等定義

如果{\displaystyle a,b\in {\textbf {R}}}，{\displaystyle a|b}同埋{\displaystyle b|a}成立。一般會話{\displaystyle a\sim b}係相等。

同時，

* {\displaystyle a\sim b}係等價關係；
* 如果{\displaystyle {\textbf {R}}}係一個域，咁{\displaystyle a\sim b\iff a=bu}，對應有一啲{\displaystyle u\in {\textbf {R}}^{\times }}。

證明：

{\displaystyle {\begin{cases}a|b\implies ac\_{1}=b\\b|a\implies a=bc\_{2}\end{cases}}}

{\displaystyle \implies {\begin{aligned}a&=bc\_{2}\\ac\_{1}&=bc\_{2}c\_{1}\\b&=bc\_{2}c\_{1}\\b^{-1}b&=b^{-1}c\_{2}c\_{1}\\1&=c\_{2}c\_{1}\end{aligned}}}

所以{\displaystyle c\_{1},c\_{2}\in {\textbf {R}}^{\times }}。

質數同不可分解數
--------

討論質數分解域會利用{\displaystyle {\textbf {R}}\backslash ({\textbf {R}}^{\times }\cup \{0\})}嚟代表**非零非單位**（non-zero non-unit）呢樣嘢。

如果{\displaystyle a\in {\textbf {R}}\backslash ({\textbf {R}}^{\times }\cup \{0\})}：

* {\displaystyle a}係**不可分解數（Irreducible）**如果佢無任何因數。
* {\displaystyle a}係**質數（Prime）**如果對應任何係{\displaystyle {\textbf {R}}}入面嘅嘢，{\displaystyle \forall {\text{ }}b,c\in {\textbf {R}}}，同時{\displaystyle a|bc}，咁{\displaystyle a|b}或者{\displaystyle a|c}。

### 例子

* 喺{\displaystyle \mathbb {Z} }（或者{\displaystyle {\textbf {F}}[x]}）入面，質數{\displaystyle =}不可分解數。
* 喺{\displaystyle \mathbb {Z} \_{6}}，{\displaystyle 2}係一個質數，但係唔係不可分解數，因為{\displaystyle 2=2\times 4}。（基本上，質數未必係不可分解數。）

環倍數性質
-----

如果用**環倍數**（Principal Ideal）解釋以上呢幾件事，可以得出以下五個性質：

1. {\displaystyle a|b\iff \langle b\rangle \subseteq \langle a\rangle }
2. {\displaystyle a\sim b\iff \langle a\rangle =\langle b\rangle }
3. {\displaystyle u\in {\textbf {R}}^{\times }\iff \langle u\rangle ={\textbf {R}}}
4. {\displaystyle a\in {\textbf {R}}\backslash ({\textbf {R}}^{\times }\cup \{0\})}係質數{\displaystyle \iff \langle a\rangle }係質數。
5. 任何一個**域（Integral Domain），**{\displaystyle a\in {\textbf {D}}\backslash ({\textbf {D}}^{\times }\cup \{0\})}係**不可分解數（Irreducibe）**{\displaystyle \iff \langle a\rangle }係最大嘅環倍數。

證明：


證明(1)

{\displaystyle a|b\iff b\in \langle b\rangle \iff \langle b\rangle \subseteq \langle a\rangle }



證明(2)

{\displaystyle (1)\implies (2)}



證明(3)

睇最大環倍數



證明(4)

{\displaystyle (\Rightarrow )}如果{\displaystyle a}係質數，設{\displaystyle bc\in \langle a\rangle }。

{\displaystyle bc\in \langle a\rangle \iff a|bc\implies a|b\quad (\iff b\in \langle a\rangle ){\text{ or }}a|c\quad (\iff c\in \langle a\rangle )}

{\displaystyle (\Leftarrow )}如果{\displaystyle \langle a\rangle }係質數。

{\displaystyle a|bc\iff bc\in \langle a\rangle \implies b\in \langle a\rangle {\text{ or }}c\in \langle a\rangle }



證明(5)

{\displaystyle (\Rightarrow )} 假設{\displaystyle a}係不可分解數。

{\displaystyle {\begin{aligned}\langle a\rangle \subsetneqq \langle b\rangle \subset {\textbf {D}}&\implies b|a{\text{ and }}b\nmid a\\&\implies a=bc\\&\implies b\in {\textbf {D}}^{\times }\\&\implies \langle b\rangle ={\textbf {D}}\end{aligned}}}

第二步，對應一啲{\displaystyle c\in {\textbf {D}}\backslash {\textbf {D}}^{\times }}。 

{\displaystyle (\Leftarrow )}假設{\displaystyle \langle a\rangle }係最大環倍數，設{\displaystyle a=bc}。

得出{\displaystyle \langle a\rangle \subset \langle b\rangle \subset {\textbf {D}}}同埋{\displaystyle \langle a\rangle \subset \langle c\rangle \subset {\textbf {D}}}；

因為{\displaystyle \langle a\rangle }係最大，所以一係{\displaystyle \langle a\rangle =\langle b\rangle }或者{\displaystyle \langle a\rangle =\langle c\rangle }。

{\displaystyle \langle a\rangle =\langle b\rangle }：{\displaystyle \implies a\sim b\implies c\in {\textbf {D}}^{\times }}

{\displaystyle \langle a\rangle =\langle c\rangle }：{\displaystyle \implies a\sim c\implies b\in {\textbf {D}}^{\times }}

所以{\displaystyle {\textbf {D}}}係一個**域（Integral Domain）**。

域性質
---

假設{\displaystyle {\textbf {D}}}係一個**域（Integral Domain）**，咁質數{\displaystyle \implies }不可分解數。

如果{\displaystyle {\textbf {D}}}係**單點質數域（PID）**，咁質數{\displaystyle =}不可分解數。

證明：


(1)

設{\displaystyle a\in {\textbf {R}}\backslash ({\textbf {R}}^{\times }\cup \{0\})}係質數。假設{\displaystyle a=bc}。

咁{\displaystyle a|bc\implies a|b{\text{ or }}a|c}。

所有嘢都約到最簡，如果{\displaystyle a|b}，咁{\displaystyle b=ar}，對應一啲{\displaystyle r\in {\textbf {D}}}。

咁{\displaystyle a=arc\implies rc=1\implies c\in {\textbf {D}}}



(2)

假設{\displaystyle a}係不可以分解數。

因為{\displaystyle {\textbf {D}}}係PID，利用環倍數性質(5)，

{\displaystyle \implies \langle a\rangle }喺{\displaystyle {\textbf {D}}}入面係最大

{\displaystyle \implies \langle a\rangle }係質數

{\displaystyle \implies a}係質數

### 例子

* {\displaystyle \mathbb {Z} [{\sqrt {-5}}]=\{a+b{\sqrt {-5}}|a,b\in \mathbb {Z} \}}係一個域，因為佢係{\displaystyle \mathbb {C} }入面嘅一個子環。係{\displaystyle \mathbb {Z} [{\sqrt {-5}}]}入面，{\displaystyle 3}係不可分解數。{\displaystyle 3|3^{2}=9=(2+{\sqrt {-5}})(2-{\sqrt {5}})}，但係{\displaystyle 3\not |(2\pm {\sqrt {-5}})}，所以{\displaystyle 3}唔係質數。

質數分解域定義
-------

一個**域**（Integral Domain） {\displaystyle {\textbf {D}}}係一個**質數分解域**（Unique Factorization Domain，UFD），如果佢符合以下兩個性質：

* **存在質數分解**（Existence）：每一粒{\displaystyle a\in {\textbf {D}}\backslash ({\textbf {D}}^{\times }\cup \{0\})}都係有限咁多粒不可分解數嘅積。
* **分解獨有性**（Uniqueness）：如果{\displaystyle c\_{1}c\_{2}\cdots c\_{n}=d\_{1}d\_{2}\cdots d\_{m}}都係{\displaystyle a\in {\textbf {D}}\backslash ({\textbf {D}}^{\times }\cup \{0\})}嘅質數分解，咁{\displaystyle m=n}，加埋排返好序對應所有{\displaystyle i=1,2,\cdots ,n} ，{\displaystyle c\_{i}\sim d\_{i}}。

注意：喺UFD入面，質數{\displaystyle =}不可分解數。

### 例子

* {\displaystyle \mathbb {Z} }係UFD。
* {\displaystyle \mathbb {Z} [{\sqrt {-5}}]}唔係UFD。

睇埋
--

* 環倍數
* 最大環倍數
* 單點環倍數
* 單點環倍數域
* 質數分解域定理
* 歐幾理得域

| * 睇
* 傾
* 改
場論同伽華理論 |
| --- |
| 目的 | 
* 二次多項式嘅根
	+ 二次方程
* 三次多項式嘅根
	+ 卡登公式
* 四次多項式嘅根

 |
| 基本代數概念 | 

|  |  |
| --- | --- |
| 羣論 | 
* 群
* 子群
* 阿標群
* 循環群
* Largrange定理
* 正子群

 |
| 環論 | 
* 子環
* 環倍數
* 環同位轉換
* 兩者相等第一定理
* 歐幾理德域
* 質數分解域
* 質數分解域定理

 |
| 基本多項式 | 
* 場上多項式
* 多項式除法
* 不可分解多項式

 |

 |
| 域論同擴展場 | 
* 域中分數場
* 場特性
* 擴展場

 |