|
#############################################################################
##
#W psoluble.gd Permutability GAP library ABB&EC&RER
##
##
#Y Copyright (C) 2000-2018 Adolfo Ballester-Bolinches, Enric Cosme-Ll\'opez
#Y and Ramon Esteban-Romero
##
## This file contains declaration for p-soluble,
## p-supersoluble, p-nilpotent groups
##
#############################################################################
##
#P IsSylowTowerGroup( <G> ) . . . . for finite groups
##
## Returns true if the group has a Sylow tower of supersolvable type,
## else returns false
##
DeclareProperty("IsSylowTowerGroup",IsGroup);
#############################################################################
##
#F IsPSupersolvable( <G>, <p> ) . . . . for finite groups
##
## Returns true if the group is p-supersolvable, false otherwise.
## A group $G$ is p-supersolvable if all chief factors of
## order divisible by p are cyclic.
##
##
KeyDependentOperation("IsPSupersolvable", IsGroup, IsPosInt, "prime");
InstallTrueMethod(IsSylowTowerGroup,IsSupersolvableGroup);
Transatlantic(IsPSupersolvable);
Transatlantic(IsPSupersolvableOp);
[ Dauer der Verarbeitung: 0.37 Sekunden
(vorverarbeitet)
]
|
