The second fundamental theorem of invariant theory for the orthogonal group

Gustav Lehrer, Ruibin Zhang

Let $V=\C^n$ be endowed with an orthogonal form and $G=\Or(V)$ be the corresponding orthogonal group. Brauer showed in 1937 that there is a surjective homomorphism $ν:B_r(n)\to\End…