construct a generalised quaternion group
QuaternionGroup( f )
(optional) equation of the form form = "permgroup" (default) or form = "fpgroup"
The quaternion group is one of the two non-abelian groups of order 8, (the other being the dihedral group of degree 4). It is notable because it is an example of a Hamiltonian group - every one of its subgroups is normal - and it appears as a subgroup of every non-Abelian Hamiltonian group.
The QuaternionGroup() command returns a quaternion group, either as a permutation group (the default), or as a finitely presented group.
You can pass the option 'form' = "fpgroup" or 'form' = "permgroup" to cause the QuaternionGroup command to return a group of the indicated class.
In the Standard Worksheet interface, you can insert this group into a document or worksheet by using the Group Constructors palette.
There are only two non-Abelian groups of order eight.
One of these is the Quaternion group.
The dihedral group of order 8 (and degree 4) is the other group of order 8. It is not isomorphic to the quaternion group.
However, the quaternion and dihedral groups of order eight do have the same character tables.
(Notice, however, that the quaternion group has a single conjugacy class of involutions, while the dihedral group of order 8 has three conjugacy classes of involutions.)
The quaternion group is an example of a Hamiltonian group - every one of its subgroups is normal. This is evident from the subgroup lattice diagram above; alternatively, Hamiltonicity can be demonstrated, as follows.
Like the dihedral group of order 8, the quaternion group is an extra-special 2-group.
Quaternion groups do not have perfect order classes.
The GroupTheory[QuaternionGroup] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
The GroupTheory[QuaternionGroup] command was updated in Maple 2021.
Download Help Document
What kind of issue would you like to report? (Optional)