Talk:Permutation group

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated C-class, High-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
C Class
High Importance
 Field: Algebra
This article has comments.



Article needs more exposition[edit]

I find the (very brief) introduction of cyclic form still rather opaque. We ought to aim for a clearer explanation of what, for example, " (1,2,4)(3)" means.

152.3.68.83 (talk) 14:33, 25 July 2013 (UTC)

Two points: 1. I know quite a lot of mathematics, but this introduction is opaque, FULL of jargon, and of little value. The purpose of an article in Wikipedia is to teach and inform. it is not a place for people to expound what they know. This article puts me off utterly. 2. The intro to this and many math wikis omits the 'So what' factor. For example permutation groups are very important to physics, apparently. How? Meaning in what way?

Centroyd (talk) 09:44, 19 July 2014 (UTC)

Examples of permutation groups[edit]

I added two examples from my own work. Others may argue that this is too egocentric. Cullinane 21:54, 10 August 2005 (UTC)

Permutations of infinite sets?[edit]

I would be interested to know about permutations (and permutation groups) of infinite sets (eg: Z or Q). The article says that "if M is any finite or infinite set, then the group of all permutations of M is often written as Sym(M)". I'm interested to know how a permutation would be defined for an uncountable set like R.

If you know anything about this topic please include some information here (or start another article about it).

Sorry, forgot to sign that last commentDonkeyKong the mathematician (in training) 06:48, 28 May 2006 (UTC)
A permutation of M may be defined as a bijection of M into itself (an automorphism in the category of sets), thus S(M) is the set of all such permutations for a given set M. Of course one cannot "explicitely" write the correspondence table
    [  x1     x2    ... ]
f = [                   ]
    [ f(x1)  f(x2)  ... ]
of such a permutation, if it has an infinite support; however, this is possible if it has a finite support (supp f = { x | f(x) <> x }), in which case one would only write the elements on which it acts nontrivially. In that case, one can also decompose it into cycles and define its order etc. in the usual manner. It's easy to see that the subset So(M) = { f &in; S(M) | suppf is finite } is a (normal) subgroup of S(M). — MFH:Talk 03:02, 11 November 2006 (UTC)

Inversions and transpositions[edit]

{NOTE that the permutation 4,3,1,2 has five inversions but only three transpositions. There is an error in the text} —Preceding unsigned comment added by 01001 (talkcontribs)

Isomorphisms and the symmetric group[edit]

I disagree with the following paragraph:

"If (G,M) and (H,M) such that both G and H are isomorphic as groups to Sym(M), then (G,M) and (H,M) are isomorphic as permutation groups; thus it is appropriate to talk about the symmetric group Sym(M) (up to isomorphism)."

If M is finite and a group G of permutations of M is isomorphic to Sym(M) as a group, then it has the same cardinality and hence it contains all the permutations of M, hence it is also equal to Sym(M). Using this argument, we can conclude that the symmetric group Sym(M) is simply unique. However, the uniqueness of Sym(M) was already clear in the introduction when it was defined as (the) group of all the permutations of M with function composition as an operation.

If M is infinite, I think the statement is false in general, but anyway I think the paragraph wasn't meant to address this case.

In conclusion, I would delete the paragraph. Marcosaedro (talk) 07:00, 7 March 2009 (UTC)

I agree that the statement is either trivial or false, so not very informative in either case. There is even a finite counterexample to the less trivial claim for permutation representations (Sym(6) has two non-isomorphic permutation representations on 6 element sets), so I think that even if the statement were corrected, it would still be confusing and still would not say anything enlightening. JackSchmidt (talk) 15:22, 7 March 2009 (UTC)
I also don't understand your example. It's the first time I hear about permutation representations.
Update: I found a definition in the article on group representation. It says that a group representation of a group G on a set M is an homomorphism from G to Sym(M). This definition seems counterintuitive to me, because it doesn't require the homomorphism to be inyective, and it therefore doesn't encode all the knowledge of G.
Update: What I would have called representation is actually called faithful representation.
Do you mean that there are two morphisms from G=Sym(6) to Sym(X) (being X a six-element set) whose images are isomorphic as groups but are not conjugates of each other? I would expect those morphisms to be non-injective, because with a cardinality argument we can see that injectivity implies surjectivity. Anyway, which is the claim that this example intends to disprove?
MetaWiki: I'm quite new to Wikipedia. I understand that with this comment I'm drifting away from the purpose of improving the article, because the paragraph is unlikely to reappear. Is this talk page suitable for this kind of discussion? (And do you have the time?) Marcosaedro (talk) 22:44, 7 March 2009 (UTC)
If X is a six element set, then there are two injective homomorphisms f, g from Sym(6) to Sym(X) such that there is at least one π in Sym(6), where f(π) is not conjugate in Sym(X) to g(π). Of course the full image of f and g are conjugate (even identical), it is just the conjugating element doesn't match up the same elements of Sym(6). This happens precisely because Sym(6) has an outer automorphism (and no other finite symmetric group does). In the language of permutation representations, the images are permutation isomorphic, but the representations are not.
This would be a counterexample to "For finite sets X, every permutation representation of Sym(X) is isomorphic, so it makes sense to talk about the permutation representation of Sym(X)."
Metawiki: if the discussion drifts too far or too long, the reference desk is a better place to discuss with the community. However, a short discussion might reveal a way to add something nice to the article (or one of its relatives), and might help future editors understand our current point of view. JackSchmidt (talk) 02:50, 8 March 2009 (UTC)

