Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 101 / 1

The assertion is false. The integers $\mathbb{Z}$ form a Noetherian ring, since every ideal is principal, but this ring is not an Artinian ring: the strictly descending chainnever stabilizes.

The assertion is true. This is the Artinian commutative ring is Noetherian theorem. One proof uses the nilpotent nilradical $N$ of an Artinian ring $A$. The quotient $A/N$ is a finite product of fields. Each quotient $N^j/N^{j+1}$ is an Artinian module over the semisimple ring $A/N$, hence has finite length and is Noetherian. The finite filtrationthen makes $A$ a Noetherian module over itself, which is exactly the ascending chain condition on its ideals.

The assertion is false. The module over a ring $\mathbb{Z}$ over itself is Noetherian, because its submodules are the principal ideals $n\mathbb{Z}$, but the descending chainshows that it is not an Artinian module.

The assertion is false. For a prime number $p$, the Prüfer p-group $C_{p^{\infty }}$ is an Artinian $\mathbb{Z}$-module: every proper subgroup is a finite cyclic group, so no infinite strictly descending chain of subgroups exists. It is not Noetherian because its cyclic subgroups form the strict ascending chain

Let $\mathfrak{m}$ be the maximal ideal and $k=A/\mathfrak{m}$ the finite residue field. The maximal ideal of an Artinian local ring is nilpotent, so ${\mathfrak{m}}^r=0$ for some $r$. Every quotientis both an Artinian $A$-module and a vector space over $k$. An Artinian vector space is finite-dimensional, hence each quotient is a finite set. The finite filtrationtherefore proves that the underlying set of $A$ is finite. This is the Finiteness criterion for an Artinian local ring.

Suppose for a contradiction that $m>n$. Compose the given injective module homomorphism with the standard injection $B^n\hookrightarrow B^m$ that appends $m-n$ zero coordinates. This gives an injective endomorphism $T$ of the finite free module $B^m$ whose matrix has a zero final row.

Its characteristic polynomial has zero constant term, so the Cayley-Hamilton theorem givesInjectivity lets us cancel $T$. Repeating this argument eventually gives the identity endomorphism equal to zero. That would imply $B^m=0$, contrary to $B\ne 0$. Hence $m\le n$. This proves the rank inequality for an injection of finite free modules.