Place-permutation action

In mathematics, there are two natural interpretations of the place-permutation action of symmetric groups, in which the group elements act on positions or places. Each may be regarded as either a left or a right action, depending on the order in which one chooses to compose permutations. There are just two interpretations of the meaning of "acting by a permutation [math]\displaystyle{ \sigma }[/math]" but these lead to four variations, depending whether maps are written on the left or right of their arguments. The presence of so many variations often leads to confusion. When regarding the group algebra of a symmetric group as a diagram algebra it is natural to write maps on the right so as to compute compositions of diagrams from left to right.

Maps written on the left

First we assume that maps are written on the left of their arguments, so that compositions take place from right to left. Let [math]\displaystyle{ \mathfrak{S}_n }[/math] be the symmetric group on [math]\displaystyle{ n }[/math] letters, with compositions computed from right to left.

Imagine a situation in which elements of [math]\displaystyle{ \mathfrak{S}_n }[/math] act on the “places” (i.e., positions) of something. The places could be vertices of a regular polygon of [math]\displaystyle{ n }[/math] sides, the tensor positions of a simple tensor, or even the inputs of a polynomial of [math]\displaystyle{ n }[/math] variables. So we have [math]\displaystyle{ n }[/math] places, numbered in order from 1 to [math]\displaystyle{ n }[/math], occupied by [math]\displaystyle{ n }[/math] objects that we can number [math]\displaystyle{ x_1, \dots, x_n }[/math]. In short, we can regard our items as a word [math]\displaystyle{ x = x_1 \cdots x_n }[/math] of length [math]\displaystyle{ n }[/math] in which the position of each element is significant. Now what does it mean to act by “place-permutation” on [math]\displaystyle{ x }[/math]? There are two possible answers:

1. an element [math]\displaystyle{ \sigma \in \mathfrak{S}_n }[/math] can move the item in the [math]\displaystyle{ j }[/math]th place to the [math]\displaystyle{ \sigma(j) }[/math]th place, or
2. it can do the opposite, moving an item from the [math]\displaystyle{ \sigma(j) }[/math]th place to the [math]\displaystyle{ j }[/math]th place.

Each of these interpretations of the meaning of an “action” by [math]\displaystyle{ \sigma }[/math] (on the places) is equally natural, and both are widely used by mathematicians. Thus, when encountering an instance of a "place-permutation" action one must take care to determine from the context which interpretation is intended, if the author does not give specific formulas.

Consider the first interpretation. The following descriptions are all equivalent ways to describe the rule for the first interpretation of the action:

• For each [math]\displaystyle{ j }[/math], move the item in the [math]\displaystyle{ j }[/math]th place to the [math]\displaystyle{ \sigma(j) }[/math]th place.
• For each [math]\displaystyle{ j }[/math], move the item in the [math]\displaystyle{ \sigma^{-1}(j) }[/math]th place to the [math]\displaystyle{ j }[/math]th place.
• For each [math]\displaystyle{ j }[/math], replace the item in the [math]\displaystyle{ j }[/math]th position by the one that was in the [math]\displaystyle{ \sigma^{-1}(j) }[/math]th place.

This action may be written as the rule [math]\displaystyle{ x_1 \cdots x_n \overset{\sigma} {\longrightarrow} x_{\sigma^{-1}(1)} \cdots x_{\sigma^{-1}(n)} }[/math].

Now if we act on this by another permutation [math]\displaystyle{ \tau }[/math] then we need to first relabel the items by writing [math]\displaystyle{ y_1 \cdots y_n = x_{\sigma^{-1}(1)}\cdots x_{\sigma^{-1}(n)} }[/math]. Then [math]\displaystyle{ \tau }[/math] takes this to [math]\displaystyle{ y_{\tau^{-1}(1)} \cdots y_{\tau^{-1}(n)} = x_{\sigma^{-1} \tau^{-1}(1)} \cdots x_{\sigma^{-1} \tau^{-1}(n)} = x_{(\tau\sigma)^{-1}(1)} \cdots x_{(\tau\sigma)^{-1}(n)}. }[/math] This proves that the action is a left action: [math]\displaystyle{ \tau \cdot (\sigma \cdot x) = (\tau \sigma) \cdot x }[/math].

