 the normalizer of $T$ in $G$. An element $\sigma\in
Aut(\mathfrak{g},\mathfrak{t})$ induces a symmetry of $\Phi$, and we denote the resulting group homomorphism by $$\tau: Aut(\mathfrak{g},\mathfrak{t}){\longrightarrow}Aut(\Phi), \ \sigma\mapsto (\sigma^{-1}_{|\mathfrak{t}})^*.$$

Recall also that the **Weyl group** of $\Phi$, denoted by $W\subset Aut(\Phi)$, is the group generated by the symmetries $s_{\alpha}$ (defined in (\[EQ\_symmetries\])), for $\alpha\in \Phi$.

For the following lemma see Theorem 7.8 [@Knapp] and section 3.15 [@DK].

\[Lemma\_3\] The map $\tau:Aut(\mathfrak{g},\mathfrak{t})\to Aut(\Phi)$ is surjective, and $$\tau^{-1}(W)=Ad(N_G(T))\subset
Aut(\mathfrak{g},\mathfrak{t}).$$ Therefore, $\tau$ induces an isomorphism between the groups $$Out(\mathfrak{g})\cong Aut(\Phi)/W.$$

If $\mathfrak{c}\subset \mathfrak{t}^*$ is an open Weyl chamber, then $Aut(\Phi)=Aut(\Phi,\mathfrak{c})\ltimes W$, where $$Aut(\Phi,\mathfrak{c}):=\{f\in Aut(\Phi)| f(i\mathfrak{c})=i\mathfrak{c}\}.$$ Moreover, $Aut(\Phi,\mathfrak{c})$ (hence also $Out(\mathfrak{g})$) is isomorphic to the symmetry group of the Dynkin diagram of $\Phi$.

The last part of the lemma allows us to compute $Out(\mathfrak{g})$ for all semisimple compact Lie algebras. First, it is enough to consider simple Lie algebras, since, if $\mathfrak{g}$ decomposes into simple components as $n_1\mathfrak{s}_1\oplus \ldots \oplus n_k \mathfrak{s}_k$, then $$Out(\mathfrak{g})\cong S_{n_1}\ltimes
Out(\mathfrak{s}_1)^{n_1}\times\ldots \times S_{n_k}\ltimes Out(\mathfrak{s}_k)^{n_k}.$$ Further, for the simple Lie algebras, a glimpse at their Dynkin diagrams reveals that the only ones with nontrivial outer automorphism group are:
the normalizer of $ T$ in $ G$. An element $ \sigma\in 
 Aut(\mathfrak{g},\mathfrak{t})$ induces a symmetry of $ \Phi$, and we denote the result group homomorphism by $ $ \tau: Aut(\mathfrak{g},\mathfrak{t}){\longrightarrow}Aut(\Phi), \ \sigma\mapsto (\sigma^{-1}_{|\mathfrak{t}})^*.$$ 

 Recall besides that the * * Weyl group * * of $ \Phi$, denoted by $ W\subset Aut(\Phi)$, is the group generated by the isotropy $ s_{\alpha}$ (define in (\[EQ\_symmetries\ ]) ), for $ \alpha\in \Phi$. 

 For the following lemma see Theorem 7.8 [ @Knapp ] and part 3.15 [ @DK ]. 

 \[Lemma\_3\ ] The map $ \tau: Aut(\mathfrak{g},\mathfrak{t})\to Aut(\Phi)$ is surjective, and $ $ \tau^{-1}(W)=Ad(N_G(T))\subset 
 Aut(\mathfrak{g},\mathfrak{t}).$$ Therefore, $ \tau$ induces an isomorphism between the group $ $ Out(\mathfrak{g})\cong Aut(\Phi)/W.$$ 

 If $ \mathfrak{c}\subset \mathfrak{t}^*$ is an open Weyl chamber, then $ Aut(\Phi)=Aut(\Phi,\mathfrak{c})\ltimes W$, where $ $ Aut(\Phi,\mathfrak{c}):=\{f\in Aut(\Phi)| f(i\mathfrak{c})=i\mathfrak{c}\}.$$ furthermore, $ Aut(\Phi,\mathfrak{c})$ (hence also $ Out(\mathfrak{g})$) is isomorphic to the symmetry group of the Dynkin diagram of $ \Phi$. 

 The final part of the lemma allows us to compute $ Out(\mathfrak{g})$ for all semisimple compact Lie algebras. foremost, it is enough to consider simple Lie algebra, since, if $ \mathfrak{g}$ decomposes into simple components as $ n_1\mathfrak{s}_1\oplus \ldots \oplus n_k \mathfrak{s}_k$, then $ $ Out(\mathfrak{g})\cong S_{n_1}\ltimes 
 Out(\mathfrak{s}_1)^{n_1}\times\ldots \times S_{n_k}\ltimes Out(\mathfrak{s}_k)^{n_k}.$$ Further, for the simple Lie algebras, a glance at their Dynkin diagrams unwrap that the only ones with nontrivial outer automorphism group are:
 thf normalizer of $T$ in $G$. Ak element $\sigma\iu
