This maybe trivial but I don't know how to conclude the proof. Consider the ring of multivariate polynomials with field coefficients $K[X_1,\dots,X_n]$. Take two nonzero polynomials $F$ and $G$ and prove:


Since such ring is not Bezout I don't know how to prove this. I managed to prove that their gcd and their lcm both divide their product but I don't know how to do the converse relation.

up vote 1 down vote accepted

The ring is a UFD so a GCD domain. As proved here the identity holds true in any GCD domain.

It can also be proved via prime factorizations, but that is less general than said proof using gcd laws.

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.