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


仮定

  • \( R \) は環

定義

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