Theorem

Kaplansky, Jaffard, Ohm theorem for constructing Bézout domains

If $G$ is a lattice-ordered Abelian group, there exists a integral domain with value group $G$, and furthermore that ring is a Bézout domain.

Reference(s)

  • W. Brandal. Constructing Bézout domains. (1976) @ Theorem 1.7, Proposition 1.8, and Theorem 1.9 pp 388-389