# Please check my (dodgy) proof! (Field theory)

Watch
Announcements

Page 1 of 1

Go to first unread

Skip to page:

Where is a number field, show for some , squarefree.

EDIT: I forgot to mention that theta exists by the simple extension theorem

I begin by proving:

Then I say that because of the above properties and the fact that

we can assume to be not in and:

and

So then since the degree of the field extension is 2, there's a minimal polynomial for theta over Q:

clearly beta isn't 0 (as it contradicts irreducibility over Q) and by my assumption for theta we find alpha must be 0 (by checking the roots of the polynomial.

So,

is irreducible over Q iff there are no rational roots implying the square root of beta to be irrational.

So: and by using again the assumption I imposed for theta it's simple to show that beta will have to be square free, and we can get an integer by just rationalising the denominator and ignoring the rational coefficient.

I feel like this is pretty dodgy but I'm not sure, any advice?

Last edited by Ryanzmw; 2 years ago

0

reply

Report

#2

(Original post by

Where is a number field, show for some , squarefree.

EDIT: I forgot to mention that theta exists by the simple extension theorem

I begin by proving:

Then I say that because of the above properties and the fact that

we can assume to be not in and:

and

So then since the degree of the field extension is 2, there's a minimal polynomial for theta over Q:

clearly beta isn't 0 (as it contradicts irreducibility over Q) and by my assumption for theta we find alpha must be 0 (by checking the roots of the polynomial.

So,

is irreducible over Q iff there are no rational roots implying the square root of beta to be irrational.

So: and by using again the assumption I imposed for theta it's simple to show that beta will have to be square free, and we can get an integer by just rationalising the denominator and ignoring the rational coefficient.

I feel like this is pretty dodgy but I'm not sure, any advice?

**Ryanzmw**)Where is a number field, show for some , squarefree.

EDIT: I forgot to mention that theta exists by the simple extension theorem

I begin by proving:

Then I say that because of the above properties and the fact that

we can assume to be not in and:

and

So then since the degree of the field extension is 2, there's a minimal polynomial for theta over Q:

clearly beta isn't 0 (as it contradicts irreducibility over Q) and by my assumption for theta we find alpha must be 0 (by checking the roots of the polynomial.

So,

is irreducible over Q iff there are no rational roots implying the square root of beta to be irrational.

So: and by using again the assumption I imposed for theta it's simple to show that beta will have to be square free, and we can get an integer by just rationalising the denominator and ignoring the rational coefficient.

I feel like this is pretty dodgy but I'm not sure, any advice?

The example I'm thinking of is adjoining a cube root of unity w (which is also a valid primitive element). We have w^2+w+1 = 0 and so w^2 certainly isn't in Q, so you can't use w directly to get the quadratic extension in the way you want.

The way I'd proceed is note that using the quadratic formula on the minimum polynomial gives you an explicit value you need to be able to take the square root of to solve the quadratic.

0

reply

(Original post by

I'm not seeing how alpha=0. Note that if you have a primitive element theta, then theta + q is also primitive for any choice of q. So theta isn't as "fixed" as you might think.

The example I'm thinking of is adjoining a cube root of unity w (which is also a valid primitive element). We have w^2+w+1 = 0 and so w^2 certainly isn't in Q, so you can't use w directly to get the quadratic extension in the way you want.

The way I'd proceed is note that using the quadratic formula on the minimum polynomial gives you an explicit value you need to be able to take the square root of to solve the quadratic.

**DFranklin**)I'm not seeing how alpha=0. Note that if you have a primitive element theta, then theta + q is also primitive for any choice of q. So theta isn't as "fixed" as you might think.

The example I'm thinking of is adjoining a cube root of unity w (which is also a valid primitive element). We have w^2+w+1 = 0 and so w^2 certainly isn't in Q, so you can't use w directly to get the quadratic extension in the way you want.

The way I'd proceed is note that using the quadratic formula on the minimum polynomial gives you an explicit value you need to be able to take the square root of to solve the quadratic.

I found alpha to be 0 since if you take my restrictions for theta and the fact that is the minimal polynomial for over :

but I assumed theta has no purely rational sum term so if is the minimal polynomial for the specific theta I'd like we require

so:

which is the minimal polynomial so we need sqrt(beta) to be irrational (since degree 2,3 polynomial is irreducible iff no rational roots)

(by assumption the only rational coefficient allowed is 1)

and if

so actually to impose the condition about theta having no non 1 rational coefficient:

,

so in accordance with my restriction for theta :

