Simple module over a commutative ring (source code)

= Simple module over a commutative ring

Every simple module over a commutative ring $R$ is isomorphic to $R/\mathfrak m$ for a maximal ideal $\mathfrak m$; its annihilator is therefore maximal.