 \in \operatorname{\mathsf{Mat}}_{e \times e}({\mathbbm{k}}), B \in \operatorname{\mathsf{Mat}}_{e \times d}({\mathbbm{k}}) \\
   C \in \operatorname{\mathsf{Mat}}_{d \times d}({\mathbbm{k}}) \end{array}
 \; \mbox{and} \;  {\mathsf{tr}}(A) + {\mathsf{tr}}(C) = 0 \right\}.$$ The goal of this section is to prove the following result.

\[T:FrobAlg\] Let $J = J_{(e, d)}$ be the matrix from (\[E:formcanonique\]). Then the pairing $$\label{E:PairingDeFrobenus}
\omega_J: \operatorname{\mathfrak{p}}\times \operatorname{\mathfrak{p}}{\longrightarrow}{\mathbbm{k}}, \quad
(a, b) \mapsto {\mathsf{tr}}\bigl(J^t \cdot [a, b]\bigr)$$ is non-degenerate. In other words, $\operatorname{\mathfrak{p}}$ is a Frobenius Lie algebra and $$\label{E:FrobFunct}
l_J: \operatorname{\mathfrak{p}}\rightarrow {\mathbbm{k}},  \quad a \mapsto {\mathsf{tr}}(J^t \cdot a)$$ is a Frobenius functional on $\operatorname{\mathfrak{p}}$.

In this section, we shall use the following notations and conventions. For a finite dimensional vector space $\operatorname{\mathfrak{w}}$ be denote by $\operatorname{\mathfrak{w}}^*$ the dual vector space. If $\operatorname{\mathfrak{w}}= \operatorname{\mathfrak{w}}_1 \oplus \operatorname{\mathfrak{w}}_2$ then we have a canonical isomorphism $\operatorname{\mathfrak{w}}^* \cong \operatorname{\mathfrak{w}}_1^* \oplus \operatorname{\mathfrak{w}}_2^*$. For a functional $\hat{w}_i \in \operatorname{\mathfrak{w}}_i^*, i = 1, 2$ we denote by the same symbol its *extension by zero* on the whole $\operatorname{\mathfrak{w}}$.

Assume we have the following set-up.

-   $\operatorname{\mathfrak{f}}$ is a finite dimensional Lie algebra.

