An -module is Artinian when every descending chain of submodules stabilizes. Equivalently, every nonempty family of submodules has a minimal member.
In the context of abstract algebra, an **Artinian module** is a module over a ring that satisfies the descending chain condition (DCC) on its submodules.
New to topics? Read the docs here!