[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: subgroup_schemes-predicates  ..  SubgroupStructure2


subgroup_schemes-predicates

   Predicates on Subgroup Schemes (ELLIPTIC CURVES)

SubgroupClasses

   Subgroups(G) : GrpPC -> SeqEnum
   SubgroupClasses(G) : GrpPC -> SeqEnum
   SubgroupClasses(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   SubgroupClasses(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   GrpPC_SubgroupClasses (Example H19E18)

SubgroupConstructions

   GrpFP_1_SubgroupConstructions (Example H26E44)
   GrpPerm_SubgroupConstructions (Example H17E13)

SubgroupCreation

   GrpAbGen_SubgroupCreation (Example H21E4)

SubgroupLattice

   SubgroupLattice(G) : GrpFin -> SubGrpLat
   SubgroupLattice(G) : GrpPC -> SubGrpLat

SubgroupOfTorus

   SubgroupOfTorus(M, x) : ModSym, ModSymElt -> RngIntElt
   SubgroupOfTorus(M, s) : ModSym, SeqEnum -> GrpAb

SubgroupOps

   GrpFP_1_SubgroupOps (Example H26E46)

Subgroups

   CyclicSubgroups(G) : GrpPC -> SeqEnum
   ElementaryAbelianSubgroups(G) : GrpPC -> SeqEnum
   NilpotentSubgroups(G) : GrpPC -> SeqEnum
   AbelianSubgroups(G) : GrpPC -> SeqEnum
   AbelianSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   AbelianSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   CyclicSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   CyclicSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   ElementaryAbelianSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   ElementaryAbelianSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   LowIndexSubgroups(G, R : parameters) : GrpFP, RngIntElt -> [ GrpFP ]
   LowIndexSubgroups(G, R : parameters) : GrpMat, RngIntElt -> [ GrpMat ]
   LowIndexSubgroups(G, n: parameters) : GrpPerm, RngIntElt -> SeqEnum
   MaximalSubgroups(G) : GrpAb -> [GrpAb]
   MaximalSubgroups(G) : GrpPC -> [GrpPC]
   MaximalSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   MaximalSubgroups(e) : SubGrpLatElt -> { SubGrpLatElt }
   MinimalNormalSubgroups(G) : GrpPerm -> [ GrpPerm ]
   NilpotentSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   NilpotentSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   NonsolvableSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   NonsolvableSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   NormalSubgroups(G) : GrpFin -> [ Rec ]
   NormalSubgroups(G) : GrpPC -> SeqEnum
   NormalSubgroups(G) : GrpPerm -> [ Rec ]
   NormalSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   NumberOfSubgroupsAbelianPGroup (A) : SeqEnum -> SeqEnum
   PerfectSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   PerfectSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   RegularSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   SimpleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   SimpleSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   SolubleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   SolvableSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   SubgroupClasses(G) : GrpPC -> SeqEnum
   SubgroupClasses(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
   SubgroupClasses(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]
   Subgroups(G:parameters) : GrpAb -> [Rec]
   SubgroupsLift(G, A, B, Q: parameters) : GrpPerm, GrpPerm, GrpPerm, SeqEnum -> SeqEnum
   GrpAb_Subgroups (Example H25E4)
   GrpMat_Subgroups (Example H18E15)
   GrpPerm_Subgroups (Example H17E15)
   Grp_Subgroups (Example H16E15)

subgroups

   Abelian Normal Subgroups (PERMUTATION GROUPS)
   Characteristic Subgroups (FINITE SOLUBLE GROUPS)
   Classes of Subgroups Satisfying a Condition (PERMUTATION GROUPS)
   Congruence Subgroups (SUBGROUPS OF PSL_2(R))
   Constructing Coxeter Groups from Existing Coxeter Groups (COXETER GROUPS AS PERMUTATION GROUPS)
   Lattice of Normal Subgroups (PERMUTATION GROUPS)
   Maximal and Minimal Normal Subgroups (PERMUTATION GROUPS)
   Subgroups (FINITE SOLUBLE GROUPS)
   Subgroups (GENERIC ABELIAN GROUPS)
   Subgroups (MATRIX GROUPS)
   Subgroups and Subgroup Series (FINITE p-GROUPS)

subgroups-conditional

   Classes of Subgroups Satisfying a Condition (PERMUTATION GROUPS)

Subgroups1

   GrpFP_1_Subgroups1 (Example H26E31)

Subgroups2

   GrpFP_1_Subgroups2 (Example H26E32)

subgroupsabelianpgroups

   GrpPGp_subgroupsabelianpgroups (Example H20E7)

SubgroupScheme

   SubgroupScheme(E,P) : CrvEll, Pt -> CrvEllSubgroup
   SubgroupScheme(G, f) : SchGrpEll, RngUPolElt -> SchGrpEll

SubgroupSchemes

   CrvEll_SubgroupSchemes (Example H91E12)

SubgroupsLift

   SubgroupsLift(G, A, B, Q: parameters) : GrpPerm, GrpPerm, GrpPerm, SeqEnum -> SeqEnum

SubgroupsQuotientsTransfer

   GrpGPC_SubgroupsQuotientsTransfer (Example H28E6)

SubgroupStructure

   GrpGPC_SubgroupStructure (Example H28E9)

SubgroupStructure2

   GrpGPC_SubgroupStructure2 (Example H28E10)


[____] [____] [_____] [____] [__] [Index] [Root]