In algebra, the content of a nonzero polynomial with integer coefficients (or, more generally, with coefficients in a unique factorization domain) is the greatest common divisor of its coefficients. The primitive part of such a polynomial is the quotient of the polynomial by its content. Thus a polynomial is the product of its primitive part and its content, and this factorization is unique up to the multiplication of the content by a unit of the ring of the coefficients (and the multiplication of the primitive part by the inverse of the unit). A polynomial is primitive if its content equals 1. Thus the primitive part of a polynomial is a primitive polynomial. Gauss's lemma for polynomials states that the product of primitive polynomials (with coefficients in the same unique factorization domain) also is primitive. This implies that the content and the primitive part of the product of two polynomials are, respectively, the product of the contents and the product of the primitive parts. As the computation of greatest common divisors is generally much easier than polynomial factorization, the first step of a polynomial factorization algorithm is generally the computation of its primitive part–content factorization (see Factorization of polynomials § Primitive part–content factorization). Then the factorization problem is reduced to factorizing separately the content and the primitive part. Content and primitive part may be generalized to polynomials over the rational numbers, and, more generally, to polynomials over the field of fractions of a unique factorization domain. This makes essentially equivalent the problems of computing greatest common divisors and factorization of polynomials over the integers and of polynomials over the rational numbers.
Over the integers For a polynomial with integer coefficients, the content may be either the greatest common divisor of the coefficients or its additive inverse. The choice is arbitrary, and may depend on a further convention, which is commonly that the leading coefficient of the primitive part be positive. For example, the content of − 12 x 3 + 30 x − 20 {\displaystyle -12x^{3}+30x-20} may be either 2 or −2, since 2 is the greatest common divisor of −12, 30, and −20. If one chooses 2 as the content, the primitive part of this polynomial is
− 6 x 3 + 15 x − 10 = − 12 x 3 + 30 x − 20 2 , {\displaystyle -6x^{3}+15x-10={\frac {-12x^{3}+30x-20}{2}},}
and thus the primitive-part-content factorization is
− 12 x 3 + 30 x − 20 = 2 ( − 6 x 3 + 15 x − 10 ) . {\displaystyle -12x^{3}+30x-20=2(-6x^{3}+15x-10).}
For aesthetic reasons, one often prefers choosing a negative content, here −2, giving the primitive-part-content factorization
− 12 x 3 + 30 x − 20 = − 2 ( 6 x 3 − 15 x + 10 ) . {\displaystyle -12x^{3}+30x-20=-2(6x^{3}-15x+10).}
Properties In the remainder of this article, we consider polynomials over a unique factorization domain R, which can typically be the ring of integers, or a polynomial ring over a field. In R, greatest common divisors are well defined, and are unique up to multiplication by a unit of R. The content c(P) of a polynomial P with coefficients in R is the greatest common divisor of its coefficients, and, as such, is defined up to multiplication by a unit. The primitive part pp(P) of P is the quotient P/c(P) of P by its content; it is a polynomial with coefficients in R, which is unique up to multiplication by a unit. If the content is changed by multiplication by a unit u, then the primitive part must be changed by dividing it by the same unit, in order to keep the equality
P = c ( P ) pp ( P ) , {\displaystyle P=c(P)\operatorname {pp} (P),}
which is called the primitive-part-content factorization of P. The main properties of the content and the primitive part are results of Gauss's lemma, which asserts that the product of two primitive polynomials is primitive, where a polynomial is primitive if 1 is the greatest common divisor of its coefficients. This implies:
The content of a product of polynomials is the product of their contents: c ( P 1 P 2 ) = c ( P 1 ) c ( P 2 ) . {\displaystyle c(P_{1}P_{2})=c(P_{1})c(P_{2}).}
The primitive part of a product of polynomials is the product of their primitive parts: pp ( P 1 P 2 ) = pp ( P 1 ) pp ( P 2 ) . {\displaystyle \operatorname {pp} (P_{1}P_{2})=\operatorname {pp} (P_{1})\operatorname {pp} (P_{2}).}
… excerpt ends here. Continue reading the full article.
