The group structure of G plays no role in the definition

edit

The group structure of G plays no role in the definition of a G-module. For any set  , D.J.S. Robinson, A Course in the Theory of Groups, 2d Edition, p. 131, speaks of a  -module as being an abelian group with operator domain  . Perhaps It might be better to start by defining a  -module for a set   and then say that a G-module is exactly a  -module with   = G ? Marvoir (talk) 07:48, 10 August 2021 (UTC)Reply