No label defined (Q3973333)

[For the entire collection see Zbl 0721.00009.] Let \(k\) be a field, \(K\) its algebraic closure and let \(A=k[x,y]\) be the polynomial ring, \(B=K[x,y]\). An ideal \(I\) of \(A\) with \(n=\dim_ k(A/I)\) defines a set \(E\) of \(n\) simple points in the affine plane \(A_ 2(K)\) if \(IB\) is an intersection of maximal ideals. The set \(E\) is said to be in uniform position iff for any ideal \(J\) of \(B\), with \(IB\subset J\), the Hilbert function \(H_{B/J}\) depends only on \(\dim_ K(B/J)\). By a linear change of coordinates one obtains that every ideal \(I\) with \(n=\dim_ k(A/I)\) is generated by two polynomials \(\{g,y-h\}\), where \(g,h\in k[x],\deg(g)=n\) and \(\deg(h)<n\). Let \(E\) be a set of \(n\) points in \(A_ 2\), defined by \(\{g,y-h\}\) as above. \(E\) is said to be \(G\)- symmetric iff \(g\) is irreducible in \(k[x]\) and its Galois group over \(k\) is the symmetric group \(S_ n\). The author proves that a \(G\)-symmetric set \(E\) is a set in uniform position. --- Then, one obtains a great number of examples of such sets and one gives algorithms for the computation of the Hilbert function and for the smallest number of the generators of the homogeneous ideal defining a set of points.