GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/IsTrivial

GroupTheory

  

IsTrivial

  

attempt to determine whether a group is trivial

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsTrivial( G )

Parameters

G

-

a group

Description

• 

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.

Examples

withGroupTheory:

GSmallGroup1,1

G

(1)

IsTrivialG

true

(2)

IsTrivialSmallGroup32,5

false

(3)

Ga|a6=1

Gaa6

(4)

IsTrivialG

false

(5)

IsTriviala,b|a2,b3,a·b5=1

false

(6)

Compatibility

• 

The GroupTheory[IsTrivial] command was introduced in Maple 2019.

• 

For more information on Maple 2019 changes, see Updates in Maple 2019.

See Also

GroupTheory

GroupTheory[GroupOrder]