18.07.2014 Views

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!