...
There is a theorem in field theory that the smallest degree if and only if irreducible. Thus, what you are really trying to find is,Originally Posted by harold
You procedded correctly,
You have shown that there exists a polynomial,
which has,
as a zero. Now you need to show that this polynomial is irreducible over .
To show that,
is irreducible is going to be ugly. Firstly, just because it has no rational roots does not mean it is irreducible (you can only use that fact for 2nd and 3rd degree). But what you do know is that it has no linear factors. Thus, if it is reducible it must be,
Open right hand,
Now,
Finally conclude by definition of polynomial equality,
Since,
Substitute that,
Since, one of them is zero (property of integral domain) thus assume
Then we have,
Which is impossible in integers.
And if I assume that, in I have that in last equation. Which would mean in the first equation that,
thus, has no solution in integers.
Thus, what I have shown is that,
is irreducible over . But what about ? No problem. There is a theorem that says a polynomial reducible in if and only if
And we have finally shown that this polynomial is irreducible, answering your question.
It might. Does it represent a simple extension?Originally Posted by harold
See the definition that I posted is the proper way. The one you wrote looked unusual to me. I believe that though look different represent the same field. (I did not write out the formal prove but I can see it involving the basis as a vector space for over )
You got it. Cuz, how do you know that the polynomial you have it indeed irreducible? In this case it is easier. If you can find a linear polynomial in which would have as a root would imply that , but that is not true.Originally Posted by harold
Thus, since you have a 2nd degree polynomial it is the minimal degree. And remember as I said before minimial and irreducible mean the same thing. Thus, the polynomial is irreducible.
-----
I realized my solutions are out of order, try to manage anyways.
just one quick note, about the definition of Q(sqrt(5)), you are both right... it is equal to all rational polynomials evaluated at sqrt(5), and {a+b*sqrt(5):a,b in Q}. Since sqrt(5) is of degree two, Q(sqrt(5)) is a two dimensional vector space over Q, and {1, sqrt(5)} is a fine basis for it.
It means that the coefficients are ELEMENTS of the field. In this case is the field. So yes, you finaly polynomial's coefficients are elements of this field. Any rational number is good because and so the answer seems okay to me.Originally Posted by harold
------------
It seems to me that you do not know what a field is, do you? How about simple extension?