Représentation duale

Modèle:Homon 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 :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 $𝔤$, alors ρ* est la représentation de $𝔤$ définie par :pour tout élément u de $𝔤$, ρ*(u) est la transposée de - ρ(u).

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

Généralisations

• À 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 :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.