質數分解域(Unique factorization domain)係一種代數結構,屬環論之下。
質數分解域只係將質數分解入面可以將數字分解做質數同質數表示嘅獨有性應用喺代數入面。佢可以引伸出一條好重要嘅定理,就係質數分解域定理:「所有嘅單點環倍數域都係一個質數分解域。」
「可唔可以喺一個域入面做因式分解?」呢個問題係由數學家拿米(Gabriel Lamé)證明緊費馬最後定理(Fermat Last Theorem)中途而提問。費馬最後定理講嘅係當
,
係無整數嘅解。呢條定理係好難證明,就算將
,
係單數或質數都係好難證明。
喺1847年3月1號嘅巴黎學術會議,拿米話自己成功證明到費馬最後定理,重將自己嘅證明步驟演譯一次。拿米嘅諗法係將
分解成虛數多項式,即係
,
係第
個始根。之後,佢覺得所有因數都係相對質數同時,如果
,每一個
因數都一定係有
咁多次方。如果
都係細過原來嘅三個數嘅組合,因為呢個假設會推論出有一條無限長嘅遞減正整數數列,咁佢就可以證明出呢條定理。
但係另一個數學家Joseph Liouville質疑佢嘅諗法。每一個相對質數嘅因數係
次方,因為每一個佢哮嘅積係根據「所有整數都可以分解成質數,而呢個質數分解係獨有嘅」。Liouville提出點解佢可以做質數分解。雖然拿米好想解決佢呢個問題,但係喺5月24號,Liouville發現Ernst Kummer喺1844年已經證明咗「
係唔可以做質數分解」,呢個
係拿米提議嘅第
個根。
直到1994年,數學家Andrew Wiles利用代數幾何嘅技巧證明出費馬最後定理。
設
。
如果有一點
符合,
,咁一般會叫
被
除,或者叫
除
,
。
同埋,一般會叫
做
嘅因數(Factor/divisor),
係
嘅倍數(Multiple)。
如果
唔可以被
整除,咁會用
嚟表示。
如果
同埋
或者
係
嘅可逆元素(Unit),咁會叫
做
嘅正因數(proper factor)。
如果
,
同埋
成立。一般會話
係相等。
同時,
係等價關係;
- 如果
係一個域,咁
,對應有一啲
。
證明:
所以
。
討論質數分解域會利用
嚟代表非零非單位(non-zero non-unit)呢樣嘢。
如果
:
係不可分解數(Irreducible)如果佢無任何因數。
係質數(Prime)如果對應任何係
入面嘅嘢,
,同時
,咁
或者
。
- 喺
(或者
)入面,質數
不可分解數。
- 喺
,
係一個質數,但係唔係不可分解數,因為
。(基本上,質數未必係不可分解數。)
如果用環倍數(Principal Ideal)解釋以上呢幾件事,可以得出以下五個性質:



係質數
係質數。
- 任何一個域(Integral Domain),
係不可分解數(Irreducibe)
係最大嘅環倍數。
證明:
證明(1)
證明(2)
假設
係一個域(Integral Domain),咁質數
不可分解數。
如果
係單點質數域(PID),咁質數
不可分解數。
證明:
(2)
假設
係不可以分解數。
因為
係PID,利用環倍數性質(5),
喺
入面係最大
係質數
係質數
係一個域,因為佢係
入面嘅一個子環。係
入面,
係不可分解數。
,但係
,所以
唔係質數。
一個域(Integral Domain)
係一個質數分解域(Unique Factorization Domain,UFD),如果佢符合以下兩個性質:
- 存在質數分解(Existence):每一粒
都係有限咁多粒不可分解數嘅積。
- 分解獨有性(Uniqueness):如果
都係
嘅質數分解,咁
,加埋排返好序對應所有
,
。
注意:喺UFD入面,質數
不可分解數。
係UFD。
唔係UFD。