Symmetric and alternating-squares of linear representation: Difference between revisions

From Groupprops
Tags: Mobile edit Mobile web edit
(→‎Definition: Added section on the characters of the representations.)
Tags: Mobile edit Mobile web edit
Line 6: Line 6:


<math>S^2 \rho(g) (v \otimes w) = \rho(g)(v) \otimes \rho(g) w</math> for <math>v \otimes w \in S^2 V</math>, <math>\Lambda^2 \rho(g) (v \otimes w) = \rho(g)(v) \otimes \rho(g) w</math> for <math>v \otimes w \in \Lambda^2 V</math>.
<math>S^2 \rho(g) (v \otimes w) = \rho(g)(v) \otimes \rho(g) w</math> for <math>v \otimes w \in S^2 V</math>, <math>\Lambda^2 \rho(g) (v \otimes w) = \rho(g)(v) \otimes \rho(g) w</math> for <math>v \otimes w \in \Lambda^2 V</math>.
==Characters of the symmetric and alternating-squares==
For a representation <math>\rho</math>, write <math>\chi_{\rho}</math> for its [[character of a representation|character]].
Then
<math>\chi_{S^2 \rho} = \frac{1}{2} (\chi_{\rho}(g)^2 + \chi_{\rho}(g^2))</math>, and
<math>\chi_{\Lambda^2 \rho} = \frac{1}{2} (\chi_{\rho}(g)^2 -\chi_{\rho}(g^2))</math>.

Revision as of 19:20, 12 November 2023

This article gives a basic definition in the following area: linear representation theory
View other basic definitions in linear representation theory |View terms related to linear representation theory |View facts related to linear representation theory

Definition

Let (ρ,V) be a linear representation of a group G. Then we can define the linear representations (S2ρ,S2V) and (Λ2ρ,Λ2V), the symmetric and alternating-squares of (ρ,V) respectively, by restricting the representation (ρρ,VV) of G to the eigenspaces corresponding to the symmetric and alternating-squares respectively, that is,

S2ρ(g)(vw)=ρ(g)(v)ρ(g)w for vwS2V, Λ2ρ(g)(vw)=ρ(g)(v)ρ(g)w for vwΛ2V.

Characters of the symmetric and alternating-squares

For a representation ρ, write χρ for its character.

Then

χS2ρ=12(χρ(g)2+χρ(g2)), and

χΛ2ρ=12(χρ(g)2χρ(g2)).