Macaulay2 » Documentation
Packages » Seminormalization :: conductorOfRingMap

next | previous | forward | backward | up | index | toc

conductorOfRingMap -- given a ring map this finds the conductor of the map

Synopsis

Usage:

J = conductorOfRingMap phi
Inputs:
- phi, a ring map,
Outputs:
- J, an ideal, the conductor

Description

Given a ring map $\phi : R \to S$, this finds the conductor, the annihilator of $S/R$ as an $R$ module.

i1 : R = QQ[a,b]/ideal(a^3-b^2);

i2 : S = QQ[c];

i3 : phi = map(S, R, {c^2,c^3});

o3 : RingMap S <-- R

i4 : conductorOfRingMap phi

o4 = ideal (b, a)

o4 : Ideal of R

Ways to use conductorOfRingMap:

conductorOfRingMap(RingMap)

For the programmer

The object conductorOfRingMap is a method function.