First of all Im still new in Group theory, and I'm having trouble understading homomorphisms. I'm trying to solve an example and exposing my logic. Please correct me, and thanks in advance.

Indicate all homomorphisms $f:\mathbb{Z}_{27}\to S_3$, and indicate $f(1_{27}$) and $f(x_{27}$) for each one of them.

My argument is :

If $f:\mathbb{Z}_{27}\to S_3$ is a homomorphism, $f$ is determinated by $f(1)$, which can be any element of $S_3$ whose order divides $27$. Since it has to divide $27$ and we are in $S_3$ we want the elements with order $1$ and $3$. So, which elements in $S_3$ have order $1$ and $3$ ? Identity for $1$ but what about $3$? I stumble at this point.


You should learn how elements of groups $S_n$ look like and how to determine their orders. In the case of $S_3$ you can do it yourself by hand from the definition since the group is really small.

  • $\begingroup$ When I say $S_3$ , I'm trying to be generic. This example could be by hand, but if I have to determinate for $S_7$ for example, my problem remains. $\endgroup$ – Amateur Mathematician Jan 23 '17 at 19:02
  • 2
    $\begingroup$ Then the first part of my answer is valid – learn that convenient way to represent permutations is their decomposition into independent cycles, and that order of a permutation is the least common multiple of the lengths of the cycles. $\endgroup$ – user87690 Jan 23 '17 at 19:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.