RingMap -- the class of all ring maps

RingMap -- the class of all ring maps

The type RingMap is a member of the class Type. Each object of class RingMap is called a ring map. Each ring map is also a member of class HashTable.

More general types (whose methods may also apply) :

HashTable -- the class of all hash tables

See also:

maps between rings

Common ways to make a ring map:

map(Ring,Ring) -- make a map

map(Ring,Ring,{...}) -- make a ring map

map(Ring,Ring,Matrix) -- make a ring map

Common ways to get information about ring maps:

isHomogeneous RingMap -- test for homogeneity

isInjective RingMap -- whether a map is injective

Common operations on ring maps:

RingMap * RingMap -- a binary operator, usually used for multiplication

kernel RingMap -- kernel of a map

coimage RingMap -- coimage of a map

Common ways to use a ring map:

RingMap Matrix -- blank operator for adjacent expressions

RingMap Ideal -- blank operator for adjacent expressions

RingMap Module -- blank operator for adjacent expressions

RingMap ** Module -- a binary operator, usually used for tensor product

Functions and methods returning a a ring map :

ICfractions Ring -- Compute the fractions integral over a domain.

ICfractionsLong Ring

ICmap Ring -- natural map from an affine domain into its integral closure.

map(Ring,Matrix)

map(Ring,Ring)

map(Ring,Ring,{...}) -- make a ring map

map(Ring,Ring,Matrix) -- make a ring map

RingMap * RingMap

Methods for using a ring map :

coimage RingMap

conductor RingMap -- compute the conductor of a finite ring map

isHomogeneous RingMap

isInjective RingMap

kernel RingMap

net RingMap

pushForward(RingMap,Module)

pushForward1(RingMap,Module)

RingMap ** Module -- a binary operator, usually used for tensor product

RingMap ChainComplex

RingMap Ideal

RingMap Matrix

RingMap Module -- blank operator for adjacent expressions