# A Short Proof for the Krull Dimension of a Polynomial Ring

```@article{Coquand2005ASP,
title={A Short Proof for the Krull Dimension of a Polynomial Ring},
author={Thierry Coquand and Henri Lombardi},
journal={The American Mathematical Monthly},
year={2005},
volume={112},
pages={826-829}
}```
• Published in
The American Mathematical…
2005
• Mathematics, Computer Science
• Since the other inclusion is trivial, we get N = Y-=I Rni + aL. It follows that N is finitely generated, which contradicts the definition of N. Therefore p is a prime ideal. Since M is finitely generated, we have M/N = Rxj + ... + Rx, for some x,..., x, in M, where x signifies the equivalence class of x in M/N, hence p = n=IAnn(R ). Because p is a prime ideal, p = Ann(Rij) for some j. Suppose that the set {yi + rixj }, generates N + Rxj, where yi is in N and ri in R. By an argument similar to… CONTINUE READING

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### Citations

##### Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

## The Ring of Real-Valued Multivariate Polynomials: An Analyst’s Perspective

• Mathematics
• 2014
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

## The Transcendence Degree over a Ring

VIEW 4 EXCERPTS
CITES METHODS, RESULTS & BACKGROUND
HIGHLY INFLUENCED

## Introduction to Algebraic Geometry

VIEW 1 EXCERPT
CITES METHODS

## Krull dimension and monomial orders

• Mathematics
• 2013
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

## Constructive Krull Dimension. I: Integral Extensions.

• Mathematics
• 2009

## Spectral schemes as ringed lattices

• Mathematics, Computer Science
• Annals of Mathematics and Artificial Intelligence
• 2009
VIEW 1 EXCERPT
CITES BACKGROUND