7
$\begingroup$

From this answer I get that within each cycle you map each element to the one on the right, when taking the product of cycles the one on the right should be performed first, as a typical operator.

Then it would seem to me that

$$(x_1 x_2 x_3)=(x_1 x_3)(x_1 x_2).$$

But according to M. Hall, The Theory of Groups on page 60 of the book, it seems that

$$(x_1 x_2 x_3)=(x_1 x_2)(x_1 x_3).$$

So my question is, are there two different conventions existing for the order of cycle products? Or did someone make a typo? Or are all authors saying the same thing and did I make an interpretation error?

$\endgroup$
7
$\begingroup$

It's no error, it stems from the fact that there are two different ways to compose permutations (and functions, more generally).

Each person/book/article has their own convention about whether functions act on the left or on the right. That is, if you want to apply a function $f$ to a point $x$, do you choose the more universal $f(x)$, or the "backwards" $(x)f$ way that is essentially unique to (some) algebraists?

One benefit of the latter is that $f \circ g$ really means "do $f$ first, then $g$": we would compute $(x)(f \circ g) = ((x)f)g$. It's also a bit nicer for permutations, in some sense. We always work left to right. Anyone choosing this convention is going against the grain, and should be specifying this somewhere in the book.

As a personal anecdote, a few of my algebra professors were students of the group-theorist Martin Isaacs, Isaacs being the biggest proponent of the "functions act on the right" convention (that I'm personally aware of). They preferred his notation, accordingly. In the basic abstract algebra courses, they used the usual "on the left" convention (as do most textbooks, including the one we were using). But then when the courses reached the graduate level, they switched to their more familiar "on the right" style. Because of this slightly-jarring transition, I've been rather aware of the issue. I learned somewhat recently that one of the classic algebra texts also use this "algebraist's" convention; I think it's Hungerford, but I'm not sure (hopefully somebody can remind me).

Now that I think about it, this explains why the following is the second exercise in Isaacs' Algebra:

Let $G$ be any group. For $x \in G$, let $r_x$ and $l_x$ be the mappings $G \to G$ defined by $$(g)r_x = gx \quad \text{and} \quad (g)l_x = xg,$$ or in other words, by right and left multiplication by $x$ on $G$. Let $R = \{r_x \mid x \in G\}$ and $L = \{l_x \mid x \in G\}.$ Show that $R$ and $L$ are permutation groups on $G$ and that $R \cong G \cong L$.

to show that the two different conventions are equivalent in the sense that they yield isomorphic groups!

See here for the discussion on MathOverflow.

$\endgroup$
  • $\begingroup$ As an aside, I also blame the dichotomy for making me even worse at identifying the directions left and right in everyday life -- they're equivalent, after all! $\endgroup$ – pjs36 May 17 '16 at 21:51
  • 1
    $\begingroup$ It's a long standing tradition in coding theory to write vectors as rows and matrices on the right side: $c = xG$, $s = cH$, etc. $\endgroup$ – Joker_vD May 18 '16 at 8:16
  • $\begingroup$ @Joker_vD Really? I had no idea, and find that quite amusing, thank you! It reminds me that I tend to write down permutation matrices "backwards" so that they have to act from the right, on rows. $\endgroup$ – pjs36 May 18 '16 at 15:41
12
$\begingroup$

Yes, there are competing conventions for multiplication in the symmetric group.

  • Some people read left-to-right, which is consistent with the right-action and English reading order. EDIT: And, importantly, it is the convention used by GAP, Magma, and Sage.
  • Some people read right-to-left, which is consistent with the left-action and the usual function notation.

But some people reverse the function notation, as well. Reader beware…

I prefer the second one, for the same reasons that Olivia outlines. But my understanding is that the first one is particularly common in combinatorial or geometric group theory.

$\endgroup$
  • 2
    $\begingroup$ Users also need to be aware that the software packages GAP and Magma both use the left-to-right convention. $\endgroup$ – Derek Holt May 18 '16 at 8:10
  • $\begingroup$ Yes, I absolutely agree! Thanks for letting me know; I've put it in the answer. $\endgroup$ – Eric Stucky May 18 '16 at 16:14
  • $\begingroup$ Yes - in particular, in GAP p^s returns the image of the point p under the permutation s, and this conveniently ensures that (p^s)^t=p^(s*t). For example, both (1^(1,2))^(2,3) and 1^((1,2)*(2,3)) return 3. $\endgroup$ – Alexander Konovalov May 18 '16 at 18:42
4
$\begingroup$

The first cycle representation $(x_1x_2x_3)=(x_1x_3)(x_1x_2)$ is correct.

Essentially, $(x_1x_2x_3)$ is the permutation that takes $x_1$ to $x_2$, $x_2$ to $x_3$ and $x_3$ back to $x_1$.

So when we have the two transpositions, we read them right to left, meaning we start at the rightmost cycle and move our way in.

$x_1 \rightarrow x_2$ but $x_2$ is not present in the left cycle so we stop here. $x_2 \rightarrow x_1$ in the right cycle and $x_1 \rightarrow x_3$ in the left cycle, so $x_2\rightarrow x_3$.

Thus, this product of cycles is correct.

However, a key fact is products of cycles do not necessarily commute although disjoint cycles commute. So, it should be evident that $(x_1x_3)(x_1x_2)\neq (x_1x_2)(x_1x_3)$

In fact, if we have $(x_1x_2)(x_1x_3)$ then the product is $(x_1x_3x_2)\neq(x_1x_2x_3)=(x_1x_3)(x_1x_2)$

$\endgroup$
  • $\begingroup$ As others have said, there are two conventions in common usage, so it does not make sense to say that one of them is correct and that the other is not. $\endgroup$ – Derek Holt May 18 '16 at 8:09

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.