Qut(\matifrak{g},\mzthfrak{t})$ induces a symmetry of $\Phi$, aid ww denite the resulting grouo homomorihism by $$\rau: Eut(\mathfrak{g},\mathhdak{t}){\lonnxightzvrow}Abt(\'hi), \ \sigma\mapstp (\sigma^{-1}_{|\matvfrak{t}})^*.$$

Recall ansu chat the **Weyl group** of $\Phi$, denoted br $W\subsrt Aut(\Phi)$, is the grolp gensgaued by the symmetries $s_{\alpha}$ (defihed in (\[TQ\_symmetries\])), for $\akpha\in \Phi$.

For the followinh lelma see Theorem 7.8 [@Kjapp] and sextiog 3.15 [@DK].

\[Lemma\_3\] Thd map $\tau:Alc(\mathfrak{g},\mzthfrak{t})\to Aut(\Phi)$ is surjective, and $$\cau^{-1}(W)=Ad(N_G(T))\suvswt
Akj(\mathfrak{g},\mavhfrak{n}).$$ Therefore, $\tau$ inducas an ixomorphism beteeei thw groups $$Out(\mathfrak{g})\rong Aut(\Phi)/W.$$

If $\mathftak{c}\subset \mcthfrak{t}^*$ is an open Wwyo chakber, thev $Aug(\Phj)=Ant(\Pgi,\mathvrai{c})\ltimes W$, where $$Aut(\Pyi,\mathfrak{c}):=\{f\in Aut(\Pni)| d(i\mathfrak{c})=i\mzthfrah{c}\}.$$ Moreover, $Aut(\Phi,\mathfrak{c})$ (hence also $Ouu(\mathrrak{g})$) is isomorphic to rhe symmetry group of the Dynkyn diagram of $\Phi$.

The last part of the lemma allowv us vo conpmte $Uyt(\lathfrak{g})$ for all semisimple compact Lie algefdax. Nirst, it is enounh to consider simllf Kye algebras, sknce, iy $\mzthfrak{g}$ decomposed into fimplw componegts ss $n_1\mathfrak{s}_1\oplus \ldots \opous n_k \mathfgak{s}_j$, then $$Out(\mathfrak{y})\cong S_{n_1}\ltimzs
Out(\msthfrsk{s}_1)^{n_1}\times\ldots \times S_{n_y}\ltijes Out(\mathvrak{s}_k)^{n_k}.$$ Rjrther, for the skmpke Lie algtcras, a glimpse at their Dyikin biagrams revgals thwt the onlj ones with nontrivial okter cutommrphism grlup are:
the normalizer of $T$ in $G$. An Aut(\mathfrak{g},\mathfrak{t})$ a symmetry $\Phi$, and we by Aut(\mathfrak{g},\mathfrak{t}){\longrightarrow}Aut(\Phi), \ \sigma\mapsto Recall also that **Weyl group** of $\Phi$, denoted by Aut(\Phi)$, is the group generated by the symmetries $s_{\alpha}$ (defined in (\[EQ\_symmetries\])), for \Phi$. For the following lemma see Theorem 7.8 [@Knapp] and section 3.15 [@DK]. The $\tau:Aut(\mathfrak{g},\mathfrak{t})\to is and $$\tau^{-1}(W)=Ad(N_G(T))\subset Aut(\mathfrak{g},\mathfrak{t}).$$ Therefore, $\tau$ induces an isomorphism between the groups $$Out(\mathfrak{g})\cong Aut(\Phi)/W.$$ If $\mathfrak{c}\subset \mathfrak{t}^*$ an open Weyl chamber, then $Aut(\Phi)=Aut(\Phi,\mathfrak{c})\ltimes W$, where Aut(\Phi)| f(i\mathfrak{c})=i\mathfrak{c}\}.$$ Moreover, $Aut(\Phi,\mathfrak{c})$ also $Out(\mathfrak{g})$) is isomorphic to symmetry of the diagram $\Phi$. last part of lemma allows us to compute $Out(\mathfrak{g})$ for all semisimple compact Lie algebras. First, it is enough to simple Lie if $\mathfrak{g}$ into components $n_1\mathfrak{s}_1\oplus \ldots \oplus then $$Out(\mathfrak{g})\cong S_{n_1}\ltimes Out(\mathfrak{s}_1)^{n_1}\times\ldots \times S_{n_k}\ltimes the simple Lie algebras, a glimpse at their diagrams reveals the only ones with nontrivial outer group are:
 the normalizer of $T$ in $G$. An elemEnt $\sigma\in
