\indexentry {FORMAT package@FORMAT package}{4}
\indexentry {classes!creation of}{5}
\indexentry {IsClass@`IsClass'}{5}
\indexentry {Class@`Class'}{5}
\indexentry {Class@`Class'}{5}
\indexentry {View@`View'!for classes}{5}
\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}{6}
\indexentry {comparison!for classes}{6}
\indexentry {classes!properties of}{6}
\indexentry {properties!of classes}{6}
\indexentry {IsEmpty@`IsEmpty'!for classes}{6}
\indexentry {MemberFunction@`MemberFunction'}{6}
\indexentry {lattice operations!for classes}{6}
\indexentry {Complement@`Complement'}{6}
\indexentry {Intersection@`Intersection'!of classes}{6}
\indexentry {Intersection@`Intersection'!of classes}{6}
\indexentry {INTERSECTION_LIMIT@`INTERSECTION_LIMIT'}{6}
\indexentry {Union@`Union'}{6}
\indexentry {Difference@`Difference'}{6}
\indexentry {group classes!creation of}{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'}{8}
\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}{10}
\indexentry {attributes!of group classes}{10}
\indexentry {Characteristic@`Characteristic'}{10}
\indexentry {Schunck class!creating}{11}
\indexentry {SchunckClass@`SchunckClass'}{11}
\indexentry {Schunck class!attributes of}{11}
\indexentry {Schunck class!operations for}{11}
\indexentry {attributes!of Schunck class}{11}
\indexentry {operations!for Schunck class!}{11}
\indexentry {Boundary@`Boundary'}{11}
\indexentry {Basis@`Basis'}{11}
\indexentry {Projector@`Projector'}{12}
\indexentry {CoveringSubgroup@`CoveringSubgroup'}{12}
\indexentry {BoundaryFunction@`BoundaryFunction'}{12}
\indexentry {ProjectorFunction@`ProjectorFunction'}{12}
\indexentry {primitive soluble group!attributes of}{12}
\indexentry {attributes!of primitive soluble group}{12}
\indexentry {IsPrimitiveSolubleGroup@`IsPrimitiveSolubleGroup'}{12}
\indexentry {IsPrimitiveSoluble@`IsPrimitiveSoluble'}{12}
\indexentry {IsPrimitiveSolvableGroup@`IsPrimitiveSolvableGroup'}{12}
\indexentry {IsPrimitiveSolvable@`IsPrimitiveSolvable'}{12}
\indexentry {SocleComplement@`SocleComplement'}{13}
\indexentry {formations!creating}{13}
\indexentry {OrdinaryFormation@`OrdinaryFormation'}{13}
\indexentry {SaturatedFormation@`SaturatedFormation'}{13}
\indexentry {FormationProduct@`FormationProduct'}{14}
\indexentry {FittingFormationProduct@`FittingFormationProduct'}{14}
\indexentry {formations!attributes for}{15}
\indexentry {formations!operations for}{15}
\indexentry {attributes!of formation}{15}
\indexentry {operations!for formation}{15}
\indexentry {Residual@`Residual'}{15}
\indexentry {Residuum@`Residuum'}{15}
\indexentry {ResidualFunction@`ResidualFunction'}{15}
\indexentry {LocalDefinitionFunction@`LocalDefinitionFunction'}{15}
\indexentry {normal subgroups!with properties inherited by normal subgroups above}{15}
\indexentry {invariant normal subgroups!with properties inherited by normal subgroups above}{15}
\indexentry {normal subgroups!with properties inherited by factor groups}{15}
\indexentry {normal subgroups!with properties inherited by quotients}{15}
\indexentry {OneInvariantSubgroupMinWrtQProperty@`OneInvariantSubgroupMinWrtQProperty'}{15}
\indexentry {AllInvariantSubgroupsWithQProperty@`AllInvariantSubgroupsWithQProperty'}{16}
\indexentry {OneNormalSubgroupMinWrtQProperty@`OneNormalSubgroupMinWrtQProperty'}{17}
\indexentry {AllNormalSubgroupsWithQProperty@`AllNormalSubgroupsWithQProperty'}{17}
\indexentry {Fitting classes!creating}{18}
\indexentry {FittingClass@`FittingClass'}{18}
\indexentry {FittingProduct@`FittingProduct'}{18}
\indexentry {FittingFormationProduct@`FittingFormationProduct'}{18}
\indexentry {Fitting formations!creating}{19}
\indexentry {formations!creating Fitting formations}{19}
\indexentry {Fitting classes!creating Fitting formations}{19}
\indexentry {FittingFormation@`FittingFormation'}{19}
\indexentry {SaturatedFittingFormation@`SaturatedFittingFormation'}{19}
\indexentry {Fitting sets!creating}{19}
\indexentry {IsFittingSet@`IsFittingSet'}{19}
\indexentry {FittingSet@`FittingSet'}{19}
\indexentry {ImageFittingSet@`ImageFittingSet'}{20}
\indexentry {PreImageFittingSet@`PreImageFittingSet'}{20}
\indexentry {Intersection@`Intersection'!of Fitting sets}{20}
\indexentry {attributes!of Fitting sets}{21}
\indexentry {attributes!of Fitting classes}{21}
\indexentry {operations!for Fitting sets}{21}
\indexentry {operations!for Fitting classes}{21}
\indexentry {Fitting sets!operations for}{21}
\indexentry {Fitting classes!operations for}{21}
\indexentry {Fitting sets!attributes of}{21}
\indexentry {Fitting classes!attributes of}{21}
\indexentry {Radical@`Radical'}{21}
\indexentry {Injector@`Injector'}{21}
\indexentry {RadicalFunction@`RadicalFunction'}{21}
\indexentry {InjectorFunction@`InjectorFunction'}{21}
\indexentry {normal subgroups!with properties inherited by normal subgroups}{22}
\indexentry {invariant normal subgroups!with properties inherited by normal subgroups}{22}
\indexentry {OneInvariantSubgroupMaxWrtNProperty@`OneInvariantSubgroupMaxWrtNProperty'}{22}
\indexentry {AllInvariantSubgroupsWithNProperty@`AllInvariantSubgroupsWithNProperty'}{22}
\indexentry {OneNormalSubgroupWithNProperty@`OneNormalSubgroupWithNProperty'}{22}
\indexentry {AllNormalSubgroupsWithNProperty@`AllNormalSubgroupsWithNProperty'}{22}
\indexentry {class!of all trivial groups}{23}
\indexentry {TrivialGroups@`TrivialGroups'}{23}
\indexentry {trivial groups!class of}{23}
\indexentry {class!of all trivial groups}{23}
\indexentry {class!of all nilpotent groups}{23}
\indexentry {NilpotentGroups@`NilpotentGroups'}{23}
\indexentry {nilpotent groups!class of}{23}
\indexentry {class!of all nilpotent groups}{23}
\indexentry {class!of all supersoluble groups}{23}
\indexentry {class!of all supersoluble groups}{23}
\indexentry {SupersolubleGroups@`SupersolubleGroups'}{23}
\indexentry {SupersolvableGroups@`SupersolvableGroups'}{23}
\indexentry {supersoluble groups!class of}{23}
\indexentry {class!of all supersoluble groups}{23}
\indexentry {class!of all abelian groups}{23}
\indexentry {AbelianGroups@`AbelianGroups'}{23}
\indexentry {abelian groups!class of}{23}
\indexentry {class!of all abelian groups}{23}
\indexentry {AbelianGroupsOfExponent@`AbelianGroupsOfExponent'}{23}
\indexentry {AbelianGroupsOfExponent@`AbelianGroupsOfExponent'}{23}
\indexentry {class!of all abelian groups of bounded exponent}{23}
\indexentry {abelian groups of bounded exponent!class of}{23}
\indexentry {PiGroups@`PiGroups'}{23}
\indexentry {class!of all $\pi $-groups}{23}
\indexentry {PGroups@`PGroups'}{23}
\indexentry {class!of all $p$-groups}{23}
\indexentry {NilpotentProjector@`NilpotentProjector'}{23}
\indexentry {Carter subgroup}{23}
\indexentry {SupersolubleProjector@`SupersolubleProjector'}{23}
\indexentry {SupersolvableProjector@`SupersolvableProjector'}{23}
\indexentry {set!of all primes}{24}
\indexentry {AllPrimes@`AllPrimes'}{24}
\indexentry {primes!set of all}{24}
\indexentry {NormalSubgroups@`NormalSubgroups'}{25}
\indexentry {CharacteristicSubgroups@`CharacteristicSubgroups'}{25}
\indexentry {MinimalNormalSubgroups@`MinimalNormalSubgroups'}{25}
\indexentry {minimal normal subgroups}{25}
\indexentry {MinimalNormalPSubgroups@`MinimalNormalPSubgroups'}{25}
\indexentry {minimal normal $p$-subgroups}{25}
\indexentry {AbelianMinimalNormalSubgroups@`AbelianMinimalNormalSubgroups'}{25}
\indexentry {minimal normal subgroups}{25}
\indexentry {Socle@`Socle'}{25}
\indexentry {AbelianSocle@`AbelianSocle'}{25}
\indexentry {SolubleSocle@`SolubleSocle'}{25}
\indexentry {SolvableSocle@`SolvableSocle'}{25}
\indexentry {SocleComponents@`SocleComponents'}{26}
\indexentry {AbelianSocleComponents@`AbelianSocleComponents'}{26}
\indexentry {SolubleSocleComponents@`SolubleSocleComponents'}{26}
\indexentry {SolvableSocleComponents@`SolvableSocleComponents'}{26}
\indexentry {PSocle@`PSocle'}{26}
\indexentry {PSocleComponents@`PSocleComponents'}{26}
\indexentry {PSocleSeries@`PSocleSeries'}{26}
