OrthogonalGroup - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Home : Support : Online Help : Mathematics : Group Theory : OrthogonalGroup

GroupTheory

 OrthogonalGroup

 Calling Sequence OrthogonalGroup(name)

Parameters

 name - : string : a name from the set { "O7(3)", "O7(4)", "O7(5)", "O8-(2)", "O8+(2)", "O8-(3)", "O8+(3)", "O8+(4)", "O8+(5)", "O9(2)", "O9(3)", "O9(4)", "O10-(2)", "O10+(2)", "O11(2)" }

Description

 • The orthogonal groups form a class of finite simple groups of Lie type. In odd dimensions, there is just one type of orthogonal group but, in even dimensions, there are two types of orthogonal groups, distinguished by either $\mathrm{_mo}\left("+"\right)$ or $\mathrm{_mo}\left("-"\right)$ as indicated in the strings.
 • The OrthogonalGroup( name ) command returns a permutation group isomorphic to an orthogonal group from among those listed above.

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔\mathrm{OrthogonalGroup}\left("O8+\left(2\right)"\right)$
 ${G}{≔}{{\Omega }}_{{8}}^{{+}}\left({2}\right)$ (1)
 > $\mathrm{Degree}\left(G\right)$
 ${120}$ (2)
 > $\mathrm{GroupOrder}\left(\mathrm{OrthogonalGroup}\left("O10-\left(2\right)"\right)\right)$
 ${25015379558400}$ (3)
 > $\mathrm{IsSimple}\left(\mathrm{OrthogonalGroup}\left("O10+\left(2\right)"\right)\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{ct}≔\mathrm{CharacterTable}\left(\mathrm{OrthogonalGroup}\left("O7\left(3\right)"\right)\right):$
 > $\mathrm{CharacterDegrees}\left(\mathrm{ct}\right)$
 $\left[\left[{1}{,}{1}\right]{,}\left[{78}{,}{1}\right]{,}\left[{91}{,}{1}\right]{,}\left[{105}{,}{1}\right]{,}\left[{168}{,}{1}\right]{,}\left[{182}{,}{1}\right]{,}\left[{195}{,}{1}\right]{,}\left[{260}{,}{2}\right]{,}\left[{273}{,}{1}\right]{,}\left[{546}{,}{1}\right]{,}\left[{819}{,}{1}\right]{,}\left[{910}{,}{2}\right]{,}\left[{1092}{,}{1}\right]{,}\left[{1365}{,}{2}\right]{,}\left[{1560}{,}{2}\right]{,}\left[{1638}{,}{1}\right]{,}\left[{1820}{,}{1}\right]{,}\left[{2106}{,}{1}\right]{,}\left[{2184}{,}{1}\right]{,}\left[{2457}{,}{1}\right]{,}\left[{2730}{,}{2}\right]{,}\left[{2835}{,}{1}\right]{,}\left[{4095}{,}{2}\right]{,}\left[{4368}{,}{1}\right]{,}\left[{4536}{,}{1}\right]{,}\left[{5265}{,}{1}\right]{,}\left[{5460}{,}{3}\right]{,}\left[{5824}{,}{2}\right]{,}\left[{6552}{,}{1}\right]{,}\left[{7020}{,}{2}\right]{,}\left[{7280}{,}{3}\right]{,}\left[{7371}{,}{1}\right]{,}\left[{8190}{,}{2}\right]{,}\left[{11648}{,}{1}\right]{,}\left[{14742}{,}{1}\right]{,}\left[{16380}{,}{1}\right]{,}\left[{16640}{,}{2}\right]{,}\left[{17472}{,}{2}\right]{,}\left[{17920}{,}{2}\right]{,}\left[{19683}{,}{1}\right]{,}\left[{21840}{,}{1}\right]{,}\left[{22113}{,}{1}\right]\right]$ (5)

Compatibility

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