\begin{theindex} \item \texttt {Augmentation}, \hyperpage{21} \item augmentation homomorphism, \hyperpage{14} \item augmentation ideal, \hyperpage{14} \item \texttt {AugmentationHomomorphism}, \hyperpage{25} \item \texttt {AugmentationIdeal}, \hyperpage{25} \item \texttt {AugmentationIdealNilpotencyIndex}, \hyperpage{27} \item \texttt {AugmentationIdealOfDerivedSubgroupNilpotencyIndex}, \hyperpage{27} \item \texttt {AugmentationIdealPowerFactorGroup}, \hyperpage{34} \item \texttt {AugmentationIdealPowerSeries}, \hyperpage{27} \indexspace \item bicyclic unit, \hyperpage{24} \item \texttt {BicyclicUnitGroup}, \hyperpage{34} \item \texttt {BicyclicUnitOfType1}, \hyperpage{24} \item \texttt {BicyclicUnitOfType2}, \hyperpage{24} \indexspace \item \texttt {CanonicalBasis}, \hyperpage{42} \item \texttt {CoefficientsBySupport}, \hyperpage{20} \indexspace \item \texttt {DihedralDepth}, \hyperpage{45} \item dimension basis, \hyperpage{15} \item \texttt {DimensionBasis}, \hyperpage{45} \indexspace \item \texttt {Embedding}, \hyperpage{30}, \hyperpage{38} \indexspace \item group algebra, \hyperpage{14} \item \texttt {GroupBases}, \hyperpage{35} \indexspace \item \texttt {InverseOp}, \hyperpage{24} \item \texttt {Involution}, \hyperpage{22} \item \texttt {IsBasisOfLieAlgebraOfGroupRing}, \hyperpage{42} \item \texttt {IsFModularGroupAlgebra}, \hyperpage{18} \item \texttt {IsGroupAlgebra}, \hyperpage{18} \item \texttt {IsGroupOfUnitsOfMagmaRing}, \hyperpage{32} \item \texttt {IsLieAbelian}, \hyperpage{40} \item \texttt {IsLieAlgebraByAssociativeAlgebra}, \hyperpage{36} \item \texttt {IsLieAlgebraOfGroupRing}, \hyperpage{37} \item \texttt {IsLieCentreByMetabelian}, \hyperpage{41} \item \texttt {IsLieMetabelian}, \hyperpage{41} \item \texttt {IsLieNilpotent}, \hyperpage{41} \item \texttt {IsLieSolvable}, \hyperpage{40} \item \texttt {IsNormalizedUnitGroupOfGroupRing}, \hyperpage{33} \item \texttt {IsPModularGroupAlgebra}, \hyperpage{19} \item \texttt {IsSymmetric}, \hyperpage{23} \item \texttt {IsUnit}, \hyperpage{23} \item \texttt {IsUnitary}, \hyperpage{23} \item \texttt {IsUnitGroupOfGroupRing}, \hyperpage{32} \indexspace \item Jennings series, \hyperpage{15} \indexspace \item \texttt {LAGInfo}, \hyperpage{46} \item \textsf{LAGUNA} package, \hyperpage{2} \item \texttt {LAGUNABuildManual}, \hyperpage{47} \item \texttt {LAGUNABuildManualHTML}, \hyperpage{47} \item \texttt {LeftIdealBySubgroup}, \hyperpage{28} \item \texttt {Length}, \hyperpage{21} \item Lie derived length, \hyperpage{44} \item Lie derived series, \hyperpage{44} \item \texttt {LieAlgebraByDomain}, \hyperpage{35} \item \texttt {LieCentre}, \hyperpage{39} \item \texttt {LieDerivedLength}, \hyperpage{44} \item \texttt {LieDerivedSubalgebra}, \hyperpage{39} \item \texttt {LieDimensionSubgroups}, \hyperpage{45} \item \texttt {LieLowerNilpotencyIndex}, \hyperpage{43} \item \texttt {LieUpperCodimensionSeries}, \hyperpage{46} \item \texttt {LieUpperNilpotencyIndex}, \hyperpage{43} \item lower Lie power series, \hyperpage{43} \indexspace \item modular group algebra, \hyperpage{18} \indexspace \item \texttt {NaturalBijectionToAssociativeAlgebra}, \hyperpage{37} \item \texttt {NaturalBijectionToLieAlgebra}, \hyperpage{36} \item \texttt {NaturalBijectionToNormalizedUnitGroup}, \hyperpage{30} \item \texttt {NaturalBijectionToPcNormalizedUnitGroup}, \hyperpage{29} \item normalised unit, \hyperpage{14} \item normalised unit group, \hyperpage{14} \item \texttt {NormalizedUnitGroup}, \hyperpage{29} \indexspace \item $p$-modular group algebra, \hyperpage{15} \item partial augmentation, \hyperpage{22} \item \texttt {PartialAugmentations}, \hyperpage{22} \item \texttt {PcNormalizedUnitGroup}, \hyperpage{29} \item \texttt {PcUnits}, \hyperpage{32} \item power-commutator presentation, \hyperpage{15} \indexspace \item \texttt {RadicalOfAlgebra}, \hyperpage{26} \item \texttt {RightIdealBySubgroup}, \hyperpage{28} \indexspace \item \textsf{SISYPHOS} package, \hyperpage{6} \item standard product, \hyperpage{15} \item \texttt {StructureConstantsTable}, \hyperpage{43} \item \texttt {SubgroupsOfIndexTwo}, \hyperpage{44} \item \texttt {Support}, \hyperpage{20} \item symmetric element, \hyperpage{23} \indexspace \item \texttt {TraceOfMagmaRingElement}, \hyperpage{21} \item \texttt {TwoSidedIdalBySubgroup}, \hyperpage{28} \indexspace \item \texttt {UnderlyingAssociativeAlgebra}, \hyperpage{36} \item \texttt {UnderlyingField}, \hyperpage{20} \item \texttt {UnderlyingGroup} \subitem of a group ring, \hyperpage{19} \subitem of Lie algebra of a group ring, \hyperpage{38} \item \texttt {UnderlyingGroupRing}, \hyperpage{33} \item \texttt {UnderlyingRing}, \hyperpage{19} \item unit, \hyperpage{14} \item unit group, \hyperpage{14} \item unitary element, \hyperpage{23} \item \texttt {UnitarySubgroup}, \hyperpage{33} \item \texttt {Units}, \hyperpage{31} \item upper Lie power series, \hyperpage{43} \indexspace \item weight, of dimension basis element, \hyperpage{15} \item \texttt {WeightedBasis}, \hyperpage{26} \end{theindex}