 a root, if $\mathfrak g_\alpha\neq\{0\}$; the set of all roots is denoted by $\Delta$. Moreover, $\mathfrak g_0$ is $\sigma$-stable and inherits the structure of symmetric pair, whence $\mathfrak g_0=\mathfrak k_0\oplus\mathfrak p_0$ its Cartan decomposition. Finally, for a root $\alpha$ in $\Delta$, $\sigma(\mathfrak g_\alpha)=\mathfrak g_{-\alpha}$, whence $\mathfrak g$ admits a triangular decomposition $\mathfrak g=\mathfrak n_-\oplus\mathfrak g_0\oplus\mathfrak n_+$, where $\mathfrak n_\pm$ denotes the direct sum of all root spaces associated to positive/negative roots.

From the triangular decomposition follows the generalized Iwasawa decomposition $\mathfrak g=\mathfrak k\oplus\mathfrak p_0\oplus \mathfrak n_+$: in fact, see also [@Dix Proposition 1.13.11], $\mathfrak g=\mathfrak k+\mathfrak p_0+\mathfrak n_+$ directly from the previous triangular decomposition. Namely, a general element $x$ of $\mathfrak g$ can be (uniquely) written as $x=x_-+k_0+p_0+x_+$, with $x_\pm$ in $\mathfrak n_\pm$, $k_0$ in $\mathfrak k_0$ and $p_0$ in $\mathfrak p_0$. Then, $x_-=(x_-+\sigma(x_-))-\sigma(x_-)$, and obviously $x_-+\sigma(x_-)$ belongs to $\mathfrak k$, while $\sigma(x_-)$ is in $\mathfrak n_+$, whence the first claim follows. Now, we assume $k+p_0+x_+=0$: then, $\sigma(k+p_0+x_+)=k-p_0+\sigma(x_+)=0$, whence $2p_0+x_+-\sigma(x_+)=0$. From the triangular decomposition of $\mathfrak g$ follows automatically $p_0=x_+=0$, and thus also $k=0$. The relations for the triangular decomposition of $\mathfrak g$ imply that $\mathfrak k_0\oplus \mathfrak n_+$ is a Lie subalgebra of $\mathfrak g$, and thus is $(\mathfrak k_0\oplus\mathfrak n_+)^\perp$ a coisotropic submanifold of $\mathfrak g^*$.

