A homalg ring map is a data structure for maps between finitely generated rings. homalg more or less provides the basic declarations and installs the generic methods for ring maps, but it is up to other high level packages to install methods applicable to specific rings. For example, the package Sheaves provides methods for ring maps of (finitely generated) affine rings.
‣ IsHomalgRingMap( phi ) | ( category ) |
Returns: true or false
The GAP category of ring maps.
‣ IsHomalgRingSelfMap( phi ) | ( category ) |
Returns: true or false
The GAP category of ring self-maps.
(It is a subcategory of the GAP category IsHomalgRingMap.)
‣ IsHomalgRingMapRep( phi ) | ( representation ) |
Returns: true or false
The GAP representation of homalg ring maps.
(It is a representation of the GAP category IsHomalgRingMap (4.1-1).)
‣ RingMap( images, S, T ) | ( operation ) |
Returns: a homalg ring map
This constructor returns a ring map (homomorphism) of finitely generated rings/algebras. It is represented by the images images of the set of generators of the source homalg ring S in terms of the generators of the target ring T (--> 3.2). Unless the source ring is free and given on free ring/algebra generators the returned map will cautiously be indicated using parenthesis: "homomorphism". To verify if the result is indeed a well defined map use IsMorphism (4.3-1). If source and target are identical objects, and only then, the ring map is created as a selfmap.
‣ IsMorphism( phi ) | ( property ) |
Returns: true or false
Check if phi is a well-defined map, i.e. independent of all involved presentations.
‣ IsIdentityMorphism( phi ) | ( property ) |
Returns: true or false
Check if the homalg ring map phi is the identity morphism.
‣ IsMonomorphism( phi ) | ( property ) |
Returns: true or false
Check if the homalg ring map phi is a monomorphism.
‣ IsEpimorphism( phi ) | ( property ) |
Returns: true or false
Check if the homalg ring map phi is an epimorphism.
‣ IsIsomorphism( phi ) | ( property ) |
Returns: true or false
Check if the homalg ring map phi is an isomorphism.
‣ IsAutomorphism( phi ) | ( property ) |
Returns: true or false
Check if the homalg ring map phi is an automorphism.
‣ Source( phi ) | ( attribute ) |
Returns: a homalg ring
The source of the homalg ring map phi.
‣ Range( phi ) | ( attribute ) |
Returns: a homalg ring
The target (range) of the homalg ring map phi.
‣ DegreeOfMorphism( phi ) | ( attribute ) |
Returns: an integer
The degree of the morphism phi of graded rings.
(no method installed)
‣ CoordinateRingOfGraph( phi ) | ( attribute ) |
Returns: a homalg ring
The coordinate ring of the graph of the ring map phi.
generated by GAPDoc2HTML