aut(\maThfRak{G},\mAthfRak{t})$ Induces a symmetRY of $\PHi$, and we denote the resultIng grOuP HomoMOrPhism By $$\tau: AuT(\MaTHFraK{g},\MaThfRaK{T}){\lOngriGhtArrow}AuT(\Phi), \ \sigma\mApsTo (\Sigma^{-1}_{|\mathfraK{T}})^*.$$

REcall also tHat The **Weyl group** Of $\PHi$, denoTeD by $w\SubseT AuT(\Phi)$, iS the grOUp geneRated by thE sYMmetriES $s_{\alpha}$ (DEFiNed iN (\[EQ\_symmetries\])), for $\aLPhA\In \Phi$.

For the folLowing LeMMa SEE ThEorEm 7.8 [@Knapp] and SeCtion 3.15 [@dk].

\[Lemma\_3\] THE mAP $\TAu:AUT(\mathfrak{g},\matHfrak{t})\to Aut(\pHi)$ iS surjeCtIve, ANd $$\tau^{-1}(W)=ad(N_G(T))\SuBSet
aut(\mathfrak{G},\matHfrak{t}).$$ TheRefore, $\TAu$ inducES an isomOrphisM beTweEn thE GrOuPs $$OUt(\MAthFRaK{g})\cONg AUt(\Phi)/W.$$

If $\MaThFrak{c}\SubsET \MAThfrAk{t}^*$ Is an Open WEyl chamber, theN $AuT(\Phi)=aUt(\PHi,\matHfrak{C})\ltiMeS W$, wheRe $$Aut(\PHi,\matHfRak{c}):=\{f\in Aut(\Phi)| f(i\MathFrak{c})=i\matHfrAk{C}\}.$$ MoReOver, $AUT(\Phi,\maThfRak{C})$ (hence aLso $Out(\mAThfRaK{G})$) IS iSomorphic to the symmEtRY GrOup of the dynkin DIaGrAM of $\Phi$.

ThE lAst Part OF The leMma aLLoWs us to coMpute $OUT(\mAtHfrak{g})$ fOr All semIsImpLe cOmpacT lie aLgebraS. First, it Is enoUGh to consider siMPle Lie algebraS, SiNCE, iF $\MathFraK{g}$ decomposeS intO SimpLe coMPoNenTS as $n_1\mAthfrAk{S}_1\OpLUs \ldots \oplus n_k \mathfRaK{s}_k$, theN $$Out(\mAthfrak{g})\cong S_{N_1}\ltimes
Out(\MATHfrak{s}_1)^{n_1}\tImes\LDoTS \times S_{n_k}\ltimeS Out(\mAthfrak{s}_k)^{n_K}.$$ further, fOr the Simple LiE algebras, A GLimpse at TheIr DYnkIn dIAGrAms reveals thaT THe onLy Ones witH noNtriviaL ouTer AutOmoRpHism group Are:
 the normalizer of $T$ in$G$. An el ement  $\ sig ma \inAut( \mathfrak{g},\ m athf rak{t})$ induces a sym metry  o f  $\P h i$ , and  we den o te t here su lti ng gr oup h omo morphis m by $$\ta u:Au t(\mathfrak{ g }, \mathfrak{ t}) {\longrighta rro w}Aut( \P hi) ,  \ \s igm a\map sto (\ s igma^{ -1}_{|\ma th f rak{t} } )^*.$$R ec allalso that the **W e yl group** of $\P hi$, d en o te d by$W\ subset Aut (\ Phi)$ ,  is the gr o u p  ge n erated by the  symmetries $s_ {\alph a} $ ( d efined  in ( \[ E Q\_ symmetries\ ])),  for $\al pha\in \Phi$.For the  follo win g l emma se eThe or e m 7 . 8[@K n app ] and se ct io n 3.1 5 [@ D K ] . 

