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 σ {\displaystyle \sigma } " 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 S n {\displaystyle {\mathfrak {S}}_{n}} be the symmetric group on n {\displaystyle n} letters, with compositions computed from right to left. Imagine a situation in which elements of S n {\displaystyle {\mathfrak {S}}_{n}} act on the “places” (i.e., positions) of something. The places could be vertices of a regular polygon of n {\displaystyle n} sides, the tensor positions of a simple tensor, or even the inputs of a polynomial of n {\displaystyle n} variables. So we have n {\displaystyle n} places, numbered in order from 1 to n {\displaystyle n} , occupied by n {\displaystyle n} objects that we can number x 1 , … , x n {\displaystyle x_{1},\dots ,x_{n}} . In short, we can regard our items as a word x = x 1 ⋯ x n {\displaystyle x=x_{1}\cdots x_{n}} of length n {\displaystyle n} in which the position of each element is significant. Now what does it mean to act by “place-permutation” on x {\displaystyle x} ? There are two possible answers:
an element σ ∈ S n {\displaystyle \sigma \in {\mathfrak {S}}_{n}} can move the item in the j {\displaystyle j} th place to the σ ( j ) {\displaystyle \sigma (j)} th place, or it can do the opposite, moving an item from the σ ( j ) {\displaystyle \sigma (j)} th place to the j {\displaystyle j} th place. Each of these interpretations of the meaning of an “action” by σ {\displaystyle \sigma } (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:
… excerpt ends here. Continue reading the full article.
