Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to understand the proof of the following statement:

Let $\Gamma=\{g_1,\cdots,g_n\}$ be a group. Define a digraph $G$ by joining $g_i$ to $g_j$ by an edge of color $k$ if $g_ig_j^{-1}=g_k$. The automorphism group of the resulting colored digraph is isomorphic to $\Gamma$.

The proof in the book, constructs a map $\phi:\Gamma\to Aut(G)$ defined by $\phi(g)=f_g$ where $f_g\in Aut(G)$ such that $f_g(g_i)=g_ig$. Then it shows that $\phi$ is bijective.

The next sentence in the book (and the sentence I have a problem with) is:

Since it is easy to see that the multiplication of elements of $\Gamma$ is the same as multiplication between the corresponding automorphisms of $G$, we conclude that the automorphism group of $G$ is isomorphic with $\Gamma$.

Obviously the meaning here is that $\phi$ is a homomorphism. However, I don't understand why $\phi(g_ig_j)=\phi(g_i)\circ\phi(g_j)$. Indeed, $f_{g_ig_j}(g_k)=g_kg_ig_j\ne g_kg_jg_i=f_{g_i}\circ f_{g_j}(g_k)$, and so $\phi(g_ig_j)\ne\phi(g_i)\circ\phi(g_j)$, in general.

Can someone explain please? Thanks.

share|cite|improve this question
up vote 1 down vote accepted

There are $2$ kinds of mathematicians: one that writes composition of functions from right to left, and one from left to right.

If you instead consider the (other) $\phi$ acting from the left: $\phi(g)= x\mapsto gx$, then all is going to fit again. Or, alternatively, instead of $\circ$ you can think about its dual operation in $Aut(G)$.

And, it also might be a typo ['$f_g(g_i)=gg_i$'], or the book uses something in the other direction.

Finally, among groups, it doesn't really matter, because if we have such a 'contravariant' homomorphism, i.e. which satisfies $$\phi(ab)=\phi(b)\phi(a)$$ then the mapping $x\mapsto \phi(x)^{-1}$ will be an ordinary group homomorphism, preserving the direction of the group operation.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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