I'm studying complexifications of compact Lie groups on "Representation of compact Lie groups- Dieck Brocker".


I found on internet that there is a bijection between complexifications of compact Lie groups and complex algebraic linear reductive groups.


In my book they show that given a representation $\ r:G \rightarrow \mathrm{GL}(n,\mathbb C)$ `there is a unique holomorphic representation $\ r\_{\mathbb C} : G\_{\mathbb C} \rightarrow \mathrm{GL}(n,\mathbb C)$ that is also injective.
Then they consider $ \tilde{G}=r\_{\mathbb C}(G\_{\mathbb C})$ and prove that $\tilde{G}$ is homeomorphic to $ \tilde{G} \cap U(n) \times \tilde{G} \cap P(n)$ (through the map $(H,P) \rightarrow HP$). They also prove that $\tilde{G} \cap U(n)$ is a maximal compact subgroup of $\tilde{G}$ and $\tilde{G} \cap P(n)$ is homeomorphic to a Euclidean space of dimension $\dim(G)$. 


My question is: I understand that $\tilde{G}$ is an algebraic linear group but I don't know how to prove that it is reductive (i.e. $G$ reductive if $\mathrm{Rad}\_{\mathrm{u}}(G)$ is trivial, where $\mathrm{Rad}\_{\mathrm{u}}(G)$ is the set of unipotent elements of $\mathrm{Rad}(G)$ with $\mathrm{Rad}(G)$ being the connected component of the unique normal solvable subgroup of $G$).


I would also like to know if the proof of the vice-versa needs a lot of preliminaries (at the moment I only know the definition of reductive group). 


Thank you!



Complexification of compact Lie groups and complex algebraic linear reductive groups
Your first question appears answered in the comments.


With regard to your second question, Maxime Bergeron has a well-written, well-referenced exposition of the characterization of complex reductive affine algebraic groups as complexifications of compact Lie groups titled *Complex reductive algebraic groups* (one can find a copy by searching "complex reductive algebraic groups bergeron").


