A compact connected solvable Lie group is a torus I am looking for the proof of the following statement.

A compact connected solvable Lie group of dimension $n\geq 1$ is a torus, i.e., it isomorphic to the product of $n$ copies of $S^1$.

A search with Google revealed that pages 51-52 of "Lie Groups and Lie Algebras III: Structure of Lie Groups and Lie Algebras" (A.L. Onishchik) deal with this problem but the proofs are not very detailed and I'm not an expert.
Thanks,
Gis

@Gis: I would like to add to Tim's answer the following:


*

*The lie algebra $\mathfrak{g}$ admits a bi-invariant scalar product $<\,,>$, i.e. the adjoint action $\mathrm{ad}_x$ is antisymetric $\forall x\in\mathfrak{g}$ (since $G$ is compact, it admits a bi-invariant riemannian metric).

*$\mathfrak{g}=\mathfrak{Z}(\mathfrak{g})\oplus D(\mathfrak{g})$, where $\mathfrak{Z}(\mathfrak{g})$ is the center and $D(\mathfrak{g})=\mathfrak{Z}(\mathfrak{g})^\perp$ is the derived ideal.

*The restriction of the Killing form on $D(\mathfrak{g})$ is definite negative https://math.stackexchange.com/a/59193/14409. In particular it's semi-simple.

*Since $\mathfrak{g}$ is solvable, its semi-simple part $D(\mathfrak{g})$ must be zero. So $\mathfrak{g}$ is abelian and also $G$.

*The exponontial map $\exp : \mathfrak{g}\to G$ is surjective and since it's a local diffeomorphism its kernel is discrete (isomorphic to $\mathbb{Z}^n$) so $G\simeq \mathfrak{g}/\mathbb{Z}^n\simeq\mathbb{R}^n/\mathbb{Z}^n$.
P.S: Sorry for my bad English!
