Every finite abelian group is naturally a -module. Can this ring action be extended to make a -module?
Let be a (multiplicative) finite abelian group of order . Suppose further that is a module and that the action of on extends the natural action of given by . Let be any nonidentity element. Now for some . then , and so , a contradiction. Thus no such module structure exists.