<
html><
head><
title>ModIsom : a GAP
4 package - Index </
title></
head>
<
body text=
"#000000" bgcolor=
"#ffffff">
<
h1><
font face=
"Gill Sans,Helvetica,Arial">ModIsom</
font> : a <
font face=
"Gill Sans,Helvetica,Arial">GAP</
font>
4 package - Index </
h1>
<p>
<a href=
"#idxA">A</A>
<a href=
"#idxB">B</A>
<a href=
"#idxC">C</A>
<a href=
"#idxD">D</A>
<a href=
"#idxE">E</A>
<a href=
"#idxG">G</A>
<a href=
"#idxI">I</A>
<a href=
"#idxJ">J</A>
<a href=
"#idxK">K</A>
<a href=
"#idxM">M</A>
<a href=
"#idxN">N</A>
<a href=
"#idxR">R</A>
<a href=
"#idxS">S</A>
<a href=
"#idxT">T</A>
<H2><A NAME=
"idxA">A</A></H2>
<
dl>
<
dt>A Library of Kurosh Algebras <a href=
"CHAP006.htm#SECT002">
6.
2</a>
<
dt>AlgebraByTable <a href=
"CHAP002.htm#SSEC002.1">
2.
2.
1</a>
<
dt>Algebras in the GAP sense <a href=
"CHAP002.htm#SECT002">
2.
2</a>
<
dt>AutGroupOfRad <a href=
"CHAP003.htm#SSEC001.1">
3.
1.
1</a>
<
dt>AutGroupOfTable <a href=
"CHAP003.htm#SSEC001.1">
3.
1.
1</a>
<
dt>Automorphism groups <a href=
"CHAP003.htm#SECT001">
3.
1</a>
<
dt>Automorphism groups and Canonical Forms <a href=
"CHAP003.htm">
3.
0</a>
</
dl><p>
<H2><A NAME=
"idxB">B</A></H2>
<
dl>
<
dt>BaginskiCarantiInfo <a href=
"CHAP004.htm#SSEC003.7">
4.
3.
7</a>
<
dt>BaginskiInfo <a href=
"CHAP004.htm#SSEC003.6">
4.
3.
6</a>
<
dt>BinsByGT <a href=
"CHAP004.htm#SSEC001.1">
4.
1.
1</a>
<
dt>BinsByGTAllFields <a href=
"CHAP004.htm#SSEC001.4">
4.
1.
4</a>
</
dl><p>
<H2><A NAME=
"idxC">C</A></H2>
<
dl>
<
dt>CanoFormWithAutGroupOfRad <a href=
"CHAP003.htm#SSEC002.2">
3.
2.
2</a>
<
dt>CanoFormWithAutGroupOfTable <a href=
"CHAP003.htm#SSEC002.2">
3.
2.
2</a>
<
dt>Canonical forms <a href=
"CHAP003.htm#SECT002">
3.
2</a>
<
dt>CanonicalFormOfRad <a href=
"CHAP003.htm#SSEC002.1">
3.
2.
1</a>
<
dt>CanonicalFormOfTable <a href=
"CHAP003.htm#SSEC002.1">
3.
2.
1</a>
<
dt>CenterDerivedInfo <a href=
"CHAP004.htm#SSEC003.2">
4.
3.
2</a>
<
dt>CheckAssociativity <a href=
"CHAP002.htm#SSEC001.4">
2.
1.
4</a>
<
dt>CheckCommutativity <a href=
"CHAP002.htm#SSEC001.5">
2.
1.
5</a>
<
dt>CheckConsistency <a href=
"CHAP002.htm#SSEC001.6">
2.
1.
6</a>
<
dt>CompareTables <a href=
"CHAP002.htm#SSEC001.3">
2.
1.
3</a>
<
dt>Computing bins and checking bins <a href=
"CHAP004.htm#SECT001">
4.
1</a>
<
dt>Computing Kurosh Algebras <a href=
"CHAP006.htm#SECT001">
6.
1</a>
<
dt>Computing nilpotent quotients <a href=
"CHAP005.htm#SECT001">
5.
1</a>
<
dt>ConjugacyClassInfo <a href=
"CHAP004.htm#SSEC003.15">
4.
3.
15</a>
<
dt>CyclicDerivedInfo <a href=
"CHAP004.htm#SSEC003.10">
4.
3.
10</a>
</
dl><p>
<H2><A NAME=
"idxD">D</A></H2>
<
dl>
<
dt>DimensionTwoCohomology <a href=
"CHAP004.htm#SSEC003.14">
4.
3.
14</a>
</
dl><p>
<H2><A NAME=
"idxE">E</A></H2>
<
dl>
<
dt>Example of accessing the library of Kurosh algebras <a href=
"CHAP006.htm#SECT003">
6.
3</a>
<
dt>Example of canonical
form computation <a href=
"CHAP003.htm#SECT003">
3.
3</a>
<
dt>Example of nilpotent quotient computation <a href=
"CHAP005.htm#SECT002">
5.
2</a>
<
dt>ExpandExponentLaw <a href=
"CHAP006.htm#SSEC001.2">
6.
1.
2</a>
</
dl><p>
<H2><A NAME=
"idxG">G</A></H2>
<
dl>
<
dt>GetEntryTable <a href=
"CHAP002.htm#SSEC001.1">
2.
1.
1</a>
<
dt>GroupInfo <a href=
"CHAP004.htm#SSEC003.1">
4.
3.
1</a>
</
dl><p>
<H2><A NAME=
"idxI">I</A></H2>
<
dl>
<
dt>Introduction <a href=
"CHAP001.htm">
1.
0</a>
<
dt>IsCoveredByTheory <a href=
"CHAP004.htm#SSEC003.13">
4.
3.
13</a>
</
dl><p>
<H2><A NAME=
"idxJ">J</A></H2>
<
dl>
<
dt>JenningsDerivedInfo <a href=
"CHAP004.htm#SSEC003.5">
4.
3.
5</a>
<
dt>JenningsInfo <a href=
"CHAP004.htm#SSEC003.4">
4.
3.
4</a>
</
dl><p>
<H2><A NAME=
"idxK">K</A></H2>
<
dl>
<
dt>Kernel size <a href=
"CHAP004.htm#SECT002">
4.
2</a>
<
dt>KernelSizePowerMap <a href=
"CHAP004.htm#SSEC002.1">
4.
2.
1</a>
<
dt>KuroshAlgebra <a href=
"CHAP006.htm#SSEC001.1">
6.
1.
1</a>
<
dt>KuroshAlgebraByLib <a href=
"CHAP006.htm#SSEC002.1">
6.
2.
1</a>
</
dl><p>
<H2><A NAME=
"idxM">M</A></H2>
<
dl>
<
dt>MaximalAbelianDirectFactor <a href=
"CHAP004.htm#SSEC003.11">
4.
3.
11</a>
<
dt>MIPBinSplit <a href=
"CHAP004.htm#SSEC001.8">
4.
1.
8</a>
<
dt>MIPElementAlgebraToTable <a href=
"CHAP002.htm#SSEC003.4">
2.
3.
4</a>
<
dt>MIPElementTableToAlgebra <a href=
"CHAP002.htm#SSEC003.3">
2.
3.
3</a>
<
dt>MIPSplitGroupsByAlgebras <a href=
"CHAP004.htm#SSEC001.7">
4.
1.
7</a>
<
dt>MIPSplitGroupsByGroupTheoreticalInvariants <a href=
"CHAP004.htm#SSEC001.2">
4.
1.
2</a>
<
dt>MIPSplitGroupsByGroupTheoreticalInvariantsAllFields <a href=
"CHAP004.htm#SSEC001.5">
4.
1.
5</a>
<
dt>MIPSplitGroupsByGroupTheoreticalInvariantsAllFieldsNoCohomology <a href=
"CHAP004.htm#SSEC001.6">
4.
1.
6</a>
<
dt>MIPSplitGroupsByGroupTheoreticalInvariantsNoCohomology <a href=
"CHAP004.htm#SSEC001.3">
4.
1.
3</a>
<
dt>ModIsomTable <a href=
"CHAP002.htm#SSEC003.2">
2.
3.
2</a>
<
dt>MultByTable <a href=
"CHAP002.htm#SSEC001.2">
2.
1.
2</a>
</
dl><p>
<H2><A NAME=
"idxN">N</A></H2>
<
dl>
<
dt>NilpotencyClassInfo <a href=
"CHAP004.htm#SSEC003.8">
4.
3.
8</a>
<
dt>Nilpotent Quotients <a href=
"CHAP005.htm">
5.
0</a>
<
dt>Nilpotent tables <a href=
"CHAP002.htm#SECT001">
2.
1</a>
<
dt>NilpotentQuotientOfFpAlgebra <a href=
"CHAP005.htm#SSEC001.1">
5.
1.
1</a>
<
dt>NilpotentTable <a href=
"CHAP002.htm#SSEC002.1">
2.
2.
1</a>
<
dt>NilpotentTableOfRad <a href=
"CHAP002.htm#SSEC002.2">
2.
2.
2</a>
<
dt>NormalSubgroupsInfo <a href=
"CHAP004.htm#SSEC003.12">
4.
3.
12</a>
</
dl><p>
<H2><A NAME=
"idxR">R</A></H2>
<
dl>
<
dt>Relatively free Algebras <a href=
"CHAP006.htm">
6.
0</a>
</
dl><p>
<H2><A NAME=
"idxS">S</A></H2>
<
dl>
<
dt>SandlingInfo <a href=
"CHAP004.htm#SSEC003.3">
4.
3.
3</a>
<
dt>SubgroupsInfo <a href=
"CHAP004.htm#SSEC003.16">
4.
3.
16</a>
</
dl><p>
<H2><A NAME=
"idxT">T</A></H2>
<
dl>
<
dt>TableOfRadQuotient <a href=
"CHAP002.htm#SSEC003.1">
2.
3.
1</a>
<
dt>Tables <a href=
"CHAP002.htm">
2.
0</a>
<
dt>Tables for the Modular Isomorphism Problem <a href=
"CHAP002.htm#SECT003">
2.
3</a>
<
dt>The group theoretical invariants <a href=
"CHAP004.htm#SECT003">
4.
3</a>
<
dt>The modular isomorphism problem <a href=
"CHAP004.htm">
4.
0</a>
<
dt>Theorem41MS22 <a href=
"CHAP004.htm#SSEC003.9">
4.
3.
9</a>
</
dl><p>
[<a href=
"chapters.htm">Up</a>]<p>
<P>
<
address>ModIsom manual<
br>September
2024
</
address></
body></
html>
