 finite group. Let $\phi=(\phi_{H})_{H\leqslant G}$ be a stable by induction family of linear forms on $\big(RB(H)\big)_{H\leqslant G}$. Then the bilinear form $(-,-)_{\phi_{G}}$ on the Mackey algebra $\mu_{R}(G)$ is non degenerate if and only if the bilinear form $b_{\phi_{H}}$ on $RB(H)$ is non degenerate for every $H$ subgroup of $G$.

If $\phi$ is such a family of linear forms, by Lemma \[bl\] the matrix of the bilinear form $(-,-)_{\phi_{G}}$ in the usual basis of $\mu_{R}(G)$ is a permutation by block matrix. So the determinant of this matrix is (up to a sign) the product of the determinant of the non-zero blocks. By Lemma \[red1\] and Lemma \[red2\] the determinant of the block indexed by $(H,L,x,y)$ is equal to the determinant of the matrix of the bilinear form $b_{\phi_{L\cap H^{x}}}$ in the usual basis of $RB(L\cap H^{x})$. So the determinant of $(-,-)_{\phi_{G}}$ is invertible in $R$ if and only if the determinant of the form $b_{\phi_H}$ on $RB(H)$ is invertible in $R$ for every subgroup $H$ of $G$.

Let $G$ be a finite group. The family $\big(RB(H)\big)_{H\leqslant G}$ is a stable by induction family of symmetric algebras if there exist a stable by induction family of linear forms $\phi=(\phi)_{H\leqslant G}$ such that the bilinear form $b_{\phi_{H}}$ on $RB(H)$ is non-degenerate for every $H\leqslant G$.

\[main\] Let $G$ be a finite group. Then the Mackey algebra is a symmetric algebra if and only if $\big(RB(H)\big)_{H\leqslant G}$ is a stable by induction family of symmetric algebras.

Only for this proof, we use Green’s definition of Mackey functors since it is much more convenient for understanding the action of the induction and restriction maps (see Section $2$ of [@tw]). If $\big(RB(H)\big)_{H\leqslant G}$ is a stable by induction family of symmetric algebras, then by Theorem
finite group. Let $ \phi=(\phi_{H})_{H\leqslant G}$ be a stable by induction family of analogue form on $ \big(RB(H)\big)_{H\leqslant G}$. Then the bilinear form $ (-,-)_{\phi_{G}}$ on the Mackey algebra $ \mu_{R}(G)$ is non degenerate if and merely if the bilinear shape $ b_{\phi_{H}}$ on $ RB(H)$ is non degenerate for every $ H$ subgroup of $ G$. 

 If $ \phi$ is such a family of analogue forms, by Lemma \[bl\ ] the matrix of the bilinear form $ (-,-)_{\phi_{G}}$ in the usual footing of $ \mu_{R}(G)$ is a substitution by block matrix. So the antigenic determinant of this matrix is (up to a sign) the product of the antigenic determinant of the non - zero blocks. By Lemma \[red1\ ] and Lemma \[red2\ ] the determinant of the block indexed by $ (H, L, x, y)$ is equal to the determinant of the matrix of the bilinear form $ b_{\phi_{L\cap H^{x}}}$ in the common basis of $ RB(L\cap H^{x})$. So the determinant of $ (-,-)_{\phi_{G}}$ is invertible in $ R$ if and entirely if the determinant of the form $ b_{\phi_H}$ on $ RB(H)$ is invertible in $ R$ for every subgroup $ H$ of $ G$. 

 permit $ G$ be a finite group. The family $ \big(RB(H)\big)_{H\leqslant G}$ is a static by induction kin of symmetric algebras if there exist a stable by induction family of analogue forms $ \phi=(\phi)_{H\leqslant G}$ such that the bilinear form $ b_{\phi_{H}}$ on $ RB(H)$ is non - degenerate for every $ H\leqslant G$. 

 \[main\ ] Let $ G$ be a finite group. Then the Mackey algebra is a symmetric algebra if and only if $ \big(RB(H)\big)_{H\leqslant G}$ is a stable by induction family of symmetric algebras. 

 Only for this proof, we use Green ’s definition of Mackey functors since it is much more convenient for understanding the action of the initiation and restriction maps (visit incision $ 2 $ of [ @tw ]). If $ \big(RB(H)\big)_{H\leqslant G}$ is a stable by induction family of symmetric algebra, then by Theorem
 fijite group. Let $\phi=(\phi_{H})_{H\ltqslant G}$ be a stcvle by inducfion famkly of linear forms on $\big(RB(I)\big)_{Y\leqsoant G}$. Then the bilinexr form $(-,-)_{\pji_{G}}$ on tye Meckey algebra $\mu_{C}(F)$ is nok degskeratz mf and only if jhe bilinear form $b_{\phi_{H}}$ on $RC(H)$ is non degenerate for every $H$ subgwoup of $G$.

