Dimension of a PID
Let
View code
Let $A$ be a commutative ring with $1$. The {\bfseries dimension} of $A$ is the maximum length $d$ of a chain of prime ideals $\mathfrak{p}_0\subsetneq \mathfrak{p}_1\subsetneq \cdots \subsetneq \mathfrak{p}_d$. Prove that if $A$ is a PID, the dimension of $A$ is at most 1.