Lemma 33.34.1. Let $k$ be a field and $n \geq 0$. Then $\mathbf{P}^ n_ k$ is a smooth projective variety of dimension $n$ over $k$.
Projective space is smooth.
Proof. Omitted. $\square$
Projective space is smooth.
Lemma 33.34.1. Let $k$ be a field and $n \geq 0$. Then $\mathbf{P}^ n_ k$ is a smooth projective variety of dimension $n$ over $k$.
Proof. Omitted. $\square$
Comments (1)
Comment #3016 by Brian Lawrence on