Lines Matching refs:Pf
1102 local Pf, s1, s2, a1, src, gensrc, comm, bdy, act, ok, XPf;
1109 Pf := TrivialSubgroup( src );
1114 if not ( comm in Pf ) then
1115 Pf := ClosureSubgroup( Pf, comm );
1119 Pf := NormalClosure( src, Pf );
1120 if ( Pf = src ) then
1121 Pf := src;
1123 XPf := Sub2DimensionalGroup( PM, Pf, TrivialSubgroup( Range(PM) ) );
1126 return Pf;
1137 local src, kerh, kert, Pf;
1142 Pf := CommutatorSubgroup( kert, kerh );
1143 if ( Pf = src ) then
1144 Pf := src;
1146 return Pf;
2245 local PCrng, PCsrc, PCt, PCh, PCe, genrng, gensrc, Pf, nat, quot,
2256 Pf := PeifferSubgroupPreCat1Group( PC );
2257 if not IsNormal( PCsrc, Pf ) then
2260 nat := NaturalHomomorphismByNormalSubgroup( PCsrc, Pf );