Definition[edit]

I wonder if a more exact definition of a permutation group would be something along the lines of "A permutation group is a pair (G, M) where M is a set and G is a group acting on M; when no ambiguity can arise, it may be simply denoted by G. Two permutation groups are said to be isomorphic (as permutation groups) provided there exists a map blah blah blah such that blah blah blah".

Or, perhaps "A permutation group is a group G together with a set M such that G acts on (or permutes) M."

See the way topological space is defined in Topological spaces, which somehow seems both more natural and more exact.

(Of course, if every group theory book in the world does it the way the article does, then there's no leeway to make a change.) Son of eugene (talk) 08:51, 31 December 2010 (UTC)

The group operation is "composition of permutations", which ought to be defined. — Preceding unsigned comment added by 71.167.39.230 (talk) 02:50, 2 May 2014 (UTC)

(1 2 3 4) on {1, 2}[edit]

Perhaps this is a rather silly question for those who are familiar with the subject, but what is the result when a permutation g =(1 2 3 4)|g \in G acts on A={1,2}? This operation should be possible: we can construct G from {1,2,3,4}, abstract it out into a group, and make it act on {1,2}. I am confused because what (1 2 3 4) is telling me is that move the 2nd element to the 3rd position, but there is no 3rd position! In particular, If i assume that gA={1}(i.e that 2 is chucked out of the set), then what about g3=(1 4 3 2) acting on A? What I mean is, {}=g2(gA) ≠ (g3)A={2}, which violates the associativity of group action! Pratik.Mallya Talk! 23:32, 2 March 2011 (UTC)

I think perhaps the concrete example of permutation, as I have it here, can only apply to the set from which they were originally constructed? Pratik.Mallya Talk! 23:43, 2 March 2011 (UTC)
In order for a group G to act on a set S, each element g of G must map S to S. In other words, the set S must be fixed setwise by action of any group element. So, in your case, G does not act on A, since the permutation g does not send elements of A to elements of A. See group action. -Krasnoludek (talk) 00:05, 24 March 2011 (UTC)

Cayley's Theorem[edit]

I feel it would be worthwhile to mention Cayley's Theorem (dedicate a section/ just link) at some point on this page. To me this is the reason that these groups are so important... --ShmulikG (talk) 15:42, 11 March 2013 (UTC)

Examples section[edit]

I have temporarily moved a recent edit here. The moved section is:

While we can think of a single permutation as a rearrangement of our objects, 1,2,3 and 4 in the present case, it is easier to understand permutation groups if we think of a permutation P of n objects as a mapping of the set of objects onto itself. We can present it as a table

P = \tbinom{a_1\ a_2 \ \dots \ a_n}{b_1\ b_2\ \dots \ b_n}.

If Q is another permutation

Q = \tbinom{b_1\ b_2\ \dots \ b_n}{c_1\ c_2\ \dots \ c_n}\

the composition or product of the permutations is defined as

\ PQ = \tbinom{a_1\ a_2\ \dots \ a_n}{c_1\ c_2 \ \dots \ c_n}.

Note that the convention for the composition of permutations is the opposite of the convention used when forming the composition f∘g of two functions. In PQ we apply P first and Q afterwards, but when we form f∘g we apply the second function g first.

Example. Let

P = \tbinom{1\ 2\ 3\ 4}{2\ 1\ 4\ 3},\ \ Q = \tbinom{2\ 1\ 4\ 3}{2\ 3\ 4\ 1} = \tbinom{1\ 2\ 3\ 4}{3\ 2\ 1\ 4}.

Then Failed to parse (lexing error): PQ = \tbinom{1\ 2\ 3\ 4}{2\ 3\ 4\ 1}\ and  QP = \tbinom{1\ 2\ 3\ 4}{4\ 1\ 2\ 3}.

PQ is also called the product of the group elements P and Q. As we just saw, this kind of multiplication is not usually commutative.

I think that this attempted rewrite is meant to be a gentler explanation of what it replaces and I am in favor of that, but it is not up to the standards for WP articles. I thought that it would be better to point out the problems and fix them here before putting it back into the article.

  • One problem is the non-encyclopedic tone of the passage created by the constant use of the pronoun "we".
  • The first sentence refers to a four element set, but the rest of the paragraph talks about a general n element set.
  • The sentence about the order of composition is misleading. Both conventions are in common use and the one being touted here (while my personal preference) has been losing ground for the past few decades.
  • There are no citations given in the section and while they are not needed here for verifiability, they are needed to give readers a place to go to get more information.

These problems need to be fixed. A less serious issue is the use of the two-line notation for permutations. While not incorrect, any reference on permutation groups is going to use cyclic notation and a reader, starting from this page, will not be prepared for that. I suggest using both notation styles initially and then phase out the two-line notation. I also think that the font size used by the \tbinom command is a bit small for this display (especially for the general expessions). Bill Cherowitzo (talk) 05:25, 3 May 2014 (UTC)