73.53 Operations for cat1-groups

Special operations defined for crossed modules are stored in the record structure Cat1Ops based on DomainOps. Every cat1-group C has C.operations := Cat1Ops;.

    gap> RecFields( Cat1Ops );
    [ "name", "operations", "Elements", "IsFinite", "Size", "=", "<", 
      "in", "IsSubset", "Intersection", "Union", "IsParent", "Parent", 
      "Difference", "Representative", "Random", "Print", "Actor",
      "InnerActor", "InclusionMorphism", "WhiteheadPermGroup" ]  

Cat1-groups are considered equal if they have the same source, range, tail, head and embedding. The remaining functions are described below.

Previous Up Top Next
Index