Introduction: `"The Master Key"`.
We will show a fascinating case of "Mathematical Convergence". We often think that adding more roots always makes the field more complex , but sometimes , adding two different roots is actually just a roundabout way of adding a single , more powerful root. It's like realizing that having a key for a cabinet and a key for a drawer is exactly the same as having one master key that opens the whole desk.
We have been adjoining elements one by one - first `alpha_1` , then `alpha_2`. This gives the impression that the field is becoming a "multi-layered" structure. However , it is often possible to find a single element `gamma` (a "primitive element") that generates the entire field alone.
Even if we start with two elements , like square root and a cube root , they might actually be "sub-components" of a single higher-order root. When `bbb"F"(alpha , beta) = bbb"F"(gamma)` , we call this a Simple Extension , despite it being born from multiple parts.

Theory: `"Eisenstein and Dimensional Collapsing"`.
1. `"Eisenstein's Criterion"`: A powerful tool to prove irreducibility. For a polynomial like `x^6 - 2` , if a prime `p` (like `2`) divides all the coefficients except the leading one , and `p^2` does not divide the constant term , the polynomial is irreducible over `QQ`.

2. `"The Degree Check"`: If we have an extension `bbb"K/F"` and we find an element `lamda in bbb"K"` such that `deg(lamda , bbb"F") = [bbb"K : F" ]` , then `"K"` must be exactly `F(lamda)`.

3. `"The Tower law as a Filter"`: We use the Tower Law to ensure dimensions are consistent. If the math forces a relative degree of `1` , the fields are identical.

Exercise: `"The identity of" \ QQ(2^{"1/2"} , 2^{"1/3"})`.
`"Problem"`: Prove that `QQ(sqrt 2 , root(3)(2))` is actually just a simple extension `QQ(root(6)(2))`.

Solution:
1. `"Calculate the Total Degree"`:
- `[QQ(root(3)(2)) : QQ] = 3`.
- Since `sqrt 2` has degree `2` and `2` does not divide 3 , `sqrt 2` is not in the cube-root field.
- Therefore , `[QQ(root(3)(2) , sqrt 2] : QQ = 3 * 2 = 6`.

2. `"Find a Canditate for the Master Key"`: Consider `lamda = 2^{"1/6"}`. We know that `2^{"1/6"}` is a root of `x^6 - 2`. By Eisenstein's Criterion (with p = 2) , this is irreducible. Thus , `[QQ(2^{"1/6"}) : QQ] = 6`.
3. `"Prove Containment"`: Notice that `(2^{"1/6"})^3 = 2^{"3/6"} = 2^{"1/2"}` and `(2^{"1/6"})^2 = 2^{"2/6"} = 2^{"1/3"}`. Since both `sqrt 2` and `root(3)(2)` can be built using only `2^{"1/6"}` , the field `QQ(2^{"1/6"})` contains the entire extension.

Conclusion: Since `QQ(2^{"1/6"})` lives inside our field and both have dimension `6` ,
the fields must be identical.

`"Basis of the Master Field over" \ QQ`:`{1 , 2^{"1/6"} , 2^{"2/6"} , 2^{"3/6"} , 2^{"4/6"} , 2^{"5/6"}}`.
Which simplifies to the basis found by multiplying the square and and cube root bases.
QED

Additional explantions:
`"Construction of" \ QQ(sqrt 2 , root(3)(2))`: Here we follow the "Tower" logic , adding one root at a time and watching how the dimension of our "aquarium" expands at each step.
`"The Step-by-Step Construction"`:

`"Step 1"`: `"Adjoin the Cube Root"`.
We start with `QQ` and adjoin `alpha = 2^{"1/3"}`.
- The minimal polynomial is `x^3 - 2`.
- The degree is `3`.
- The basis is `{1 , 2^{"1/3"} , 2^{"2/3"}}`.
- The field `QQ(2^{"1/3"})` contains all elements of the form `a + b(2^{"1/3"}) + c(2^{"2/3"})`.

`"Step 2: Adjoin the Square Root"`.
We now take our new field `QQ(2^{"1/3"})` and adjoin `beta = 2^{"1/2"}`.
- We check if `2^{"1/2"}` is already in the tank. Since the degree of `2^{"1/2"}` is `2` , and `2` does not divide the current field's dimension (`3`) , the square root is "new".
- The degree of this "relative" extension is `2`.
- The relative basis is `{1 , 2^{"1/2"}}`.

