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!