7.35 CommutatorFactorGroup

CommutatorFactorGroup( G )

CommutatorFactorGroup returns a group isomorphic to G/<G>^prime where <G>^prime is the derived subgroup of G (see DerivedSubgroup).

    gap> s4 := AgGroup( Group( (1,2,3,4), (1,2) ) );
    Group( g1, g2, g3, g4 )
    gap> CommutatorFactorGroup( s4 );
    Group( g1 ) 

The default group function GroupOps.CommutatorFactorGroup uses DerivedSubgroup (see DerivedSubgroup) and FactorGroup (see FactorGroup) in order to compute the commutator factor group.

Previous Up Top Next
Index