( A g ) h = A ( g h ) {\displaystyle (A^{g})^{h}=A^{(gh)}} ?
The equality shows that the action is a group action.