Lf $\phi$ is such a fsiily of linear forms, by Lemma \[bl\] the mztrix oh the bilinear gorm $(-,-)_{\phi_{G}}$ in the usual basls ov $\mu_{R}(G)$ is a permutwtion by blick iqtrix. So the determinant of this mztrix is (up to a sign) the produzt of the deternibanh of the non-vero bjocks. By Lemma \[red1\] atd Lemms \[red2\] the detevminait od the block indexed bb $(H,L,x,y)$ is equal to tre determhncnt of the matrix of rhw bilhneas fofn $b_{\ohi_{M\cep G^{x}}}$ in hhe usual basjs of $RB(L\cap H^{x})$. So the determimagn of $(-,-)_{\phi_{G}}$ is jnvertybje in $R$ if and only if the determinant mf fhe form $b_{\phi_H}$ on $RB(H)$ iw invertible in $R$ for every sufgroup $H$ of $G$.

Let $G$ be a finite group. The family $\bhg(RB(H)\uie)_{H\ltqwlant T}$ ls a stable by induction family of symmetric wmgtbrss if there exlst a stable by incuftojn family of uinear fodms $\phi=(\phi)_{H\leqslanh G}$ sucr thar the bilyneat form $b_{\phi_{H}}$ on $RB(H)$ is non-dwgenerate fog evwry $H\leqslant G$.

\[maiu\] Let $G$ be a finote gtoup. Then the Mackey alyebra js a symmetgic algebdx if and only if $\bin(RB(V)\big)_{H\leqslant G}$ is a stablq by indurtion family of xymmetwic algebrws.

