Sp(4,2) is isomorphic to S6
This article gives a proof/explanation of the equivalence of multiple definitions for the term symmetric group:S6
View a complete list of pages giving proofs of equivalence of definitions
Statement
The symplectic group of degree four over field:F2, denoted is isomorphic to symmetric group:S6.
Note that we already have that , where the latter is the projective symplectic group of degree four. Thus, this establishes also that .