<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Why are injective modules finite?
<|assistant|>
Not all injective modules are finite. In fact, there are many examples of infinite injective modules, such as the injective hull of an infinite direct sum of copies of a countable field.

However, there are cases where every injective module is finite. For example, an artinian ring (i.e. a ring with descending chain condition on ideals) has this property. This is because any left ideal of an artinian ring is also a finitely generated module, and since any injective module is a direct sum of indecomposable injective modules, it suffices to prove that any indecomposable injective module over an artinian ring is finite. This is a consequence of the Nakayama lemma and the fact that any indecomposable injective module over a commutative artinian ring is isomorphic to a quotient of the ring itself.