Theorem detail

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

Statement: 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.