14
$\begingroup$

Atiyah Macdonald, Exercise 8.3. Let $k$ be a field and $A$ a finitely generated $k$-algebra. Prove that the following are equivalent:
(1) $A$ is Artinian.
(2) $A$ is a finite $k$-algebra.

I have a question in the proof of (1$\Rightarrow$2): By using the structure theorem, we may assume that $(A,m)$ is an Artin local ring. Then $A/m$ is a finite algebraic extension of $k$ by Zariski lemma. Since $A$ is Artinian, $m$ is the nilradical of $A$ and thus $m^n=0$ for some $n$. Thus we have a chain $A \supseteq m \supseteq m^2 \supseteq \cdots \supseteq m^n=0$. Since $A$ is Noetherian, $m$ is finitely generated and hence each $m^i/m^{i+1}$ is a finite dimensional $A/m$-vector space, hence a finite dimensional $k$-vector space.

But now how can I deduce that $A$ is a finite dimensional $k$-vector space?

  • 0
    For those who would be interested, [here](http://math.stackexchange.com/questions/856456) are some details about $m/m^2$...2017-01-24

2 Answers 2

15

Prove the following result from general linear algebra:

If $V$ is a vector space over a field $k$ and if $\{0\}=V_0\subseteq V_1\subseteq\cdots\subseteq V_{n-1}\subseteq V_n=V$ where $V_{i}/V_{i-1}$ is a finite dimensional $k$-vector space for all $1\leq i\leq n$, then $V$ is a finite dimensional $k$-vector space.

Hint: The following steps lead to a solution. Please try to prove this on your own referring to each subsequent step as you need it. For example, first try to prove the result on your own; if you are truly stuck, read step (1). Then try to prove the result with step (1) as a hint and only if you are truly stuck should you read step (2).

(1) We work by induction on $n$. The result is clear if $n=1$. In general, let us assume that we have proven the result for $n-1$ and wish to prove the result for $n$. Show that it suffices to establish the following result:

If we have a tower $\{0\}\subseteq W\subseteq V$ where $W$ and $V/W$ are finite dimensional $k$-vector spaces, then $V$ is a finite dimensional $k$-vector space.

(2) Let us prove the result directly above. Since $V/W$ is finite dimensional, we may choose a tuple $(v_1+W,\dots,v_n+W)$ that spans $V/W$ where $v_i\in V$ for all $1\leq i\leq n$. Similarly, since $W$ is finite dimensional, we may choose a tuple $(w_1,\dots,w_m)$ that spans $W$ where $w_j\in W$ for all $1\leq j\leq m$. Prove that the tuple $(v_1,\dots,v_n,w_1,\dots,w_m)$ spans $V$.

(3) Conclude that $V$ is finite dimensional by induction.

I hope this helps!

4

Alternatively, the chain can be refined to a composition series which will be of finite length since each quotient is of finite length and for k-spaces this is equivalent to finite dimension. (Prop. 6.10 in A-M)