`"Adjoining" \ sqrt 2 \ "to" \ QQ(2^{"1/3"}) \ "creates a quadratic extension"`.
Checking if `sqrt 2` is already present: The field `QQ(2^{"1/3"})` has degree `3` over `QQ` because the minimal polynomial of `2^{"1/3"}` over `QQ` is the irreducible `x^3 - 2`. Suppose `sqrt 2 in QQ(2^{"1/3"})`.
Then `QQ(sqrt 2) subseteq QQ(2^{"1/3"})` , so `[QQ(2^{"1/3"}) : QQ] = [QQ(2^{"1/3"}):QQ(sqrt 2)] * [QQ(sqrt 2):QQ] rArr 3 = x * 2 rArr [QQ(2^{"1/3"}):QQ(sqrt 2)] = "3/2"` , which is impossible since degrees must be be integers. Thus , `sqrt 2` is not in `QQ(2^{"1/3"})`.

`"Relative Basis Explanation"`: Elements of `QQ(2^{"1/3"})(sqrt 2)` are of the form `a + b sqrt 2` where `a , b in QQ(2^{"1/3"})`. The set `{1 , sqrt 2}` is linearly independent over `QQ(2^{"1/3"})` because the minimal polynomial degree is `2`. It spans the extension since any element is a `QQ(2^{"1/3"})` - linear combination of these basis elements. The full basis over `QQ` would then be: `{1 \ , \ 2^{"1/3"} \ , \ 2^{"2/3"}}` combined with `{1 \ , \ 2^{"1/2"}}` gives `{1 \ , \ 2^{"1/3"} \ , \ 2^{"2/3"} \ , \ sqrt 2 \ , \ 2^{"1/3"} \ sqrt 2 \ , \ 2^{"2/3"} sqrt 2}` , confirming the total degree `6`.

`"The Master Basis (The Goal)"`: Any element in `QQ(2^{"1/6"})` is a rational combination of:
`bbb"B"_{"Master"} = {1 , 2^{"1/6"} , 2^{"2/6"} , 2^{"3/6"} , 2^{"4/6"} , 2^{"5/6"}}`.

`"The Product Basis (The Tower Result)"`: When we multiplied the basis of the square root `{1 , sqrt 2}` by the basis of the cube root `{1 , 2^{"1/3"} , 2^{"2/3"}}` , we got: `{1 , 2^{"1/3"} , 2^{"2/3"} , 2^{"1/2"} , 2^{"1/2"} * 2^{"1/3"} , 2^{"1/2"} * 2^{"2/3"}}`
Now , let's convert those to a common denominator of 6 to see how they map to the Master Basis:
`1 rarr 1 \ , 2^{"1/3"} rarr 2^{"2/6"} \ , 2^{"2/3"} rarr 2^{"4/6"} \ , 2^{"1/2"} rarr 2^{"3/6"} \ , 2^{"1/2"} * 2^{"1/3"} = 2^{"3/6 + 2/6"} rarr 2^{"5/6"} \ , 2^{"1/2"} * 2^{"2/3"} =`
`2^{"3/6 + 4/6"} rarr 2^{"7/6"}`.

`"Resolving" \ 2^{"7/6"}`: Here is where the "normalization" happens. In a field extension of degree `6` , we don't want any power higher than `"5/6"`.
Since `2^{"7/6"} = 2 * 2^{"1/6"}` , and `2` is a rational number , `2^{"7/6"}` is just a rational multiple of `2^{"1/6"}`.
Therefore the set we generated from the tower:
`{1 , 2^{"2/6"} , 2^{"4/6"} , 2^{"3/6"} , 2^{"5/6"} , 2 * 2^{"1/6"}}` is exactly the same span as: `{1 , 2^{"1/6"} , 2^{"2/6"} , 2^{"3/6"} , 2^{"4/6"} , 2^{"5/6"}}`.

`"Why order was different"`: In the Master Field , we list them in "hight-level" order by power. In the Tower construction , the elements appeared in the order they were produced from the multiplication.
The Master Field basis is the keyboard (clean and ordered) , while the product basis is the wiring inside (functional but messy). They describe the exact same "Aquarium" , but the Master Field version makes it obvious that everything is just a power of `2^{"1/6"}`.

