Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 A B C D E F G H I Bib Ind
Top of Book Previous Chapter Next Chapter

5 Ring Maps
5.1 Ring Maps: Category and Representations
5.1-1 IsHomalgRingMap
5.1-2 IsHomalgRingSelfMap
5.1-3 IsHomalgRingMapRep
5.2 Ring Maps: Constructors
5.2-1 RingMap
5.3 Ring Maps: Properties
5.3-1 IsMorphism
5.3-2 IsIdentityMorphism
5.3-3 IsMonomorphism
5.3-4 IsEpimorphism
5.3-5 IsIsomorphism
5.3-6 IsAutomorphism
5.4 Ring Maps: Attributes
5.4-1 Source
5.4-2 Range
5.4-3 DegreeOfMorphism
5.4-4 CoordinateRingOfGraph
5.4-5 KernelSubmodule
5.4-6 KernelEmb
5.5 Ring Maps: Operations and Functions
5.5-1 Kernel

### 5 Ring Maps

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.

#### 5.1 Ring Maps: Category and Representations

##### 5.1-1 IsHomalgRingMap

`> IsHomalgRingMap`( phi ) | ( category )

Returns: `true` or `false`

The GAP category of ring maps.

##### 5.1-2 IsHomalgRingSelfMap

`> IsHomalgRingSelfMap`( phi ) | ( category )

Returns: `true` or `false`

The GAP category of ring self-maps.

(It is a subcategory of the GAP category `IsHomalgRingMap`.)

##### 5.1-3 IsHomalgRingMapRep

`> IsHomalgRingMapRep`( phi ) | ( representation )

Returns: `true` or `false`

The GAP representation of finitley presented homalg modules.

(It is a representation of the GAP category `IsHomalgRingMap` (5.1-1).)

#### 5.2 Ring Maps: Constructors

##### 5.2-1 RingMap

`> 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 (--> 4.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` (5.3-1). If source and target are identical objects, and only then, the ring map is created as a selfmap.

#### 5.3 Ring Maps: Properties

##### 5.3-1 IsMorphism

`> IsMorphism`( phi ) | ( property )

Returns: `true` or `false`

Check if phi is a well-defined map, i.e. independent of all involved presentations.

##### 5.3-2 IsIdentityMorphism

`> IsIdentityMorphism`( phi ) | ( property )

Returns: `true` or `false`

Check if the homalg ring map phi is the identity morphism.

##### 5.3-3 IsMonomorphism

`> IsMonomorphism`( phi ) | ( property )

Returns: `true` or `false`

Check if the homalg ring map phi is a monomorphism.

##### 5.3-4 IsEpimorphism

`> IsEpimorphism`( phi ) | ( property )

Returns: `true` or `false`

Check if the homalg ring map phi is an epimorphism.

##### 5.3-5 IsIsomorphism

`> IsIsomorphism`( phi ) | ( property )

Returns: `true` or `false`

Check if the homalg ring map phi is an isomorphism.

##### 5.3-6 IsAutomorphism

`> IsAutomorphism`( phi ) | ( property )

Returns: `true` or `false`

Check if the homalg ring map phi is an automorphism.

#### 5.4 Ring Maps: Attributes

##### 5.4-1 Source

`> Source`( phi ) | ( attribute )

Returns: a homalg ring

The source of the homalg ring map phi.

##### 5.4-2 Range

`> Range`( phi ) | ( attribute )

Returns: a homalg ring

The target (range) of the homalg ring map phi.

##### 5.4-3 DegreeOfMorphism

`> DegreeOfMorphism`( phi ) | ( attribute )

Returns: an integer

The degree of the morphism phi of graded rings.
(no method installed)

##### 5.4-4 CoordinateRingOfGraph

`> CoordinateRingOfGraph`( phi ) | ( attribute )

Returns: a homalg ring

The coordinate ring of the graph of the ring map phi.

##### 5.4-5 KernelSubmodule

`> KernelSubmodule`( phi ) | ( attribute )

Returns: a homalg submodule

The kernel ideal of the ring map phi (as a submodule).

##### 5.4-6 KernelEmb

`> KernelEmb`( phi ) | ( attribute )

Returns: a homalg map

The embedding of the kernel ideal `Kernel`(phi) into the `Source`(phi), both viewed as modules over the ring R :=`Source`(phi) (cf. `Kernel` (5.5-1)).

#### 5.5 Ring Maps: Operations and Functions

##### 5.5-1 Kernel

`> Kernel`( phi ) | ( method )

Returns: a homalg module

The kernel ideal of the ring map phi as an abstract module.

Top of Book Previous Chapter Next Chapter
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 A B C D E F G H I Bib Ind

generated by GAPDoc2HTML