素元は既約元 のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 素元は既約元 へ行く。
  • 1 (2019-01-27 (日) 10:50:18)

(定理) 素元ならば既約元

仮定

• \( R \) は環
• \( p ~(\in R) \) は素元

主張

\( p \) は既約元である。

証明

\( p = ab \) とする。 \( ab \in (p) \) であり、 \( (p) \) は素元の定義から素イデアルであるから、 \( a \in (p) \) または \( b \in (p) \) が成り立つ。
\( a \in (p) \) とすると、ある \( R \) の元 \( c \) によって \( a = cp \) と書けることになる。可換なので \( cp = pc \) 。すると \( p = ab = (pc)b \) となるから、 \( p = pcb \) の両辺を \( p \) で割って \( 1 = cb \) となる。したがって \( c \) は \( b \) の逆元なので、 \( b, c \) は単元である。特に、どのような積 \( ab \) についても \( b \) が単元になる。これは、 \( p = ab \) が既約元であることの定義である。
\( b \in (p) \) としても、同様に \( p \) が既約元であることが示せる。