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.

Link: None

Reference(s)

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