- #1

- 330

- 13

I'll start with the form that I understand:

Considering a pair of primitive polynomials A( x ), B( x ), such that C( x ) = A( x ) B( x ), and presume that C( x ) is imprimitive, which means that there must be some prime number that divides all the coefficients. With respect to this unknown prime number, there must be a coefficient in both A( x ) & B( x ) which is the first as per the index to not be divisible by this prime number - since if there is no such first index, all the coefficients would be divisible by this number (call it j & k), and thus the polynomial would not be primitive. So with the first-non-prime-divisible indices, looking at the coefficient of C( x ) whose index is the sum of those first-not-divisible indices, there are 3 sets of terms that sum up to it.

Any coefficient of C( x ) is going to be the sum of 3 sets of terms which are products of coefficients of A( x ) & B( x ): the first set of terms is a single term which is the product of the j-th & k-th terms of A( x ) & B( x ), respectively, and since both of these terms are the first non-prime-divisible coefficients, this term is not divisible by the prime. The only sets of terms are terms which have the indices for one of the polynomials going up and the other going down from this first non-prime-divisible coefficient, but since all of those terms contain a coefficient that is divisible by the prime (i.e., because of the definition), the products are divisible, and thus the fact that there is only term that is non-divisible while all the others are divisible results in the whole sum being non-divisible, thus there exists a coefficient of C( x ) that is not divisible by the prime that it was supposed to have been divisible by, as a consequence of being imprimitive, therefore C( x ) must be imprimitive. Whew!

So moving on, in the Stewart book "Galois Theory", p. 39, there is a LEMMA 3.17

"Let f be a polynomial over Z that is irreducible over Z. Then f, considered as a polynomial over Q, is also irreducible over Q."

The book goes on, and seems to do just about the same busywork as what I have presented here, so it seems as though I should be able to set up a simply corollary based on my work here that concludes with this lemma, but I don't see it.