73.72 IdentitySubCat1

IdentitySubCat1( C )

Every cat1-group {cal C} has an identity sub-cat1-group whose source and range are the identity subgroups of the source and range of {cal C}.

    gap> IdentitySubCat1( SC );
    cat1-group [Id[c3^2
|Xc2 ==> s3]]

Previous Up Top Next
Index

GAP 3.4.4
April 1997