An application of type sequences to the blowing-up.
We give an effective procedure to find minimal bases for ideals of the ring of polynomials over the integers.
We give an elementary proof of the Briançon-Skoda theorem. The theorem gives a criterionfor when a function belongs to an ideal of the ring of germs of analytic functions at ; more precisely, the ideal membership is obtained if a function associated with and is locally square integrable. If can be generated by elements,it follows in particular that , where denotes the integral closure of an ideal .
Let L/K be a finite Galois extension of complete discrete valued fields of characteristic p. Assume that the induced residue field extension is separable. For an integer n ≥ 0, let denote the ring of Witt vectors of length n with coefficients in . We show that the proabelian group is zero. This is an equicharacteristic analogue of Hesselholt’s conjecture, which was proved before when the discrete valued fields are of mixed characteristic.
We construct an example of a Fréchet m-convex algebra which is a principal ideal domain, and has the unit disk as the maximal ideal space.
Let k be a field of characteristic zero. We prove that the derivation , where s ≥ 2, 0 ≠ p ∈ k, of the polynomial ring k[x,y] is simple.
The paper introduces the calculation of a greatest common divisor of two univariate polynomials. Euclid’s algorithm can be easily simulated by the reduction of the Sylvester matrix to an upper triangular form. This is performed by using - transformation and -factorization methods. Both procedures are described and numerically compared. Computations are performed in the floating point environment.