I would like to study/understand the (complete) classification of compact lie groups. I know there are a lot of books on this subject, but I'd like to hear what's the best route I can follow (in your opinion, obviously), since there are a lot of different ideas involved.
First, here's a rough outline of how the classification works:
Prove that if G and H are simply connected and have the same Lie algebra, then G and H are isomorphic as Lie groups.
Prove that if G is any Lie group, its universal cover $\tilde{G}$ inherits a natural Lie group structure for which G = $\tilde{G}/Z$ where $Z\subseteq Z(\tilde{G})$.
This reduces classification to a) understanding the Lie algebras and b) understanding the centers of simply connected Lie groups.
3.
Classify (simple) Lie algebras. This is done via root diagrams (Dynkin diagrams).
4.
For each simply connected compact Lie group, compute its center.
For references, I'd check out Fulton and Harris' book "Representation Theory". I'm not sure if it actually does 4., but that's a fairly easy exercise afterwards (except for perhaps the exceptional groups).

$\begingroup$ The second 1. and 2. were typed as 3. and 4. (I just went back and checked). I'm not exactly sure why they're showing up as 1. and 2., but I imagine it has to do with my ineptitude as using computers ;) $\endgroup$ – Jason DeVito Nov 19 '09 at 13:48

$\begingroup$ Well, it has to do with how Markdown (?) deals with numbered lists. It ignores which numbers you type and just counts down (very handy if you have to add an item), which means you have to be more clever to start a numbered list somewhere other than 1. Whenever Markdown does something weird, and you just want the plain text you wrote, put ` ` around it. That's what I did above. $\endgroup$ – Ben Webster♦ Nov 19 '09 at 16:01

$\begingroup$ I mean, put backwards quotes around it. $\endgroup$ – Ben Webster♦ Nov 19 '09 at 16:03

4$\begingroup$ One downside to Fulton and Harris is that they work with complex Lie groups and algebras for most of the book, and only discuss the real picture at the beginning and end. This isn't a catastrophe, but the original poster might prefer a reference that focuses on real groups. Any suggestions? $\endgroup$ – David E Speyer Feb 24 '10 at 15:57

