Bezout環
概要
本記事ではBezout環（ベズー環）の定義を述べ、基本的な性質を紹介する。
$$\newcommand{cat}[0]{\mathcal{C}}
\newcommand{func}[3]{{#1}\colon{#2}\rightarrow{#3}}
\newcommand{morph}[3]{{#1}\colon{#2}\rightarrow{#3}}
\newcommand{sexseq}[3]{\zeroobj\rightarrow{#1}\rightarrow{#2}\rightarrow{#3}\rightarrow\zeroobj}
\newcommand{zeroobj}[0]{0}
$$
Bezout環（ベズー環）
環 $\ring$ がBezout環であるとは、$\ring$ の有限生成イデアルが単項生成であることをいう。