Now we consider the second interpretation of the action of [math]\displaystyle{ \sigma }[/math], which is the opposite of the first. The following descriptions of the second interpretation are all equivalent:

• For each [math]\displaystyle{ j }[/math], move the item in the [math]\displaystyle{ j }[/math]th place to the [math]\displaystyle{ \sigma^{-1}(j) }[/math]th place.
• For each [math]\displaystyle{ j }[/math], move the item in the [math]\displaystyle{ \sigma(j) }[/math]th place to the [math]\displaystyle{ j }[/math]th place.
• For each [math]\displaystyle{ j }[/math], replace the item in the [math]\displaystyle{ j }[/math]th position by the one that was in the [math]\displaystyle{ \sigma(j) }[/math]th place.

This action may be written as the rule [math]\displaystyle{ x_1 \cdots x_n \overset{\sigma} {\longrightarrow} x_{\sigma(1)} \cdots x_{\sigma(n)} }[/math].

In order to act on this by another permutation [math]\displaystyle{ \tau }[/math], again we first relabel the items by writing [math]\displaystyle{ y_1 \cdots y_n = x_{\sigma(1)} \cdots x_{\sigma(n)} }[/math]. Then the action of [math]\displaystyle{ \tau }[/math] takes this to [math]\displaystyle{ y_{\tau(1)} \cdots y_{\tau(n)} = x_{\sigma \tau(1)} \cdots x_{\sigma \tau(n)} = x_{(\sigma\tau)(1)} \cdots x_{(\sigma\tau)(n)}. }[/math] This proves that our second interpretation of the action is a right action: [math]\displaystyle{ (x \cdot \sigma) \cdot \tau = x \cdot (\sigma \tau) }[/math].

Example

If [math]\displaystyle{ \sigma = (1,2,3) }[/math] is the 3-cycle [math]\displaystyle{ 1 \to 2 \to 3 \to 1 }[/math] and [math]\displaystyle{ \tau = (1,3) }[/math] is the transposition [math]\displaystyle{ 1 \to 3 \to 1 }[/math], then since we write maps on the left of their arguments we have [math]\displaystyle{ \sigma \tau = (1,2,3)(1,3) = (2,3), \quad \tau \sigma = (1,3)(1,2,3) = (1,2). }[/math] Using the first interpretation we have [math]\displaystyle{ x=x_1 x_2 x_3 \overset{\sigma} {\longrightarrow} x_3 x_1 x_2 \overset{\tau} {\longrightarrow} x_2 x_1 x_3 }[/math], the result of which agrees with the action of [math]\displaystyle{ \tau \sigma = (1,2) }[/math] on [math]\displaystyle{ x=x_1 x_2 x_3 }[/math]. So [math]\displaystyle{ \tau \cdot (\sigma \cdot x) = (\tau\sigma) \cdot x }[/math].

On the other hand, if we use the second interpretation, we have [math]\displaystyle{ x=x_1 x_2 x_3 \overset{\sigma} {\longrightarrow} x_2 x_3 x_1 \overset{\tau} {\longrightarrow} x_1 x_3 x_2 }[/math], the result of which agrees with the action of [math]\displaystyle{ \sigma \tau = (2,3) }[/math] on [math]\displaystyle{ x=x_1 x_2 x_3 }[/math]. So [math]\displaystyle{ (x \cdot \sigma)\cdot \tau = x \cdot (\sigma\tau) }[/math].

Maps written on the right

Sometimes people like to write maps on the right of their arguments. This is a convenient convention to adopt when working with symmetric groups as diagram algebras, for instance, since then one may read compositions from left to right instead of from right to left. The question is: how does this affect the two interpretations of the place-permutation action of a symmetric group?

