Dual representation

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

ρ(g) is the transpose of ρ(g⁻¹)

for all g in G. Then ρ 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 ρ is defined over the dual vector space V as follows:

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

ρ is also a representation, as you may check explicitly.

For a unitary representation, the conjugate representation and the dual representation coincide, up to equivalence of representations.

Generalization

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

See also

• Complex conjugate representation
• Kirillov Character Formula