7.32 TrivialSubgroup

TrivialSubgroup( U )

Let U be a group with parent group G. Then TrivialSubgroup returns the trivial subgroup T of U. Note that the parent group of T is G not U (see Subgroups).

The default function GroupOps.TrivialSubgroup binds the set of elements of U, namely [ <U>.identity ], to T.elements,

Previous Up Top Next
Index