Index

AbelianizationHomomorphism 4.4-2
AddressOfLeaf 2.3-3
AllInvolutiveCompatibilityCocycles, for IsLocalAction 5.3-2
AreCompatibleBallElements 3.2-1
AssembleAutomorphism 3.2-4
AutBall 2.2-1
BallAddresses 2.3-1
CompatibilitySet, for F, aut, dir 3.2-3
    for F, aut, dirs 3.2-3
CompatibleBallElement 3.2-2
CompatibleKernels, for d, F 4.5-1
    for F, z 4.5-1
CompatibleSubgroups 3.3-3
ComposeAddresses 2.3-6
ConjugacyClassRepsCompatibleGroupsWithProjection 3.3-5
ConjugacyClassRepsCompatibleSubgroups, for IsLocalAction 3.3-4
gamma, see LocalActionElement 4.1-1
ImageAddress 2.3-5
ImageOfProjection 2.1-8
InvolutiveCompatibilityCocycle, for IsLocalAction 5.3-1
IsLocalAction, for IsPermGroup 2.1-1
LeafAddresses 2.3-2
LeafOfAddress 2.3-4
LocalAction, for IsInt, IsInt, IsPermGroup 2.1-2
    for r, d, k, aut, addr 2.1-6
LocalActionDegree, for IsLocalAction 2.1-4
LocalActionDelta, for d, F 4.1-3
    for d, F, C 4.1-3
LocalActionElement, for d, a 4.1-1
    for d, k, aut, z 4.1-1
    for l, d, a 4.1-1
    for l, d, s, addr 4.1-1
LocalActionGamma, for d, F 4.1-2
    for F, z 4.1-2
    for l, d, F 4.1-2
LocalActionNC, for IsInt, IsInt, IsPermGroup 2.1-3
LocalActionPGL2Qp 4.6-1
LocalActionPhi, for d, F, N 4.3-1
    for d, F, P 4.3-1
    for F 4.2-1
    for F, P 4.3-1
    for l, F 4.2-1
LocalActionPi 4.4-4
LocalActionPSL2Qp 4.6-2
LocalActionRadius, for IsLocalAction 2.1-5
LocalActionSigma, for d, F, K 4.5-2
    for F, K, z 4.5-2
MaximalCompatibleSubgroup, for IsLocalAction 3.3-1
Projection, for F, r 2.1-7
SatisfiesC, for IsLocalAction 3.3-2
SatisfiesD, for IsLocalAction 5.2-1
SignHomomorphism 4.4-1
SpheresProduct 4.4-3
YieldsDiscreteUniversalGroup, for IsLocalAction 5.2-2