We will construct the exceptional isomorphism .
The group acts on preserving the usual pairing where the are the usual basis vectors.
There is an invariant line , the span of and an invariant hyperplane . Let . acts on .
Since is the radical of the pairing on , the pairing descends to a non-degenerate bilinear pairing on . As it is symmetric and we are in characteristic 2, it is automatically skew-symmetric.
The -action preserves this pairing, hence we get our desired homomorphism from to .
To check injectivity, it suffices to show that is not in the kernel, since we know all normal subgroups of . Surjectivity then follows by a counting argument, so we get our desired isomorphism.
1 Response to An exceptional isomorphism
I’m not sure why the tex looks so bad here (this blog is self-hosted which probably contributes to the issue). If anyone can help out, please reach out to me, preferably via email.