Fork me on GitHub
Math for the people, by the people.

User login

height of a prime ideal

% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these

% used for TeXing text within eps files
% need this for including graphics (\includegraphics)
% for neatly defining theorems and propositions
% making logically defined graphics

% there are many more packages, add them here as you need them

% define commands here
Let $R$ be a commutative ring and $\mathfrak{p}$ a prime ideal of $R$.  The {\em height} of $\mathfrak{p}$ is the supremum of all integers $n$ such that there exists a chain $$\mathfrak{p}_0 \subset \cdots \subset \mathfrak{p}_n = \mathfrak{p}$$ of distinct prime ideals.  The height of $\mathfrak{p}$ is denoted by $\operatorname{h}(\mathfrak{p})$.

$\operatorname{h}(\mathfrak{p})$ is also known as the rank of $\mathfrak{p}$ and the codimension of $\mathfrak{p}$.

The Krull dimension of $R$ is the supremum of the heights of all the prime ideals of $R$: $$\sup\lbrace \operatorname{h}(\mathfrak{p})
\mid \mathfrak{p}\mbox{ prime in }R \rbrace.$$