IsGroup( obj )
IsGroup returns true if obj, which can be an object of arbitrary
type, is a parent group or a subgroup and false otherwise. The function
will signal an error if obj is an unbound variable.
gap> IsGroup( Group( (1,2,3) ) );
true
gap> IsGroup( 1/2 );
false
GAP 3.4.4