\[p
a root, if $ \mathfrak g_\alpha\neq\{0\}$; the set of all roots is denoted by $ \Delta$. furthermore, $ \mathfrak g_0 $ is $ \sigma$-stable and inherit the structure of symmetric couple, whence $ \mathfrak g_0=\mathfrak k_0\oplus\mathfrak p_0 $ its Cartan decomposition. last, for a root $ \alpha$ in $ \Delta$, $ \sigma(\mathfrak g_\alpha)=\mathfrak g_{-\alpha}$, whence $ \mathfrak g$ admits a triangular decay $ \mathfrak g=\mathfrak n_-\oplus\mathfrak g_0\oplus\mathfrak n_+$, where $ \mathfrak n_\pm$ denote the direct sum of all root spaces consociate to positive / negative etymon. 

 From the triangular decomposition follows the generalized Iwasawa decomposition $ \mathfrak g=\mathfrak k\oplus\mathfrak p_0\oplus \mathfrak n_+$: in fact, see also   [ @Dix Proposition 1.13.11 ], $ \mathfrak g=\mathfrak k+\mathfrak p_0+\mathfrak n_+$ immediately from the previous triangular decomposition. Namely, a general component $ x$ of $ \mathfrak g$ can be (uniquely) written as $ x = x_-+k_0+p_0+x_+$, with $ x_\pm$ in $ \mathfrak n_\pm$, $ k_0 $ in $ \mathfrak k_0 $ and $ p_0 $ in $ \mathfrak p_0$. Then, $ x_-=(x_-+\sigma(x_-))-\sigma(x_-)$, and obviously $ x_-+\sigma(x_-)$ belong to $ \mathfrak k$, while $ \sigma(x_-)$ is in $ \mathfrak n_+$, whence the first title follows. Now, we assume $ k+p_0+x_+=0 $: then, $ \sigma(k+p_0+x_+)=k - p_0+\sigma(x_+)=0 $, whence $ 2p_0+x_+-\sigma(x_+)=0$. From the triangular decomposition of $ \mathfrak g$ follows mechanically $ p_0 = x_+=0 $, and thus also $ k=0$. The relations for the triangular decomposition of $ \mathfrak g$ imply that $ \mathfrak k_0\oplus \mathfrak n_+$ is a Lie subalgebra of $ \mathfrak g$, and thus is $ (\mathfrak k_0\oplus\mathfrak n_+)^\perp$ a coisotropic submanifold of $ \mathfrak g^*$. 

 \[p
 a goot, if $\mathfrak g_\alpha\ntq\{0\}$; the set of all roots ms denofed by $\Ddlta$. Moreover, $\mathfrak g_0$ is $\ditma$-stqble and inherits the rtructure of symmwtrir pair, whence $\mavgfrak g_0=\mathfrzn k_0\o'lns\mathfrak p_0$ itx Cartan dacomposition. Fhnxlpy, for a root $\alpha$ in $\Delta$, $\sigma(\mwthfrak g_\wlpha)=\mathfrak d_{-\alpnw}$, whsnce $\mathfrak g$ admits a triangulad decomkosition $\mathfrak b=\mathfrak n_-\oplus\mathfrak g_0\lplud\mathfrak n_+$, where $\lathfrak n_\pn$ degites the dirdct sum of all root spzces associated to positive/negagive xoots.

From tye trldngular decimposption follows the genaralizec Iwasawa decokpovituon $\mathfrak g=\mathfran k\oplus\mathfrak p_0\jplus \matvfxak n_+$: in fact, see alsi [@Dux Prmposhtiov 1.13.11], $\mxthrrek f=\mathfgak k+\mathfrak p_0+\mathfrak b_+$ directly from the pwvfious trianghlar dqcjmposition. Namely, a general element $x$ ox $\mzthfrak g$ can be (uniqueoy) written as $x=x_-+k_0+p_0+x_+$, wlth $x_\pm$ ig $\mathfrak n_\pm$, $k_0$ in $\mathfrak k_0$ and $p_0$ in $\mathfrak [_0$. Thei, $b_-=(x_-+\snnix(z_-))-\slgma(x_-)$, and obviously $x_-+\sigma(x_-)$ belongs to $\mathfrwi l$, ehile $\sigma(x_-)$ if in $\mathfrsk n_+$, rhence the fitst clanj rollows. Now, we asskme $k+p_0+x_+=0$: then, $\sigma(k+p_0+x_+)=h-p_0+\sibma(x_+)=0$, whence $2p_0+x_+-\sigma(x_+)=0$. From tye triangulag dexomposition of $\matkfrak g$ folluws sutomstically $p_0=x_+=0$, and thus alro $k=0$. The relatilns for tgd triangular decumppshtion of $\mathfrak g$ imply ehat $\mathhrak l_0\oplus \oathgrak n_+$ is a Lie dubalnabra of $\mathfrak g$, and jhus iv $(\mathfrak k_0\oplus\mathfrak n_+)^\perp$ a coisotropic submanifokd of $\mathfrah g^*$.

\[p
a root, if $\mathfrak g_\alpha\neq\{0\}$; the set roots denoted by Moreover, $\mathfrak g_0$ structure symmetric pair, whence g_0=\mathfrak k_0\oplus\mathfrak p_0$ Cartan decomposition. Finally, for a root in $\Delta$, $\sigma(\mathfrak g_\alpha)=\mathfrak g_{-\alpha}$, whence $\mathfrak g$ admits a triangular decomposition $\mathfrak n_-\oplus\mathfrak g_0\oplus\mathfrak n_+$, where $\mathfrak n_\pm$ denotes the direct sum of all root associated positive/negative From triangular decomposition follows the generalized Iwasawa decomposition $\mathfrak g=\mathfrak k\oplus\mathfrak p_0\oplus \mathfrak n_+$: in fact, see [@Dix Proposition 1.13.11], $\mathfrak g=\mathfrak k+\mathfrak p_0+\mathfrak n_+$ from the previous triangular Namely, a general element $x$ $\mathfrak can be written $x=x_-+k_0+p_0+x_+$, $x_\pm$ in $\mathfrak $k_0$ in $\mathfrak k_0$ and $p_0$ in $\mathfrak p_0$. Then, $x_-=(x_-+\sigma(x_-))-\sigma(x_-)$, and obviously $x_-+\sigma(x_-)$ belongs to $\mathfrak while $\sigma(x_-)$ $\mathfrak n_+$, the claim Now, we assume $\sigma(k+p_0+x_+)=k-p_0+\sigma(x_+)=0$, whence $2p_0+x_+-\sigma(x_+)=0$. From the triangular g$ follows automatically $p_0=x_+=0$, and thus also $k=0$. relations for triangular decomposition of $\mathfrak g$ imply $\mathfrak k_0\oplus \mathfrak n_+$ is a Lie subalgebra $\mathfrak g$, and thus is $(\mathfrak k_0\oplus\mathfrak n_+)^\perp$ a coisotropic submanifold of $\mathfrak g^*$. \[p
 a root, if $\mathfrak g_\alpha\neq\{0\}$; tHe set of all Roots Is dEnoTeD by $\DElta$. moreover, $\mathfrAK g_0$ is $\Sigma$-stable and inherits The stRuCTure OF sYmmetRic pair, WHeNCE $\maThFrAk g_0=\MaTHfRak k_0\oPluS\mathfrAk p_0$ its CartAn dEcOmposition. FiNAlLy, for a root $\AlpHa$ in $\Delta$, $\sigMa(\mAthfraK g_\AlpHA)=\mathFraK g_{-\alpHa}$, whenCE $\mathfRak g$ admitS a TRianguLAr decomPOSiTion $\Mathfrak g=\mathfrak N_-\OpLUs\mathfrak g_0\oplUs\mathFrAK n_+$, WHEre $\MatHfrak n_\pm$ deNoTes thE Direct sUM oF ALL roOT spaces associAted to positIVe/nEgativE rOotS.

from thE triaNgULar DecompositiOn foLlows the gEneralIZed IwasAWa decomPositiOn $\mAthFrak G=\MaThFraK k\OPluS\MaThfRAk p_0\Oplus \matHfRaK n_+$: in fAct, sEE ALSo [@DiX PrOposItion 1.13.11], $\Mathfrak g=\mathFraK k+\maTHfrAk p_0+\maThfraK n_+$ diReCtly fRom the PreviOuS triangular decoMposItion. NameLy, a GeNerAl ElemeNT $x$ of $\maThfRak G$ can be (uNiquely) WRitTeN AS $X=x_-+K_0+p_0+x_+$, with $x_\pm$ in $\mathfrAk N_\PM$, $k_0$ In $\mathfrAk k_0$ and $P_0$ In $\MaTHfrak p_0$. ThEn, $X_-=(x_-+\sIgma(X_-))-\SIgma(x_-)$, And oBViOusly $x_-+\siGma(x_-)$ beLOnGs To $\mathfRaK k$, whilE $\sIgmA(x_-)$ iS in $\maTHfraK n_+$, whenCe the firSt claIM follows. Now, we aSSume $k+p_0+x_+=0$: then, $\siGMa(K+P_0+X_+)=k-P_0+\SigmA(x_+)=0$, wHence $2p_0+x_+-\sigmA(x_+)=0$. FrOM the TriaNGuLar DEcompOsitiOn OF $\mAThfrak g$ follows automAtIcally $P_0=x_+=0$, and Thus also $k=0$. The rElations foR THE trianguLar dECoMPosition of $\mathFrak g$ Imply that $\mAThfrak k_0\oPlus \mAthfrak n_+$ Is a Lie subALGebra of $\mAthFraK g$, aNd tHUS iS $(\mathfrak k_0\oplUS\MathFrAk n_+)^\perp$ A coIsotropIc sUbmAniFolD oF $\mathfrak G^*$.

\[p
 a root, if $\mathfrak g_\ alpha\neq\ {0\}$ ; t hese t of  all  roots is deno t ed b y $\Delta$. Moreover,$\mat hf r ak g _ 0$  is $ \sigma$ - st a b lean dinh er i ts  thestr uctureof symmetr icpa ir, whence $ \ ma thfrak g_0 =\m athfrak k_0\ opl us\mat hf rak p_0$its  Cart an dec o mposit ion. Fina ll y , fora  root $ \ a lp ha$in $\Delta$, $\si g ma ( \mathfrak g_\a lpha)= \m a th f r akg_{ -\alpha}$,  w hence $\mathf r ak g $  ad m its a triangu lar decompo s iti on $\m at hfr a k g=\m athfr ak n_- \oplus\math frak  g_0\oplu s\math f rak n_+ $ , where  $\mat hfr akn_\p m $de not es the di rec t  su m of all  r oo t spa cesa s s o ciat edto p ositi ve/negative r oot s.
F rom  thetrian gula rdecom positi on fo ll ows the general ized  Iwasawadec om pos it ion $ \ mathfr akg=\ mathfra k k\opl u s\m at h f r ak  p_0\oplus \mathfr ak n _+ $: in fa ct, se e  a ls o  [@Dix P ro pos itio n 1.13. 11], $\ mathfrak  g=\ma t hf ra k k+\ma th frak p _0 +\m ath frakn _+$direct ly fromthe p r evious triangu l ar decomposit i on . Na m ely,  ageneral ele ment $x$of $ \ ma thf r ak g$  canbe (u n iquely) written as$x =x_-+k _0+p_ 0+x_+$, with$x_\pm$ in $ \ mathfrak  n_\ p m$ ,  $k_0$ in $\ma thfra k k_0$ and $p_0$ in  $\ma thfrak p _0$. Then , $x_-=(x_ -+\ sig ma( x_- ) ) -\ sigma(x_-)$,a n d ob vi ously $ x_- +\sigma (x_ -)$  be lon gs  to $\mat hfrak k$ ,wh il e$\s igma( x _-)$ isin  $\ ma thf rak n _ +$, wh encethefi rs t  cl aim fol l ow s .  Now ,we  ass ume  $ k+p_0 +x_+ = 0$:  then,$\sigma(k +p_ 0 +x_+ )= k- p_0+\si gma(x_+)=0$,wh ence $2p_0 +x _+- \sigma ( x _+)=0$.From the triangular dec o mpositi onof $\ math frak g$ f oll ows au tom a ticall y $p_0 =x_+= 0$ , a n d  thus a ls o $ k= 0$. The re l a tio ns fo rthetriangu lar decompositiono f $ \mathfrak g$imp ly t h a t$\m a th f rak  k _ 0\o p l us \mathfrak n_ +$ is a Li es ub algebra of $\m at hfrak g $, andthusi s $(\ma thfrak k_ 0\oplus\m at hfra k n_+ )^\perp$ a  coisotr opic subm a nifol d  o f $\m ath frak g ^* $.
\[p
 a_root, if_$\mathfrak g_\alpha\neq\{0\}$; the set_of all_roots_is denoted_by_$\Delta$. Moreover, $\mathfrak_g_0$ is $\sigma$-stable_and inherits the structure_of symmetric pair,_whence_$\mathfrak g_0=\mathfrak k_0\oplus\mathfrak p_0$ its Cartan decomposition. Finally, for a root $\alpha$ in $\Delta$,_$\sigma(\mathfrak_g_\alpha)=\mathfrak g_{-\alpha}$,_whence_$\mathfrak_g$ admits a triangular decomposition_$\mathfrak g=\mathfrak n_-\oplus\mathfrak g_0\oplus\mathfrak n_+$,_where $\mathfrak_n_\pm$ denotes the direct sum of all root_spaces_associated to positive/negative_roots.

From the triangular decomposition follows the generalized Iwasawa decomposition_$\mathfrak g=\mathfrak k\oplus\mathfrak p_0\oplus \mathfrak n_+$:_in fact, see_also [@Dix_Proposition_1.13.11], $\mathfrak g=\mathfrak k+\mathfrak_p_0+\mathfrak n_+$ directly from the previous_triangular decomposition. Namely, a general element_$x$ of $\mathfrak g$ can be (uniquely)_written as $x=x_-+k_0+p_0+x_+$, with $x_\pm$ in_$\mathfrak n_\pm$, $k_0$ in $\mathfrak_k_0$ and_$p_0$ in $\mathfrak p_0$. Then,_$x_-=(x_-+\sigma(x_-))-\sigma(x_-)$, and obviously_$x_-+\sigma(x_-)$ belongs_to $\mathfrak k$,_while $\sigma(x_-)$ is in $\mathfrak n_+$,_whence the first_claim follows. Now, we assume $k+p_0+x_+=0$:_then,_$\sigma(k+p_0+x_+)=k-p_0+\sigma(x_+)=0$, whence $2p_0+x_+-\sigma(x_+)=0$._From_the_triangular decomposition_of $\mathfrak g$_follows_automatically $p_0=x_+=0$,_and_thus also $k=0$. The relations for_the_triangular decomposition of $\mathfrak g$ imply that_$\mathfrak k_0\oplus \mathfrak n_+$_is_a Lie subalgebra of_$\mathfrak g$, and thus is_$(\mathfrak k_0\oplus\mathfrak n_+)^\perp$ a coisotropic submanifold_of $\mathfrak_g^*$.

\[p