2$\begingroup$ Knapp, "Representation Theory: Beyond an Introduction" does the real case. $\endgroup$ – Aaron Bergman May 19 '10 at 21:48
Compact Lie groups may not be connected, and the question did not assume connectedness whereas all of the other answers did. If $G$ is a linear algebraic group over $\mathbf{R}$ then $G(\mathbf{R})$ has finite component group which may be nontrivial even when $G$ is connected in the sense of the Zariski topology, such as $G = {\rm{GL}} _n$; see end of Borel's book on linear algebraic groups for a proof. And orthogonal groups for nondegenerate real quadratic forms of various signatures are very useful, but (in their incarnation as linear algebraic groups over $\mathbf{R}$) are even disconnected for the Zariski topology. So there is good reason to be interested in real Lie groups with nontrivial but finite component group (e.g., finite groups!) And in Hochschild's book "Structure of Lie Groups" he proves that the theory of maximal compact subgroups "works" in the case of finite component groups too: they're all conjugate and meet every component.
This is all setup for what I really wanted to say, which is that there is an awesome result, largely due to Chevalley, which beautifully "explains" the essentially algebraic nature of the category of compact Lie groups (without connectedness hypotheses). This concerns the functor $G \rightsquigarrow G(\mathbf{R})$ from linear algebraic groups over $\mathbf{R}$ to real Lie groups with finite component group. To appreciate the result, we need some preliminary observations, as follows. If $G(\mathbf{R})$ is to be compact then of course $G$ cannot contain as an $\mathbf{R}$subgroup either $\mathbf{G}_a$ or $\mathbf{G}_m$. In particular, $G$ has to be reductive (maybe disconnected) since $\mathbf{R}$ has characteristic 0. [Side remark: for reductive groups over any field $k$ whatsoever, if there is a $\mathbf{G}_a$ as a $k$subgroup then there must be a $\mathbf{G}_m$ as a $k$subgroup; i.e., it is $k$isotropic. See Corollary C.2.9 in "Pseudoreductive groups" for a generalization.] It is a general fact (over any local field $k$ at all, whether archimedean or not) that a reductive $k$group has compact group of $k$points if and only if it contains no $\mathbf{G}_m$ as a $k$subgroup (i.e., is $k$anisotropic). Also, if $G$ is disconnected then it can happen that some connected components of $G$ have no $\mathbf{R}$point (e.g., kernel of ${\rm{det}}^3$ on ${\rm{GL}} _n$ for any $n$), but the union of those components which do contain an $\mathbf{R}$point is an open $\mathbf{R}$subgroup which is "all" one could hope to ever recover from $G(\mathbf{R})$. So we may as well focus attention on those $G$ for which each connected component of $G$ does have an $\mathbf{R}$point.
OK, so now we can state Chevalley's result. The preceding remarks show that formation of real points (as a Lie group) is a functor from the category of $\mathbf{R}$anisotropic reductive $\mathbf{R}$groups to the category of compact real Lie groups. (Beware it is not obvious if $G(\mathbf{R})$ is also connected for such a $G$ that is connected.) Chevalley proved that this is an equivalence of categories. More specifically, given a compact real Lie group $K$, he showed how to use the representation theory of $K$ to functorially construct a linear algebraic $\mathbf{R}$group $K^{\rm{alg}}$ whose Lie group of $\mathbf{R}$points is naturally isomorphic to $K$ (so $K^{\rm{alg}}$ must be reductive and $\mathbf{R}$anisotropic, for reasons noted above). The construction shows also that every connected component of $K^{\rm{alg}}$ has an $\mathbf{R}$point, and clearly $K^{\rm{alg}}$ is connected if $K$ is connected. That much is proved in the book by Brocker and tom Dieck. Using some input from the algebraic side (especially the fact that a semisimple Lie subalgebra of the Lie algebra of a linear algebraic group over a field $k$ of characteristic 0 is the Lie algebra of a unique connected closed $k$subgroup which moreover is semisimple, so over $\mathbf{R}$ these "exponentiate" to closed $\mathbf{R}$subgroups), one can show that it really inverts the functor of $\mathbf{R}$points on the full subcategory of $\mathbf{R}$anisotropic reductive $\mathbf{R}$groups whose connected components all have $\mathbf{R}$points.
To summarize, incorporating topological aspects:
Theorem (Chevalley) The category of compact Lie groups is equivalent to the category of $\mathbf{R}$anisotropic reductive $\mathbf{R}$groups whose connected components have $\mathbf{R}$points, and if $G$ is such an $\mathbf{R}$group then $G^0(\mathbf{R}) = G(\mathbf{R})^0$. The $\mathbf{R}$group $G$ is semisimple if and only if $G(\mathbf{R})$ has finite center, and in such cases $G^0$ is simply connected in the sense of algebraic groups if and only if $G(\mathbf{R})^0$ is simply connected in the sense of topology.
Remark: The anisotropicity hypothesis is crucial. For example, if $n > 1$ is odd then ${\rm{SL}} _n \rightarrow {\rm{PGL}} _n$ is a degree$n$ isogeny of $\mathbf{R}$groups (so not an isomorphism) which induces an isomorphism on $\mathbf{R}$points.
For any $G$ as in the Theorem, one can show that $G(\mathbf{C})$ contains $G(\mathbf{R})$ as a maximal compact subgroup, and that this is a "complexification" of $G(\mathbf{R})$ in the sense of being initial among complex Lie groups equipped with a homomorphism from $G(\mathbf{R})$. Using this and passing to the connected case, one shows that every $\mathbf{R}$split connected reductive $\mathbf{R}$group admits a unique "$\mathbf{R}$anisotropic form" (usually called "compact form"), and this correspondence is also functorial if we keep track of a choice of suitable maximal torus. But the algebraic theory provides an equivalence between the category of pairs $(G,T)$ consistng of split connected reductive groups $G$ equipped with a choice of split maximal torus $T$ over any field, with isogenies as morphisms, and the category of root data with (a suitable notion of) "isogenies" as morphisms. This recovers exactly the classification of compact connected Lie groups (equipped with a maximal torus) in terms of root data as was mentioned in the other answers.
Of course, this is a much longer route to the punchline, and I am not recommending it as a good way to learn the classification of compact Lie groups in terms of root data (though it would not be circular to do so). But there is something remarkable about the direct link between compact Lie groups and algebraic groups (allowing disconnectedness as well, and no specified maximal torus), not defined by going through the crutch of root data and Lie algebras. Historically the case of compact groups was a very important guide for Borel and Tits and others when developing the structure theory for connected reductive groups, and the above result "explains" a posteriori why this case was such an excellent guide to the general case.

