一意分解整域 のバックアップ(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 一意分解整域 へ行く。
  • 1 (2019-01-26 (土) 13:07:15)
  • 2 (2019-01-26 (土) 18:13:44)
  • 3 (2019-01-26 (土) 20:25:27)
  • 4 (2019-01-27 (日) 10:53:44)
  • 5 (2019-04-18 (木) 13:21:06)
  • 6 (2019-04-18 (木) 18:06:35)

仮定

• \( R \) は環

定義

\( R \) が一意分解整域 (UFD) であるとは、零元でも単元でもない \( R \) の元 \( a \) が有限個の素元の積に分解できることをいう。

例

• \( \mathbb{Z} \) は UFD の例である。 \( 0, \pm 1 \) を除く元が全て素因数分解によって素元の積に分解できるためである。負数に関しては適当な項を \( -1 \) 倍してやればよい。
• すぐ述べる通り、このとき「有限個の素元の積」への分解は、積の順序と単元倍を除いて一意である。

その他

• UFD の素元と既約元は一致する。