\indexentry{Wedderga package@\textsf{Wedderga} package|hyperpage}{2}
\indexentry{WedderburnDecomposition@\texttt  {WedderburnDecomposition}|hyperpage}{8}
\indexentry{WedderburnDecompositionInfo@\texttt  {WedderburnDecompositionInfo}|hyperpage}{9}
\indexentry{SimpleAlgebraByCharacter@\texttt  {SimpleAlgebraByCharacter}|hyperpage}{13}
\indexentry{SimpleAlgebraByCharacterInfo@\texttt  {SimpleAlgebraByCharacterInfo}|hyperpage}{13}
\indexentry{SimpleAlgebraByStrongSP@\texttt  {SimpleAlgebraByStrongSP}!for rational group algebra|hyperpage}{13}
\indexentry{SimpleAlgebraByStrongSPNC@\texttt  {SimpleAlgebraByStrongSPNC}!for rational group algebra|hyperpage}{13}
\indexentry{SimpleAlgebraByStrongSP@\texttt  {SimpleAlgebraByStrongSP}!for semisimple finite group algebra|hyperpage}{14}
\indexentry{SimpleAlgebraByStrongSPNC@\texttt  {SimpleAlgebraByStrongSPNC}!for semisimple finite group algebra|hyperpage}{14}
\indexentry{SimpleAlgebraByStrongSPInfo@\texttt  {SimpleAlgebraByStrongSPInfo}!for rational group algebra|hyperpage}{14}
\indexentry{SimpleAlgebraByStrongSPInfoNC@\texttt  {SimpleAlgebraByStrongSPInfoNC}!for rational group algebra|hyperpage}{14}
\indexentry{SimpleAlgebraByStrongSPInfo@\texttt  {SimpleAlgebraByStrongSPInfo}!for semisimple finite group algebra|hyperpage}{14}
\indexentry{SimpleAlgebraByStrongSPInfoNC@\texttt  {SimpleAlgebraByStrongSPInfoNC}!for semisimple finite group algebra|hyperpage}{14}
\indexentry{StrongShodaPairs@\texttt  {StrongShodaPairs}|hyperpage}{16}
\indexentry{IsStrongShodaPair@\texttt  {IsStrongShodaPair}|hyperpage}{17}
\indexentry{IsShodaPair@\texttt  {IsShodaPair}|hyperpage}{17}
\indexentry{IsStronglyMonomial@\texttt  {IsStronglyMonomial}|hyperpage}{18}
\indexentry{PrimitiveCentralIdempotentsByCharacterTable@\texttt  {Primitive}\discretionary {-}{}{}\texttt  {Central}\discretionary {-}{}{}\texttt  {Idempotents}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {Character}\discretionary {-}{}{}\texttt  {Table}|hyperpage}{19}
\indexentry{IsCompleteSetOfOrthogonalIdempotents@\texttt  {IsComplete}\discretionary {-}{}{}\texttt  {Set}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Orthogonal}\discretionary {-}{}{}\texttt  {Idempotents}|hyperpage}{19}
\indexentry{PrimitiveCentralIdempotentsByStrongSP@\texttt  {Primitive}\discretionary {-}{}{}\texttt  {Central}\discretionary {-}{}{}\texttt  {Idempotents}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {StrongSP}|hyperpage}{20}
\indexentry{PrimitiveCentralIdempotentsBySP@\texttt  {PrimitiveCentralIdempotentsBySP}|hyperpage}{21}
\indexentry{PrimitiveIdempotentsNilpotent@\texttt  {PrimitiveIdempotentsNilpotent}|hyperpage}{22}
\indexentry{PrimitiveIdempotentsTrivialTwisting@\texttt  {PrimitiveIdempotentsTrivialTwisting}|hyperpage}{23}
\indexentry{CrossedProduct@\texttt  {CrossedProduct}|hyperpage}{24}
\indexentry{IsCrossedProduct@\texttt{IsCrossedProduct}|hyperpage}{24}
\indexentry{LeftActingDomain@\texttt{LeftActingDomain}|hyperpage}{27}
\indexentry{UnderlyingMagma@\texttt{UnderlyingMagma}|hyperpage}{27}
\indexentry{ActionForCrossedProduct@\texttt{ActionForCrossedProduct}|hyperpage}{27}
\indexentry{TwistingForCrossedProduct@\texttt{TwistingForCrossedProduct}|hyperpage}{27}
\indexentry{Quaternion algebra|hyperpage}{29}
\indexentry{ElementOfCrossedProduct@\texttt  {ElementOfCrossedProduct}|hyperpage}{31}
\indexentry{ZeroCoefficient@\texttt{ZeroCoefficient}|hyperpage}{31}
\indexentry{IsElementOfCrossedProduct@\texttt{IsElementOfCrossedProduct}|hyperpage}{31}
\indexentry{IsCrossedProductObjDefaultRep@\texttt{IsCrossedProductObjDefaultRep}|hyperpage}{31}
\indexentry{CoefficientsAndMagmaElements|hyperpage}{31}
\indexentry{Embedding@\texttt{Embedding}|hyperpage}{31}
\indexentry{IsSemisimpleZeroCharacteristicGroupAlgebra@\texttt  {IsSemisimple}\discretionary {-}{}{}\texttt  {Zero}\discretionary {-}{}{}\texttt  {Characteristic}\discretionary {-}{}{}\texttt  {Group}\discretionary {-}{}{}\texttt  {Algebra}|hyperpage}{32}
\indexentry{IsSemisimpleRationalGroupAlgebra@\texttt  {IsSemisimpleRationalGroupAlgebra}|hyperpage}{32}
\indexentry{IsSemisimpleANFGroupAlgebra@\texttt  {IsSemisimpleANFGroupAlgebra}|hyperpage}{33}
\indexentry{IsSemisimpleFiniteGroupAlgebra@\texttt  {IsSemisimpleFiniteGroupAlgebra}|hyperpage}{33}
\indexentry{IsTwistingTrivial@\texttt  {IsTwistingTrivial}|hyperpage}{33}
\indexentry{Centralizer@\texttt  {Centralizer}|hyperpage}{34}
\indexentry{OnPoints@\texttt  {OnPoints}|hyperpage}{34}
\indexentry{^@\texttt  {\texttt  {\char 92\relax }\texttt  {\char 94\relax }}|hyperpage}{34}
\indexentry{AverageSum@\texttt  {AverageSum}|hyperpage}{35}
\indexentry{CyclotomicClasses@\texttt  {CyclotomicClasses}|hyperpage}{36}
\indexentry{IsCyclotomicClass@\texttt  {IsCyclotomicClass}|hyperpage}{36}
\indexentry{InfoWedderga@\texttt  {InfoWedderga}|hyperpage}{36}
\indexentry{WedderburnDecompositionWithDivAlgParts@\texttt  {Wedderburn}\discretionary {-}{}{}\texttt  {Decomposition}\discretionary {-}{}{}\texttt  {With}\discretionary {-}{}{}\texttt  {Div}\discretionary {-}{}{}\texttt  {Alg}\discretionary {-}{}{}\texttt  {Parts}|hyperpage}{38}
\indexentry{CyclotomicAlgebraWithDivAlgPart@\texttt  {CyclotomicAlgebraWithDivAlgPart}|hyperpage}{39}
\indexentry{SchurIndex@\texttt  {SchurIndex}|hyperpage}{39}
\indexentry{SchurIndexByCharacter@\texttt  {SchurIndexByCharacter}|hyperpage}{39}
\indexentry{WedderburnDecompositionAsSCAlgebras@\texttt  {WedderburnDecompositionAsSCAlgebras}|hyperpage}{40}
\indexentry{CyclotomicAlgebraAsSCAlgebra@\texttt  {CyclotomicAlgebraAsSCAlgebra}|hyperpage}{40}
\indexentry{SimpleComponentByCharacterAsSCAlgebra@\texttt  {Simple}\discretionary {-}{}{}\texttt  {Component}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {Character}\discretionary {-}{}{}\texttt  {As}\discretionary {-}{}{}\texttt  {S}\discretionary {-}{}{}\texttt  {C}\discretionary {-}{}{}\texttt  {Algebra}|hyperpage}{40}
\indexentry{PPartOfN@\texttt  {PPartOfN}|hyperpage}{41}
\indexentry{PDashPartOfN@\texttt  {PDashPartOfN}|hyperpage}{41}
\indexentry{PSplitSubextension@\texttt  {PSplitSubextension}|hyperpage}{41}
\indexentry{SplittingDegreeAtP@\texttt  {SplittingDegreeAtP}|hyperpage}{42}
\indexentry{ResidueDegreeAtP@\texttt  {ResidueDegreeAtP}|hyperpage}{42}
\indexentry{RamificationIndexAtP@\texttt  {RamificationIndexAtP}|hyperpage}{42}
\indexentry{LocalIndicesOfCyclicCyclotomicAlgebra@\texttt  {Local}\discretionary {-}{}{}\texttt  {Indices}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Cyclic}\discretionary {-}{}{}\texttt  {Cyclotomic}\discretionary {-}{}{}\texttt  {Algebra}|hyperpage}{42}
\indexentry{LocalIndexAtInfty@\texttt  {LocalIndexAtInfty}|hyperpage}{43}
\indexentry{LocalIndexAtTwo@\texttt  {LocalIndexAtTwo}|hyperpage}{43}
\indexentry{LocalIndexAtOddP@\texttt  {LocalIndexAtOddP}|hyperpage}{43}
\indexentry{LocalIndicesOfCyclotomicAlgebra@\texttt  {LocalIndicesOfCyclotomicAlgebra}|hyperpage}{43}
\indexentry{RootOfDimensionOfCyclotomicAlgebra@\texttt  {RootOfDimensionOfCyclotomicAlgebra}|hyperpage}{44}
\indexentry{DefiningGroupOfCyclotomicAlgebra@\texttt  {DefiningGroupOfCyclotomicAlgebra}|hyperpage}{44}
\indexentry{DefiningCharacterOfCyclotomicAlgebra@\texttt  {Defining}\discretionary {-}{}{}\texttt  {Character}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Cyclotomic}\discretionary {-}{}{}\texttt  {Algebra}|hyperpage}{44}
\indexentry{SimpleComponentOfGroupRingByCharacter@\texttt  {Simple}\discretionary {-}{}{}\texttt  {Component}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Group}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {Character}|hyperpage}{45}
\indexentry{LocalIndexAtInftyByCharacter@\texttt  {LocalIndexAtInftyByCharacter}|hyperpage}{45}
\indexentry{DefectGroupOfConjugacyClassAtP@\texttt  {DefectGroupOfConjugacyClassAtP}|hyperpage}{45}
\indexentry{DefectGroupsOfPBlock@\texttt  {DefectGroupsOfPBlock}|hyperpage}{45}
\indexentry{DefectOfCharacterAtP@\texttt  {DefectOfCharacterAtP}|hyperpage}{46}
\indexentry{LocalIndexAtPByBrauerCharacter@\texttt  {LocalIndexAtPByBrauerCharacter}|hyperpage}{46}
\indexentry{FinFieldExt@\texttt  {FinFieldExt}|hyperpage}{46}
\indexentry{LocalIndexAtOddPByCharacter@\texttt  {LocalIndexAtOddPByCharacter}|hyperpage}{47}
\indexentry{LocalIndexAtTwoByCharacter@\texttt  {LocalIndexAtTwoByCharacter}|hyperpage}{47}
\indexentry{IsDyadicSchurGroup@\texttt  {IsDyadicSchurGroup}|hyperpage}{48}
\indexentry{LocalIndicesOfRationalQuaternionAlgebra@\texttt  {Local}\discretionary {-}{}{}\texttt  {Indices}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Rational}\discretionary {-}{}{}\texttt  {Quaternion}\discretionary {-}{}{}\texttt  {Algebra}|hyperpage}{48}
\indexentry{LocalIndicesOfRationalSymbolAlgebra@\texttt  {LocalIndicesOfRationalSymbolAlgebra}|hyperpage}{48}
\indexentry{LocalIndicesOfTensorProductOfQuadraticAlgs@\texttt  {Local}\discretionary {-}{}{}\texttt  {Indices}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Tensor}\discretionary {-}{}{}\texttt  {Product}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Quadratic}\discretionary {-}{}{}\texttt  {Algs}|hyperpage}{48}
\indexentry{GlobalSchurIndexFromLocalIndices@\texttt  {GlobalSchurIndexFromLocalIndices}|hyperpage}{48}
\indexentry{IsRationalQuaternionAlgebraADivisionRing@\texttt  {IsRational}\discretionary {-}{}{}\texttt  {Quaternion}\discretionary {-}{}{}\texttt  {Algebra}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Division}\discretionary {-}{}{}\texttt  {Ring}|hyperpage}{49}
\indexentry{DecomposeCyclotomicAlgebra@\texttt  {DecomposeCyclotomicAlgebra}|hyperpage}{50}
\indexentry{ConvertCyclicAlgToCyclicCyclotomicAlg@\texttt  {Convert}\discretionary {-}{}{}\texttt  {Cyclic}\discretionary {-}{}{}\texttt  {Alg}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {Cyclic}\discretionary {-}{}{}\texttt  {CyclotomicAlg}|hyperpage}{51}
\indexentry{ConvertQuadraticAlgToQuaternionAlg@\texttt  {ConvertQuadraticAlgToQuaternionAlg}|hyperpage}{51}
\indexentry{ConvertQuaternionAlgToQuadraticAlg@\texttt  {ConvertQuaternionAlgToQuadraticAlg}|hyperpage}{51}
\indexentry{ConvertCyclicCyclotomicAlgToCyclicAlg@\texttt  {Convert}\discretionary {-}{}{}\texttt  {Cyclic}\discretionary {-}{}{}\texttt  {Cyclotomic}\discretionary {-}{}{}\texttt  {Alg}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {CyclicAlg}|hyperpage}{52}
\indexentry{CodeWordByGroupRingElement@\texttt  {CodeWordByGroupRingElement}|hyperpage}{53}
\indexentry{CodeByLeftIdeal@\texttt  {CodeByLeftIdeal}|hyperpage}{53}
\indexentry{group ring|hyperpage}{55}
\indexentry{group algebra|hyperpage}{55}
\indexentry{semisimple ring|hyperpage}{55}
\indexentry{Wedderburn decomposition|hyperpage}{55}
\indexentry{Wedderburn components|hyperpage}{55}
\indexentry{primitive central idempotent|hyperpage}{56}
\indexentry{field of character values|hyperpage}{56}
\indexentry{central simple algebra@central simple algebra|hyperpage}{57}
\indexentry{Brauer equivalence@(Brauer) equivalence|hyperpage}{57}
\indexentry{equivalence (Brauer)@equivalence (Brauer)|hyperpage}{57}
\indexentry{Crossed Product@Crossed Product|hyperpage}{57}
\indexentry{Basis of units@Basis of units (for crossed product)|hyperpage}{58}
\indexentry{Cyclic Crossed Product@Cyclic Crossed Product|hyperpage}{58}
\indexentry{Abelian Crossed Product@Abelian Crossed Product|hyperpage}{59}
\indexentry{ClassicalCP@Classical Crossed Product|hyperpage}{59}
\indexentry{Cyclic Algebra@Cyclic Algebra|hyperpage}{59}
\indexentry{Cyclotomic algebra@Cyclotomic algebra|hyperpage}{60}
\indexentry{$\varepsilon(K,H)$|hyperpage}{61}
\indexentry{$e(G,K,H)$|hyperpage}{61}
\indexentry{$e_C(G,K,H)$|hyperpage}{61}
\indexentry{Shoda pair|hyperpage}{61}
\indexentry{primitive central idempotent realized by a Shoda pair|hyperpage}{61}
\indexentry{strong Shoda pair|hyperpage}{61}
\indexentry{equivalent strong Shoda pairs|hyperpage}{62}
\indexentry{SMCh@strongly monomial character|hyperpage}{62}
\indexentry{SMG@strongly monomial group|hyperpage}{62}
\indexentry{cyclotomic class|hyperpage}{63}
\indexentry{generating cyclotomic class|hyperpage}{63}
\indexentry{primitive central idempotent realized by a strong Shoda pair and a cyclotomic class|hyperpage}{63}
\indexentry{Complete set of orthogonal primitive idempotents|hyperpage}{66}
\indexentry{linear code|hyperpage}{67}
\indexentry{group code|hyperpage}{67}
