conductor F
conductor R
Suppose that the ring map $F : R \rightarrow S$ is finite: i.e. $S$ is a finitely generated $R$-module. The conductor of $F$ is defined to be $\{ g \in R \mid g S \subset F(R) \}$. One way to think about this is that the conductor is the set of universal denominators of S over R, or as the largest ideal of R which is also an ideal in S. An important case is the conductor of the map from a ring to its integral closure.
|
|
|
|
If an affine domain (a ring finitely generated over a field) is given as input, then the conductor of $R$ in its integral closure is returned.
|
If the map is not icFractions(R), then pushForward is called to compute the conductor.
Currently this function only works if F comes from a integral closure computation, or is homogeneous
The object conductor is a method function.