Irreducible polynomial in Q[x] but redicuble in Z[x]

  • Thread starter Thread starter k3k3
  • Start date Start date
  • Tags Tags
    Polynomial
Click For Summary

Homework Help Overview

The discussion revolves around the concept of polynomials that are irreducible in the field of rational numbers Q[x] but reducible in the ring of integers Z[x]. Participants are exploring the definitions and implications of irreducibility in different polynomial rings.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Some participants question the validity of the original problem, suggesting that if a polynomial is reducible in Z[x], it must also be reducible in Q[x]. Others attempt to clarify the definitions of irreducibility and explore the conditions under which a polynomial can be factored in these different contexts.

Discussion Status

The discussion is ongoing, with participants expressing confusion and seeking further clarification. Some have provided definitions and attempted to reframe the question, while others maintain that the question lacks coherence. There are indications of differing interpretations of the problem, and participants are actively engaging with each other's reasoning.

Contextual Notes

Participants are grappling with the implications of polynomial coefficients being integers versus rational numbers, and the assumptions underlying the definitions of irreducibility in both Z[x] and Q[x]. There is a noted emphasis on the logical structure of the problem rather than purely algebraic manipulation.

k3k3
Messages
76
Reaction score
0

Homework Statement


Give an example of a polynomial irreducible in Q[x], but reducible in Z[x]


Homework Equations





The Attempt at a Solution



I think there is no example of this. The coefficients of a reducible polynomial with integer coefficients will be rational, or am I mistaken?
 
Physics news on Phys.org
The question makes no sense. If a polynomial can be factored in Z[x], then it can be factored (with the same factors) in Q[x].

Also, I'm not sure what you mean by this question:
The coefficients of a reducible polynomial with integer coefficients will be rational, or am I mistaken?
Since integers are rational numbers, it's (trivially) true that integer coefficients are rational coefficients. But what does this buy you?
 
There is an example.

Recall the definition of irreducible:
A non-unit x is irreducible if and only if it cannot be written as yz where y and z are non-units​

Now, as is very often a useful, we simply translate the question according to the definition:

We seek polynomials f,g,h with integer coefficients such that:

  • f=gh, and none of f,g,h are units in Z[x]
  • There do not exist non-units u,v in Q[x] such that f=uv

A more symmetric phrasing might be useful, to spot what you're missing:

We seek a polynomial f with integer coefficients such that

  • There exist non-units u,v of Z[x] such that f=uv
  • There do not exist non-units u,v of Q[x] such that f=uv
 
The question is nonsense as written. If a polynomial f(x) in Q[x] is reducible (spelling!) in Z[x], then f(x) = g(x)h(x) were g(x) and h(x) are in Z[x]. We assume that the degrees of g(x) and h(x) are > 0. This means that g(x) and h(x) have integer coefficients. When multiplied, the product polynomial, f(x), must have integer coefficients in the first place.
g(x) and h(x) are also in Q[x], so f(x) IS reducible in Q[x].

The non-trivial result is that if a polynomial in Z[x] is irreducible, then it is also irreducible in Q[x]. This takes a bit of proof and is usually given in a first course in so-called abstract algebra.
 
zukerm said:
The question is nonsense as written.
Not only does the question make sense, the request can be satisfied.

We assume that the degrees of g(x) and h(x) are > 0. This means that g(x) and h(x) have integer coefficients. When multiplied, the product polynomial, f(x), must have integer coefficients in the first place.
g(x) and h(x) are also in Q[x], so f(x) IS reducible in Q[x].
And thus, we conclude that any example must violate the assumption...
 
I am still stumped. Do you have another hint to try and make me see what I am missing?
 
If a polynomial is reducible in the rational numbers, it can be written as a fraction (1 over the least common multiple of the denominators of the coefficients) times a polynomial that is reducible over the integers. That does NOT mean the original poynomial was reducible over the integers.
 
k3k3 said:
I am still stumped. Do you have another hint to try and make me see what I am missing?
Have you noticed that I've already said:
  • If f=uv is an example, then at least one of u and v are units of Q[x],
  • If f=uv is an example, then at least one of u and v have degree 0?
?

If not then be aware that your problem is not algebra, but logic and its application to problem solving.
 
Last edited:

Similar threads

  • · Replies 18 ·
Replies
18
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
48
Views
6K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
9
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 12 ·
Replies
12
Views
5K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K