Two polynomials over a field are coprime if their only common factors are nonzero constants. Equivalently, their greatest common divisor is a unit in the polynomial ring. In one variable this is equivalent to a Bezout identity with polynomial coefficients. Independent members of a pencil spanned by coprime polynomials are themselves coprime.
New to topics? Read the docs here!