Lie groups and Lie algebras
Warm-upHumanWhat is the dimension of as a real Lie group?
What is the dimension of as a real Lie group?
Which of these matrices belong to the Lie algebra ? (Choose all that apply.)
Which element of is not of the form with ?
and have isomorphic Lie algebras. Which property distinguishes the two groups?
In the classification of irreducible -representations, why must the string eventually reach ?
In the representation of , what is the dimension of the eigenspace of for the eigenvalue (weight) ?
Decompose into irreducible representations . List the values of that occur, separated by commas.
For real matrices, with exp the matrix exponential, which of these Lean statements is false in general (so it could not be proved)?
Write exp_sl2(a, b, c) returning the matrix exponential of as a nested list, using with : , where , if ; , if ; and if .