That is correct.
Actually, the modern statement of this theorem is that any polynomial ring $k[X_1,\dots,X_n]$ over a field $k$ has _global homological dimension_ equal to $n$.
That is correct.
Actually, the modern statement of this theorem is that any polynomial ring $k[X_1,\dots,X_n]$ over a field $k$ has _global homological dimension_ equal to $n$.