GroupTheory
OrthogonalGroup
Calling Sequence
Parameters
Description
Examples
Compatibility
OrthogonalGroup(name)
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)" }
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 _mo⁡+ or _mo⁡- as indicated in the strings.
The OrthogonalGroup( name ) command returns a permutation group isomorphic to an orthogonal group from among those listed above.
with⁡GroupTheory:
G≔OrthogonalGroup⁡O8+(2)
G≔Ω8+2
Degree⁡G
120
GroupOrder⁡OrthogonalGroup⁡O10-(2)
25015379558400
IsSimple⁡OrthogonalGroup⁡O10+(2)
true
ct≔CharacterTable⁡OrthogonalGroup⁡O7(3):
CharacterDegrees⁡ct
1,1,78,1,91,1,105,1,168,1,182,1,195,1,260,2,273,1,546,1,819,1,910,2,1092,1,1365,2,1560,2,1638,1,1820,1,2106,1,2184,1,2457,1,2730,2,2835,1,4095,2,4368,1,4536,1,5265,1,5460,3,5824,2,6552,1,7020,2,7280,3,7371,1,8190,2,11648,1,14742,1,16380,1,16640,2,17472,2,17920,2,19683,1,21840,1,22113,1
The GroupTheory[OrthogonalGroup] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
See Also
GroupTheory[CharacterTable]
GroupTheory[Degree]
GroupTheory[ExceptionalGroup]
GroupTheory[GroupOrder]
Download Help Document