\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  {IsCompleteSetOfOrthogonalIdempotents}|hyperpage}{19}
\indexentry{PrimitiveCentralIdempotentsByStrongSP@\texttt  {PrimitiveCentralIdempotentsByStrongSP}|hyperpage}{20}
\indexentry{PrimitiveCentralIdempotentsBySP@\texttt  {PrimitiveCentralIdempotentsBySP}|hyperpage}{21}
\indexentry{CrossedProduct@\texttt  {CrossedProduct}|hyperpage}{23}
\indexentry{IsCrossedProduct@\texttt{IsCrossedProduct}|hyperpage}{23}
\indexentry{LeftActingDomain@\texttt{LeftActingDomain}|hyperpage}{26}
\indexentry{UnderlyingMagma@\texttt{UnderlyingMagma}|hyperpage}{26}
\indexentry{ActionForCrossedProduct@\texttt{ActionForCrossedProduct}|hyperpage}{26}
\indexentry{TwistingForCrossedProduct@\texttt{TwistingForCrossedProduct}|hyperpage}{26}
\indexentry{Quaternion algebra|hyperpage}{28}
\indexentry{ElementOfCrossedProduct@\texttt  {ElementOfCrossedProduct}|hyperpage}{30}
\indexentry{ZeroCoefficient@\texttt{ZeroCoefficient}|hyperpage}{30}
\indexentry{IsElementOfCrossedProduct@\texttt{IsElementOfCrossedProduct}|hyperpage}{30}
\indexentry{IsCrossedProductObjDefaultRep@\texttt{IsCrossedProductObjDefaultRep}|hyperpage}{30}
\indexentry{CoefficientsAndMagmaElements|hyperpage}{30}
\indexentry{Embedding@\texttt{Embedding}|hyperpage}{30}
\indexentry{IsSemisimpleZeroCharacteristicGroupAlgebra@\texttt  {IsSemisimple}\discretionary {-}{}{}\texttt  {Zero}\discretionary {-}{}{}\texttt  {Characteristic}\discretionary {-}{}{}\texttt  {Group}\discretionary {-}{}{}\texttt  {Algebra}|hyperpage}{31}
\indexentry{IsSemisimpleRationalGroupAlgebra@\texttt  {IsSemisimpleRationalGroupAlgebra}|hyperpage}{31}
\indexentry{IsSemisimpleANFGroupAlgebra@\texttt  {IsSemisimpleANFGroupAlgebra}|hyperpage}{32}
\indexentry{IsSemisimpleFiniteGroupAlgebra@\texttt  {IsSemisimpleFiniteGroupAlgebra}|hyperpage}{32}
\indexentry{Centralizer@\texttt  {Centralizer}|hyperpage}{32}
\indexentry{OnPoints@\texttt  {OnPoints}|hyperpage}{33}
\indexentry{^@\texttt  {\texttt  {\char 92\relax }\texttt  {\char 94\relax }}|hyperpage}{33}
\indexentry{AverageSum@\texttt  {AverageSum}|hyperpage}{34}
\indexentry{CyclotomicClasses@\texttt  {CyclotomicClasses}|hyperpage}{34}
\indexentry{IsCyclotomicClass@\texttt  {IsCyclotomicClass}|hyperpage}{35}
\indexentry{InfoWedderga@\texttt  {InfoWedderga}|hyperpage}{35}
\indexentry{WEDDERGABuildManual@\texttt  {WEDDERGABuildManual}|hyperpage}{35}
\indexentry{WEDDERGABuildManualHTML@\texttt  {WEDDERGABuildManualHTML}|hyperpage}{36}
\indexentry{group ring|hyperpage}{37}
\indexentry{group algebra|hyperpage}{37}
\indexentry{semisimple ring|hyperpage}{37}
\indexentry{Wedderburn decomposition|hyperpage}{37}
\indexentry{Wedderburn components|hyperpage}{37}
\indexentry{primitive central idempotent|hyperpage}{38}
\indexentry{field of character values|hyperpage}{38}
\indexentry{central simple algebra@central simple algebra|hyperpage}{39}
\indexentry{Brauer equivalence@(Brauer) equivalence|hyperpage}{39}
\indexentry{equivalence (Brauer)@equivalence (Brauer)|hyperpage}{39}
\indexentry{Crossed Product@Crossed Product|hyperpage}{39}
\indexentry{Basis of units@Basis of units (for crossed product)|hyperpage}{40}
\indexentry{Cyclic Crossed Product@Cyclic Crossed Product|hyperpage}{40}
\indexentry{Abelian Crossed Product@Abelian Crossed Product|hyperpage}{41}
\indexentry{ClassicalCP@Classical Crossed Product|hyperpage}{41}
\indexentry{Cyclic Algebra@Cyclic Algebra|hyperpage}{41}
\indexentry{Cyclotomic algebra@Cyclotomic algebra|hyperpage}{42}
\indexentry{$\varepsilon(K,H)$|hyperpage}{43}
\indexentry{$e(G,K,H)$|hyperpage}{43}
\indexentry{$e_C(G,K,H)$|hyperpage}{43}
\indexentry{Shoda pair|hyperpage}{43}
\indexentry{primitive central idempotent realized by a Shoda pair|hyperpage}{43}
\indexentry{strong Shoda pair|hyperpage}{43}
\indexentry{equivalent strong Shoda pairs|hyperpage}{44}
\indexentry{SMCh@strongly monomial character|hyperpage}{44}
\indexentry{SMG@strongly monomial group|hyperpage}{44}
\indexentry{cyclotomic class|hyperpage}{45}
\indexentry{generating cyclotomic class|hyperpage}{45}
\indexentry{primitive central idempotent realized by a strong Shoda pair and a cyclotomic class|hyperpage}{45}
