TrivialGroup( form = F )
The trivial group is the unique (up to isomorphism) group of order 1.
The TrivialGroup() command returns a trivial group.
The form = F option controls the type of group returned. By default, a permutation group (with empty generating set) is returned; this is the same as using the form = "permgroup" option. If the form = "fpgroup" option is passed, then a trivial finitely presented group is returned, with empty sets of generators and relators. Finally, you can explicitly request a symbolic trivial group by using the form = "symbolic" option.
T ≔ TrivialGroup⁡'form'=fpgroup
The GroupTheory[TrivialGroup] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
Download Help Document