GroupTheory - Maple Programming Help

Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/ProjectiveSymplecticGroup

GroupTheory

 ProjectiveSymplecticGroup
 construct a permutation group isomorphic to a projective symplectic group

 Calling Sequence ProjectiveSymplecticGroup(n, q) PSp(n, q)

Parameters

 n - an even positive integer q - power of a prime number

Description

 • The projective symplectic group $PSp\left(n,q\right)$ is the quotient of the symplectic group $Sp\left(n,q\right)$ by its center.
 • The groups $PSp\left(n,q\right)$ are simple except for the group$PSp\left(2,2\right)$ , which is isomorphic to ${\mathbf{S}}_{3}$ , the group mPSP( 2, 3 ), isomorphic to ${\mathbf{A}}_{4}$ , and the group $PSp\left(4,2\right)$ which is isomorphic to ${\mathbf{S}}_{6}$ .
 • Note that for $n=2$ the groups $PSp\left(n,q\right)$ and $PSL\left(n,q\right)$ are isomorphic.
 • The integer $n$ must be even.
 • The ProjectiveSymplecticGroup( n, q ) command returns a permutation group isomorphic to the projective symplectic group $PSp\left(n,q\right)$ for values of the parameters n and q in the implemented ranges.
 • The implemented ranges for n and q are as follows:

 $n=2$ $q\le 241$ $n=4$ $q\le 20$ $n=6$ $q\le 5$ $n=8$ $q\le 3$ $n=10$ $q=2$

 • The PSp( n, q ) command is provided as an abbreviation.
 • In the Standard Worksheet interface, you can insert this group into a document or worksheet by using the Group Constructors palette.

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔\mathrm{ProjectiveSymplecticGroup}\left(2,64\right)$
 ${\mathrm{GroupTheory}}{:-}{\mathrm{PSL}}{}\left({2}{,}{64}\right)$ (1)
 > $\mathrm{Degree}\left(G\right)$
 ${65}$ (2)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${262080}$ (3)
 > $\mathrm{IsTransitive}\left(G\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{AreIsomorphic}\left(\mathrm{PSp}\left(2,2\right),\mathrm{Symm}\left(3\right)\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{AreIsomorphic}\left(\mathrm{PSp}\left(2,3\right),\mathrm{Alt}\left(4\right)\right)$
 ${\mathrm{true}}$ (6)
 > $\mathrm{GroupOrder}\left(\mathrm{PSp}\left(4,3\right)\right)$
 ${25920}$ (7)
 > $\mathrm{IsSimple}\left(\mathrm{PSp}\left(4,3\right)\right)$
 ${\mathrm{true}}$ (8)
 > $\mathrm{Display}\left(\mathrm{CharacterTable}\left(\mathrm{PSp}\left(4,3\right)\right)\right)$

 C 1a 2a 2b 3a 3b 3c 3d 4a 4b 5a 6a 6b 6c 6d 6e 6f 9a 9b 12a 12b |C| 1 45 270 40 40 240 480 540 3240 5184 360 360 720 720 1440 2160 2880 2880 2160 2160 $\mathrm{χ__1}$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $1$ $\mathrm{χ__2}$ $5$ $-3$ $1$ $\frac{1}{2}-\frac{3I\sqrt{3}}{2}$ $\frac{1}{2}+\frac{3I\sqrt{3}}{2}$ $-1$ $2$ $1$ $-1$ $0$ $-\frac{3}{2}+\frac{I\sqrt{3}}{2}$ $-\frac{3}{2}-\frac{I\sqrt{3}}{2}$ $-I\sqrt{3}$ $I\sqrt{3}$ $0$ $1$ $\frac{1}{2}-\frac{\sqrt{-3}}{2}$ $\frac{1}{2}+\frac{\sqrt{-3}}{2}$ $-\frac{1}{2}+\frac{I\sqrt{3}}{2}$ $-\frac{1}{2}-\frac{I\sqrt{3}}{2}$ $\mathrm{χ__3}$ $5$ $-3$ $1$ $\frac{1}{2}+\frac{3I\sqrt{3}}{2}$ $\frac{1}{2}-\frac{3I\sqrt{3}}{2}$ $-1$ $2$ $1$ $-1$ $0$ $-\frac{3}{2}-\frac{I\sqrt{3}}{2}$ $-\frac{3}{2}+\frac{I\sqrt{3}}{2}$ $I\sqrt{3}$ $-I\sqrt{3}$ $0$ $1$ $\frac{1}{2}+\frac{\sqrt{-3}}{2}$ $\frac{1}{2}-\frac{\sqrt{-3}}{2}$ $-\frac{1}{2}-\frac{I\sqrt{3}}{2}$ $-\frac{1}{2}+\frac{I\sqrt{3}}{2}$ $\mathrm{χ__4}$ $6$ $-2$ $2$ $-3$ $-3$ $3$ $0$ $2$ $0$ $1$ $1$ $1$ $1$ $1$ $-2$ $-1$ $0$ $0$ $-1$ $-1$ $\mathrm{χ__5}$ $10$ $2$ $-2$ $-\frac{7}{2}-\frac{3I\sqrt{3}}{2}$ $-\frac{7}{2}+\frac{3I\sqrt{3}}{2}$ $1$ $1$ $2$ $0$ $0$ $\frac{1}{2}-\frac{3I\sqrt{3}}{2}$ $\frac{1}{2}+\frac{3I\sqrt{3}}{2}$ $-1$ $-1$ $-1$ $1$ $-\frac{1}{2}-\frac{\sqrt{-3}}{2}$ $-\frac{1}{2}+\frac{\sqrt{-3}}{2}$ $\frac{1}{2}-\frac{I\sqrt{3}}{2}$ $\frac{1}{2}+\frac{I\sqrt{3}}{2}$ $\mathrm{χ__6}$ $10$ $2$ $-2$ $-\frac{7}{2}+\frac{3I\sqrt{3}}{2}$ $-\frac{7}{2}-\frac{3I\sqrt{3}}{2}$ $1$ $1$ $2$ $0$ $0$ $\frac{1}{2}+\frac{3I\sqrt{3}}{2}$ $\frac{1}{2}-\frac{3I\sqrt{3}}{2}$ $-1$ $-1$ $-1$ $1$ $-\frac{1}{2}+\frac{\sqrt{-3}}{2}$ $-\frac{1}{2}-\frac{\sqrt{-3}}{2}$ $\frac{1}{2}+\frac{I\sqrt{3}}{2}$ $\frac{1}{2}-\frac{I\sqrt{3}}{2}$ $\mathrm{χ__7}$ $15$ $-1$ $-1$ $6$ $6$ $3$ $0$ $3$ $-1$ $0$ $2$ $2$ $-1$ $-1$ $2$ $-1$ $0$ $0$ $0$ $0$ $\mathrm{χ__8}$ $15$ $7$ $3$ $-3$ $-3$ $0$ $3$ $-1$ $1$ $0$ $1$ $1$ $-2$ $-2$ $1$ $0$ $0$ $0$ $-1$ $-1$ $\mathrm{χ__9}$ $20$ $4$ $4$ $2$ $2$ $5$ $-1$ $0$ $0$ $0$ $-2$ $-2$ $1$ $1$ $1$ $1$ $-1$ $-1$ $0$ $0$ $\mathrm{χ__10}$ $24$ $8$ $0$ $6$ $6$ $0$ $3$ $0$ $0$ $-1$ $2$ $2$ $2$ $2$ $-1$ $0$ $0$ $0$ $0$ $0$ $\mathrm{χ__11}$ $30$ $6$ $2$ $-\frac{3}{2}-\frac{9I\sqrt{3}}{2}$ $-\frac{3}{2}+\frac{9I\sqrt{3}}{2}$ $-3$ $0$ $2$ $0$ $0$ $-\frac{3}{2}-\frac{I\sqrt{3}}{2}$ $-\frac{3}{2}+\frac{I\sqrt{3}}{2}$ $I\sqrt{3}$ $-I\sqrt{3}$ $0$ $-1$ $0$ $0$ $\frac{1}{2}+\frac{I\sqrt{3}}{2}$ $\frac{1}{2}-\frac{I\sqrt{3}}{2}$ $\mathrm{χ__12}$ $30$ $6$ $2$ $-\frac{3}{2}+\frac{9I\sqrt{3}}{2}$ $-\frac{3}{2}-\frac{9I\sqrt{3}}{2}$ $-3$ $0$ $2$ $0$ $0$