Artinian module (source code)

= Artinian module
{c}
{wiki}

An $R$-module is Artinian when every descending chain of submodules stabilizes. Equivalently, every nonempty family of submodules has a minimal member.