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.
5.8 Discussion 115<br />
took the trouble to find the centers <strong>of</strong> various groups in Chapter 3. It turns<br />
out, as we will show in Chapter 7, that g can “see” all the normal subgroups<br />
<strong>of</strong> G except those that lie in the center, so in finding the centers we have<br />
already found all the normal subgroups.<br />
The pioneers <strong>of</strong> <strong>Lie</strong> theory, such as <strong>Lie</strong> himself, were not troubled by<br />
the subtle difference between simplicity <strong>of</strong> a <strong>Lie</strong> group and simplicity <strong>of</strong> its<br />
<strong>Lie</strong> algebra. They viewed <strong>Lie</strong> groups only locally and took members <strong>of</strong> the<br />
<strong>Lie</strong> algebra to be members <strong>of</strong> the <strong>Lie</strong> group anyway (the “infinitesimal” elements).<br />
For the pioneers, the problem was to find the simple <strong>Lie</strong> algebras.<br />
<strong>Lie</strong> himself found almost all <strong>of</strong> them, as <strong>Lie</strong> algebras <strong>of</strong> classical groups.<br />
But finding the remaining simple <strong>Lie</strong> algebras—the so-called exceptional<br />
<strong>Lie</strong> algebras—was a monumentally difficult problem. Its solution by Wilhelm<br />
Killing around 1890, with corrections by Élie Cartan in 1894, is now<br />
viewed as one <strong>of</strong> the greatest achievements in the history <strong>of</strong> mathematics.<br />
Since the 1920s and 1930s, when <strong>Lie</strong> groups came to be viewed as<br />
global objects and <strong>Lie</strong> algebras as their tangent spaces at 1, the question <strong>of</strong><br />
what to say about simple <strong>Lie</strong> groups has generally been ignored or fudged.<br />
Some authors avoid saying anything by defining a simple <strong>Lie</strong> group to be<br />
one whose <strong>Lie</strong> algebra is simple, <strong>of</strong>ten without pointing out that this conflicts<br />
with the standard definition <strong>of</strong> simple group. Others (such as Bourbaki<br />
[1972]) define a <strong>Lie</strong> group to be almost simple if its <strong>Lie</strong> algebra is<br />
simple, which is another way to avoid saying anything about the genuinely<br />
simple <strong>Lie</strong> groups.<br />
The first paper to study the global properties <strong>of</strong> <strong>Lie</strong> groups was Schreier<br />
[1925]. This paper was overlooked for several years, but it turned out to<br />
be extremely prescient. Schreier accurately identified both the general role<br />
<strong>of</strong> topology in <strong>Lie</strong> theory, and the special role <strong>of</strong> the center <strong>of</strong> a <strong>Lie</strong> group.<br />
Thus there is a long-standing precedent for studying <strong>Lie</strong> group structure as<br />
a topological refinement <strong>of</strong> <strong>Lie</strong> algebra structure, and we will take up some<br />
<strong>of</strong> Schreier’s ideas in Chapters 8 and 9.