page2073      Lie Algebra Minute      Matthias Lorentzen...mattegrisenforlag.com


Look at the picture beneath, then scroll down to the question and click the correct Answer button.

Lie Algebra Minute

Topic: The Dimension Audit of `sl(2 , RR)`.

Introduction: We have reached the end of the Vector Space chapter by proving the Rank-Nullity Theorem. To wrap up our Lie Algebra Minute , we will perform a "Dimension Audit" on our three primary operators: `ad_e \ , ad_f \ ,`and `ad_h`. This will prove that the abstract theorem we just studied in `bbb"V"` and `bbb"W"` holds perfectly for the internal "twist" of `sl(2 , RR)`.

Exercise: For each operator , we calculate the dimension of the Kernel (nullity) and the dimension of the Image (rank). Since `dim"("(2 , RR)")" = 3` , the sum must always be 3.

Solution:
1. The Audit of `ad_h`:
- Kernel: We know `[h , h] = 0`. Since `ad_h(e) = 2e` and `ad_h(f) = -2f` are non-zero , only the span of `{h}` is in the kernel. `"Nullity" = 1`.
- Image: `ad_h` maps the basis to `{2e , -2f , 0}`. These span the e-f plane. `"Rank" = 2`.
- Audit: `1 + 2 = 3` (Check!).

2. The Audit of `ad_e`:
- Kernel: We know `[e , e] = 0`. From our Matrix `M_e` , we saw `e` is the only basis element sent to zero. This is because `ad_e (e) = 0 rarr 0e + 0f + 0h rarr` first column of `M_e` is a zero coordinate vector. `"Nullity" = 1`.
-Image: `ad_e` maps `{e , f , h}` to `{0 , h , -2e}`. The vectors `{h , -2e}` are linearly independent and span a plane. `"Rank" = 2`.
- Audit: `1 + 2 = 3` (Check !).

3. The Audit of `ad_f`:
-Kernel: We know `[f , f] = 0`. Only the span of `{f}` is sent to zero. `"Nullity" = 1`.
-Image: `ad_f` maps `{e , f , h}` to `{-h , 0 , 2f}`. The vectors `{-h , 2f}` span a plane. `"Rank" = 2`.
-Audit: `1 + 2 = 3` (Check!). QED

Final Transition: `"Toward Algebraic Extensions"`.
You have completed the Vector Space theme. You've seen how spaces are built (Bases) , moved (Transitions) , and collapsed (Kernels/ Quotients). In the next theme , Algebraic Extensions , we stop looking at the vectors and start looking at the Field `bbb"F"` itself. We will discover that if we want to "solve" certain transformations , we sometimes have to grow the field `bbb"F"` (like moving `RR` to `CC`) to find the hidden eigenvalues! In the next page we will give a final summary.
END

Question

`"The Universal Constant"`.
Notice that for all three operators in `sl(2 , RR)` , the Rank was always `2` and the Nullity was always `1`. Why is the Nullity always at least `1` for any `ad_x` transformation in a Lie Algebra ?

A) Because every element `x` in a Lie Algebra satisfies the property `[x , x] = 0` , meaning the vector itself is always "trapped" in the kernel of `ad_x`.

B) Because `sl(2 , RR)` is a "small" algebra and doesen't have enough dimensions to support a Rank of `3`.