Primary submodule (source code)

= Primary submodule
{wiki=Primary_decomposition#Primary_decomposition_of_modules}

A proper submodule $N\subsetneq M$ is primary when $rm\in N$ and $m\notin N$ imply $r^kM\subseteq N$ for some positive integer $k$.

= R-module
{c}
{synonym}