Primary submodule (source code)

= Primary submodule

= R-module
{c}
{synonym}

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$.