25.30 MatGroupAgGroup

MatGroupAgGroup( U, M )

Let U and M be two ag groups with a common parent group and let M be a elementary abelian group normalized by U. Then MatGroupAgGroup returns the matrix representation of U acting on M.

See also LinearOperation.

    gap> v4 := AgSubgroup( s4, [ c, d ], true );
    Subgroup( s4, [ c, d ] )
    gap> a4 := AgSubgroup( s4, [ b, c, d ], true );
    Subgroup( s4, [ b, c, d ] )
    gap> MatGroupAgGroup( s4, v4 );
    Group( [ [ Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0 ] ],
    [ [ 0*Z(2), Z(2)^0 ], [ Z(2)^0, Z(2)^0 ] ] ) 

Previous Up Top Next
Index