\indexentry {CRISP}{3}
\indexentry {FORMAT package@FORMAT package}{3}
\indexentry {classes!creating}{4}
\indexentry {IsClass@`IsClass'}{4}
\indexentry {Class@`Class'}{4}
\indexentry {Class@`Class'}{4}
\indexentry {View@`View'!for classes}{4}
\indexentry {Print@`Print'!for classes}{5}
\indexentry {Display@`Display'!for classes}{5}
\indexentry {element test!for classes}{5}
\indexentry {in@`in'!for classes}{5}
\indexentry {membership test!for classes}{5}
\indexentry {equality!for classes}{5}
\indexentry {comparison!for classes}{5}
\indexentry {classes!properties of}{5}
\indexentry {properties!of classes}{5}
\indexentry {IsEmpty@`IsEmpty'!for classes}{5}
\indexentry {MemberFunction@`MemberFunction'}{5}
\indexentry {lattice operations!for classes}{5}
\indexentry {Complement@`Complement'}{5}
\indexentry {Intersection@`Intersection'!of classes}{5}
\indexentry {Intersection@`Intersection'!of classes}{5}
\indexentry {INTERSECTION_LIMIT@`INTERSECTION_LIMIT'}{5}
\indexentry {Union@`Union'}{6}
\indexentry {Difference@`Difference'}{6}
\indexentry {group classes!creation}{7}
\indexentry {GroupClass@`GroupClass'}{7}
\indexentry {GroupClass@`GroupClass'}{7}
\indexentry {GroupClass@`GroupClass'}{7}
\indexentry {GroupClass@`GroupClass'}{7}
\indexentry {Intersection@`Intersection'!of group classes}{8}
\indexentry {Intersection@`Intersection'!of group classes}{8}
\indexentry {closure properties!of group classes}{8}
\indexentry {group classes!closure properties of}{8}
\indexentry {IsGroupClass@`IsGroupClass'}{8}
\indexentry {ContainsTrivialGroup@`ContainsTrivialGroup'}{9}
\indexentry {IsSubgroupClosed@`IsSubgroupClosed'}{9}
\indexentry {IsNormalSubgroupClosed@`IsNormalSubgroupClosed'}{9}
\indexentry {IsQuotientClosed@`IsQuotientClosed'}{9}
\indexentry {IsResiduallyClosed@`IsResiduallyClosed'}{9}
\indexentry {IsNormalProductClosed@`IsNormalProductClosed'}{9}
\indexentry {IsDirectProductClosed@`IsDirectProductClosed'}{9}
\indexentry {IsSchunckClass@`IsSchunckClass'}{9}
\indexentry {IsSaturated@`IsSaturated'}{9}
\indexentry {group classes!properties of}{9}
\indexentry {properties!of group classes}{9}
\indexentry {HasIsFittingClass@`HasIsFittingClass'}{9}
\indexentry {IsFittingClass@`IsFittingClass'}{9}
\indexentry {SetIsFittingClass@`SetIsFittingClass'}{9}
\indexentry {HasIsOrdinaryFormation@`HasIsOrdinaryFormation'}{10}
\indexentry {HasIsFormation@`HasIsFormation'}{10}
\indexentry {IsOrdinaryFormation@`IsOrdinaryFormation'}{10}
\indexentry {IsFormation@`IsFormation'}{10}
\indexentry {SetIsOrdinaryFormation@`SetIsOrdinaryFormation'}{10}
\indexentry {SetIsFormation@`SetIsFormation'}{10}
\indexentry {HasIsSaturatedFormation@`HasIsSaturatedFormation'}{10}
\indexentry {IsSaturatedFormation@`IsSaturatedFormation'}{10}
\indexentry {SetIsSaturatedFormation@`SetIsSaturatedFormation'}{10}
\indexentry {HasIsFittingFormation@`HasIsFittingFormation'}{10}
\indexentry {IsFittingFormation@`IsFittingFormation'}{10}
\indexentry {SetIsFittingFormation@`SetIsFittingFormation'}{10}
\indexentry {HasIsSaturatedFittingFormation@`HasIsSaturatedFittingFormation'}{10}
\indexentry {IsSaturatedFittingFormation@`IsSaturatedFittingFormation'}{10}
\indexentry {SetIsSaturatedFittingFormation@`SetIsSaturatedFittingFormation'}{10}
\indexentry {group classes!attributes for}{11}
\indexentry {attributes!of group classes}{11}
\indexentry {Characteristic@`Characteristic'}{11}
\indexentry {Schunck class!creating}{12}
\indexentry {SchunckClass@`SchunckClass'}{12}
\indexentry {Schunck class!attributes of}{12}
\indexentry {Schunck class!operations for}{12}
\indexentry {attributes!of Schunck class}{12}
\indexentry {operations!for Schunck class!}{12}
\indexentry {Boundary@`Boundary'}{12}
\indexentry {Basis@`Basis'}{12}
\indexentry {Projector@`Projector'}{13}
\indexentry {CoveringSubgroup@`CoveringSubgroup'}{13}
\indexentry {BoundaryFunction@`BoundaryFunction'}{13}
\indexentry {ProjectorFunction@`ProjectorFunction'}{13}
\indexentry {primitive solvable group!attributes of}{14}
\indexentry {attributes!of primitive solvable group}{14}
\indexentry {IsPrimitiveSolvable@`IsPrimitiveSolvable'}{14}
\indexentry {SocleComplement@`SocleComplement'}{14}
\indexentry {formations!creating}{14}
\indexentry {OrdinaryFormation@`OrdinaryFormation'}{14}
\indexentry {SaturatedFormation@`SaturatedFormation'}{14}
\indexentry {FormationProduct@`FormationProduct'}{15}
\indexentry {FittingFormationProduct@`FittingFormationProduct'}{15}
\indexentry {formations!attributes for}{16}
\indexentry {formations!operations for}{16}
\indexentry {attributes!of formation}{16}
\indexentry {operations!for formation}{16}
\indexentry {Residual@`Residual'}{16}
\indexentry {Residuum@`Residuum'}{16}
\indexentry {ResidualFunction@`ResidualFunction'}{16}
\indexentry {LocalDefinitionFunction@`LocalDefinitionFunction'}{16}
\indexentry {NormalSubgroups@`NormalSubgroups'}{16}
\indexentry {CharacteristicSubgroups@`CharacteristicSubgroups'}{16}
\indexentry {normal subgroups!with properties inherited by normal subgroups above}{17}
\indexentry {invariant normal subgroups!with properties inherited by normal subgroups above}{17}
\indexentry {factor groups!with properties inherited by factor groups}{17}
\indexentry {quotient groups!with properties inherited by quotients}{17}
\indexentry {OneInvariantSubgroupMinWrtQProperty@`OneInvariantSubgroupMinWrtQProperty'}{17}
\indexentry {AllInvariantSubgroupsWithQProperty@`AllInvariantSubgroupsWithQProperty'}{18}
\indexentry {OneNormalSubgroupMinWrtQProperty@`OneNormalSubgroupMinWrtQProperty'}{18}
\indexentry {AllNormalSubgroupsWithQProperty@`AllNormalSubgroupsWithQProperty'}{18}
\indexentry {Fitting classes!creating}{19}
\indexentry {FittingClass@`FittingClass'}{19}
\indexentry {FittingProduct@`FittingProduct'}{19}
\indexentry {FittingFormationProduct@`FittingFormationProduct'}{19}
\indexentry {Fitting formations!creating}{20}
\indexentry {formations!creating Fitting formations}{20}
\indexentry {Fitting classes!creating Fitting formations}{20}
\indexentry {FittingFormation@`FittingFormation'}{20}
\indexentry {SaturatedFittingFormation@`SaturatedFittingFormation'}{20}
\indexentry {Fitting sets!creating}{20}
\indexentry {IsFittingSet@`IsFittingSet'}{20}
\indexentry {FittingSet@`FittingSet'}{20}
\indexentry {ImageFittingSet@`ImageFittingSet'}{21}
\indexentry {PreImageFittingSet@`PreImageFittingSet'}{21}
\indexentry {Intersection@`Intersection'!of Fitting sets}{21}
\indexentry {attributes!of Fitting sets}{22}
\indexentry {attributes!of Fitting classes}{22}
\indexentry {operations!for Fitting sets}{22}
\indexentry {operations!for Fitting classes}{22}
\indexentry {Fitting sets!operations for}{22}
\indexentry {Fitting classes!operations for}{22}
\indexentry {Fitting sets!attributes of}{22}
\indexentry {Fitting classes!attributes of}{22}
\indexentry {Radical@`Radical'}{22}
\indexentry {Injector@`Injector'}{22}
\indexentry {RadicalFunction@`RadicalFunction'}{22}
\indexentry {InjectorFunction@`InjectorFunction'}{23}
\indexentry {Socle@`Socle'}{23}
\indexentry {AbelianSocle@`AbelianSocle'}{23}
\indexentry {SolvableSocle@`SolvableSocle'}{23}
\indexentry {SocleComponents@`SocleComponents'}{23}
\indexentry {AbelianSocleComponents@`AbelianSocleComponents'}{23}
\indexentry {SolvableSocleComponents@`SolvableSocleComponents'}{23}
\indexentry {PSocle@`PSocle'}{23}
\indexentry {PSocleComponents@`PSocleComponents'}{23}
\indexentry {AbelianMinimalNormalSubgroups@`AbelianMinimalNormalSubgroups'}{23}
\indexentry {minimal normal subgroups}{23}
\indexentry {normal subgroups!with properties inherited by normal subgroups}{24}
\indexentry {invariant normal subgroups!with properties inherited by normal subgroups}{24}
\indexentry {OneInvariantSubgroupMaxWrtNProperty@`OneInvariantSubgroupMaxWrtNProperty'}{24}
\indexentry {AllInvariantSubgroupsWithNProperty@`AllInvariantSubgroupsWithNProperty'}{24}
\indexentry {OneNormalSubgroupWithNProperty@`OneNormalSubgroupWithNProperty'}{24}
\indexentry {AllNormalSubgroupsWithNProperty@`AllNormalSubgroupsWithNProperty'}{24}
\indexentry {class!of all trivial groups}{25}
\indexentry {trivial groups!class of}{25}
\indexentry {class!of all trivial groups}{25}
\indexentry {class!of all nilpotent groups}{25}
\indexentry {nilpotent groups!class of}{25}
\indexentry {class!of all nilpotent groups}{25}
\indexentry {class!of all supersolvable groups}{25}
\indexentry {supersolvable groups!class of}{25}
\indexentry {class!of all supersolvable groups}{25}
\indexentry {class!of all abelian groups}{25}
\indexentry {AbelianGroups@`AbelianGroups'}{25}
\indexentry {abelian groups!class of}{25}
\indexentry {class!of all abelian groups}{25}
\indexentry {AbelianGroupsOfExponent@`AbelianGroupsOfExponent'}{25}
\indexentry {class!of all abelian groups of bounded exponent}{25}
\indexentry {abelian groups of bounded exponent!class of}{25}
\indexentry {PiGroups@`PiGroups'}{25}
\indexentry {class!of all $\pi $-groups}{25}
\indexentry {PGroups@`PGroups'}{25}
\indexentry {class!of all $p$-groups}{25}
\indexentry {NilpotentProjector@`NilpotentProjector'}{26}
\indexentry {Carter subgroup}{26}
\indexentry {SupersolvableProjector@`SupersolvableProjector'}{26}
\indexentry {set!of all primes}{26}
\indexentry {primes!set of all}{26}