Index

AlgebraByTable 2.2-1
AutGroupOfRad 3.1-1
AutGroupOfTable 3.1-1
BaginskiCarantiInfo 4.3-7
BaginskiInfo 4.3-6
BinsByGT 4.1-1
BinsByGTAllFields 4.1-4
CanoFormWithAutGroupOfRad 3.2-2
CanoFormWithAutGroupOfTable 3.2-2
CanonicalFormOfRad 3.2-1
CanonicalFormOfTable 3.2-1
CanonicalNormalSubgroups 4.3-13
CenterDerivedInfo 4.3-2
CheckAssociativity 2.1-4
CheckCommutativity 2.1-5
CheckConsistency 2.1-6
CompareTables 2.1-3
ConjugacyClassInfo 4.3-17
CyclicDerivedInfo 4.3-10
DimensionTwoCohomology 4.3-16
ExpandExponentLaw 6.1-2
GetEntryTable 2.1-1
GroupInfo 4.3-1
IsCoveredByTheory 4.3-15
JenningsDerivedInfo 4.3-5
JenningsInfo 4.3-4
KernelSizePowerMap 4.2-1
KuroshAlgebra 6.1-1
KuroshAlgebraByLib 6.2-1
MaximalAbelianDirectFactor 4.3-11
MIPBinSplit 4.1-6
MIPElementAlgebraToTable 2.3-4
MIPElementTableToAlgebra 2.3-3
MIPSplitGroupsByAlgebras 4.1-5
MIPSplitGroupsByGroupTheoreticalInvariants 4.1-2
MIPSplitGroupsByGroupTheoreticalInvariantsAllFields 4.1-4
MIPSplitGroupsByGroupTheoreticalInvariantsAllFieldsNoCohomology 4.1-4
MIPSplitGroupsByGroupTheoreticalInvariantsNoCohomology 4.1-3
ModIsomTable 2.3-2
MultByTable 2.1-2
NilpotencyClassInfo 4.3-8
NilpotentQuotientOfFpAlgebra 5.1-1
NilpotentTable 2.2-1
NilpotentTableOfRad 2.2-2
NormalSubgroupsInfo 4.3-14
SandlingInfo 4.3-3
SubgroupsInfo 4.3-18
SuccessorsN 4.3-12
TableOfRadQuotient 2.3-1
Theorem41MS22 4.3-9