CRISP : a GAP 4 package - Index
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
- abelian groups of bounded exponent, class of 6.1
- abelian groups, class of 6.1
- AbelianGroups 6.1
- AbelianGroupsOfExponent 6.1.5 6.1
- AbelianMinimalNormalSubgroups 7.1.5
- AbelianSocle 7.2.2
- AbelianSocleComponents 7.2.4
- Additional attributes for primitive soluble groups 4.3
- Additional properties of group classes 3.3
- AllInvariantSubgroupsWithNProperty 5.5.2
- AllInvariantSubgroupsWithQProperty 4.6.2
- AllNormalSubgroupsWithNProperty 5.5.3
- AllNormalSubgroupsWithQProperty 4.6.4
- AllPrimes 6.3
- Attributes and operations for Fitting classes and Fitting sets 5.4
- Attributes and operations for formations 4.5
- Attributes and operations for Schunck classes 4.2
- Attributes of group classes 3.4
- attributes, of Fitting classes 5.4
- attributes, of Fitting sets 5.4
- attributes, of formation 4.5
- attributes, of group classes 3.4
- attributes, of primitive soluble group 4.3
- attributes, of Schunck class 4.2
- Basis 4.2.2
- Boundary 4.2.1
- BoundaryFunction 4.2.5
- Carter subgroup 6.2
- Characteristic 3.4.1
- CharacteristicSubgroups 7.1.2
- Class 2.1.2
- class, of all abelian groups 6.1.4 6.1
- class, of all abelian groups of bounded exponent 6.1
- class, of all nilpotent groups 6.1.2 6.1
- class, of all p-groups 6.1
- class, of all pi-groups 6.1
- class, of all supersoluble groups 6.1.3 6.1
- class, of all trivial groups 6.1.1 6.1
- classes, creation of 2.1
- classes, properties of 2.2
- closure properties, of group classes 3.2
- comparison, for classes 2.1.8
- Complement 2.3.1
- ContainsTrivialGroup 3.2.2
- CoveringSubgroup 4.2.4
- Creating Fitting classes 5.1
- Creating Fitting formations 5.2
- Creating Fitting sets 5.3
- Creating formations 4.4
- Creating group classes 3.1
- Creating Schunck classes 4.1
- Creating set theoretical classes 2.1
- Difference 2.3.4
- Display, for classes 2.1.5
- element test, for classes 2.1.6
- equality, for classes 2.1.7
- Examples of group classes 6.0
- Fitting classes and Fitting sets 5.0
- Fitting classes, attributes of 5.4
- Fitting classes, creating 5.1
- Fitting classes, creating Fitting formations 5.2
- Fitting classes, operations for 5.4
- Fitting formations, creating 5.2
- Fitting sets, attributes of 5.4
- Fitting sets, creating 5.3
- Fitting sets, operations for 5.4
- FittingClass 5.1.1
- FittingFormation 5.2.1
- FittingFormationProduct 4.4.4
- FittingProduct 5.1.2
- FittingSet 5.3.2
- FormationProduct 4.4.3
- formations, attributes for 4.5
- formations, creating 4.4
- formations, creating Fitting formations 5.2
- formations, operations for 4.5
- Functions for normal and characteristic subgroups 7.1
- Functions for the socle of finite groups 7.2
- Generic group classes 3.0
- group classes, attributes for 3.4
- group classes, closure properties of 3.2
- group classes, creation of 3.1
- group classes, properties of 3.3
- GroupClass 3.1.1
- HasIsFittingClass 3.3.1
- HasIsFittingFormation 3.3.10
- HasIsFormation 3.3
- HasIsOrdinaryFormation 3.3.4
- HasIsSaturatedFittingFormation 3.3.13
- HasIsSaturatedFormation 3.3.7
- ImageFittingSet 5.3.3
- in, for classes 2.1
- Injector 5.4.2
- InjectorFunction 5.4.4
- Intersection, of classes 2.3.2
- Intersection, of Fitting sets 5.3.5
- Intersection, of group classes 3.1.2
- INTERSECTIONnoexpand_LIMIT 2.3
- Introduction 1.0
- invariant normal subgroups, with properties inherited by normal subgroups 5.5
- invariant normal subgroups, with properties inherited by normal subgroups above 4.6
- IsClass 2.1.1
- IsDirectProductClosed 3.2.8
- IsEmpty, for classes 2.2.1
- IsFittingClass 3.3.2
- IsFittingFormation 3.3.11
- IsFittingSet 5.3.1
- IsFormation 3.3
- IsGroupClass 3.2.1
- IsNormalProductClosed 3.2.7
- IsNormalSubgroupClosed 3.2.4
- IsOrdinaryFormation 3.3.5
- IsPrimitiveSoluble 4.3.1
- IsPrimitiveSolubleGroup 4.3.1
- IsPrimitiveSolvable 4.3.1
- IsPrimitiveSolvableGroup 4.3.1
- IsQuotientClosed 3.2.5
- IsResiduallyClosed 3.2.6
- IsSaturated 3.2.10
- IsSaturatedFittingFormation 3.3.14
- IsSaturatedFormation 3.3.8
- IsSchunckClass 3.2.9
- IsSubgroupClosed 3.2.3
- Lattice operations for classes 2.3
- lattice operations, for classes 2.3
- Lists of normal subgroups 7.0
- LocalDefinitionFunction 4.5.3
- Low level functions for normal subgroups related to radicals 5.5
- Low level functions for normal subgroups related to residuals 4.6
- MemberFunction 2.2.2
- membership test, for classes 2.1
- minimal normal p-subgroups 7.1
- minimal normal subgroups 7.1
- MinimalNormalPSubgroups 7.1.4
- MinimalNormalSubgroups 7.1.3
- nilpotent groups, class of 6.1
- NilpotentGroups 6.1
- NilpotentProjector 6.2.1
- normal subgroups, with properties inherited by factor groups 4.6
- normal subgroups, with properties inherited by normal subgroups 5.5
- normal subgroups, with properties inherited by normal subgroups above 4.6
- normal subgroups, with properties inherited by quotients 4.6
- NormalSubgroups 7.1.1
- OneInvariantSubgroupMaxWrtNProperty 5.5.1
- OneInvariantSubgroupMinWrtQProperty 4.6.1
- OneNormalSubgroupMinWrtQProperty 4.6.3
- OneNormalSubgroupWithNProperty 5.5.3
- operations, for Fitting classes 5.4
- operations, for Fitting sets 5.4
- operations, for formation 4.5
- operations, for Schunck class, 4.2
- OrdinaryFormation 4.4.1
- PGroups 6.1.7
- PiGroups 6.1.6
- Pre-defined group classes 6.1
- Pre-defined projector functions 6.2
- Pre-defined sets of primes 6.3
- PreImageFittingSet 5.3.4
- primes, set of all 6.3
- primitive soluble group, attributes of 4.3
- Print, for classes 2.1.4
- Projector 4.2.3
- ProjectorFunction 4.2.6
- Properties of classes 2.2
- Properties of group classes 3.2
- properties, of classes 2.2
- properties, of group classes 3.3
- PSocle 7.2.5
- PSocleComponents 7.2.6
- PSocleSeries 7.2.7
- Radical 5.4.1
- RadicalFunction 5.4.3
- Residual 4.5.1
- ResidualFunction 4.5.2
- Residuum 4.5.1
- SaturatedFittingFormation 5.2.2
- SaturatedFormation 4.4.2
- Schunck class, attributes of 4.2
- Schunck class, creating 4.1
- Schunck class, operations for 4.2
- Schunck classes and formations 4.0
- SchunckClass 4.1.1
- Set theoretical classes 2.0
- set, of all primes 6.3.1
- SetIsFittingClass 3.3.3
- SetIsFittingFormation 3.3.12
- SetIsFormation 3.3
- SetIsOrdinaryFormation 3.3.6
- SetIsSaturatedFittingFormation 3.3.15
- SetIsSaturatedFormation 3.3.9
- Socle 7.2.1
- SocleComplement 4.3.2
- SocleComponents 7.2.3
- SolubleSocle 7.2.2
- SolubleSocleComponents 7.2.4
- SolvableSocle 7.2.2
- SolvableSocleComponents 7.2.4
- supersoluble groups, class of 6.1
- SupersolubleGroups 6.1
- SupersolubleProjector 6.2.2
- SupersolvableGroups 6.1
- SupersolvableProjector 6.2.2
- trivial groups, class of 6.1
- TrivialGroups 6.1
- Union 2.3.3
- Version History A.0
- View, for classes 2.1.3
[Up]
CRISP manual
December 2022