-   $\operatorname{\mathfrak{l}}\subset \operatorname{\mathfrak{f}}$ is a Lie subalgebra and $\operatorname{\mathfrak{n}}\subset
\in \operatorname{\mathsf{Mat}}_{e \times e}({\mathbbm{k } }), B \in \operatorname{\mathsf{Mat}}_{e \times d}({\mathbbm{k } }) \\ 
    C \in \operatorname{\mathsf{Mat}}_{d \times d}({\mathbbm{k } }) \end{array } 
  \; \mbox{and } \;   { \mathsf{tr}}(A) + { \mathsf{tr}}(C) = 0 \right\}.$$ The goal of this section is to prove the following resultant role. 

 \[T: FrobAlg\ ] lease $ J = J_{(e, d)}$ be the matrix from (\[E: formcanonique\ ]). Then the pairing $ $ \label{E: PairingDeFrobenus } 
 \omega_J: \operatorname{\mathfrak{p}}\times \operatorname{\mathfrak{p}}{\longrightarrow}{\mathbbm{k } }, \quad 
 (a, b) \mapsto { \mathsf{tr}}\bigl(J^t \cdot [ a, b]\bigr)$$ is non - degenerate. In other quarrel, $ \operatorname{\mathfrak{p}}$ is a Frobenius Lie algebra and $ $ \label{E: FrobFunct } 
 l_J: \operatorname{\mathfrak{p}}\rightarrow { \mathbbm{k } },   \quad a \mapsto { \mathsf{tr}}(J^t \cdot a)$$ is a Frobenius functional on $ \operatorname{\mathfrak{p}}$. 

 In this section, we shall use the surveil notations and conventions. For a finite dimensional vector outer space $ \operatorname{\mathfrak{w}}$ be denote by $ \operatorname{\mathfrak{w}}^*$ the dual vector quad. If $ \operatorname{\mathfrak{w}}= \operatorname{\mathfrak{w}}_1 \oplus \operatorname{\mathfrak{w}}_2 $ then we have a canonical isomorphism $ \operatorname{\mathfrak{w}}^ * \cong \operatorname{\mathfrak{w}}_1^ * \oplus \operatorname{\mathfrak{w}}_2^*$. For a running $ \hat{w}_i \in \operatorname{\mathfrak{w}}_i^ *, i = 1, 2 $ we denote by the same symbol its * elongation by zero * on the whole $ \operatorname{\mathfrak{w}}$. 

 Assume we suffer the following set - up. 

 -    $ \operatorname{\mathfrak{f}}$ is a finite dimensional Lie algebra. 

 -    $ \operatorname{\mathfrak{l}}\subset \operatorname{\mathfrak{f}}$ is a Lie subalgebra and $ \operatorname{\mathfrak{n}}\subset
 \in \operatorname{\mathsf{Mat}}_{e \uimes e}({\mathbbm{k}}), B \in \opecatornaje{\mathsf{Oat}}_{e \times d}({\mathbbm{k}}) \\
   C \in \operatirname{\mathsf{Mat}}_{d \times d}({\mathbbm{n}}) \end{arrqy}
 \; \nvox{and} \;  {\mefhsf{tr}}(A) + {\mathan{tr}}(C) = 0 \right\}.$$ The goak of this vection is to [ruvz the following result.

\[T:FrobAlg\] Let $J = J_{(e, d)}$ ne the matrix frjm (\[E:gjrmcznonique\]). Then the pairing $$\label{E:PajringDeHrobenus}
\omega_J: \pperatorname{\mathfrak{p}}\times \opegatorname{\mathfrak{p}}{\pongrightartkw}{\mwrhbbm{k}}, \quad
(a, b) \mapsto {\mathsf{tr}}\bigl(N^t \cdot [a, b]\bigr)$$ is non-degeneratd. In pther wordw, $\ipegdtorname{\matifrak{p}}$ is a Frobenlls Lie dlgebra and $$\label{E:FronFuncv}
l_J: \iperatorname{\mathfrak{p}}\cightarrow {\mathbbm{k}},  \quad a \mdpato {\mathsf{tr}}(J^t \cdit a)$$ is a Fsobevuus fuhcviohal on $\opxratorname{\mzthfrak{p}}$.

In rhis section, we shakl lxe the follosing njtwtions and conventions. For a finite dimtnsiohal vector space $\operatirname{\mathfrak{w}}$ be dejote by $\o[eratorname{\mathfrak{w}}^*$ the dual vector space. If $\opesatoriaoe{\mcbmfray{q}}= \lperatorname{\mathfrak{w}}_1 \oplus \operatorname{\mathfwzk{e}}_2$ nhen we have a cakonical isomorphisk $\lprtatorname{\mathftak{w}}^* \couf \kperatorname{\mathfrwk{w}}_1^* \oplos \opeeatorname{\iathgrak{w}}_2^*$. For a functional $\hat{w}_u \in \operatognamw{\mathfrak{w}}_i^*, i = 1, 2$ wz denote by che sake sykbol its *extension by zzro* on the whole $\lperatornzoe{\mathfrak{w}}$.

Assumd wv haee the following set-up.

-   $\o[eratornane{\machfrak{f}}$ ks a finitq dimensiojal Lla algebra.

-   $\operatlrnamg{\mathfsak{l}}\subset \operatorname{\mathfrak{f}}$ is a Lie subalgebra anc $\mpegatorname{\iathfvak{n}}\subset
\in \operatorname{\mathsf{Mat}}_{e \times e}({\mathbbm{k}}), B \in \operatorname{\mathsf{Mat}}_{e \\ \in \operatorname{\mathsf{Mat}}_{d d}({\mathbbm{k}}) \end{array} \; = \right\}.$$ The goal this section is prove the following result. \[T:FrobAlg\] Let = J_{(e, d)}$ be the matrix from (\[E:formcanonique\]). Then the pairing $$\label{E:PairingDeFrobenus} \omega_J: \operatorname{\mathfrak{p}}{\longrightarrow}{\mathbbm{k}}, \quad (a, b) \mapsto {\mathsf{tr}}\bigl(J^t \cdot [a, b]\bigr)$$ is non-degenerate. In other $\operatorname{\mathfrak{p}}$ a Lie and $$\label{E:FrobFunct} l_J: \operatorname{\mathfrak{p}}\rightarrow {\mathbbm{k}}, \quad a \mapsto {\mathsf{tr}}(J^t \cdot a)$$ is a Frobenius functional on In this section, we shall use the following and conventions. For a dimensional vector space $\operatorname{\mathfrak{w}}$ be by the dual space. $\operatorname{\mathfrak{w}}= \oplus \operatorname{\mathfrak{w}}_2$ then have a canonical isomorphism $\operatorname{\mathfrak{w}}^* \cong \operatorname{\mathfrak{w}}_1^* \oplus \operatorname{\mathfrak{w}}_2^*$. For a functional $\hat{w}_i \in \operatorname{\mathfrak{w}}_i^*, i = 2$ we the same its by on the whole we have the following set-up. - finite dimensional Lie algebra. - $\operatorname{\mathfrak{l}}\subset \operatorname{\mathfrak{f}}$ is Lie subalgebra $\operatorname{\mathfrak{n}}\subset
 \in \operatorname{\mathsf{Mat}}_{e \tImes e}({\mathbBm{k}}), B \iN \opEraToRnamE{\matHsf{Mat}}_{e \times d}({\mAThbbM{k}}) \\
   C \in \operatorname{\mathsF{Mat}}_{d \TiMEs d}({\mAThBbm{k}}) \eNd{array}
 \; \MBoX{ANd} \;  {\mAtHsF{tr}}(a) + {\mAThSf{tr}}(C) = 0 \RigHt\}.$$ The goAl of this seCtiOn Is to prove the FOlLowing resuLt.

\[T:frobAlg\] Let $J = J_{(E, d)}$ bE the maTrIx fROm (\[E:foRmcAnoniQue\]). TheN The paiRing $$\label{e:PAIringDEfrobenuS}
\OMeGa_J: \oPeratorname{\mathfrAK{p}}\TImes \operatornaMe{\mathFrAK{p}}{\LONgrIghTarrow}{\mathBbM{k}}, \quaD
(A, b) \mapstO {\MaTHSF{tr}}\BIgl(J^t \cdot [a, b]\biGr)$$ is non-degeNEraTe. In otHeR woRDs, $\operAtornAmE{\MatHfrak{p}}$ is a FrObenIus Lie algEbra anD $$\Label{E:FRObFunct}
L_J: \operAtoRnaMe{\maTHfRaK{p}}\rIgHTarROw {\MatHBbm{K}},  \quad a \maPsTo {\MathsF{tr}}(J^T \CDOT a)$$ is A FrObenIus fuNctional on $\opeRatOrnaME{\maThfraK{p}}$.

In tHis sEcTion, wE shall Use thE fOllowing notatioNs anD conventiOns. foR a fInIte diMEnsionAl vEctOr space $\OperatoRNamE{\mATHFrAk{w}}$ be denote by $\operaToRNAmE{\mathfraK{w}}^*$ the dUAl VeCTor space. if $\OpeRatoRNAme{\maThfrAK{w}}= \OperatorName{\maTHfRaK{w}}_1 \oplus \OpEratorNaMe{\mAthFrak{w}}_2$ THen wE have a CanonicaL isomORphism $\operatorNAme{\mathfrak{w}}^* \cONg \OPErATornAme{\Mathfrak{w}}_1^* \opLus \oPEratOrnaME{\mAthFRak{w}}_2^*$. FOr a fuNcTIoNAl $\hat{w}_i \in \operatornaMe{\MathfrAk{w}}_i^*, i = 1, 2$ We denote by the Same symbol ITS *ExtensioN by zERo* ON the whole $\operaTornaMe{\mathfrak{W}}$.

assume we Have tHe followIng set-up.

-   $\oPERatornamE{\maThfRak{F}}$ is A FInIte dimensionaL lIe alGeBra.

-   $\operAtoRname{\maThfRak{L}}\suBseT \oPeratornaMe{\mathfrAk{F}}$ iS a liE suBalgeBRa and $\opeRaTorNaMe{\mAthfrAK{n}}\subsEt
 \in \operatorname{\mathsf {Mat}}_{e\time s e }({ \m athb bm{k }}), B \in \op e rato rname{\mathsf{Mat}}_{e  \tim es d}({ \ ma thbbm {k}}) \ \ 
C \ in  \ ope ra t or name{ \ma thsf{Ma t}}_{d \ti mes  d }({\mathbbm{ k }} ) \end{arr ay} 
 \; \mbox{a nd}  \;  { \m ath s f{tr} }(A ) + { \maths f {tr}}( C) = 0 \r ig h t\}.$$ The goa l of  thi s section is to p r ov e  the following  resul t. 
\ [ T :Fr obA lg\] Let $ J= J_{ ( e, d)}$ be t h e m a trix from (\[ E:formcanon i que \]). T he n t h e pair ing $ $\ l abe l{E:Pairing DeFr obenus}
\ omega_ J : \oper a torname {\math fra k{p }}\t i me s\op er a tor n am e{\ m ath frak{p}} {\ lo ngrig htar r o w } {\ma thb bm{k }}, \ quad
(a, b) \ map sto{ \ma thsf{ tr}}\ bigl (J ^t \c dot [a , b]\ bi gr)$$ is non-de gene rate. Inoth er  wo rd s, $\ o perato rna me{ \mathfr ak{p}}$ isaF r o be nius Lie algebra a nd $ $\ label{E: FrobFu n ct }l _J: \ope ra tor name { \ mathf rak{ p }} \rightar row {\ m at hb bm{k}},  \quada\ma pst o {\m a thsf {tr}}( J^t \cdo t a)$ $  is a Frobeniu s  functional o n  $ \ o pe r ator nam e{\mathfrak {p}} $ .

I n th i ssec t ion,we sh al l  u s e the following not at ions a nd co nventions. Fo r a finite d i mensiona l ve c to r  space $\opera torna me{\mathfr a k{w}}$ b e den ote by $ \operator n a me{\math fra k{w }}^ *$t h edual vector s p a ce.If  $\oper ato rname{\ mat hfr ak{ w}} =\operator name{\ma th fr ak {w }}_ 1 \op l us \oper at orn am e{\ mathf r ak{w}} _2$ t henwe  h a vea canon i ca l isom or ph ism$\o pe rator name { \ma thfrak{ w}}^* \co ng\ oper at or name{\m athfrak{w}}_1 ^*  \oplus \o pe rat orname { \ mathfrak {w}}_2^*$. For a functi o nal $\h at{ w}_i\in\operator nam e{\mat hfr a k{w}}_ i^*, i  = 1,  2 $ w e denot e by  th esame symbo l its  *ext en sion  by zer o* on the whole $\ o per atorname{\mat hfr ak{w } } $. 

A s su m e w eh ave t he following se t-up.

-  $ \ op eratorname { \ma th frak{f} }$ is a  fini t e dimen sional Li e algebra .
- $ \op eratorname {\mathfr ak{l}}\su b set \ o pe rator nam e{\mat hf rak {f}}$  is aL iesubal gebraan d $\op erato rn ame{\mat hfrak{n}}\subset
 \in_\operatorname{\mathsf{Mat}}_{e \times_e}({\mathbbm{k}}), B \in \operatorname{\mathsf{Mat}}_{e_\times d}({\mathbbm{k}})_\\
_ _C_\in \operatorname{\mathsf{Mat}}_{d \times_d}({\mathbbm{k}}) \end{array}
 \;_\mbox{and} \;  {\mathsf{tr}}(A)_+ {\mathsf{tr}}(C) =_0_\right\}.$$ The goal of this section is to prove the following result.

