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