Consider Q[sqrt(2)].

Does every element of Q[sqrt(2)] have a square root in Q[sqrt(2)] ?

Prove if true, and give a counterexample if false.

Printable View

- October 18th 2006, 11:08 AMbeta12Qudratic field
Consider Q[sqrt(2)].

Does every element of Q[sqrt(2)] have a square root in Q[sqrt(2)] ?

Prove if true, and give a counterexample if false. - October 18th 2006, 05:48 PMThePerfectHacker
It is false.

---

Here is a theorem from field theory.

Let E be an entension field of field F.

Let 'a' in E be algebraic over F.

Then consider the simple extension F(a) over F.

If 'b' is in F(a) then deg(b,F) divides deg(a,F).

You are working with simple extension field Q(sqrt(2)) over Q.

Trivially, sqrt(2) is in Q(sqrt(2))

We assume it square root is in Q(sqrt(2)).

That is, sqrt(sqrt(2))=4throot(2).

Now, irr(4throot(2),Q)=x^4-2 (use Eisenstein Criterion ).

Thus, deg(4throot(2),Q)=4

But, deg(sqrt(2),Q)=2

And 4 does not divide 2. :eek:

Thus, Q(sqrt(2)) cannot contain its square roots. - October 18th 2006, 06:58 PMbeta12
Hi perfecthacker,

Thank you very much!

=============================================

What about this question? How should I solve it?

Consider Q[-1]. Write an equation relating N(alpha) to l alpha l ( the natural absolute value defined for complex numbers). For which Q[sqrt(d)] is this formula correct?

================================================== ========

I am reading the topic from my book is " Quadratic fields" . I found that it is difficult to understand the content of Quadratic field from this book.

Do you know any good web site for " Quadratic fields" ? - October 19th 2006, 07:49 AMThePerfectHacker
I am not sure how the field is defined when d<0, but when d>0 there is no such field Q[sqrt(d)] that contains its square roots. Use the same argument I used before.

If d is a perfect square then Q[sqrt(d)]=Q.

Thus, 2 is in Q[sqrt(d)], yet sqrt(2) is not (irrational).

If d is not a perfect square then Q[sqrt(d)] not = Q.

Also, deg(d,Q)=2 because

f(x) = x^2-d

is the irreducible polynomial over Q.

(You cannot use Eisenstein Criterion here but it happens to be true).

Trivially sqrt(d) is in Q(sqrt(d)).

Its square root is sqrt(sqrt(d))=4throot(d)

And, deg(4throot(d),Q)=Q because

f(x) = x^4-d

is the irreducible polynomial over Q.

(You cannot use Eisenstein Criteroin here either, again it is true.)

But then 4 divides 2 (like in other post) which is impossible. - October 19th 2006, 08:04 AMbeta12
Hi perfecthacker,

Thank you very much.

=================================

Referring to my previous post:

Consider Q[sqrt(2)].

Does every element of Q[sqrt(2)] have a square root in Q[sqrt(2)] ?

Prove if true, and give a counterexample if false.

Can you figure out a counterexample for this question? - October 19th 2006, 08:39 AMThePerfectHacker
- October 19th 2006, 09:06 AMtopsquark
- October 19th 2006, 08:01 PMThePerfectHacker
There is another way to demonstrate that,

Note that simple extensions can be viewed as finite dimensional vector spaces over there subfields. The basis for is,

That means, any and all linear combinations,

is this field.

Assume that we can express as this linear combination that is,

Then squaring both sides,

Thus,

Thus,

Showing that is trivial thus,

But that is not possible because the number on the right is rational and the one of the left is irrational, contradiction. - October 20th 2006, 12:56 AMbeta12

Hi Perfecthacker,

You are the best! This approach is very easy to understand. I got this question fully. Thank you very much.

================

For the below question, can you use a simplier approach to do it? I don't fully understand your answer posted before. I am new to quadratic field . So far the topics which I covered are simple quadratic field knwoledge.

What about this question? How should I solve it?

Consider Q[-1]. Write an equation relating N(alpha) to l alpha l ( the natural absolute value defined for complex numbers). For which Q[sqrt(d)] is this formula correct?