OurBigBook.comSite Source code

Constructible field extension

A finite real extension

K / Q

is constructible when it is contained in a tower

Q = K_{0} \subset K_{1} \subset \dots \subset K_{r}, [K_{i} : K_{i - 1}] = 2.

Equivalently, every element of

K

can be obtained from rational numbers by field operations and successive square roots.

Table of contents 77 1
- Constructibility of the real seventeenth cyclotomic field Constructible field extension 38

 Ancestors (5)