7.30 Radical

Radical( G )

Radical returns the radical of the finite group G.

The radical is the largest normal solvable subgroup of G.

    gap> g := Group( (1,5), (1,5,6,7,8)(2,3,4) );
    Group( (1,5), (1,5,6,7,8)(2,3,4) )
    gap> Radical( g );
    Subgroup( Group( (1,5), (1,5,6,7,8)(2,3,4) ), [ ( 2, 3, 4) ] )

The default function GroupOps.Radical tests if G is solvable and signals an error if not.

Previous Up Top Next
Index