Talk:Quadratic field

From Wikipedia, the free encyclopedia

The equation

 d\in \mathbb{Q}^*/\mathbb{Q}^2

and the statement

 That is, we may take d to be a square free integer

don't match up; the equation makes d a non-zero square free rational, that is a rational which is not the square of another rational.

Which one is correct? For example, is \mathbb{Q}(\sqrt{2/3}) a quadratic field, and is it expressible as \mathbb{Q}(\sqrt{d}) for d a square-free integer?

Lupin 13:31, 7 Feb 2004 (UTC)

I don't see a mismatch, in fact. We might as well take the square root of 6 instead of 2/3 - it's the same field in the end. That is, it is being claimed that rationals up to squares of rationals are represented uniquely by square free integers. Perhaps it helps to look at each prime p separately, with the exponent then any integer r. What is being said is that rmod 2 can be taken as 0 or 1.

Charles Matthews 13:38, 7 Feb 2004 (UTC)

Point taken :-) I've changed Q to Z in the displayed equation, which I feel makes the fact that the next sentence begins with "That is" easier to swallow.

Lupin 13:59, 7 Feb 2004 (UTC)

The notation was inherited from an earlier version - probably needs further changes for clarity.

Charles Matthews 14:03, 7 Feb 2004 (UTC)

I think it's a pretty short exercise to show that all quadratic extension of Q are of the form Q(sqrt(d)), for square-free d, so maybe this proof could just be spelled out (I think it's only a couple lines). Revolver 17:03, 9 Feb 2004 (UTC)

I have several pages of notes and examples about quadratic number fields that I used for my advancement talk. There are many things that are special about the quadratic case (quadratic reciprocity law being just the most obvious). I'll get some of that up here, sometime (when I get the chance). Revolver 17:01, 9 Feb 2004 (UTC)

[edit] "irrational" quadratic "field"?

Are there any results/statemens for irrational quadratic rings? I'm looking for something/anything related to or in the form of

K=\mathbb{Q}[\sqrt{\pi n}]

Basically, I'm pursuing a relationship analoguous to \exp(\pi\sqrt{163}) but in my case, I clearly have a square-root of pi sitting next to an integer. linas 18:27, 20 January 2006 (UTC)

If t is transcendental, Q[t] is a polynomial ring. Don't expect anything special. Charles Matthews 21:01, 20 January 2006 (UTC)
Hm. Well, yes, some transcendentals are at least a little bit special. For t=sqrt(pi), one does have the 4=t^4 -t^8/12+t^12/360 - ... so that's a monic polynomial, albeit an infinite one, with rational coefficients, that evaluates to an integer. What is the set of all such polynomials? What's the properties of this set? How do the properties of this set depend on the transcendental t? My apologies, I'm thinking aloud, rather than trying to present a coherent train of thought, excuse me if the quesitons just sound weird/wrong. linas 22:25, 20 January 2006 (UTC)
And its not just a ring, its a field, right? For any x in Q[t], I can always find a y in Q[t] such that xy=1. Whatever. Rhetorical quesiton. linas 22:50, 20 January 2006 (UTC)
Wrong. Charles Matthews 23:23, 20 January 2006 (UTC)
Hmm. OK. How about "for any x in Q[t] s.t. |x|< infty" ? Its not obvious how to construct a counterexample, but maybe it'll hit me while I'm walking to the kitchen... linas 01:42, 21 January 2006 (UTC)