Dual representation

From Wikipedia, the free encyclopedia

In mathematics, if G is a group and ρ is a linear representation of it on the vector space V, then the dual representation

\bar{\rho}

is defined over the dual vector space \bar{V} as follows:

\bar{\rho}(g) is the transpose of ρ(g−1)

for all g in G. Then \bar{\rho} is also a representation, as may be checked explicitly. The dual representation is also known as the contragredient representation.

If \mathfrak{g} is a Lie algebra and ρ is a representation of it over the vector space V, then the dual representation \bar{\rho} is defined over the dual vector space \bar{V} as follows:

\bar{\rho}(u) is the transpose of −ρ(u) for all u in \mathfrak{g}.

\bar{\rho} is also a representation, as you may check explicitly.

Unfortunately, a general ring module does not admit a dual representation. Modules of Hopf algebras do, however.

[edit] See also

For a unitary representation, the conjugate representation and the dual representation coincides.