Theorem: `"Finitely generated Algebraic Extensions"`.
Let `bbb"E/F"` be an algebraic field extension. Then the following are equivalent:

- `bbb"E"` is generated by finitely many elements over over `bbb"F"` , i.e. there exists `alpha_1 , ... \ , alpha_n in bbb"E"` such that
                `bbb"E" = bbb"F"(alpha_1 , ... \ , alpha_n`).
- `bbb"E"` has a finite dimension as a vector space over `bbb"F"` , i.e.
               `[E : F] < oo`.

In short: an algebraic extension is finitely generated if and only if is finite.

Example: Take `QQ(sqrt 2 , sqrt 3)`. This is generated by two algebraic elements , and indeed: `[QQ(sqrt 2 , sqrt 3) : QQ] = 4`. So it's a finite extension.

This theorem is the "Building Code" for our mathematical house. It tells us that as long as our house has a finite number of rooms (finite dimensional) , we can always finish the job using a finite number of electricians. It bridges the gap between the elements we adjoin and the space we create.

Vector Space Theory (The Finite Blueprint).
Introduction: `"The Capasity of the House"`.
We have been adding roots like `2^{"1/2"}` and `2^{"1/3"}` to our field `QQ`. This theorem gives us a "Guarantee of Completion". It says that if every root we bring into the house is "algebraic" (meaning it's the root of some polynomial equation) , then the resulting house won't go on forever.

- `"The Finite Rule"`: If you have a list of roots `(alpha_1 , ... \ alpha_n)` , and each one is a "finite" update , the total expansion is guaranteed to be a finite-dimensional vector space.

`"The Reverse Rule"`: If someone hands you a field extension `bbb"E"` and tells you it has a finite dimension (say , `6`) , you can rest assured that there is a finite "shopping list" of elements that can build that entire field.

Theory: `"The Chain of Dimensions"`.
When we adjoin elements one by one , we create a chain of fields: `bbb"F" subset bbb"F"(alpha_1) subset bbb"F"(alpha_1 , alpha_2) subset ... subset bbb"F"(alpha_1 , ... \ alpha_n)`. Each link in this chain has a degree. By the Tower law , the total dimension is the product of these local degrees: `[bbb"E" : bbb"F"] = [bbb"F"(alpha_1) : bbb"F"] * [bbb"F"(alpha_1 , alpha_2) : bbb"F"(alpha_1)] ...`
As long as each root `alpha` , is algebraic , each number in that product is an integer. A product of finite integers is always finite.

Exercise: `"The Three-Element Audit"`.
Problem: Consider the field `QQ(sqrt 2 , sqrt 3 , root(5)(7))`.
`1`. Is each element algebraic over `QQ` ?
`2`. Is the resulting field `bbb"E"` a finite-dimensional vector space over `QQ` ?
`3`. What is the maximum possible dimension of this "house" ?

Solution: Since `sqrt 2 , sqrt 3` and `root(5)(7)` are all roots of simple polynomials `(x^2 - 2 , x^2 - 3 , x^2 - 7)` , they are algebraic. The theorem tells us immediately: because we are adding a finite number (three) of algebraic elements , the resulting space must be a finite extension.

`"Counting the Rooms"`: We check the "local degrees" (the room counts):
- Degree of `sqrt 2` over `QQ` is `2`.
- Degree of `sqrt 3` over `QQ(sqrt 2)` is `2` (since `3` is not a square in `QQ(sqrt 2)`). The main point is that `sqrt 3` is not in `QQ(sqrt 2)` , and `x^2 - 3` is irreducible over `QQ(sqrt 2)`. In the extended field `QQ(sqrt 2 , sqrt 3)` , `sqrt 3` will be a root of `x^2 - 3`.
- Degree of `root(5)(7)` over `QQ(sqrt 2 , sqrt 3)` is `5` (since `x^5 - 7` is irreducible).
The total dimension is `2 times 2 times 5 = 20`. Since `20` is a finite number , the "house" is finite-dimensional.

`"The Basis List"`: Because the dimension is 20 , we know exactly how many "building blocks" are in our basis. The basis consists of all possible products: `{(sqrt 2)^a * (sqrt 3)^b * (root(5)(7))^c}` where `a in {0 , 1} , \ b in {0 , 1}` , and `c in {0 , 1 , 2 , 3 , 4}`.
This list of `20` elements forms the complete "wiring diagram" for the field. If we try to add an element that was not algebraic (like `pi`) , the list would become infinite , and the theorem would break!

`"Why those ranges ?"`
Each generator satisfies its own minimal polynomial over the previous field:
- `sqrt 2` satisfies `x^2 - 2` , so powers reduce to `1 , sqrt 2`.
- `sqrt 3` satisfies `x^2 - 3` , so powers reduce to `1 , sqrt 3`.
- `root(5)(7)` satisfies `x^5 - 7` , so powers reduce to `1 , root(5)(7) , (root(5)(7))^2 , (root(5)(7))^3 , (root(5)(7))^4 `. Any higher power can be reduced using these relations. For example , `(sqrt 2)^2 = 2 in QQ` , so allowing `a = 2` would not give a new basis element , it just duplicate something already in the span `1`. That would make the spanning set redundant , hence not a basis.

`"Why not include 2 ?"`
Because `2` is already in the base field `QQ`. In a basis over `QQ` , constants are represented by the coefficient , not by seperate basis vectors. So , `(sqrt 2)^2 = 2` does not produce a new independent vector , it collapses to the scalar `2 * 1`. Det same logic explains why you stop at exponent `1` for the square root and at exponent `4` for the fifth root. The basis is designed to contain exactly one representative for each residue class modulo the degree of the minimal polynomial.

`"General Rule"`: For an extension of the form `bbb"F"(alpha , beta , gamma)` , if `alpha , beta , gamma` have degrees `m , n , p` over the relevant intermediate fields , then a typical basis is formed from `alpha^i beta^j gamma^k` with `0 le i lt m \ , 0 le j lt n \ , 0 le k lt p`. That is why the exponents run from `0` up to one less than the corresponding degree. QED

Transition Note: `"Back to the Lie Algebra Fuse Box"`.
In our Lie Algebra `sl(2 , bbb"F")` , the vector space is `3`-dimensional. Because `3` is a finite number , this theorem guarantees that any field extension we need to "fix the wiring" (to find the eigenvalues) will only require a finite number of updates. We will never be stuck in an infinite loop of adding roots , the "OS Update" will always eventually finish. (More will be said about this on the next page).