connected compact semisimple lie group finite fundamental group I was told that the fundamental group of a connected, compact, semisimple Lie group is finite, with the outline of a possible way to prove this fact.  Is there any source however that fleshes this out in detail / are there several ways to prove this fact?
Thanks!
(The result is often known as Weyl's theorem, I think for his take on the proof, Knapp provides a fairly detailed exposition of his perspective.)
 A: I think you can get a much faster (and maybe easier...) proof using Riemannian geometry, as follows: 

First, recall that a semi-simple connected Lie group $G$ is compact if and only if its Killing form $B$ is negative-definite (the proof is easy, see, e.g., Thm 2.28 in these notes). The side we will use ($G$ compact semi-simple $\Rightarrow$ $B$ neg.-def.) actually follows directly from $B(X,X)=tr(ad(X)\cdot ad(X))$ using an orthonormal basis with respect to an auxiliary bi-invariant metric to compute this trace.
Now, the Ricci curvature of any bi-invariant metric on $G$ (that exists because $G$ is compact) can be computed as:
 $$Ric(X,Y)=-\frac14 B(X,Y),$$ see Remark 2.27 in the same notes. By the observation above, since $G$ is compact and semi-simple, its Killing form $B$ is negative-definite. Hence the above formula gives $Ric>0$. So, by the Bonnet-Myers Theorem, $G$ must have finite fundamental group. Q.E.D.
A: Besides Samelson's short 1946 research note linked by Mrc Plm, it's also useful to    mention his longer 1952 survey on topology of Lie groups here (see Section 10 and references for various proofs of Weyl's theorem on finiteness of the fundamental group).   
By now the whole subject has been treated in numerous textbooks and lecture notes, from a variety of viewpoints.   Which approach you take depends a lot on your own background and interests.   But the finiteness by itself is too limited a goal, since case-by-case study of the simple compact Lie groups computes each fundamental group in an elegant way relative to the roots and weights of a maximal torus.  
P.S. Lucy has found the answer to the question asked about finiteness of the fundamental group (via Knapp's book), though the result is actually Weyl's theorem and not just sometimes called that.  As Johannes points out, there is a full treatment in V.7 of the Springer GTM 98 by Brocker and tom Dieck which has the advantage of integrating the topological questions with structure, classification, and representation theory of arbitrary compact connected Lie groups; note their nice summary (7.13).   Like other basic theorems, Weyl's theorem has been developed from a variety of directions as indicated in the answers here, though for me the actual computation of the fundamental group for each simple type is an essential part of the picture.     
A: Another proof is in Bröcker-tom Dieck's book on compact Lie groups, p. 223 ff. It is based on an analysis of root systems.
A: Every connected Liegroup, which has a semisimple Liealgebra with a definite Killing form is compact.
The Liealgebra of a compact Liegroup is always the direct sum of an semisimple and abelian Liealgebra, where the killing form of the semisimple part is negative definite.
So we can conclude, that the universal cover of your liegroup is compact and the finiteness of the fundamentalgroup follows immediately.
The fundamentalgroup is even always abelian.
The first two things can be found nicely in Serre's "Lie Algebras and Lie Groups" in Theorem 6.2 and 6.3.
A: See theorem B in Samelson a "Note on Lie groups". He presents two proofs: one via differential forms and one via differential geometry:
http://www.ams.org/journals/bull/1946-52-10/S0002-9904-1946-08663-2/home.html
A: There is a quick proof via Lie algebra cohomology: Let $G$ denote your compact, connected, semisimple Lie group, and let $\mathfrak g$ denote its Lie algebra. Then $$ H^1(G;\mathbb R) = H^1(\mathfrak g;\mathbb R) = \text{Hom}_{\mathbb R} (\mathfrak g/[\mathfrak g, \mathfrak g], \mathbb R) = 0, $$
whence $H_1(G;\mathbb Z)$ is finite. But $\pi_1(G)$ is abelian hence is isomorphic to $H_1(G;\mathbb Z)$. QED.
