Symmetric and alternating-squares of linear representation

From Groupprops

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.