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 NextIndex