John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
3<br />
Generalized rotation groups<br />
PREVIEW<br />
In this chapter we generalize the plane and space rotation groups SO(2)<br />
and SO(3) to the special orthogonal group SO(n) <strong>of</strong> orientation-preserving<br />
isometries <strong>of</strong> R n that fix O. To deal uniformly with the concept <strong>of</strong> “rotation”<br />
in all dimensions we make use <strong>of</strong> the standard inner product on R n<br />
and consider the linear transformations that preserve it.<br />
Such transformations have determinant +1 or−1 according as they<br />
preserve orientation or not, so SO(n) consists <strong>of</strong> those with determinant 1.<br />
Those with determinant ±1makeupthefullorthogonal group, O(n).<br />
These ideas generalize further, to the space C n with inner product defined<br />
by<br />
(u 1 ,u 2 ,...,u n ) · (v 1 ,v 2 ,...,v n )=u 1 v 1 + u 2 v 2 + ···+ u n v n . (*)<br />
The group <strong>of</strong> linear transformations <strong>of</strong> C n preserving (*) is called the unitary<br />
group U(n), and the subgroup <strong>of</strong> transformations with determinant 1<br />
is the special unitary group SU(n).<br />
There is one more generalization <strong>of</strong> the concept <strong>of</strong> isometry—to the<br />
space H n <strong>of</strong> ordered n-tuples <strong>of</strong> quaternions. H n has an inner product defined<br />
like (*) (but with quaternion conjugates), and the group <strong>of</strong> linear<br />
transformations preserving it is called the symplectic group Sp(n).<br />
In the rest <strong>of</strong> the chapter we work out some easily accessible properties<br />
<strong>of</strong> the generalized rotation groups: their maximal tori, centers, and their<br />
path-connectedness. These properties later turn out to be crucial for the<br />
problem <strong>of</strong> identifying simple <strong>Lie</strong> groups.<br />
48 J. <strong>Stillwell</strong>, <strong>Naive</strong> <strong>Lie</strong> <strong>Theory</strong>, DOI: 10.1007/978-0-387-78214-0 3,<br />
c○ Springer Science+Business Media, LLC 2008