Documentation

homomorphism-element
- NullspaceOfTranspose(a) : AlgMatVElt -> ModTupRng
- Elements of M_n as Homomorphisms (MATRIX ALGEBRAS)
homomorphism_access
- Accessing Homomorphisms (BRAID GROUPS)
- Accessing Homomorphisms (FINITELY PRESENTED GROUPS)
homomorphism_constr
- Constructing Homomorphisms (BRAID GROUPS)
- Construction of Homomorphisms (FINITELY PRESENTED GROUPS)
- Construction of Homomorphisms (GROUPS DEFINED BY REWRITE SYSTEMS)
- Construction of Homomorphisms (MONOIDS GIVEN BY REWRITE SYSTEMS)
- Construction of Homomorphisms (POLYCYCLIC GROUPS)
homomorphism_fin
- Constructing Homomorphisms onto Finite Groups (FINITELY PRESENTED GROUPS)
- Searching for Homomorphisms (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
homomorphism_general
- General Remarks (BRAID GROUPS)
- General Remarks (FINITELY PRESENTED GROUPS)
- General Remarks (GROUPS DEFINED BY REWRITE SYSTEMS)
- General Remarks (MONOIDS GIVEN BY REWRITE SYSTEMS)
- General remarks (POLYCYCLIC GROUPS)
- Homomorphism Constructor (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
homomorphism_onto_simple
- Simple Group Quotients (FINITELY PRESENTED GROUPS)
- Simple Group Quotients (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
homomorphism_representations
- Representations of Braid Groups (BRAID GROUPS)
HomomorphismEmbedded
- PMod_HomomorphismEmbedded (Example H116E2)
Homomorphisms
- Homomorphisms(G, H) : GrpAb, GrpAb -> [Map]
- AllHomomorphisms(G, H) : GrpAb, GrpAb -> [Map]
- AnalyticHomomorphisms(t1, t2) : Mtrx, Mtrx -> SeqEnum
- Homomorphisms(G, H) : GrpPC, GrpPC -> SeqEnum
- Homomorphisms(F, G, A : parameters) : GrpFP, GrpPC, GrpPC -> [ HomGrp ]
- Homomorphisms(F, G, A : parameters) : GrpFP, GrpPerm, GrpPerm -> [ HomGrp ]
- HomomorphismsProcess(F, G, A : parameters) : GrpFP, GrpPerm, GrpPerm -> GrpFPHomsProc
- AlgBas_Homomorphisms (Example H92E18)
- FldNum_Homomorphisms (Example H36E5)
- FldRe_Homomorphisms (Example H26E2)
- GrpAb_Homomorphisms (Example H75E15)
- GrpBrd_Homomorphisms (Example H80E10)
- Grp_Homomorphisms (Example H63E1)
- RngOrd_Homomorphisms (Example H39E7)
homomorphisms
- Creating Homomorphisms (GROUPS OF STRAIGHT-LINE PROGRAMS)
- Homomorphisms (ABELIAN GROUPS)
- Homomorphisms (BASIC ALGEBRAS)
- Homomorphisms (FINITE SOLUBLE GROUPS)
- Homomorphisms (FREE MODULES)
- Homomorphisms (LIE ALGEBRAS)
- Homomorphisms between Modules (MODULES OVER DEDEKIND DOMAINS)
- Homomorphisms of Modules (BASIC ALGEBRAS)
Homomorphisms-2
- AlgBas_Homomorphisms-2 (Example H92E19)
- Grp_Homomorphisms-2 (Example H63E2)
homomorphisms-algebras
- Homomorphisms (BASIC ALGEBRAS)
Homomorphisms1
- GrpFPInt_Homomorphisms1 (Example H77E25)
- GrpFP_Homomorphisms1 (Example H78E54)
Homomorphisms2
- GrpFP_Homomorphisms2 (Example H78E55)
Homomorphisms2-2
- GrpFP_Homomorphisms2-2 (Example H78E56)
HomomorphismSpeed
- GrpSLP_HomomorphismSpeed (Example H83E3)
HomomorphismsProcess
- HomomorphismsProcess(F, G, A : parameters) : GrpFP, GrpPerm, GrpPerm -> GrpFPHomsProc
Homorphism
- LieAlgebraHomorphism(phi,k) : Map, Rng -> AlgLie
Homotopism
- Homotopism(M, C) : List, TenCat -> Hmtp
- Homotopism(T, S, M : parameters) : TenSpcElt, TenSpcElt, List -> Hmtp
- HomotopismCategory(v : parameters) : RngIntElt -> TenCat
- IsHomotopism(T, s, H) : TenSpcElt, TenSpcElt, Hmtp -> BoolElt
HomotopismCategory
- HomotopismCategory(v : parameters) : RngIntElt -> TenCat
HomotopismConst
- Multilinear_HomotopismConst (Example H62E70)
HomotopismOps
- Multilinear_HomotopismOps (Example H62E72)
HomotopismProps
- Multilinear_HomotopismProps (Example H62E73)
Homotopisms
- Basic Operations with Homotopisms (MULTILINEAR ALGEBRA)
- Basic Properties of Homotopisms (MULTILINEAR ALGEBRA)
- Constructions of Homotopisms (MULTILINEAR ALGEBRA)
- Homotopisms (MULTILINEAR ALGEBRA)
Homotopy
- IsNullHomotopy(f,H) : MapChn, MapChn -> BoolElt
- NullHomotopy(f) : MapChn -> MapChn
Homs
- SheafHoms(S, T) : ShfCoh, ShfCoh -> ShfCoh, Map
homs
- Sheaf Homomorphisms (COHERENT SHEAVES)
homspace
- Endomorphism Algebras and Hom Spaces (MODULAR ABELIAN VARIETIES)
Homspace-Arithmetic
- ModAbVar_Homspace-Arithmetic (Example H145E71)
Homspace-Creation
- ModAbVar_Homspace-Creation (Example H145E65)
Homspace-Invariants
- ModAbVar_Homspace-Invariants (Example H145E73)
Homspace-Matrix_and_Module_Structure
- ModAbVar_Homspace-Matrix_and_Module_Structure (Example H145E75)
Homspace-Matrix_and_Module_Structure3
- ModAbVar_Homspace-Matrix_and_Module_Structure3 (Example H145E76)
Homspace-Predicates
- ModAbVar_Homspace-Predicates (Example H145E77)
Homspace-Pullback_and_Pushforward_of_Hom_Spaces
- ModAbVar_Homspace-Pullback_and_Pushforward_of_Hom_Spaces (Example H145E70)

V2.28, 13 July 2023

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