We discussed Group Actions in my undergraduate Modern Algebra class today. I understand the definition and example we went over in lecture, but the problem set is proving difficult.
If I want to prove that a right group action $X \times G\to$ is equivalent data as a homomorphism $G$ op $\to \text{Aut}(X)$, how do I go about doing that? I know that a left group action on $X$ is same as ("induces") a right group action of $G$ op, but how do I link that back to automorphism?
My second question is about dihedral groups. If $G = D_6$, can any right group action on $X$ be faithful or transitive if $|X|=7$? I think $|X|=6$ must hold, but I'm not sure why. It goes on to ask about the possible values of $|X/G|$ for any right group action on $X$. What would that relationship imply?
Well, question 1 is a little funny. There are two, in my mind, completely different things going on. The first is the difference between a left action and a right action, and how to convert between a left action of $G$ and a right action of $G^{op}$. You understand that perfectly well already.
The second is that a left action of $G$ on a set $X$ is the same as a homomorphism $G \to \text{Aut}(X)$. Do you know how to show this? (Hint: given an element $g$ and an action, you want a map of sets from $X$ to itself, so...)
Then you can combine these two to prove the exercise the way it is stated.
As for question 2, have you learned the orbit-stabilizer theorem?