Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Very Short Abstract Algebra Question about Roots in Q[x]
Posted:
Aug 9, 2012 10:54 AM


Proposition: If a real number c is a root of an irreducible polynomial of degree strictly greater than 1 in Q[x], then c is irrational.
Proof [My Attempt]
We will prove by contradiction.
Let c be a real number that is a root of an irreducible polynomial of degree strictly greater than 1 in Q[x], call it p(x). And, to arrive a contradiction, suppose c is rational. But since c is a root of p(x) and c is rational, (xc) is a factor of p(x) which is impossible since by our hypothesis asserts p(x) is irreducible. Thus, c must be rational. QED
Look correct? Thanks!



