GroupTheory - Maple Programming Help

# Online Help

###### All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : Group Theory : GroupTheory package : GroupTheory/SpecialOrthogonalGroup

GroupTheory

 SpecialOrthogonalGroup
 construct a permutation group isomorphic to a special orthogonal group

 Calling Sequence SpecialOrthogonalGroup(d, n, q)

Parameters

 d - 0, 1 or -1 n - a positive integer q - power of a prime number

Description

 • The special orthogonal group $\mathbf{SO}\left(n,q\right)$ is the set of all $n×n$ matrices over the field with $q$ elements that respect a non-singular quadratic form and have determinant equal to $1$. The value of $d$ must be $0$ for odd values of $n$, or $1$ or $-1$ for even values of $n$. Note that for even values of $q$ the groups $\mathbf{SO}\left(n,q\right)$ and $\mathbf{GO}\left(n,q\right)$ are isomorphic.
 • The SpecialOrthogonalGroup( d, n, q ) command returns a permutation group isomorphic to the special orthogonal group $\mathbf{SO}\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 100$ $n=3$ $q\le 20$ $n=4$ $q\le 10$ $n=5$ $q\le 5$ $n=6,7,8$ $q=3$

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $\mathrm{SpecialOrthogonalGroup}\left(0,9,2\right)$
 ${\mathbf{GO}}\left({9}{,}{2}\right)$ (1)
 > $G≔\mathrm{SpecialOrthogonalGroup}\left(1,4,7\right)$
 ${G}{≔}{\mathbf{SO}}\left({4}{,}{7}\right)$ (2)
 > $\mathrm{Degree}\left(G\right)$
 ${128}$ (3)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${112896}$ (4)
 > $\mathrm{IsTransitive}\left(G\right)$
 ${\mathrm{true}}$ (5)
 > $G≔\mathrm{SpecialOrthogonalGroup}\left(-1,4,7\right)$
 ${G}{≔}{\mathbf{SO}}\left({4}{,}{7}\right)$ (6)
 > $\mathrm{Degree}\left(G\right)$
 ${100}$ (7)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${117600}$ (8)
 > $\mathrm{IsTransitive}\left(G\right)$
 ${\mathrm{true}}$ (9)
 > $\mathrm{GroupOrder}\left(\mathrm{SpecialOrthogonalGroup}\left(0,7,3\right)\right)$
 ${9170703360}$ (10)

Compatibility

 • The GroupTheory[SpecialOrthogonalGroup] command was introduced in Maple 17.
 • For more information on Maple 17 changes, see Updates in Maple 17.

 See Also