Onln for this proof, we use Yreen’v definitiln of Mackey functors since it mx much more votvetient fox undevstanding the astion of the iuduction and festrictioh maps (vee Section $2$ of [@tw]). If $\bic(TB(H)\big)_{H\leqslait G}$ is a stavle vy induzgion family of symmetrib clgebras, rhen by Theorem
finite group. Let $\phi=(\phi_{H})_{H\leqslant G}$ be a induction of linear on $\big(RB(H)\big)_{H\leqslant G}$. on Mackey algebra $\mu_{R}(G)$ non degenerate if only if the bilinear form $b_{\phi_{H}}$ $RB(H)$ is non degenerate for every $H$ subgroup of $G$. If $\phi$ is a family of linear forms, by Lemma \[bl\] the matrix of the bilinear $(-,-)_{\phi_{G}}$ the basis $\mu_{R}(G)$ is a permutation by block matrix. So the determinant of this matrix is (up to sign) the product of the determinant of the blocks. By Lemma \[red1\] Lemma \[red2\] the determinant of block by $(H,L,x,y)$ equal the of the matrix the bilinear form $b_{\phi_{L\cap H^{x}}}$ in the usual basis of $RB(L\cap H^{x})$. So the determinant of $(-,-)_{\phi_{G}}$ invertible in and only the of form $b_{\phi_H}$ on invertible in $R$ for every subgroup Let $G$ be a finite group. The family G}$ is stable by induction family of symmetric if there exist a stable by induction family linear forms $\phi=(\phi)_{H\leqslant G}$ such that the bilinear form $b_{\phi_{H}}$ on $RB(H)$ is non-degenerate for G$. \[main\] Let $G$ a finite group. the algebra a algebra if only if $\big(RB(H)\big)_{H\leqslant G}$ is a stable by induction family of algebras. Only for this proof, we use Green’s definition of since is much more for understanding the action the and restriction maps (see of If a by family of symmetric algebras, by Theorem
 finite group. Let $\phi=(\phi_{H})_{H\leqSlant G}$ be a sTable By iNduCtIon fAmilY of linear forms ON $\big(rB(H)\big)_{H\leqslant G}$. Then thE biliNeAR forM $(-,-)_{\PhI_{G}}$ on tHe MackeY AlGEBra $\Mu_{r}(G)$ Is nOn DEgEneraTe iF and onlY if the biliNeaR fOrm $b_{\phi_{H}}$ on $RB(h)$ Is Non degenerAte For every $H$ subGroUp of $G$.

IF $\pHi$ iS Such a FamIly of Linear FOrms, by lemma \[bl\] thE mATrix of THe bilinEAR fOrm $(-,-)_{\pHi_{G}}$ in the usual basiS Of $\MU_{R}(G)$ is a permutatIon by bLoCK mATRix. so tHe determinAnT of thIS matrix IS (uP TO A siGN) the product of The determinANt oF the noN-zEro BLocks. BY LemmA \[rED1\] anD Lemma \[red2\] thE detErminant oF the blOCk indexED by $(H,L,x,y)$ Is equaL to The DeteRMiNaNt oF tHE maTRiX of THe bIlinear fOrM $b_{\Phi_{L\cAp H^{x}}}$ IN THE usuAl bAsis Of $RB(L\Cap H^{x})$. So the detErmInanT Of $(-,-)_{\pHi_{G}}$ is InverTiblE iN $R$ if aNd only If the DeTerminant of the fOrm $b_{\Phi_H}$ on $RB(H)$ Is iNvErtIbLe in $R$ FOr everY suBgrOup $H$ of $G$.

let $G$ be a FIniTe GROUp. the family $\big(RB(H)\big)_{h\lEQSlAnt G}$ is a sTable bY InDuCTion famiLy Of sYmmeTRIc algEbraS If There exiSt a staBLe By InductiOn Family Of LinEar Forms $\PHi=(\phI)_{H\leqsLant G}$ sucH that THe bilinear form $B_{\Phi_{H}}$ on $RB(H)$ is noN-DeGENeRAte fOr eVery $H\leqslaNt G$.

\[mAIn\] LeT $G$ be A FiNitE Group. then tHe mAcKEy algebra is a symmetrIc AlgebrA if anD only if $\big(RB(H)\Big)_{H\leqslaNT g}$ Is a stablE by iNDuCTion family of syMmetrIc algebras.

oNly for thIs proOf, we use GReen’s defiNITion of MaCkeY fuNctOrs SINcE it is much more CONvenIeNt for unDerStandinG thE acTioN of ThE inductioN and restRiCtIoN mAps (See SeCTion $2$ of [@tw]). if $\Big(rB(h)\biG)_{H\leqSLant G}$ iS a staBle bY iNdUCtiOn familY Of SYMmetRiC aLgebRas, ThEn by THeorEM
 finite group. Let $\phi=( \phi_{H})_ {H\le qsl ant  G }$ b e astable by indu c tion  family of linear form s on$\ b ig(R B (H )\big )_{H\le q sl a n t G }$ .The nt he  bili nea r form$(-,-)_{\p hi_ {G }}$ on the M a ck ey algebra  $\ mu_{R}(G)$ i s n on deg en era t e ifand  only  if th e  bilin ear form$b _ {\phi_ { H}}$ on $ RB (H)$  is non degenerat e  f o r every $H$ su bgroup  o f  $ G $ .
If$\phi$ issu ch af amily o f  l i n e arf orms, by Lemm a \[bl\] th e  ma trix o fthe biline ar fo rm $(- ,-)_{\phi_{ G}}$  in the u sual b a sis of$ \mu_{R} (G)$ i s a  pe rmut a ti on  by  b l ock ma tri x . S o the de te rm inant  oft h i s  mat rix  is(up t o a sign) the  pr oduc t  of  thedeter mina nt  of t he non -zero  b locks. By Lemma  \[r ed1\] and  Le mm a \ [r ed2\] the de ter min ant ofthe blo c k i nd e x e dby $(H,L,x,y)$ iseq u a lto the d etermi n an to f the ma tr ixof t h e  bili near fo rm $b_{\ phi_{L \ ca pH^{x}}} $in the  u sua l b asiso f $R B(L\ca p H^{x}) $. So the determinan t  of $(-,-)_{\ p hi _ { G} } $ is  in vertible in  $R$ if a nd o n ly  if the d eterm in a nt of the form $b_{\ph i_ H}$ on  $RB( H)$ is invert ible in $R $ f or every  sub g ro u p $H$ of $G$.
Let$G$ be a f i nite gro up. T he famil y $\big(R B ( H)\big)_ {H\ leq sla ntG } $is a stable b y indu ct ion fam ily  of sym met ric  al geb ra s if ther e existast ab le  by  indu c tion fam il y o flin ear f o rms $\ phi=( \phi )_ {H \ leq slant G } $s u ch t ha tthebil in ear f orm$ b_{ \phi_{H }}$ on $R B(H ) $ is  n on -degene rate for ever y$H\leqslan tG$. 

\[ma i n \] Let $ G$ be a finite group. T h en theMac key a lgeb ra is a s ymm etricalg e bra if  and o nly i f$\b i g (RB(H ) \ bi g)_ {H \leqslantG } $ i s a s ta bleby indu ction family of sy m met ric algebras. 

O nlyf o rthi s  p r oof ,w e u s e  Green’s defini tion of Ma ck e yfunctors s i nce  i t is mu ch more  conv e nient f or unders tanding t he  act i o n o f the indu ction an d restric t ion m a ps  (see  Se ction$2 $ o f [@t w]). I f  $\ big(R B(H)\b ig )_{H\l eqsla nt  G}$ isa stable by induction f amilyof sy mme tric alge bra s , t hen by Th eore m
 finite_group. Let_$\phi=(\phi_{H})_{H\leqslant G}$ be a_stable by_induction_family of_linear_forms on $\big(RB(H)\big)_{H\leqslant_G}$. Then the_bilinear form $(-,-)_{\phi_{G}}$ on_the Mackey algebra_$\mu_{R}(G)$_is non degenerate if and only if the bilinear form $b_{\phi_{H}}$ on $RB(H)$ is_non_degenerate for_every_$H$_subgroup of $G$.

If $\phi$ is_such a family of linear_forms, by_Lemma \[bl\] the matrix of the bilinear form_$(-,-)_{\phi_{G}}$_in the usual_basis of $\mu_{R}(G)$ is a permutation by block matrix._So the determinant of this matrix_is (up to_a_sign)_the product of the_determinant of the non-zero blocks. By_Lemma \[red1\] and Lemma \[red2\] the_determinant of the block indexed by $(H,L,x,y)$_is equal to the determinant of_the matrix of the bilinear_form $b_{\phi_{L\cap_H^{x}}}$ in the usual basis_of $RB(L\cap H^{x})$._So the_determinant of $(-,-)_{\phi_{G}}$_is invertible in $R$ if and_only if the_determinant of the form $b_{\phi_H}$ on_$RB(H)$_is invertible in_$R$_for_every subgroup_$H$ of $G$.

Let_$G$_be a_finite_group. The family $\big(RB(H)\big)_{H\leqslant G}$ is_a_stable by induction family of symmetric algebras_if there exist a_stable_by induction family of_linear forms $\phi=(\phi)_{H\leqslant G}$ such_that the bilinear form $b_{\phi_{H}}$ on_$RB(H)$ is_non-degenerate for_every $H\leqslant G$.

\[main\] Let $G$ be a finite group. Then the_Mackey algebra is a symmetric algebra_if and only if_$\big(RB(H)\big)_{H\leqslant G}$_is_a stable by_induction_family of_symmetric algebras.

Only for this proof, we use_Green’s definition_of Mackey functors since it is_much more convenient for_understanding_the action of the induction and_restriction maps (see Section $2$ of_[@tw]). If $\big(RB(H)\big)_{H\leqslant G}$ is_a_stable_by induction family of symmetric_algebras, then by Theorem