# The Gorenstein dimension of a ring

I'm studying on these notes. I have a question about page 64, the remark.

A local ring is Gorenstein if and only if the Gorenstein dimension of the residue field is finite.

Of course if the ring is Gorenstein then the Gorenstein dimension of the residue field is finite. Could you explain why the converse is true?

-

The hint from your notes leads easily to a proof. In particular, it says that for a local ring $(A,m,k)$ with $\text{id}_A(A)=\infty$ we should have $\mu_i(m)>0$ for all $i\ge \dim A$. Or if $\text{Gdim}(k)<\infty$, then $\operatorname{Ext}_A^i(k,A)=0$ for all $i>\text{Gdim}(k)$ (to show this take a $G$-resolution of $k$ and use the long exact homology sequence for $\operatorname{Ext}$), that is, $\mu_i(m)=0$ for all $i>\text{Gdim}(k)$. Conclusion: $\text{id}_A(A)<\infty$.