(which should be square free otherwise it'll have a rational coefficient again) and can't be reduced further

Last edited by Ryanzmw; 2 years ago

0

reply

Report

#4

(Original post by

Sorry, I mean to say that I impose the criteria that theta must have no purely ration sum term and no purely rational (non 1) coefficient just because I can express the same field extension in the same way and so I should be able to impose these restrictions of theta in the same way one can say if a is rational then a = p/q with gcd(p,q) = 1, with the gcd restriction being analogous to my restrictions. (so I guess I think I'm imposing my restrictions for theta without a loss of generality?)

**Ryanzmw**)Sorry, I mean to say that I impose the criteria that theta must have no purely ration sum term and no purely rational (non 1) coefficient just because I can express the same field extension in the same way and so I should be able to impose these restrictions of theta in the same way one can say if a is rational then a = p/q with gcd(p,q) = 1, with the gcd restriction being analogous to my restrictions. (so I guess I think I'm imposing my restrictions for theta without a loss of generality?)

You know you can solve for theta by solving a quadratic equation with rational coefficients. It follows that theta is in Q[sqrt(b^2-4ac)] which is what you need to show.

I found alpha to be 0 since if you take my restrictions for theta and the fact that is the minimal polynomial for over :

but I assumed theta has no purely rational sum term so if is the minimal polynomial for the specific theta I'd like we require

so:

which is the minimal polynomial so we need beta to be irrational (since degree 2,3 polynomial is irreducible iff no rational roots)

(by assumption the only rational coefficient allowed is 1)

and if

so actually to impose the condition about theta having no non 1 rational coefficient:

,

so in accordance with my restriction for theta :

(which should be square free otherwise it'll have a rational coefficient again) and can't be reduced further [/quote]

0

reply

(Original post by

You still haven't convinced me you can do this - to my mind assuming this is trivialising the question. Fundamentally, what do you *mean* by theta has "no rational part"? Because it seems to me you're essentially meaning "it's the square root of an element of Q", which is definitely begging the question.

You know you can solve for theta by solving a quadratic equation with rational coefficients. It follows that theta is in Q[sqrt(b^2-4ac)] which is what you need to show.

**DFranklin**)You still haven't convinced me you can do this - to my mind assuming this is trivialising the question. Fundamentally, what do you *mean* by theta has "no rational part"? Because it seems to me you're essentially meaning "it's the square root of an element of Q", which is definitely begging the question.

You know you can solve for theta by solving a quadratic equation with rational coefficients. It follows that theta is in Q[sqrt(b^2-4ac)] which is what you need to show.

I guess I mean that if you think of Q(theta) as a vector space over Q, the basis {1,theta} are sort of, orthogonal(?). In the sense that I want theta such that theta isn't phi *q + q' for phi in C/Q, q,q' in Q.

and in my mind my restriction of theta is basically the same as saying if I can find a basis element linearly independent from 1, I can impose that it be orthogonal (because the application of my claims is sort of like applying Gram-Schmidt and just removing the parts of theta that are in Q)

Last edited by Ryanzmw; 2 years ago

0

reply

Report

#6

I guess I mean that if you think of Q(theta) as a vector space over Q, the basis {1,theta} are sort of, orthogonal(?). In the sense that I want theta such that theta isn't phi *q + q' for phi in C/Q, q,q' in Q.

and in my mind my restriction of theta is basically the same as saying if I can find a basis element linearly independent from 1, I can impose that it be orthogonal (because the application of my claims is sort of like applying Gram-Schmidt and just removing the parts of theta that are in Q)

and in my mind my restriction of theta is basically the same as saying if I can find a basis element linearly independent from 1, I can impose that it be orthogonal (because the application of my claims is sort of like applying Gram-Schmidt and just removing the parts of theta that are in Q)

To be blunt: your approach is not the way to do this. Use the quadratic formula. It will be shorter than what you've done and actually rigourous.

0

reply

Report

#7

(Original post by

I'm still totally unconvinced - if you want to apply Gram-Schmidt, what's your inner product?

To be blunt: your approach is not the way to do this. Use the quadratic formula. It will be shorter than what you've done and actually rigourous.

**DFranklin**)I'm still totally unconvinced - if you want to apply Gram-Schmidt, what's your inner product?

To be blunt: your approach is not the way to do this. Use the quadratic formula. It will be shorter than what you've done and actually rigourous.

0

reply

Report

#8

(Original post by

How is this proof fundamentally different from: https://math.stackexchange.com/quest...athbbq-2-prove

**eugaurie**)How is this proof fundamentally different from: https://math.stackexchange.com/quest...athbbq-2-prove

0

reply

X

Page 1 of 1

Go to first unread

Skip to page:

### Quick Reply

Back

to top

to top