Documentation

subgroups
- Abelian Normal Subgroups (PERMUTATION GROUPS)
- All Subgroups and Intermediate Subgroups (GROUPS)
- Characteristic Subgroups (FINITE SOLUBLE GROUPS)
- Classes of Subgroups Satisfying a Condition (PERMUTATION GROUPS)
- Congruence Subgroups (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Conjugacy of Subgroups of the Classical Groups (ALMOST SIMPLE GROUPS)
- Enumeration of FI-Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Irreducible Subgroups of the General Linear Group (ALMOST SIMPLE GROUPS)
- Lattice of Normal Subgroups (PERMUTATION GROUPS)
- Maximal and Minimal Normal Subgroups (PERMUTATION GROUPS)
- Operations for FI-Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Properties of Subgroups (FINITELY PRESENTED GROUPS)
- Properties of Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Reflection Subgroups (COXETER GROUPS)
- Subgroups (FINITE SOLUBLE GROUPS)
- Subgroups (MATRIX GROUPS OVER GENERAL RINGS)
- Sylow Subgroups (GROUPS OF LIE TYPE)
Subgroups-2
- GrpPerm_Subgroups-2 (Example H64E21)
subgroups-conditional
- Classes of Subgroups Satisfying a Condition (PERMUTATION GROUPS)
Subgroups1
- GrpFPInt_Subgroups1 (Example H77E13)
- GrpFPInt_Subgroups1 (Example H77E18)
- GrpFP_Subgroups1 (Example H78E22)
Subgroups2
- GrpFP_Subgroups2 (Example H78E23)
subgroupsabelianpgroups
- GrpPC_subgroupsabelianpgroups (Example H69E25)
SubgroupScheme
- SubgroupScheme(E,P) : CrvEll, Pt -> CrvEllSubgroup
- SubgroupScheme(p,N) : Pt, RngIntElt -> SchGrpEll, CrvEll
- SubgroupScheme(G, f) : SchGrpEll, RngUPolElt -> SchGrpEll
SubgroupSchemes
- CrvEll_SubgroupSchemes (Example H128E14)
SubgroupsData
- SubgroupsData(str) : MonStgElt -> SeqEnum
SubgroupsLift
- SubgroupsLift(G, A, B, Q: parameters) : GrpMat, GrpMat, GrpMat, SeqEnum -> SeqEnum
- SubgroupsLift(G, A, B, Q: parameters) : GrpPerm, GrpPerm, GrpPerm, SeqEnum -> SeqEnum
SubgroupsQuotientsTransfer
- GrpGPC_SubgroupsQuotientsTransfer (Example H79E6)
SubgroupStructure
- GrpGPC_SubgroupStructure (Example H79E9)
SubgroupStructure2
- GrpGPC_SubgroupStructure2 (Example H79E10)
subgrp
- Subgroups of Modular Abelian Varieties (MODULAR ABELIAN VARIETIES)
Subgrp-Arithmetic
- ModAbVar_Subgrp-Arithmetic (Example H145E105)
Subgrp-Creation
- ModAbVar_Subgrp-Creation (Example H145E103)
Subgrp-Elements
- ModAbVar_Subgrp-Elements (Example H145E104)
Subgrp-Invariants
- ModAbVar_Subgrp-Invariants (Example H145E107)
Subgrp-Predicates_and_Comparisons
- ModAbVar_Subgrp-Predicates_and_Comparisons (Example H145E108)
Subgrp-Underlying_Abelian_Group_and_Lattice
- ModAbVar_Subgrp-Underlying_Abelian_Group_and_Lattice (Example H145E106)
Sublattice
- ConeInSublattice(C) : TorCon -> TorCon,Map
- EvenSublattice(L) : Lat -> Lat, Map
- IsSublattice(S, L) : LatNF, LatNF -> BoolElt, Mtrx
- IsSublattice(L) : TorLat -> BoolElt
- PolyhedronInSublattice(P) : TorPol -> TorPol,Map,TorLatElt
- Sublattice(L) : TorLat -> TorLat,TorLatMap
- Sublattice(Q) : [TorLatElt] -> TorLat,TorLatMap
- SublatticeClasses(G) : GrpMat -> [ Lat ]
- SublatticeLattice(G) : GrpMat -> LatLat, BoolElt
- SublatticeLattice(G, p) : GrpMat, RngIntElt -> LatLat, BoolElt
- SublatticeLattice(G, Q) : GrpMat, [ RngIntElt ] -> LatLat, BoolElt
sublattice
- Creating the Lattice of Sublattices (LATTICES WITH GROUP ACTION)
- G-invariant Sublattices (LATTICES WITH GROUP ACTION)
- Lattice of Sublattices (LATTICES WITH GROUP ACTION)
- Operations on the Lattice of Sublattices (LATTICES WITH GROUP ACTION)
sublattice-lattice
- Lattice of Sublattices (LATTICES WITH GROUP ACTION)
sublattice-lattice-create
- Creating the Lattice of Sublattices (LATTICES WITH GROUP ACTION)
sublattice-lattice-op
- Operations on the Lattice of Sublattices (LATTICES WITH GROUP ACTION)
SublatticeClasses
- SublatticeClasses(G) : GrpMat -> [ Lat ]
SublatticeLattice
- SublatticeLattice(G) : GrpMat -> LatLat, BoolElt
- SublatticeLattice(G, p) : GrpMat, RngIntElt -> LatLat, BoolElt
- SublatticeLattice(G, Q) : GrpMat, [ RngIntElt ] -> LatLat, BoolElt
- GLat_SublatticeLattice (Example H33E8)
SublatticeLattice2
- GLat_SublatticeLattice2 (Example H33E9)
SublatticeLatticeCreate
- GLat_SublatticeLatticeCreate (Example H33E7)
Sublattices
- MaximalSublattices(e) : LatLatElt -> [ LatLatElt ], [ RngIntElt ]
- MaximalSublattices(L, p) : LatNF, RngOrdIdl -> [LatNF], [RngIntElt]
- Sublattices(G) : GrpMat -> [ Lat ], BoolElt
- Sublattices(G, p) : GrpMat, RngIntElt -> [ Lat ], BoolElt
- Sublattices(G, Q) : GrpMat, [ RngIntElt ] -> [ Lat ], BoolElt
- GLat_Sublattices (Example H33E5)
Sublattices2
- GLat_Sublattices2 (Example H33E6)
Submatrix
- ColumnSubmatrix(A, i) : Mtrx, RngIntElt -> Mtrx
- ColumnSubmatrix(A, i, k) : Mtrx, RngIntElt, RngIntElt -> Mtrx
- ColumnSubmatrix(A, i) : MtrxSprs, RngIntElt -> MtrxSprs
- ColumnSubmatrix(A, i, k) : MtrxSprs, RngIntElt, RngIntElt -> MtrxSprs
- ColumnSubmatrixRange(A, i, j) : Mtrx, RngIntElt, RngIntElt -> Mtrx
- ColumnSubmatrixRange(A, i, j) : MtrxSprs, RngIntElt, RngIntElt -> MtrxSprs
- RowSubmatrix(A, i) : Mtrx, RngIntElt -> Mtrx
- RowSubmatrix(A, i, k) : Mtrx, RngIntElt, RngIntElt -> Mtrx
- RowSubmatrix(A, i) : MtrxSprs, RngIntElt -> MtrxSprs
- RowSubmatrix(A, i, k) : MtrxSprs, RngIntElt, RngIntElt -> MtrxSprs
- RowSubmatrixRange(A, i, j) : Mtrx, RngIntElt, RngIntElt -> Mtrx
- RowSubmatrixRange(A, i, j) : MtrxSprs, RngIntElt, RngIntElt -> MtrxSprs
- Submatrix(A, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(a, i, j, p, q) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- Submatrix(A, I, J) : Mtrx, [RngIntElt], [RngIntElt] -> Mtrx
- Submatrix(A, i, j, p, q) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
- Submatrix(A, I, J) : MtrxSprs, [RngIntElt], [RngIntElt] -> MtrxSprs
- SubmatrixRange(A, i, j, r, s) : Mtrx, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Mtrx
- SubmatrixRange(A, i, j, r, s) : MtrxSprs, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> MtrxSprs
- Mat_Submatrix (Example H27E5)

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.