Coprime elements of a unique factorization domain
ID: coprime-elements-of-a-unique-factorization-domain
Two nonzero elements with no common nonunit irreducible factor. In a unique factorization domain this is equivalent to their greatest common divisor being a unit. Coprimality of numerator and denominator makes a fraction reduced, so simultaneous restrictions on its denominator can force it to be a regular function.
New to topics? Read the docs here!