Search

Abstract: We introduce the notion of independent sequences with respect to a monomial order by using the least terms of polynomials vanishing at the sequence. Our main result shows that the Krull dimension of a Noetherian ring is equal to the supremum of the length of independent sequences. The proof has led to other notions of independent sequences, which have interesting applications. For example, we can show that is the maximum number of analytically independent elements in an arbitrary ideal J of a local ring R and that if are (not necessarily finitely generated) subalgebras of a finitely generated algebra over a Noetherian Jacobson ring. [Copyright &y& Elsevier]

We propose an algorithm for computing the radical of a polynomial ideal in positive characteristic. The algorithm does not involve polynomial factorization. [Copyright &y& Elsevier]