Let be a ring with 1 and let be a left unital -module. Suppose and , , such that . Prove that does not have a left inverse in .
We begin with a lemma.
Lemma: Let be a unital left -module. The for all , . Proof: Let . Note that . Thus .
Suppose there exists such that . Now , a contradiction; hence no such left inverse exists.