Group representation
Symplectic representation
A symplectic representation 𝔛 of 𝐺 is a group homomorphism 𝔛 :𝐺 →Sp(𝑉) into the symplectic group #m/def/rep2
where 𝑉 is a symplectic vector space.
Thus 𝔛 is a group representation of 𝐺 carried by 𝑉 such that
𝜔(𝔛(𝑔)𝑣,𝔛(𝑔)𝑤)=0
for all 𝑔 ∈𝐺 and 𝑣,𝑤 ∈𝑉 where 𝜔 is the symplectic form.
Properties
#state/tidy | #lang/en | #SemBr