"categorical" proof of a seemingly symmetric statement about Noetherian/Artinian modules

Solution 1:

Yes! These are both special cases of a general statement:

If $M$ is a Noetherian object in an abelian category and $f:M\to M$ is an epimorphism, then $f$ is a monomorphism.

Here an object is "Noetherian" if every ascending chain of subobjects stabilizes. The proof is exactly the same as in the case of modules: look at the ascending chain $0 \subset \ker f \subset \ker f^2 \subset \dots$ (though it takes a little more work to prove this chain is strictly ascending in an abstract abelian category than in the case of modules).

Now, how does this imply the Artinian version? Well, the opposite category of $A$-modules is also an abelian category, so we can apply the result in that category. What does it mean for $M$ to be a Noetherian object in the opposite category of $A$-modules? Well, a subobject is a monomorphism $N\to M$ (up to isomorphism), which would be an epimorphism $M\to N$ in the original category. But such an epimorphism is determined (up to isomorphism) by its kernel, which is a subobject of $M$. So subobjects of $M$ in the opposite category are naturally in bijection with subobjects in the original category.

However, this bijection reverses the inclusion order on subobjects. Indeed, suppose $N\to M$ and $P\to M$ are two subobjects of $M$ in the opposite category, with $N$ contained in $P$. That means we can factor the map $N\to M$ as $N\to P\to M$. In the original category, then, this means we can factor the quotient map $M\to N$ as $M\to P\to N$. This is possible if and only if the kernel of $M\to N$ contains the kernel of $M\to P$. In other words, $N$ is contained in $P$ as subobjects in the opposite category iff the subobject in the original category corresponding to $P$ is contained in the subobject in the original category corresponding to $N$.

This means that $M$ is Noetherian in the opposite category iff $M$ is Artinian in the original category, since the order on subobjects has been reversed. Applying the result in the opposite category, we conclude that if $M$ is Artinian and if $f:M\to M$ is a monomorphism, then $f$ is an epimorphism.

Solution 2:

If you look at the proof in the Noetherian case, you see that it is valid in a general Abelian category. (A Noetherian object in an Abelian category is one with ACC on subobjects). Now use the categorical principle of duality. The opposite of an Abelian category is an Abelian category, Noetherian becomes Artinian, injective becomes surjective etc. So the Artinian case follows from the Noetherian case and vice versa.

Of course, algebra textbooks don't do this, largely because the opposite of a module category is rarely also a module category.