Let P 1 , … , P n ∈ K [ X ] {\displaystyle {}P_{1},\ldots ,P_{n}\in K[X]} denote polynomials over a field K {\displaystyle {}K} . We say that a polynomial T ∈ K [ X ] {\displaystyle {}T\in K[X]} is a common divisor of the given polynomials if T {\displaystyle {}T} [[MDLD/divide (polynomial ring 1)|divides]] every P i {\displaystyle {}P_{i}} .
![{\displaystyle {}P_{1},\ldots ,P_{n}\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98e8674da56efd0ecc032b0bb15b57a84730bd32)
![{\displaystyle {}T\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d4849e575dad5bbdf92559d0de92981d221c74c)
