next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: irreducibleCharacteristicSeries

irreducibleCharacteristicSeries -- irreducible characteristic series of an ideal



As we see in the example below, an irreducible characteristic series for $I$ consists of a collection of triangular sets. Here, given a polynomial $f$, write $lvar(f)$ for the largest variable appearing in $f$ (with respect to the lexicographic order). In the example, $lvar(-y w+x^2) = y$ . A triangular set consists of polynomials $f_1,\dots,f_r$ such that $lvar(f_1)< \dots < lvar(f_r)$. In the example, $lvar(-x*y^2+z^3) = x < w = lvar(-w*y+z^2)$ . If $T_1,\dots,T_s$ form an irreducible characteristic series for $I$ , and if $J_i$ is the ideal generated by the largest variables of the elements of $T_i$ , then the algebraic set $V(I)$ defined by $I$ is the union of the sets $V(T_i) \setminus V(I_i)$, for $i=1,\dots,s$. The minimal associated primes of $I$ can thus be recovered from the irreducible characteristic series by saturation and by throwing away superfluous primes. This is done by minimalPrimes, which uses this routine.

i1 : R = QQ[w,x,y,z];
i2 : (L,p) = irreducibleCharacteristicSeries ideal(x^2-y*w,x^3-z*w^2)

o2 = ({| zw2-x3 yw-x2 |, | x w |}, map (R, QQ[y..z, w..x], {y, z, w, x}))

o2 : Sequence
i3 : apply(L, m -> p m)

o3 = {| -x3+w2z -x2+wy |, | x w |}

o3 : List
i4 : p^-1

o4 = map (QQ[y..z, w..x], R, {w, x, y, z})

o4 : RingMap QQ[y..z, w..x] <--- R

See also

Ways to use irreducibleCharacteristicSeries :

For the programmer

The object irreducibleCharacteristicSeries is a method function.