Projective symplectic group:PSp(6,2)

Definition
This group is defined in the following equivalent ways:


 * 1) It is the member of family::projective symplectic group of degree six (i.e., arising from $$6 \times 6$$ matrices) over field:F2. This is denoted $$PSp(6,2)$$ and the Chevalley notation is $$C_3(2)$$; however, it can also be described as $$B_3(2)$$ (see below).
 * 2) It is the member of family::symplectic group of degree six (i.e., arising from $$6 \times 6$$ matrices) over field:F2. This is denoted $$Sp(6,2)$$.
 * 3) It is the Chevalley group of type B $$B_3(2)$$ over field:F2.

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