`"The Minimal Polynomial"`: The key link is that the `"degree"` of the minimal polynomial tells you the vector space dimension of the simple extension `bbb"F"(alpha)` over the base field `bbb"F"`.

`"What linearly independent mean here"`: For the extension `bbb"K" = QQ(2^{"1/3"})` , saying `{1 , sqrt 2}` is linearly independent over `"K"` means:
`a * 1 + b * sqrt 2 = 0` with `a , b in bbb"K"` implies `a = b = 0`. Equivalently , `sqrt 2` is not a `bbb"K"` - multiple of `1` , because that would mean `sqrt 2 in bbb"K"`.

`"Why minimal polynomial degree 2 matters"` : The minimal polynomial of `sqrt 2` over `bbb"K"` is `x^2 - 2` , and and has degree `2`. A general theorem says that if `alpha` is algebraic over `bbb"F"` with minimal polynomial of degree `n` , then `bbb"F"(alpha)` has a `bbb"F"` - basis `{1 , alpha , alpha^2 , ... , alpha^{n-1}}`. So the extension has dimension `n`. For a degree-`2` element , that basis is just `{1 , alpha}`.

Core Definitions:
`"Field Extensions"`: They build new fields by adjoining roots of polynomials not solvable in the base field.
A field extension `bbb"K/F"` means `bbb"F" subseteq bbb"K"` where both are fields , so you can add `alpha notin bbb"F"` to `bbb"F"` to get `bbb"K" = bbb"F"(alpha)`. Every element of `bbb"K"` then looks like `a_0 + a_1 alpha + ... + a_{n-1}alpha^{n-1}` with `a_i in bbb"F"`.
An element `alpha` is algebraic over `bbb"F"` if some nonzero `f(x) in bbb"F"[x]` has `f(alpha) = 0`.

`"Minimal Polynomial"`: The minimal polynomial `m_alpha(x) in bbb"F"[x]` of `alpha` over `bbb"F"` is a monic (leading coefficient 1) polynomial of smallest degree with `m_alpha(alpha) = 0`. It is always irreducible.
`"Example"`:
Over `bbb"F" = QQ` , `alpha = sqrt 2` has `m_alpha(x) = x^2 - 2` , because `x^2 - 2` is irreducible (no rational roots) and monic.

`"Simple Algebraic Extension"`: To adjoin `alpha` , formally construct `bbb"F"(alpha) cong bbb"F"[x]"/"m_alpha (x)` , the quotient ring where you force `m_alpha (x) = 0`.

`"Key theorem"`: deg `m_alpha = n` implies `[bbb"F"(alpha) : bbb"F"] = n` (vector space dimension) with power basis `{1 , alpha , ... , alpha^{n-1}}`.

`"Tower Law for Multiple Adjunctions"`: For `bbb"L" = bbb"F"(alpha)(beta) = bbb"F"(alpha , beta)` , the degree multiplies:
`[bbb"L" : bbb"F"] = [bbb"L" : bbb"F"(alpha)] * [bbb"F"(alpha) : bbb"F"]`. To check if `beta in bbb"F"(alpha)`: If yes , then `[bbb"F"(alpha)(beta) : bbb"F"(alpha)] = 1`. Else , compute the minimal polynomial of `beta` over `bbb"F"(alpha)` , its degree gives the relative extension degree.

`"The High Level Shortcut"`: Because `2^{"1/6"}` (the sixth root) can actually "build" both the square root and the cube root , we can rewrite this entire mess more simply. Since `2^{"1/6"}` is our Primitive Element , every element in the field can also be written in the simple extension form:
`w = c_0 + c_1 (2^{"1/6"}) + c_2(2^{"2/6"}) + c_3(2^{"3/6"}) + c_4(2^{"4/6"}) + c_5(2^{"5/6"})`.
This is the laptop interface view. Instead of tracking two different rooots , we just track the powers of the "Master Root" `2^{"1/6"}`.

Transition Note: `"The search for the Primitive Operator"`.
In our Lie Algebra Minute , we often find that an operator `ad_x` has several different eigenvalues. You might think you need to handle each eigenvalue as a separate "driver" for the field. However , `"The Primitive Element Theorem"` suggests that we can often find a single scalar (a primitive element) that handles all the "frequencies" of the operator at once. This simplifies the "System Update" tremendously!