I'm reading Basic Algebra by Knapp and on Page 161 of Chapter 4 Section 6 he's talking about how a group action on a set can define other group actions. I can see how this makes sense in theory, but could anyone give any examples of how this is done? He gives an example:
For example, from an action G on X, we can construct an action on the space of >all complex-valued functions on X. The definition is $(gf)(x) = f(g^-1 x)$...
and then he goes on to show it satisfies the first of the group action axioms. Like I said, I feel like it's natural that some group actions induce other group actions, but how does one usually arrive at these definitions? It seems like he kind of pulled it out of nowhere.
P.S. I've only had basic Algebra training (Algebra I-II in University) and I'm starting representation theory in the fall, so take that as you will!