John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
128 6 Structure <strong>of</strong> <strong>Lie</strong> algebras<br />
Our strategy for proving that so(n) is simple is like that used in Section 6.4<br />
to prove that sl(n,C) is simple. It involves two stages:<br />
• First we suppose that X is a nonzero member <strong>of</strong> some ideal I and<br />
take <strong>Lie</strong> brackets <strong>of</strong> X with suitable basis vectors until we obtain a<br />
nonzero multiple <strong>of</strong> some basis vector in I.<br />
• Then, by further <strong>Lie</strong> bracketing, we show that all basis vectors are<br />
in fact in I, soI = so(n).<br />
The first stage, as with sl(n,C), selectively nullifies rows and columns until<br />
only a nonzero multiple <strong>of</strong> a basis vector remains. It is a little trickier to<br />
do this for so(n), because multiplying by E ij leaves intact two columns<br />
(or rows, if one multiplies on the left), rather than one. To nullify all but<br />
two, symmetrically positioned, entries we need n > 4, which is no surprise<br />
because so(4) is not simple.<br />
In the first stage we need to keep track <strong>of</strong> matrix entries as columns<br />
and rows change position, so we introduce a notation that provides number<br />
labels to the left <strong>of</strong> rows and above columns. For example, we write<br />
⎛<br />
i<br />
j<br />
⎞<br />
E ij =<br />
i<br />
⎜<br />
j ⎝<br />
−1<br />
1<br />
⎟<br />
⎠<br />
to indicate that E ij has 1 in the (i, j)-position, −1inthe( j,i)-position, and<br />
zeros elsewhere.<br />
Now suppose X is the n × n matrix with (i, j)-entry x ij . Multiplying X<br />
on the right by E ij and on the left by −E ij ,wefindthat<br />
XE ij =<br />
⎛<br />
⎜<br />
⎝<br />
i<br />
⎞<br />
−x 1 j x 1i<br />
−x 2 j x 2i<br />
⎟<br />
. . ⎠<br />
−x nj x ni<br />
j