Projective symplectic group:PSp(4,4)

Definition
This group is defined in the following equivalent ways:


 * 1) It is the member of family::projective symplectic group of degree four (i.e., arising from $$4 \times 4$$ matrices) over field:F4. This is denoted $$PSp(4,4)$$ and the Chevalley notation is $$B_2(4)$$.
 * 2) It is the member of family::symplectic group of degree four (i.e., arising from $$4 \times 4$$ matrices) over field:F4. This is denoted $$Sp(4,4)$$.

Equivalence of definitions
The equivalence of (1) and (2) follows from isomorphism between symplectic and projective symplectic group in characteristic two.