Dragonfall
- 1,023
- 5
Homework Statement
Show that the field C of constructible numbers is the smallest subfield of R with the property that a\in C, a>0 \Rightarrow \sqrt{a}\in C.
The Attempt at a Solution
Suppose there's a proper subfield of C' of C that has that property, then let a\in C-C'. Somehow I must show that a is actually in C. Perhaps repeated squaring?