The answer is simple. By writing maps on the right instead of on the left we are reversing the order of composition, so in effect we replace [math]\displaystyle{ \mathfrak{S}_n }[/math] by its opposite group [math]\displaystyle{ \mathfrak{S}_n^{\text{op}} }[/math]. This is the same group, but the order of compositions is reversed.

Reversing the order of compositions evidently changes left actions into right ones, and vice versa, changes right actions into left ones. This means that our first interpretation becomes a right action while the second becomes a left one.

In symbols, this means that the action [math]\displaystyle{ x_1\cdots x_n \overset{\sigma}{\longrightarrow} x_{1\sigma^{-1}}\cdots x_{n\sigma^{-1}} }[/math] is now a right action, while the action [math]\displaystyle{ x_1\cdots x_n \overset{\sigma}{\longrightarrow} x_{1\sigma}\cdots x_{n\sigma} }[/math] is now a left action.

Example

We let [math]\displaystyle{ \sigma = (1,2,3) }[/math] be the 3-cycle [math]\displaystyle{ 1 \to 2 \to 3 \to 1 }[/math] and [math]\displaystyle{ \tau = (1,3) }[/math] the transposition [math]\displaystyle{ 1 \to 3 \to 1 }[/math], as before. Since we now write maps on the right of their arguments we have [math]\displaystyle{ \sigma \tau = (1,2,3)(1,3) = (1,2), \quad \tau \sigma = (1,3)(1,2,3) = (2,3). }[/math] Using the first interpretation we have [math]\displaystyle{ x=x_1 x_2 x_3 \overset{\sigma} {\longrightarrow} x_3 x_1 x_2 \overset{\tau} {\longrightarrow} x_2 x_1 x_3 }[/math], the result of which agrees with the action of [math]\displaystyle{ \sigma \tau = (1,2) }[/math] on [math]\displaystyle{ x=x_1 x_2 x_3 }[/math]. So [math]\displaystyle{ (x \cdot \sigma)\cdot \tau = x \cdot (\sigma\tau) }[/math].

On the other hand, if we use the second interpretation, we have [math]\displaystyle{ x=x_1 x_2 x_3 \overset{\sigma} {\longrightarrow} x_2 x_3 x_1 \overset{\tau} {\longrightarrow} x_1 x_3 x_2 }[/math], the result of which agrees with the action of [math]\displaystyle{ \tau\sigma = (2,3) }[/math] on [math]\displaystyle{ x=x_1 x_2 x_3 }[/math]. So [math]\displaystyle{ \tau \cdot (\sigma \cdot x) = (\tau\sigma) \cdot x }[/math].

Summary

In conclusion, we summarize the four possibilities considered in this article. Here are the four variations:

Rule	Type of action
[math]\displaystyle{ x_1 \cdots x_n \overset{\sigma} {\longrightarrow} x_{\sigma^{-1}(1)} \cdots x_{\sigma^{-1}(n)} }[/math]	left action
[math]\displaystyle{ x_1 \cdots x_n \overset{\sigma} {\longrightarrow} x_{\sigma(1)} \cdots x_{\sigma(n)} }[/math]	right action
[math]\displaystyle{ x_1 \cdots x_n \overset{\sigma} {\longrightarrow} x_{1\sigma^{-1}} \cdots x_{n\sigma^{-1}} }[/math]	right action
[math]\displaystyle{ x_1 \cdots x_n \overset{\sigma} {\longrightarrow} x_{1\sigma} \cdots x_{n\sigma} }[/math]	left action

Although there are four variations, there are still only two different ways of acting; the four variations arise from the choice of writing maps on the left or right, a choice which is purely a matter of convention.

References

• Tom Halverson and Arun Ram, "Partition algebras", European J. Combin. 26 (2005), no. 6, 869–921.
• Thomas Hungerford, Algebra. Springer Lecture Notes 73, Springer-Verlag 1974.
• Gordon D. James, The Representation Theory of the Symmetric Groups. Lecture Notes in Math. 682 (1978), Springer.
• Hermann Weyl, The Classical Groups: Their Invariants and Representations. Princeton University Press, Princeton, N.J., 1939.