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