\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}