attempt to determine whether a group is trivial
IsTrivial( G )
A group G is said to be trivial if it consists of only an identity element, that is, it has order equal to 1.
The IsTrivial( G ) command attempts to determine whether the group G is trivial. It returns true if G is trivial and returns false otherwise. The command may raise an exception on (most) finitely presented groups.
G ≔ SmallGroup⁡1,1
G ≔ a|a6=1
The GroupTheory[IsTrivial] command was introduced in Maple 2019.
For more information on Maple 2019 changes, see Updates in Maple 2019.
Download Help Document