# Sp(4,2) is isomorphic to S6

From Groupprops

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 .