# 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

## Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert

#### References

##### Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

## H

• T. Coquand
• Lombardi, and M.-F. Roy, Une caractérisation élémentaire de la dimension de Krull
• 2003
VIEW 1 EXCERPT

## Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings

• Mathematics
• 2003
VIEW 1 EXCERPT

## Dimension de Krull, Nullstellensätze et évaluation dynamique

VIEW 1 EXCERPT

## Commutative Algebra: with a View Toward Algebraic Geometry

VIEW 2 EXCERPTS

## Commutative ring theory: Regular rings

• Mathematics
• 1987