2$\begingroup$ A comment on "beware it is not obvious" in paragraph 3, line 3: The algebraic group $G=SO(p,q), p,q\geq 2$, is connected, but its group of real points has 2 components, since $O(p,q)(\mathbb{R})$ is homotopy equivalent to $O(p)(\mathbb{R})\times O(q)(\mathbb{R})$ and $O(p)(\mathbb{R})$ and $O(q)(\mathbb{R})$ each have two components detected by the determinant. This shows that anisotropy requirement on $G$ is essential. $\endgroup$ – Victor Protsak May 19 '10 at 22:24
There is a clear, selfcontained classification of compact, connected Lie groups in "Lie Groups: An Approach through Invariants and Representations" by Claudio Procesi. See Chapter 10, Section 7.2, Theorem 4, page 380. It says such a group is of the form $K_1\times\dots\times K_n\times T/Z$ where each $K_i$ is connected, compact, and simply connected, $T=(S^1)^m$ is a compact torus, and $Z$ is a finite subgroup of the center satisfying $Z\cap T=1$. Furthermore two such groups $K_1\times\dots\times T/Z$ and $K'_1\times\dots\times T'/Z'$ are isomorphic if and only if there is an isomorphism $K_1\times\dots\times T\rightarrow K'_1\times\dots\times T'$ taking $Z$ to $Z'$. Note that the numerator is specified by a list of types $A_n,B_n,\dots, E_8$ and the integer $m$. The result is obtained from a bijection between compact connected and reductive algebraic groups, and is equivalent to the classification by root data.
For example there are precisely $3$ compact groups of rank 2 and semisimple rank 1:
$SU(2)\times S^1$ ($Z=1$)
$SO(3)\times S^1$ ($Z=\langle I,1\rangle$)
$U(2)=SU(2)\times S^1/\langle (I,1)\rangle$.
For another example the following two groups are not isomorphic, where $\zeta=e^{2\pi i/5}$:
$SU(5)\times S^1/\langle(\zeta I, \zeta)\rangle \simeq U(5)$
$SU(5)\times S^1/\langle(\zeta I,\zeta^2)\rangle$
I don't know if it's appropriate to link to selfadvertise here. So at the risk of a minor faux pas, my edited notes from the Lie Groups class taught by Prof. Mark Haiman are available here. The bulk of the notes is the classification of complex semisimple Lie groups. For compact ones, follow the same argument, but add one fact: a simple group over R is compact iff the Killing form is negative definite.
In case one should not post one's own notes, here are some by Anton from the previous year. These include a bit more on real forms, and a bit less on the nonsemisimple groups.
The answers given are useful. Naturally some care always has to be taken with the connectedness question, since finite groups might be regarded as compact Lie groups or as algebraic groups. Then a full classification becomes unreasonable. On the other hand, some compact groups or algebraic groups occur most naturally as disconnected groups with an interesting component group.
There's a concept called a root datum, which consists of an integer lattice and its dual, together with distinguished subsets (roots and coroots) satisfying some simple properties.
The theorem (I think!) is: isomorphism classes of compact connected Lie groups are in onetoone correspondence with isomorphism classes of root data.
In particular, you can read off all sorts of information about your Lie group from it's root datum: Weyl group, Dynkin diagram, center, fundamental group, etc.
Unfortunately, root data only ever seem to be discussed in the context of algebraic groups; I've never seen an elementary treatment which talks about root data for compact Lie groups without reference to the algebraic group case.

4$\begingroup$ The book of Brocker & tom Dieck on compact Lie groups develops root data directly for compact (connected) Lie groups. They don't prove the Existence Theorem (e.g., they don't show that the exceptional root data, such as for ${\rm{E}}_8$, arise from a compact Lie group), but they do quite a bit nonetheless (such as relate simple connectivity of the root datum to that of the compact Lie group). $\endgroup$ – user30379 Mar 3 '13 at 5:40


$\begingroup$ @Qfwfq No. The root datum concept handles nonsimply connected groups. For instance, it turns out that $\pi_1 G =$ the quotient of the coweight lattice by the subgroup generated by coroots. $\endgroup$ – Charles Rezk Jul 5 '18 at 20:28
Classification seems hard, and revolves around extension problems, which are often intractable. Years ago, I was able to prove that there are only countably many compact Lie groups. This is immediate from structure theory in the connected case, but took me some effort for disconnected compact Lie groups. I've always wondered if there's an easy way to prove this.

$\begingroup$ Scott: Countability follows from countability of the set of finite groups, compact connected Lie groups plus Eilenberg's theory of extensions with noncommutative kernel explained for instance in Ken Brown's book. It boils down to the claim that given a compact abelian Lie group $A$ and a finite group $G$, the group $H^2(G,A)$ is (at most) countable. $\endgroup$ – Misha Jul 15 '16 at 16:36