Module theory MOC Simple module A (left) module is (left) simple or irreducible iff it has no nontrivial proper submodule. module Properties Schur’s lemma states that any nonzero homomorphism between simple modules is an isomorphism. See also Semisimple module tidy | en | sembr