Definition 15.124.5. Let $R$ be a domain.

We say $R$ is a

*Bézout domain*if every finitely generated ideal of $R$ is principal.We say $R$ is an

*elementary divisor domain*if for all $n , m \geq 1$ and every $n \times m$ matrix $A$, there exist invertible matrices $U, V$ of size $n \times n, m \times m$ such that\[ U A V = \left( \begin{matrix} f_1 & 0 & 0 & \ldots \\ 0 & f_2 & 0 & \ldots \\ 0 & 0 & f_3 & \ldots \\ \ldots & \ldots & \ldots & \ldots \end{matrix} \right) \]with $f_1, \ldots , f_{\min (n, m)} \in R$ and $f_1 | f_2 | \ldots $.

## Comments (0)