26.6 DualMatGroupSagGroup

DualMatGroupSagGroup( H, i )

DualMatGroupSagGroup calculates the dual matrix representation of H More about Special Ag Groups).

Let V be an F H-module for a field F. Then the dual module to V is defined by V^* := {f : V rightarrow F | f mbox{ is linear }}. This module is also an F H-module and the dual matrix representation is the representation on the dual module.

    gap> S := SpecialAgGroup( a4wrs3 );;
    gap> DualMatGroupSagGroup(S,3);
    Group( [ [ Z(3), 0*Z(3) ], [ 0*Z(3), Z(3) ] ], 
    [ [ Z(3)^0, 0*Z(3) ], [ Z(3)^0, Z(3)^0 ] ] ) 

Previous Up Top Next
Index