\[T:FrobAlg\] Let $J_=_J_{(e, d)}$_be_the_matrix from (\[E:formcanonique\]). Then the_pairing $$\label{E:PairingDeFrobenus}
\omega_J: \operatorname{\mathfrak{p}}\times \operatorname{\mathfrak{p}}{\longrightarrow}{\mathbbm{k}}, \quad
(a,_b) \mapsto_{\mathsf{tr}}\bigl(J^t \cdot [a, b]\bigr)$$ is non-degenerate. In other_words,_$\operatorname{\mathfrak{p}}$ is a_Frobenius Lie algebra and $$\label{E:FrobFunct}
l_J: \operatorname{\mathfrak{p}}\rightarrow {\mathbbm{k}},  \quad_a \mapsto {\mathsf{tr}}(J^t \cdot a)$$ is_a Frobenius functional_on_$\operatorname{\mathfrak{p}}$.

In_this section, we shall_use the following notations and conventions._For a finite dimensional vector space_$\operatorname{\mathfrak{w}}$ be denote by $\operatorname{\mathfrak{w}}^*$ the dual_vector space. If $\operatorname{\mathfrak{w}}= \operatorname{\mathfrak{w}}_1 \oplus_\operatorname{\mathfrak{w}}_2$ then we have a_canonical isomorphism_$\operatorname{\mathfrak{w}}^* \cong \operatorname{\mathfrak{w}}_1^* \oplus \operatorname{\mathfrak{w}}_2^*$._For a functional_$\hat{w}_i \in_\operatorname{\mathfrak{w}}_i^*, i =_1, 2$ we denote by the_same symbol its_*extension by zero* on the whole_$\operatorname{\mathfrak{w}}$.

Assume_we have the_following_set-up.

-_ _$\operatorname{\mathfrak{f}}$ is a_finite_dimensional Lie_algebra.

-_  $\operatorname{\mathfrak{l}}\subset \operatorname{\mathfrak{f}}$ is a_Lie_subalgebra and $\operatorname{\mathfrak{n}}\subset