73.75 NormalSubCat1s

NormalSubCat1s( C )

This function takes pairs of normal subgroups from the source and range of {cal C} and constructs a normal sub-cat1-group whenever the axioms are satisfied.

    gap> NormalSubCat1s( SC );
    [ cat1-group [Sub[c3^2

Xc2 ==> s3]] ,
      cat1-group [Sub[c3^2

Xc2 ==> s3]] , 
      cat1-group [Sub[c3^2

Xc2 ==> s3]] ,
      cat1-group [Sub[c3^2

Previous Up Top Next
Index