Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

What is the smallest field which contains all square roots of positive rational numbers? I guess I mean “smallest” in terms of set inclusion, i.e. the minimal one with regard to the “$\subseteq$” relation. The smallest field I know about would be the real algebraic numbers, but I guess that by restricting the degree of minimal polynomials, a smaller field might be possible.

To express this as a formula, I'm looking for the field generated by the set $$ S = \left\{\pm\sqrt x\;\middle\vert\;x\in\mathbb Q\right\} $$

If you know about a field smaller than the algebraic reals which contains $S$, I'd like to know its name and its structure. If you have an argument why the algebraic reals are the smallest field containing $S$, then I'd like to hear the argument or a reference to it.


Update: Answers below indicate that there is such a field containing $S$ and smaller than the real algebraic numbers. So the main issue is finding an established name for this, if there is one.

share|improve this question
1  
An interesting field that properly contains your field is the field of Euclidean constructible numbers. –  André Nicolas Feb 1 '13 at 19:55
    
@AndréNicolas: Even though constructible numbers appear to be not minimal, they make for interesting reading. Thanks for providing that name! –  MvG Feb 1 '13 at 20:12

1 Answer 1

up vote 4 down vote accepted

If you read this question then any $2$-maximal field $\mathbb M$ contains every square root. But such a field is not the real algebraic numbers since it contains no elements of order $3$ such as $\sqrt[3]{2}$. Of course such a field is probably larger than you want. Instead let $a_n$ be an enumeration of the positive integers (or positive primes) and let $L_0=\mathbb Q$, $L_i=L_{i-1}(\sqrt{a_i})$ then

$$L=\bigcup_{i=0}^\infty L_i$$ is your desired field. Notice that $[L_i:L_{-1}]=1,2$. Every element of $L$ is necessarily has a power of $2$ since each for each finite $n$, we have that $L_n$ is a power of $2$ extension of $L$. We also have that $L$ is not $2$-maximal because $x^2+1$ does not split over it. Notice that $L$ is an abelian extension as well, since it is generated by its degree $2$ subfields which are necessarily abelian and contained in $\mathbb Q^{\mathrm{ab}}$. So its Galois group should be

$$\lim_{\leftarrow}_{n \in \mathbb N} \left(\mathbb Z_2\right)^n.$$ I've never been that good at inverse limits but I imagine that this is $\prod_{n \in \mathbb N} \mathbb Z_2$, if someone could confirm this I would appreciate it.

share|improve this answer
    
@JonasMeyer, Yes my mistake I didn't read the question thoroughly and not taking primes was just my way of being lazy. Fixed now. –  JSchlather Feb 1 '13 at 19:57
    
These $k$-powerful and $k$-maximal fields take some getting used to, particularly since I couldn't yet locate any documents on these in Wikipedia or MathWorld. Are there some other terms I could use to search for this? But your construction of $L$ is nice since $L$ is obviously a field, looks pretty minimal, and therefore gives a good idea of what elements I require to make my $S$ into a field. If only I had a name for this. I'll leave this question active for a while, see if someone can provide that name, but if not will gladly accept your answer. –  MvG Feb 1 '13 at 20:25
    
@MvG You might ask Ewan Delanoy, but I believe its a name that he invented. So I don't know of any other terminology for it. If you happen to stumble on any references to them I'd be glad to read more about them. We still haven't decided whether or not $3$-maximal or rather $p$-maximal fields are unique up-to isomorphism. I have a related question on the matter here. –  JSchlather Feb 1 '13 at 20:30

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.