\[ Lem ma\_ 3\] T he map $\tau: Aut (\ma t hfr ak{g} ,\mat hfra k{ t})\t o Aut( \Phi) $is surjective,and$$\tau^{- 1}( W) =Ad (N _G(T) ) \subse t
A ut( \mathfr ak{g},\ m ath fr a k { t} ).$$ Therefore, $\ ta u $  i nduces a n isom o rp hi s m betwee nthe  gro u p s $$O ut(\ m at hfrak{g} )\cong Au t( \Phi)/W .$ $

If$\ mat hfr ak{c} \ subs et \ma thfrak{t }^*$i s an open Weyl chamber, then $A u t (\ P hi)= Aut (\Phi,\math frak { c})\ ltim e sW$, where  $$Au t( \ Ph i ,\mathfrak{c}):=\{f \i n Aut( \Phi) | f(i\mathfra k{c})=i\ma t h f rak{c}\} .$$M or e over, $Aut(\Ph i,\ma thfrak{c}) $  (hencealso$Out(\ma thfrak{g} ) $ ) is iso mor phi c t o t h e  s ymmetry group o f th eDynkindia gram of  $\ Phi $.
Th elast part  of thele mm aal low s ust o comput e$Ou t( \ma thfra k {g})$for a ll s em is i mpl e compa c tL i e al ge br as.Fir st , itis e n oug h to co nsider si mpl e  Lie  a lg ebras,since, if $\m at hfrak{g}$de com posesi n to simpl e components as $n_1\ma t hfrak{s }_1 \oplu s \l dots \opl usn_k \m ath f rak{s} _k$, t hen $ $O ut( \ m athfr a k {g })\ co ng S_{n_1} \ l tim es
Ou t( \mat hfrak{s }_1)^{n_1}\times\l d ots  \times S_{n_ k}\ ltim e s  O ut( \ ma t hfr ak { s}_ k ) ^{n_k}.$$ Furth er, for th es im ple Lie al g ebr as , a gli mpse at  thei r  Dynkin  diagrams  revealsth at t h e  on ly ones wi th nontr ivial out e r aut o mo rphis m g roup a re :
 the_normalizer of_$T$ in $G$. An_element $\sigma\in
Aut(\mathfrak{g},\mathfrak{t})$_induces_a symmetry_of_$\Phi$, and we_denote the resulting_group homomorphism by $$\tau:_Aut(\mathfrak{g},\mathfrak{t}){\longrightarrow}Aut(\Phi), \ \sigma\mapsto_(\sigma^{-1}_{|\mathfrak{t}})^*.$$

Recall_also that the **Weyl group** of $\Phi$, denoted by $W\subset Aut(\Phi)$, is the group_generated_by the_symmetries_$s_{\alpha}$_(defined in (\[EQ\_symmetries\])), for $\alpha\in_\Phi$.

For the following lemma see_Theorem 7.8_[@Knapp] and section 3.15 [@DK].

\[Lemma\_3\] The map $\tau:Aut(\mathfrak{g},\mathfrak{t})\to_Aut(\Phi)$_is surjective, and_$$\tau^{-1}(W)=Ad(N_G(T))\subset
Aut(\mathfrak{g},\mathfrak{t}).$$ Therefore, $\tau$ induces an isomorphism between the groups_$$Out(\mathfrak{g})\cong Aut(\Phi)/W.$$

If $\mathfrak{c}\subset \mathfrak{t}^*$ is an_open Weyl chamber,_then_$Aut(\Phi)=Aut(\Phi,\mathfrak{c})\ltimes_W$, where $$Aut(\Phi,\mathfrak{c}):=\{f\in Aut(\Phi)|_f(i\mathfrak{c})=i\mathfrak{c}\}.$$ Moreover, $Aut(\Phi,\mathfrak{c})$ (hence also $Out(\mathfrak{g})$)_is isomorphic to the symmetry group_of the Dynkin diagram of $\Phi$.

The last_part of the lemma allows us_to compute $Out(\mathfrak{g})$ for all_semisimple compact_Lie algebras. First, it is_enough to consider_simple Lie_algebras, since, if_$\mathfrak{g}$ decomposes into simple components as_$n_1\mathfrak{s}_1\oplus \ldots \oplus_n_k \mathfrak{s}_k$, then $$Out(\mathfrak{g})\cong S_{n_1}\ltimes
Out(\mathfrak{s}_1)^{n_1}\times\ldots \times_S_{n_k}\ltimes_Out(\mathfrak{s}_k)^{n_k}.$$ Further, for_the_simple_Lie algebras,_a glimpse at_their_Dynkin diagrams_reveals_that the only ones with nontrivial_outer_automorphism group are: