The whole theory of constructibility depends on the analysis of various field extensions K of D. Now, given such a field extension, one of the first things one would like to do is somehow measure how big K is relative to D. Of course, “how big” is a loose term, and we need to make this question more precise. To do so, we need to invoke some ideas from the theory of vector spaces.
KeywordsVector Space Abelian Group Maximal Element Scalar Multiplication Linear Span
Unable to display preview. Download preview PDF.