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

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

Synopsis:

Usage: C = conductor F

Function: conductor

Input:

F, an instance of class RingMap: A finite ring map from a ring R to a ring S.

Output:

C, an instance of class Ideal: the conductor ideal of S into R.

i1 : R = QQ[x,y,z]/ideal(x^6-z^6-y^2*z^4);

i2 : conductor(ICmap R)



             3     2   3    4

o2 = ideal (z , x*z , x z, x )



o2 : Ideal of R

The command conductor calls the command pushForward. Currently, the command pushForward does not work if the source of the map F is multgraded or inhomogeneous. If the source of the map F is multigraded or in homogeneous conductor returns the message -- No conductor for F.

See also:

pushForward

integralClosure -- compute the integral closure of a ring