Proposition 10.114.2 (00OQ)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.114: Dimension of finite type algebras over fields
Proposition 10.114.2 (cite)

previous lemma
next lemma

numberstags

history
statistics
4 tags refer to this tag

Proposition 10.114.2. A polynomial algebra in $n$ variables over a field is a regular ring. It has global dimension $n$ . All localizations at maximal ideals are regular local rings of dimension $n$ .

Proof. By Lemma 10.114.1 all localizations $k[x_1, \ldots , x_ n]_{\mathfrak m}$ at maximal ideals are regular local rings of dimension $n$ . Hence we conclude by Lemma 10.110.8. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment