Représentation duale — Wikipédia

Pour les articles homonymes, voir Dualité (mathématiques) et Dualité.

En algèbre, si ρ est une représentation de groupe ou une représentation d'algèbre de Lie sur un espace vectoriel V, on définit sa représentation duale ou représentation contragrédiente ρ* sur le dual V* de V.

• Si ρ est une représentation d'un groupe G, alors ρ* est la représentation de G définie par^[1] :pour tout élément g de G, ρ*(g) est la transposée de ρ(g^-1).
• Si ρ est une représentation d'une algèbre de Lie ${\displaystyle {\mathfrak {g}}}$, alors ρ* est la représentation de ${\displaystyle {\mathfrak {g}}}$ définie par^[2] :pour tout élément u de ${\displaystyle {\mathfrak {g}}}$, ρ*(u) est la transposée de - ρ(u).

Pour une représentation unitaire, la représentation duale est équivalente à la représentation conjuguée.

• À partir de deux représentations (ρ₁,V₁) et (ρ₂,V₂) d'un groupe G, on définit une représentation Hom(ρ₁,ρ₂)=ρ de G sur Hom(V₁,V₂) en posant^[3] :pour tout élément g de G et tout élément f de Hom(V₁,V₂), ρ(g)(f)=ρ₂(g)∘f∘ρ₁(g^-1).
• Un module sur un anneau (vu comme représentation de cet anneau sur un groupe abélien) n'a pas de représentation duale en général, mais un module sur une algèbre de Hopf en a une.

• Portail des mathématiques