Let be a ring with 1 and let be a left unital -module. Prove that the restriction of the module operator to is a group action operator on the group of units in .
Recall that is indeed a group; certainly the restriction of to is a mapping . Now for all , we have , and if , then . So acts on by the restriction of our module operator .