quality:corruption
Definition

A multiplicative identity is not required for the role of the integral domain; this construction can be applied to any nonzero commutative rng R {\displaystyle R} with no nonzero zero divisors. The embedding is given by r ↦ r s s {\displaystyle r\mapsto {\frac {rs}{s}}} for any nonzero s ∈ R {\displaystyle s\in R}.