Quelle manual.six
Sprache: unbekannt
|
|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Wedderga",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Abstract", "0.0-1", [ 0, 0, 1 ], 105, 2, "abstract", "X7AA6C5737B711C89"
],
[ "Copyright", "0.0-2", [ 0, 0, 2 ], 118, 2, "copyright",
"X81488B807F2A1CF1" ],
[ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 140, 2, "acknowledgements",
"X82A988D47DFAFCFA" ],
[ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 171, 4, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 6, "introduction", "X7DFB63A97E67C0A1" ],
[
"\033[1X\033[33X\033[0;-2YGeneral aims of \033[5XWedderga\033[105X\033[101X\
\027\033[1X\027 package\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 4, 6,
"general aims of wedderga package", "X7F8C3A087C875426" ],
[
"\033[1X\033[33X\033[0;-2YInstallation and system requirements\033[133X\\
033[101X", "1.2", [ 1, 2, 0 ], 29, 6, "installation and system requirements",
"X7DB566D5785B7DBC" ],
[
"\033[1X\033[33X\033[0;-2YMain functions of \033[5XWedderga\033[105X\033[10\
1X\027\033[1X\027 package\033[133X\033[101X", "1.3", [ 1, 3, 0 ], 75, 7,
"main functions of wedderga package", "X7EC3E10184435AC0" ],
[ "\033[1X\033[33X\033[0;-2YWedderburn decomposition\033[133X\033[101X",
"2", [ 2, 0, 0 ], 1, 9, "wedderburn decomposition", "X87273420791F220E"
],
[
"\033[1X\033[33X\033[0;-2YWedderburn decomposition of a group algebra\033[1\
33X\033[101X", "2.1", [ 2, 1, 0 ], 4, 9,
"wedderburn decomposition of a group algebra", "X7C902C667D137851" ],
[ "\033[1X\033[33X\033[0;-2YSimple quotients\033[133X\033[101X", "2.2",
[ 2, 2, 0 ], 352, 14, "simple quotients", "X7D06959F7D444C55" ],
[ "\033[1X\033[33X\033[0;-2YShoda pairs\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 17, "shoda pairs", "X80C058BE81824B23" ],
[
"\033[1X\033[33X\033[0;-2YComputing extremely strong Shoda pairs\033[133X\\
033[101X", "3.1", [ 3, 1, 0 ], 4, 17, "computing extremely strong shoda pairs"
, "X8072BA2B87199557" ],
[ "\033[1X\033[33X\033[0;-2YComputing strong Shoda pairs\033[133X\033[101X",
"3.2", [ 3, 2, 0 ], 47, 18, "computing strong shoda pairs",
"X807C74B07C4B99AF" ],
[
"\033[1X\033[33X\033[0;-2YProperties related with Shoda pairs\033[133X\033[\
101X", "3.3", [ 3, 3, 0 ], 77, 18, "properties related with shoda pairs",
"X7B49C1BC834E57E3" ],
[ "\033[1X\033[33X\033[0;-2YIdempotents\033[133X\033[101X", "4",
[ 4, 0, 0 ], 1, 21, "idempotents", "X7C651C9C78398FFF" ],
[
"\033[1X\033[33X\033[0;-2YComputing idempotents from character table\033[13\
3X\033[101X", "4.1", [ 4, 1, 0 ], 4, 21,
"computing idempotents from character table", "X7DF49142844C278D" ],
[
"\033[1X\033[33X\033[0;-2YTesting lists of idempotents for completeness\\
033[133X\033[101X", "4.2", [ 4, 2, 0 ], 37, 21,
"testing lists of idempotents for completeness", "X83F7CF1E87D02581" ],
[ "\033[1X\033[33X\033[0;-2YIdempotents from Shoda pairs\033[133X\033[101X",
"4.3", [ 4, 3, 0 ], 76, 22, "idempotents from shoda pairs",
"X7C66102485AF5F80" ],
[
"\033[1X\033[33X\033[0;-2YComplete set of orthogonal primitive idempotents \
from Shoda pairs and cyclotomic classes\033[133X\033[101X", "4.4",
[ 4, 4, 0 ], 258, 25,
"complete set of orthogonal primitive idempotents from shoda pairs and c\
yclotomic classes", "X8577F9547FC58C4C" ],
[
"\033[1X\033[33X\033[0;-2YCrossed products and their elements\033[133X\033[\
101X", "5", [ 5, 0, 0 ], 1, 27, "crossed products and their elements",
"X812A5A097EADEB5E" ],
[
"\033[1X\033[33X\033[0;-2YConstruction of crossed products\033[133X\033[101\
X", "5.1", [ 5, 1, 0 ], 18, 27, "construction of crossed products",
"X79122C7F877430A7" ],
[
"\033[1X\033[33X\033[0;-2YCrossed product elements and their properties\\
033[133X\033[101X", "5.2", [ 5, 2, 0 ], 390, 33,
"crossed product elements and their properties", "X8560A2F37B608A9F" ],
[ "\033[1X\033[33X\033[0;-2YUseful properties and functions\033[133X\033[101\
X", "6", [ 6, 0, 0 ], 1, 35, "useful properties and functions",
"X7D3C0B1F7A66056F" ],
[
"\033[1X\033[33X\033[0;-2YSemisimple group algebras of finite groups\033[13\
3X\033[101X", "6.1", [ 6, 1, 0 ], 4, 35,
"semisimple group algebras of finite groups", "X7BA5D68A86B8C772" ],
[
"\033[1X\033[33X\033[0;-2YOperations with group rings elements\033[133X\\
033[101X", "6.2", [ 6, 2, 0 ], 119, 37, "operations with group rings elements"
, "X86121BD77F7E5C7A" ],
[ "\033[1X\033[33X\033[0;-2YCyclotomic classes\033[133X\033[101X", "6.3",
[ 6, 3, 0 ], 220, 38, "cyclotomic classes", "X7AAB3882785C04E0" ],
[ "\033[1X\033[33X\033[0;-2YOther commands\033[133X\033[101X", "6.4",
[ 6, 4, 0 ], 264, 39, "other commands", "X7B16423A7FBED034" ],
[
"\033[1X\033[33X\033[0;-2YFunctions for calculating Schur indices and ident\
ifying division algebras\033[133X\033[101X", "7", [ 7, 0, 0 ], 1, 40,
"functions for calculating schur indices and identifying division algebr\
as", "X7B5D5E628144C0A2" ],
[
"\033[1X\033[33X\033[0;-2YMain Schur Index and Division Algebra Functions\\
033[133X\033[101X", "7.1", [ 7, 1, 0 ], 4, 40,
"main schur index and division algebra functions", "X7802E175859EEB53" ]
,
[
"\033[1X\033[33X\033[0;-2YCyclotomic Reciprocity Functions\033[133X\033[101\
X", "7.2", [ 7, 2, 0 ], 192, 43, "cyclotomic reciprocity functions",
"X81198A8B7C19978A" ],
[
"\033[1X\033[33X\033[0;-2YGlobal Splitting and Character Descent Functions\\
033[133X\033[101X", "7.3", [ 7, 3, 0 ], 274, 45,
"global splitting and character descent functions", "X84506474869914E0"
],
[
"\033[1X\033[33X\033[0;-2YLocal index functions for Cyclic Cyclotomic Algeb\
ras\033[133X\033[101X", "7.4", [ 7, 4, 0 ], 431, 47,
"local index functions for cyclic cyclotomic algebras",
"X8405EF4D8264030A" ],
[
"\033[1X\033[33X\033[0;-2YLocal index functions for Non-Cyclic Cyclotomic A\
lgebras\033[133X\033[101X", "7.5", [ 7, 5, 0 ], 495, 48,
"local index functions for non-cyclic cyclotomic algebras",
"X85FBEBDA787CD61E" ],
[
"\033[1X\033[33X\033[0;-2YLocal index functions for Rational Quaternion Alg\
ebras\033[133X\033[101X", "7.6", [ 7, 6, 0 ], 787, 53,
"local index functions for rational quaternion algebras",
"X82E9840B843D666E" ],
[
"\033[1X\033[33X\033[0;-2YFunctions involving Cyclic Algebras\033[133X\033[\
101X", "7.7", [ 7, 7, 0 ], 886, 55, "functions involving cyclic algebras",
"X8164EAE07A90DB11" ],
[
"\033[1X\033[33X\033[0;-2YApplications of the Wedderga package\033[133X\\
033[101X", "8", [ 8, 0, 0 ], 1, 58, "applications of the wedderga package",
"X83FD4D318127261B" ],
[ "\033[1X\033[33X\033[0;-2YCoding theory applications\033[133X\033[101X",
"8.1", [ 8, 1, 0 ], 4, 58, "coding theory applications",
"X8582FB957C58DFB3" ],
[
"\033[1X\033[33X\033[0;-2YThe basic theory behind \033[5XWedderga\033[105X\\
033[101X\027\033[1X\027\033[133X\033[101X", "9", [ 9, 0, 0 ], 1, 60,
"the basic theory behind wedderga", "X840E625A81FDAEC6" ],
[
"\033[1X\033[33X\033[0;-2YGroup rings and group algebras\033[133X\033[101X"
, "9.1", [ 9, 1, 0 ], 15, 60, "group rings and group algebras",
"X815ECCD97B18314B" ],
[ "\033[1X\033[33X\033[0;-2YSemisimple group algebras\033[133X\033[101X",
"9.2", [ 9, 2, 0 ], 31, 60, "semisimple group algebras",
"X7FDD93FB79ADCC91" ],
[ "\033[1X\033[33X\033[0;-2YWedderburn components\033[133X\033[101X",
"9.3", [ 9, 3, 0 ], 51, 60, "wedderburn components",
"X84BB4A6081EAE905" ],
[
"\033[1X\033[33X\033[0;-2YCharacters and primitive central idempotents\033[\
133X\033[101X", "9.4", [ 9, 4, 0 ], 115, 61,
"characters and primitive central idempotents", "X87B6505C7C2EE054" ],
[ "\033[1X\033[33X\033[0;-2YCentral simple algebras and Brauer equivalence\
\033[133X\033[101X", "9.5", [ 9, 5, 0 ], 162, 62,
"central simple algebras and brauer equivalence", "X7A24D5407F72C633" ],
[ "\033[1X\033[33X\033[0;-2YCrossed Products\033[133X\033[101X", "9.6",
[ 9, 6, 0 ], 176, 62, "crossed products", "X7FB21779832CE1CB" ],
[ "\033[1X\033[33X\033[0;-2YCyclic Crossed Products\033[133X\033[101X",
"9.7", [ 9, 7, 0 ], 260, 63, "cyclic crossed products",
"X828C42CD86AF605F" ],
[ "\033[1X\033[33X\033[0;-2YAbelian Crossed Products\033[133X\033[101X",
"9.8", [ 9, 8, 0 ], 299, 64, "abelian crossed products",
"X7869E2A48784C232" ],
[ "\033[1X\033[33X\033[0;-2YClassical crossed products\033[133X\033[101X",
"9.9", [ 9, 9, 0 ], 354, 64, "classical crossed products",
"X80BABE5078A29793" ],
[ "\033[1X\033[33X\033[0;-2YCyclic Algebras\033[133X\033[101X", "9.10",
[ 9, 10, 0 ], 363, 64, "cyclic algebras", "X84C98BB8859BBEE2" ],
[ "\033[1X\033[33X\033[0;-2YCyclotomic algebras\033[133X\033[101X", "9.11",
[ 9, 11, 0 ], 380, 65, "cyclotomic algebras", "X8099A8C784255672" ],
[
"\033[1X\033[33X\033[0;-2YNumerical description of cyclotomic algebras\033[\
133X\033[101X", "9.12", [ 9, 12, 0 ], 391, 65,
"numerical description of cyclotomic algebras", "X84A142407B7565E0" ],
[ "\033[1X\033[33X\033[0;-2YIdempotents given by subgroups\033[133X\033[101X\
", "9.13", [ 9, 13, 0 ], 462, 66, "idempotents given by subgroups",
"X8310E96086509397" ],
[ "\033[1X\033[33X\033[0;-2YShoda pairs of a group\033[133X\033[101X",
"9.14", [ 9, 14, 0 ], 502, 66, "shoda pairs of a group",
"X7D518BAB80EDE190" ],
[ "\033[1X\033[33X\033[0;-2YStrong Shoda pairs of a group\033[133X\033[101X"
, "9.15", [ 9, 15, 0 ], 527, 66, "strong shoda pairs of a group",
"X7E3479527BAE5B9E" ],
[
"\033[1X\033[33X\033[0;-2YExtremely strong Shoda pairs of a group\033[133X\\
033[101X", "9.16", [ 9, 16, 0 ], 595, 67,
"extremely strong shoda pairs of a group", "X81B5CE0378DC4913" ],
[
"\033[1X\033[33X\033[0;-2YStrongly monomial characters and strongly monomia\
l groups\033[133X\033[101X", "9.17", [ 9, 17, 0 ], 622, 68,
"strongly monomial characters and strongly monomial groups",
"X84C694978557EFE5" ],
[
"\033[1X\033[33X\033[0;-2YNormally monomial characters and normally monomia\
l groups\033[133X\033[101X", "9.18", [ 9, 18, 0 ], 643, 68,
"normally monomial characters and normally monomial groups",
"X7C8D47C180E0ACAD" ],
[
"\033[1X\033[33X\033[0;-2YCyclotomic Classes and Strong Shoda Pairs\033[133\
X\033[101X", "9.19", [ 9, 19, 0 ], 659, 69,
"cyclotomic classes and strong shoda pairs", "X800D8C5087D79DC8" ],
[
"\033[1X\033[33X\033[0;-2YTheory for Local Schur Index and Division Algebra\
Part Calculations\033[133X\033[101X", "9.20", [ 9, 20, 0 ], 710, 70,
"theory for local schur index and division algebra part calculations",
"X803562E087325AF6" ],
[
"\033[1X\033[33X\033[0;-2YObtaining Algebras with structure constants as te\
rms of the Wedderburn decomposition\033[133X\033[101X", "9.21", [ 9, 21, 0 ],
818, 71,
"obtaining algebras with structure constants as terms of the wedderburn \
decomposition", "X7B18AF347AE68020" ],
[
"\033[1X\033[33X\033[0;-2YA complete set of orthogonal primitive idempotent\
s\033[133X\033[101X", "9.22", [ 9, 22, 0 ], 837, 72,
"a complete set of orthogonal primitive idempotents",
"X8472ACCF802EC188" ],
[ "\033[1X\033[33X\033[0;-2YApplications to coding theory\033[133X\033[101X"
, "9.23", [ 9, 23, 0 ], 961, 73, "applications to coding theory",
"X856D7975810BF987" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 74, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 74, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 76, "index", "X83A0356F839C696F" ],
[ "\033[5XWedderga\033[105X package", "0.0-1", [ 0, 0, 1 ], 105, 2,
"wedderga package", "X7AA6C5737B711C89" ],
[ "\033[2XWedderburnDecomposition\033[102X", "2.1-1", [ 2, 1, 1 ], 7, 9,
"wedderburndecomposition", "X7F1779ED8777F3E7" ],
[ "\033[2XWedderburnDecompositionInfo\033[102X", "2.1-2", [ 2, 1, 2 ], 115,
11, "wedderburndecompositioninfo", "X8710F98A85F0DD29" ],
[ "\033[2XSimpleAlgebraByCharacter\033[102X", "2.2-1", [ 2, 2, 1 ], 355,
14, "simplealgebrabycharacter", "X8349114C83161C2D" ],
[ "\033[2XSimpleAlgebraByCharacterInfo\033[102X", "2.2-2", [ 2, 2, 2 ],
391, 14, "simplealgebrabycharacterinfo", "X876FD2367E64462D" ],
[ "\033[2XSimpleAlgebraByStrongSP\033[102X for rational group algebra",
"2.2-3", [ 2, 2, 3 ], 420, 15,
"simplealgebrabystrongsp for rational group algebra",
"X812D667D7D913EB5" ],
[ "\033[2XSimpleAlgebraByStrongSPNC\033[102X for rational group algebra",
"2.2-3", [ 2, 2, 3 ], 420, 15,
"simplealgebrabystrongspnc for rational group algebra",
"X812D667D7D913EB5" ],
[
"\033[2XSimpleAlgebraByStrongSP\033[102X for semisimple finite group algebr\
a", "2.2-3", [ 2, 2, 3 ], 420, 15,
"simplealgebrabystrongsp for semisimple finite group algebra",
"X812D667D7D913EB5" ],
[
"\033[2XSimpleAlgebraByStrongSPNC\033[102X for semisimple finite group alge\
bra", "2.2-3", [ 2, 2, 3 ], 420, 15,
"simplealgebrabystrongspnc for semisimple finite group algebra",
"X812D667D7D913EB5" ],
[ "\033[2XSimpleAlgebraByStrongSPInfo\033[102X for rational group algebra",
"2.2-4", [ 2, 2, 4 ], 466, 16,
"simplealgebrabystrongspinfo for rational group algebra",
"X858152C882129A0B" ],
[ "\033[2XSimpleAlgebraByStrongSPInfoNC\033[102X for rational group algebra"
, "2.2-4", [ 2, 2, 4 ], 466, 16,
"simplealgebrabystrongspinfonc for rational group algebra",
"X858152C882129A0B" ],
[
"\033[2XSimpleAlgebraByStrongSPInfo\033[102X for semisimple finite group al\
gebra", "2.2-4", [ 2, 2, 4 ], 466, 16,
"simplealgebrabystrongspinfo for semisimple finite group algebra",
"X858152C882129A0B" ],
[
"\033[2XSimpleAlgebraByStrongSPInfoNC\033[102X for semisimple finite group \
algebra", "2.2-4", [ 2, 2, 4 ], 466, 16,
"simplealgebrabystrongspinfonc for semisimple finite group algebra",
"X858152C882129A0B" ],
[ "\033[2XExtremelyStrongShodaPairs\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 17,
"extremelystrongshodapairs", "X86B2AFF87D26FC75" ],
[ "\033[2XStrongShodaPairs\033[102X", "3.2-1", [ 3, 2, 1 ], 50, 18,
"strongshodapairs", "X820A398687A79B9D" ],
[ "\033[2XIsExtremelyStrongShodaPair\033[102X", "3.3-1", [ 3, 3, 1 ], 80,
18, "isextremelystrongshodapair", "X7A851A00809B4C92" ],
[ "\033[2XIsStrongShodaPair\033[102X", "3.3-2", [ 3, 3, 2 ], 106, 19,
"isstrongshodapair", "X7C17476F854F1E34" ],
[ "\033[2XIsShodaPair\033[102X", "3.3-3", [ 3, 3, 3 ], 135, 19,
"isshodapair", "X823B8DEC7ECC3326" ],
[ "\033[2XIsStronglyMonomial\033[102X", "3.3-4", [ 3, 3, 4 ], 159, 20,
"isstronglymonomial", "X80C4ED17809FC547" ],
[ "\033[2XIsNormallyMonomial\033[102X", "3.3-5", [ 3, 3, 5 ], 185, 20,
"isnormallymonomial", "X8485C39787CF0797" ],
[ "\033[2XPrimitiveCentralIdempotentsByCharacterTable\033[102X", "4.1-1",
[ 4, 1, 1 ], 7, 21, "primitivecentralidempotentsbycharactertable",
"X7BBEB4A084DBF0D6" ],
[ "\033[2XIsCompleteSetOfOrthogonalIdempotents\033[102X", "4.2-1",
[ 4, 2, 1 ], 40, 21, "iscompletesetoforthogonalidempotents",
"X81FCD27E812078F0" ],
[ "\033[2XPrimitiveCentralIdempotentsByESSP\033[102X", "4.3-1",
[ 4, 3, 1 ], 79, 22, "primitivecentralidempotentsbyessp",
"X78D597207D3030EA" ],
[ "\033[2XPrimitiveCentralIdempotentsByStrongSP\033[102X", "4.3-2",
[ 4, 3, 2 ], 134, 23, "primitivecentralidempotentsbystrongsp",
"X7B48EE1A7ECAB151" ],
[ "\033[2XPrimitiveCentralIdempotentsBySP\033[102X", "4.3-3", [ 4, 3, 3 ],
179, 24, "primitivecentralidempotentsbysp", "X82460B1285A0A7D7" ],
[ "\033[2XPrimitiveIdempotentsNilpotent\033[102X", "4.4-1", [ 4, 4, 1 ],
262, 25, "primitiveidempotentsnilpotent", "X7E95CDF17C4D54DB" ],
[ "\033[2XPrimitiveIdempotentsTrivialTwisting\033[102X", "4.4-2",
[ 4, 4, 2 ], 301, 26, "primitiveidempotentstrivialtwisting",
"X8784570980B9B750" ],
[ "\033[2XCrossedProduct\033[102X", "5.1-1", [ 5, 1, 1 ], 21, 27,
"crossedproduct", "X797F31EF7B51A4DF" ],
[ "\033[10XIsCrossedProduct\033[110X", "5.1-1", [ 5, 1, 1 ], 21, 27,
"iscrossedproduct", "X797F31EF7B51A4DF" ],
[ "\033[10XLeftActingDomain\033[110X", "5.1-1", [ 5, 1, 1 ], 21, 27,
"leftactingdomain", "X797F31EF7B51A4DF" ],
[ "\033[10XUnderlyingMagma\033[110X", "5.1-1", [ 5, 1, 1 ], 21, 27,
"underlyingmagma", "X797F31EF7B51A4DF" ],
[ "\033[10XActionForCrossedProduct\033[110X", "5.1-1", [ 5, 1, 1 ], 21, 27,
"actionforcrossedproduct", "X797F31EF7B51A4DF" ],
[ "\033[10XTwistingForCrossedProduct\033[110X", "5.1-1", [ 5, 1, 1 ], 21,
27, "twistingforcrossedproduct", "X797F31EF7B51A4DF" ],
[ "Quaternion algebra", "5.1-1", [ 5, 1, 1 ], 21, 27, "quaternion algebra",
"X797F31EF7B51A4DF" ],
[ "\033[2XElementOfCrossedProduct\033[102X", "5.2-1", [ 5, 2, 1 ], 393, 33,
"elementofcrossedproduct", "X7D2313AA82F1D5CC" ],
[ "\033[10XZeroCoefficient\033[110X", "5.2-1", [ 5, 2, 1 ], 393, 33,
"zerocoefficient", "X7D2313AA82F1D5CC" ],
[ "\033[10XIsElementOfCrossedProduct\033[110X", "5.2-1", [ 5, 2, 1 ], 393,
33, "iselementofcrossedproduct", "X7D2313AA82F1D5CC" ],
[ "\033[10XIsCrossedProductObjDefaultRep\033[110X", "5.2-1", [ 5, 2, 1 ],
393, 33, "iscrossedproductobjdefaultrep", "X7D2313AA82F1D5CC" ],
[ "CoefficientsAndMagmaElements", "5.2-1", [ 5, 2, 1 ], 393, 33,
"coefficientsandmagmaelements", "X7D2313AA82F1D5CC" ],
[ "\033[10XEmbedding\033[110X", "5.2-1", [ 5, 2, 1 ], 393, 33, "embedding",
"X7D2313AA82F1D5CC" ],
[ "\033[2XIsSemisimpleZeroCharacteristicGroupAlgebra\033[102X", "6.1-1",
[ 6, 1, 1 ], 7, 35, "issemisimplezerocharacteristicgroupalgebra",
"X7EF856E880722311" ],
[ "\033[2XIsSemisimpleRationalGroupAlgebra\033[102X", "6.1-2", [ 6, 1, 2 ],
33, 35, "issemisimplerationalgroupalgebra", "X85999B6A7C52E305" ],
[ "\033[2XIsSemisimpleANFGroupAlgebra\033[102X", "6.1-3", [ 6, 1, 3 ], 56,
36, "issemisimpleanfgroupalgebra", "X79289F7F7FC04846" ],
[ "\033[2XIsSemisimpleFiniteGroupAlgebra\033[102X", "6.1-4", [ 6, 1, 4 ],
74, 36, "issemisimplefinitegroupalgebra", "X7B546E2D7FB561BA" ],
[ "\033[2XIsTwistingTrivial\033[102X", "6.1-5", [ 6, 1, 5 ], 98, 36,
"istwistingtrivial", "X8337F25387C53B02" ],
[ "\033[2XCentralizer\033[102X", "6.2-1", [ 6, 2, 1 ], 122, 37,
"centralizer", "X7A2BF4527E08803C" ],
[ "\033[2XOnPoints\033[102X", "6.2-2", [ 6, 2, 2 ], 156, 37, "onpoints",
"X7FE417DD837987B4" ],
[ "\033[2X\\^\033[102X", "6.2-2", [ 6, 2, 2 ], 156, 37, "^",
"X7FE417DD837987B4" ],
[ "\033[2XAverageSum\033[102X", "6.2-3", [ 6, 2, 3 ], 183, 38,
"averagesum", "X798CEA1F80D355EE" ],
[ "\033[2XCyclotomicClasses\033[102X", "6.3-1", [ 6, 3, 1 ], 223, 38,
"cyclotomicclasses", "X7D7BDF5087C8F4C6" ],
[ "\033[2XIsCyclotomicClass\033[102X", "6.3-2", [ 6, 3, 2 ], 243, 39,
"iscyclotomicclass", "X7FA101AE7BC33671" ],
[ "\033[2XInfoWedderga\033[102X", "6.4-1", [ 6, 4, 1 ], 267, 39,
"infowedderga", "X872510997A7AF31D" ],
[ "\033[2XWedderburnDecompositionWithDivAlgParts\033[102X", "7.1-1",
[ 7, 1, 1 ], 7, 40, "wedderburndecompositionwithdivalgparts",
"X854DF62880C118B8" ],
[ "\033[2XCyclotomicAlgebraWithDivAlgPart\033[102X", "7.1-2", [ 7, 1, 2 ],
46, 41, "cyclotomicalgebrawithdivalgpart", "X83BC82867BE66A0B" ],
[ "\033[2XSchurIndex\033[102X", "7.1-3", [ 7, 1, 3 ], 85, 41, "schurindex",
"X7D065D65858428A6" ],
[ "\033[2XSchurIndexByCharacter\033[102X", "7.1-3", [ 7, 1, 3 ], 85, 41,
"schurindexbycharacter", "X7D065D65858428A6" ],
[ "\033[2XWedderburnDecompositionAsSCAlgebras\033[102X", "7.1-4",
[ 7, 1, 4 ], 144, 42, "wedderburndecompositionasscalgebras",
"X860975A4792E119D" ],
[ "\033[2XCyclotomicAlgebraAsSCAlgebra\033[102X", "7.1-4", [ 7, 1, 4 ],
144, 42, "cyclotomicalgebraasscalgebra", "X860975A4792E119D" ],
[ "\033[2XSimpleComponentByCharacterAsSCAlgebra\033[102X", "7.1-4",
[ 7, 1, 4 ], 144, 42, "simplecomponentbycharacterasscalgebra",
"X860975A4792E119D" ],
[ "\033[2XPPartOfN\033[102X", "7.2-1", [ 7, 2, 1 ], 195, 43, "ppartofn",
"X78482C2B7959526E" ],
[ "\033[2XPDashPartOfN\033[102X", "7.2-1", [ 7, 2, 1 ], 195, 43,
"pdashpartofn", "X78482C2B7959526E" ],
[ "\033[2XPSplitSubextension\033[102X", "7.2-2", [ 7, 2, 2 ], 212, 43,
"psplitsubextension", "X7F4F73E887C96737" ],
[ "\033[2XSplittingDegreeAtP\033[102X", "7.2-3", [ 7, 2, 3 ], 236, 44,
"splittingdegreeatp", "X7845830082B7C723" ],
[ "\033[2XResidueDegreeAtP\033[102X", "7.2-3", [ 7, 2, 3 ], 236, 44,
"residuedegreeatp", "X7845830082B7C723" ],
[ "\033[2XRamificationIndexAtP\033[102X", "7.2-3", [ 7, 2, 3 ], 236, 44,
"ramificationindexatp", "X7845830082B7C723" ],
[ "\033[2XGlobalSplittingOfCyclotomicAlgebra\033[102X", "7.3-1",
[ 7, 3, 1 ], 277, 45, "globalsplittingofcyclotomicalgebra",
"X80B04A237F4C19FF" ],
[ "\033[2XKillingCocycle\033[102X", "7.3-1", [ 7, 3, 1 ], 277, 45,
"killingcocycle", "X80B04A237F4C19FF" ],
[ "\033[2XAntiSymMatUpMat\033[102X", "7.3-1", [ 7, 3, 1 ], 277, 45,
"antisymmatupmat", "X80B04A237F4C19FF" ],
[ "\033[2XCyclotomicExtensionGenerator\033[102X", "7.3-1", [ 7, 3, 1 ],
277, 45, "cyclotomicextensiongenerator", "X80B04A237F4C19FF" ],
[ "\033[2XReducingCyclotomicAlgebra\033[102X", "7.3-1", [ 7, 3, 1 ], 277,
45, "reducingcyclotomicalgebra", "X80B04A237F4C19FF" ],
[ "\033[2XCharacterDescent\033[102X", "7.3-2", [ 7, 3, 2 ], 326, 45,
"characterdescent", "X81FBABAB856C676F" ],
[ "\033[2XGlobalCharacterDescent\033[102X", "7.3-2", [ 7, 3, 2 ], 326, 45,
"globalcharacterdescent", "X81FBABAB856C676F" ],
[ "\033[2XSimpleComponentByCharacterDescent\033[102X", "7.3-2",
[ 7, 3, 2 ], 326, 45, "simplecomponentbycharacterdescent",
"X81FBABAB856C676F" ],
[ "\033[2XGaloisRepsOfCharacters\033[102X", "7.3-3", [ 7, 3, 3 ], 370, 46,
"galoisrepsofcharacters", "X8106A02C78BFD852" ],
[ "\033[2XWedderburnDecompositionByCharacterDescent\033[102X", "7.3-4",
[ 7, 3, 4 ], 398, 47, "wedderburndecompositionbycharacterdescent",
"X782BE5F8844158AD" ],
[ "\033[2XLocalIndicesOfCyclicCyclotomicAlgebra\033[102X", "7.4-1",
[ 7, 4, 1 ], 434, 47, "localindicesofcycliccyclotomicalgebra",
"X8780F8E87B6EC023" ],
[ "\033[2XLocalIndexAtInfty\033[102X", "7.4-2", [ 7, 4, 2 ], 455, 48,
"localindexatinfty", "X78588B587AEDD22F" ],
[ "\033[2XLocalIndexAtTwo\033[102X", "7.4-2", [ 7, 4, 2 ], 455, 48,
"localindexattwo", "X78588B587AEDD22F" ],
[ "\033[2XLocalIndexAtOddP\033[102X", "7.4-2", [ 7, 4, 2 ], 455, 48,
"localindexatoddp", "X78588B587AEDD22F" ],
[ "\033[2XLocalIndicesOfCyclotomicAlgebra\033[102X", "7.5-1", [ 7, 5, 1 ],
498, 48, "localindicesofcyclotomicalgebra", "X798DCABC8228F2DE" ],
[ "\033[2XRootOfDimensionOfCyclotomicAlgebra\033[102X", "7.5-2",
[ 7, 5, 2 ], 562, 49, "rootofdimensionofcyclotomicalgebra",
"X86AE281C7C69E42C" ],
[ "\033[2XDefiningGroupOfCyclotomicAlgebra\033[102X", "7.5-3", [ 7, 5, 3 ],
577, 50, "defininggroupofcyclotomicalgebra", "X7F33FE4F7E029BF7" ],
[ "\033[2XDefiningCharacterOfCyclotomicAlgebra\033[102X", "7.5-3",
[ 7, 5, 3 ], 577, 50, "definingcharacterofcyclotomicalgebra",
"X7F33FE4F7E029BF7" ],
[ "\033[2XDefiningGroupAndCharacterOfCyclotAlg\033[102X", "7.5-3",
[ 7, 5, 3 ], 577, 50, "defininggroupandcharacterofcyclotalg",
"X7F33FE4F7E029BF7" ],
[ "\033[2XSimpleComponentOfGroupRingByCharacter\033[102X", "7.5-3",
[ 7, 5, 3 ], 577, 50, "simplecomponentofgroupringbycharacter",
"X7F33FE4F7E029BF7" ],
[ "\033[2XLocalIndexAtInftyByCharacter\033[102X", "7.5-4", [ 7, 5, 4 ],
619, 50, "localindexatinftybycharacter", "X8656B34387EC74EF" ],
[ "\033[2XDefectGroupOfConjugacyClassAtP\033[102X", "7.5-5", [ 7, 5, 5 ],
642, 51, "defectgroupofconjugacyclassatp", "X7A3FB2D9846974CD" ],
[ "\033[2XDefectGroupsOfPBlock\033[102X", "7.5-5", [ 7, 5, 5 ], 642, 51,
"defectgroupsofpblock", "X7A3FB2D9846974CD" ],
[ "\033[2XDefectOfCharacterAtP\033[102X", "7.5-5", [ 7, 5, 5 ], 642, 51,
"defectofcharacteratp", "X7A3FB2D9846974CD" ],
[ "\033[2XLocalIndexAtPByBrauerCharacter\033[102X", "7.5-6", [ 7, 5, 6 ],
684, 51, "localindexatpbybrauercharacter", "X80D1046284577B32" ],
[ "\033[2XFinFieldExt\033[102X", "7.5-6", [ 7, 5, 6 ], 684, 51,
"finfieldext", "X80D1046284577B32" ],
[ "\033[2XLocalIndexAtOddPByCharacter\033[102X", "7.5-7", [ 7, 5, 7 ], 741,
52, "localindexatoddpbycharacter", "X82A979548619CB85" ],
[ "\033[2XLocalIndexAtTwoByCharacter\033[102X", "7.5-7", [ 7, 5, 7 ], 741,
52, "localindexattwobycharacter", "X82A979548619CB85" ],
[ "\033[2XIsDyadicSchurGroup\033[102X", "7.5-7", [ 7, 5, 7 ], 741, 52,
"isdyadicschurgroup", "X82A979548619CB85" ],
[ "\033[2XLocalIndicesOfRationalQuaternionAlgebra\033[102X", "7.6-1",
[ 7, 6, 1 ], 790, 53, "localindicesofrationalquaternionalgebra",
"X78E6B3807EDDE82E" ],
[ "\033[2XLocalIndicesOfRationalSymbolAlgebra\033[102X", "7.6-1",
[ 7, 6, 1 ], 790, 53, "localindicesofrationalsymbolalgebra",
"X78E6B3807EDDE82E" ],
[ "\033[2XLocalIndicesOfTensorProductOfQuadraticAlgs\033[102X", "7.6-1",
[ 7, 6, 1 ], 790, 53, "localindicesoftensorproductofquadraticalgs",
"X78E6B3807EDDE82E" ],
[ "\033[2XGlobalSchurIndexFromLocalIndices\033[102X", "7.6-1", [ 7, 6, 1 ],
790, 53, "globalschurindexfromlocalindices", "X78E6B3807EDDE82E" ],
[ "\033[2XIsRationalQuaternionAlgebraADivisionRing\033[102X", "7.6-2",
[ 7, 6, 2 ], 848, 54, "isrationalquaternionalgebraadivisionring",
"X79071DD8853678C0" ],
[ "\033[2XDecomposeCyclotomicAlgebra\033[102X", "7.7-1", [ 7, 7, 1 ], 905,
55, "decomposecyclotomicalgebra", "X8671E3BD788B709F" ],
[ "\033[2XConvertCyclicAlgToCyclicCyclotomicAlg\033[102X", "7.7-2",
[ 7, 7, 2 ], 942, 56, "convertcyclicalgtocycliccyclotomicalg",
"X8129F9307969D473" ],
[ "\033[2XConvertQuadraticAlgToQuaternionAlg\033[102X", "7.7-2",
[ 7, 7, 2 ], 942, 56, "convertquadraticalgtoquaternionalg",
"X8129F9307969D473" ],
[ "\033[2XConvertQuaternionAlgToQuadraticAlg\033[102X", "7.7-3",
[ 7, 7, 3 ], 980, 56, "convertquaternionalgtoquadraticalg",
"X81FAC27A829D5FF9" ],
[ "\033[2XConvertCyclicCyclotomicAlgToCyclicAlg\033[102X", "7.7-3",
[ 7, 7, 3 ], 980, 56, "convertcycliccyclotomicalgtocyclicalg",
"X81FAC27A829D5FF9" ],
[ "\033[2XCodeWordByGroupRingElement\033[102X", "8.1-1", [ 8, 1, 1 ], 7,
58, "codewordbygroupringelement", "X7AE55D3C7BFCF3A9" ],
[ "\033[2XCodeByLeftIdeal\033[102X", "8.1-2", [ 8, 1, 2 ], 35, 58,
"codebyleftideal", "X7C8BBBDB78A1678E" ],
[ "group ring", "9.1", [ 9, 1, 0 ], 15, 60, "group ring",
"X815ECCD97B18314B" ],
[ "group algebra", "9.1", [ 9, 1, 0 ], 15, 60, "group algebra",
"X815ECCD97B18314B" ],
[ "semisimple ring", "9.2", [ 9, 2, 0 ], 31, 60, "semisimple ring",
"X7FDD93FB79ADCC91" ],
[ "Wedderburn decomposition", "9.3", [ 9, 3, 0 ], 51, 60,
"wedderburn decomposition", "X84BB4A6081EAE905" ],
[ "Wedderburn components", "9.3", [ 9, 3, 0 ], 51, 60,
"wedderburn components", "X84BB4A6081EAE905" ],
[ "primitive central idempotent", "9.4", [ 9, 4, 0 ], 115, 61,
"primitive central idempotent", "X87B6505C7C2EE054" ],
[ "field of character values", "9.4", [ 9, 4, 0 ], 115, 61,
"field of character values", "X87B6505C7C2EE054" ],
[ "central simple algebra", "9.5", [ 9, 5, 0 ], 162, 62,
"central simple algebra", "X7A24D5407F72C633" ],
[ "(Brauer) equivalence", "9.5", [ 9, 5, 0 ], 162, 62, "brauer equivalence",
"X7A24D5407F72C633" ],
[ "equivalence (Brauer)", "9.5", [ 9, 5, 0 ], 162, 62, "equivalence brauer",
"X7A24D5407F72C633" ],
[ "Crossed Product", "9.6", [ 9, 6, 0 ], 176, 62, "crossed product",
"X7FB21779832CE1CB" ],
[ "Basis of units (for crossed product)", "9.6", [ 9, 6, 0 ], 176, 62,
"basis of units for crossed product", "X7FB21779832CE1CB" ],
[ "Cyclic Crossed Product", "9.7", [ 9, 7, 0 ], 260, 63,
"cyclic crossed product", "X828C42CD86AF605F" ],
[ "Abelian Crossed Product", "9.8", [ 9, 8, 0 ], 299, 64,
"abelian crossed product", "X7869E2A48784C232" ],
[ "Classical Crossed Product", "9.9", [ 9, 9, 0 ], 354, 64,
"classical crossed product", "X80BABE5078A29793" ],
[ "Cyclic Algebra", "9.10", [ 9, 10, 0 ], 363, 64, "cyclic algebra",
"X84C98BB8859BBEE2" ],
[ "Cyclotomic algebra", "9.11", [ 9, 11, 0 ], 380, 65, "cyclotomic algebra",
"X8099A8C784255672" ],
[ "\033[22X\316\265(K,H)\033[122X", "9.13", [ 9, 13, 0 ], 462, 66,
"i\265 k h", "X8310E96086509397" ],
[ "\033[22Xe(G,K,H)\033[122X", "9.13", [ 9, 13, 0 ], 462, 66, "e g k h",
"X8310E96086509397" ],
[ "\033[22Xe_C(G,K,H)\033[122X", "9.13", [ 9, 13, 0 ], 462, 66,
"e_c g k h", "X8310E96086509397" ],
[ "Shoda pair", "9.14", [ 9, 14, 0 ], 502, 66, "shoda pair",
"X7D518BAB80EDE190" ],
[ "primitive central idempotent realized by a Shoda pair", "9.14",
[ 9, 14, 0 ], 502, 66,
"primitive central idempotent realized by a shoda pair",
"X7D518BAB80EDE190" ],
[ "strong Shoda pair", "9.15", [ 9, 15, 0 ], 527, 66, "strong shoda pair",
"X7E3479527BAE5B9E" ],
[ "equivalent strong Shoda pairs", "9.15", [ 9, 15, 0 ], 527, 66,
"equivalent strong shoda pairs", "X7E3479527BAE5B9E" ],
[ "extremely strong Shoda pair", "9.16", [ 9, 16, 0 ], 595, 67,
"extremely strong shoda pair", "X81B5CE0378DC4913" ],
[ "equivalent extremely strong Shoda pairs", "9.16", [ 9, 16, 0 ], 595, 67,
"equivalent extremely strong shoda pairs", "X81B5CE0378DC4913" ],
[ "strongly monomial character", "9.17", [ 9, 17, 0 ], 622, 68,
"strongly monomial character", "X84C694978557EFE5" ],
[ "strongly monomial group", "9.17", [ 9, 17, 0 ], 622, 68,
"strongly monomial group", "X84C694978557EFE5" ],
[ "normally monomial character", "9.18", [ 9, 18, 0 ], 643, 68,
"normally monomial character", "X7C8D47C180E0ACAD" ],
[ "normally monomial group", "9.18", [ 9, 18, 0 ], 643, 68,
"normally monomial group", "X7C8D47C180E0ACAD" ],
[ "cyclotomic class", "9.19", [ 9, 19, 0 ], 659, 69, "cyclotomic class",
"X800D8C5087D79DC8" ],
[ "generating cyclotomic class", "9.19", [ 9, 19, 0 ], 659, 69,
"generating cyclotomic class", "X800D8C5087D79DC8" ],
[
"primitive central idempotent realized by a strong Shoda pair and a cycloto\
mic class", "9.19", [ 9, 19, 0 ], 659, 69,
"primitive central idempotent realized by a strong shoda pair and a cycl\
otomic class", "X800D8C5087D79DC8" ],
[ "Complete set of orthogonal primitive idempotents", "9.22", [ 9, 22, 0 ],
837, 72, "complete set of orthogonal primitive idempotents",
"X8472ACCF802EC188" ],
[ "linear code", "9.23", [ 9, 23, 0 ], 961, 73, "linear code",
"X856D7975810BF987" ],
[ "group code", "9.23", [ 9, 23, 0 ], 961, 73, "group code",
"X856D7975810BF987" ] ]
);
[ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
]
|
2026-04-02
|
