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.

6.5 Simplicity <strong>of</strong> so(n) for n > 4 129<br />

and<br />

⎛<br />

⎞<br />

−E ij X = i −x j1 −x j2 ··· −x jn<br />

.<br />

j<br />

⎜ x i1 x i2 ··· x in ⎟<br />

⎝<br />

⎠<br />

Thus, right multiplication by E ij preserves only column i, which goes to<br />

position j, andcolumn j, which goes to position i with its sign changed.<br />

Left multiplication by −E ij preserves row i, which goes to position j, and<br />

row j, which goes to position i with its sign changed.<br />

The <strong>Lie</strong> bracket <strong>of</strong> X with E ij is the sum <strong>of</strong> XE ij and −E ij X, namely<br />

[X,E ij ]=<br />

⎛<br />

i<br />

j<br />

⎞<br />

−x 1 j<br />

x 1i<br />

−x 2 j<br />

x 2i<br />

.<br />

.<br />

i<br />

−x j1 −x j2 ··· −x ji − x ij ··· −x jj + x ii ··· −x jn<br />

.<br />

.<br />

j<br />

x i1 x i2 ··· x ii − x jj ··· x ij + x ji ··· x in<br />

⎜<br />

⎟<br />

⎝<br />

.<br />

.<br />

⎠<br />

−x nj x ni<br />

.<br />

Note that the (i, j)-and( j,i)-entries are zero when X ∈ so(n) because x ii =<br />

x jj = 0 in a skew-symmetric matrix. Likewise, the (i,i)- and( j, j)-entries<br />

are zero for a skew-symmetric X, s<strong>of</strong>orX ∈ so(n) we have the simpler<br />

formula (*) below. In short, the rule for bracketing a skew-symmetric X<br />

with E ij is:<br />

• Exchange rows i and j, giving the new row i a minus sign.<br />

• Exchange columns i and j, giving the new column i a minus sign.<br />

• Put 0 where the new rows and columns meet and 0 everywhere else.

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

Saved successfully!

Ooh no, something went wrong!