Using Pólya counting to find number of conjugacy classes of $S_3$ The Next CEO of Stack OverflowWhy are two permutations conjugate iff they have the same cycle structure?counting the number of elements in a conjugacy class of $S_n$What is the smallest $n$ for which the usual “counting sizes of conjugacy classes” proof of simplicity fails for $A_n$?Prove that the number of elements of every conjugacy class of a finite group G divides the order of G.Problem involving conjugacy classes of the alternating groupConjugacy classes splitting in alternating groupFind conjugacy classes of $S_3$One of the conjugacy classes of A4Representatives for all conjugacy classes of elements of order 15 in A11Number of conjugacy classes in permutation group $ S_n $ for some n.How do I find the conjugacy classes of $A_4$?
Would a grinding machine be a simple and workable propulsion system for an interplanetary spacecraft?
Defamation due to breach of confidentiality
How many extra stops do monopods offer for tele photographs?
IC has pull-down resistors on SMBus lines?
Is there a way to save my career from absolute disaster?
AB diagonalizable then BA also diagonalizable
Reshaping json / reparing json inside shell script (remove trailing comma)
Towers in the ocean; How deep can they be built?
If Nick Fury and Coulson already knew about aliens (Kree and Skrull) why did they wait until Thor's appearance to start making weapons?
Is there an equivalent of cd - for cp or mv
Are the names of these months realistic?
How do I fit a non linear curve?
Inexact numbers as keys in Association?
Would a completely good Muggle be able to use a wand?
Which one is the true statement?
Why the last AS PATH item always is `I` or `?`?
How to get the last not-null value in an ordered column of a huge table?
Redefining symbol midway through a document
What difference does it make using sed with/without whitespaces?
When "be it" is at the beginning of a sentence, what kind of structure do you call it?
Why is the US ranked as #45 in Press Freedom ratings, despite its extremely permissive free speech laws?
Is there such a thing as a proper verb, like a proper noun?
Is it okay to majorly distort historical facts while writing a fiction story?
How to find image of a complex function with given constraints?
Using Pólya counting to find number of conjugacy classes of $S_3$
The Next CEO of Stack OverflowWhy are two permutations conjugate iff they have the same cycle structure?counting the number of elements in a conjugacy class of $S_n$What is the smallest $n$ for which the usual “counting sizes of conjugacy classes” proof of simplicity fails for $A_n$?Prove that the number of elements of every conjugacy class of a finite group G divides the order of G.Problem involving conjugacy classes of the alternating groupConjugacy classes splitting in alternating groupFind conjugacy classes of $S_3$One of the conjugacy classes of A4Representatives for all conjugacy classes of elements of order 15 in A11Number of conjugacy classes in permutation group $ S_n $ for some n.How do I find the conjugacy classes of $A_4$?
$begingroup$
So I know that $S_3$ has three conjugacy classes. However, I was reading about Pólya counting today, and am wondering how Pólya counting could be used to derive the number of conjugacy classes for $S_3$. Thanks.
combinatorics symmetric-groups group-actions polya-counting-theory
$endgroup$
add a comment |
$begingroup$
So I know that $S_3$ has three conjugacy classes. However, I was reading about Pólya counting today, and am wondering how Pólya counting could be used to derive the number of conjugacy classes for $S_3$. Thanks.
combinatorics symmetric-groups group-actions polya-counting-theory
$endgroup$
add a comment |
$begingroup$
So I know that $S_3$ has three conjugacy classes. However, I was reading about Pólya counting today, and am wondering how Pólya counting could be used to derive the number of conjugacy classes for $S_3$. Thanks.
combinatorics symmetric-groups group-actions polya-counting-theory
$endgroup$
So I know that $S_3$ has three conjugacy classes. However, I was reading about Pólya counting today, and am wondering how Pólya counting could be used to derive the number of conjugacy classes for $S_3$. Thanks.
combinatorics symmetric-groups group-actions polya-counting-theory
combinatorics symmetric-groups group-actions polya-counting-theory
edited 2 days ago
M. Vinay
7,22822135
7,22822135
asked Mar 28 at 1:08
A. PavlenkoA. Pavlenko
123
123
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The Pólya enumeration theorem tells us that when a group $G$ acts on a set $X$, the number of orbits of $G$ on $X$ equals the average number of fixed points of $G$. That is,$DeclareMathOperatorFixFix$
$$ #textOrbits = dfrac1 sum_g in G |Fix(g)|.$$
Now when $G$ acts on $G$ itself via conjugation, the orbits are conjugation classes and the set of fixed points of an element $g$ is
$$Fix(g) = , h in G mid ghg^-1 = h, = C_G(g),$$
the centraliser of $g$ — i.e., the set of all elements that commute with $g$.
In the case of $G = S_3$, we know that there are two non-trivial rotations (or cyclic permutations) that commute with all three rotations (including the identity); there are three reflections (or transpositions) each of which commutes only with itself and the identity; and the identity element (as in any group) commutes with all elements (six in this case). Thus, $sum |Fix(g)| = 2 times 3 + 3 times 2 + 1 times 6 = 18$, and $|G| = 6$, so $#textOrbits = 3$.
As a side note, a completely different (and here, shorter) way to count the conjugacy classes in $S_n$ is by using the result that any two permutations in $S_n$ [important!] are mutually conjugate if and only if they have the same cycle structure. That immediately tells us that the identity (as always) is in a conjugacy class by itself; the two cyclic permutations are in one conjugacy class; and the three transpositions are in one conjugacy class. So there are three classes.
$endgroup$
add a comment |
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3165346%2fusing-p%25c3%25b3lya-counting-to-find-number-of-conjugacy-classes-of-s-3%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The Pólya enumeration theorem tells us that when a group $G$ acts on a set $X$, the number of orbits of $G$ on $X$ equals the average number of fixed points of $G$. That is,$DeclareMathOperatorFixFix$
$$ #textOrbits = dfrac1 sum_g in G |Fix(g)|.$$
Now when $G$ acts on $G$ itself via conjugation, the orbits are conjugation classes and the set of fixed points of an element $g$ is
$$Fix(g) = , h in G mid ghg^-1 = h, = C_G(g),$$
the centraliser of $g$ — i.e., the set of all elements that commute with $g$.
In the case of $G = S_3$, we know that there are two non-trivial rotations (or cyclic permutations) that commute with all three rotations (including the identity); there are three reflections (or transpositions) each of which commutes only with itself and the identity; and the identity element (as in any group) commutes with all elements (six in this case). Thus, $sum |Fix(g)| = 2 times 3 + 3 times 2 + 1 times 6 = 18$, and $|G| = 6$, so $#textOrbits = 3$.
As a side note, a completely different (and here, shorter) way to count the conjugacy classes in $S_n$ is by using the result that any two permutations in $S_n$ [important!] are mutually conjugate if and only if they have the same cycle structure. That immediately tells us that the identity (as always) is in a conjugacy class by itself; the two cyclic permutations are in one conjugacy class; and the three transpositions are in one conjugacy class. So there are three classes.
$endgroup$
add a comment |
$begingroup$
The Pólya enumeration theorem tells us that when a group $G$ acts on a set $X$, the number of orbits of $G$ on $X$ equals the average number of fixed points of $G$. That is,$DeclareMathOperatorFixFix$
$$ #textOrbits = dfrac1 sum_g in G |Fix(g)|.$$
Now when $G$ acts on $G$ itself via conjugation, the orbits are conjugation classes and the set of fixed points of an element $g$ is
$$Fix(g) = , h in G mid ghg^-1 = h, = C_G(g),$$
the centraliser of $g$ — i.e., the set of all elements that commute with $g$.
In the case of $G = S_3$, we know that there are two non-trivial rotations (or cyclic permutations) that commute with all three rotations (including the identity); there are three reflections (or transpositions) each of which commutes only with itself and the identity; and the identity element (as in any group) commutes with all elements (six in this case). Thus, $sum |Fix(g)| = 2 times 3 + 3 times 2 + 1 times 6 = 18$, and $|G| = 6$, so $#textOrbits = 3$.
As a side note, a completely different (and here, shorter) way to count the conjugacy classes in $S_n$ is by using the result that any two permutations in $S_n$ [important!] are mutually conjugate if and only if they have the same cycle structure. That immediately tells us that the identity (as always) is in a conjugacy class by itself; the two cyclic permutations are in one conjugacy class; and the three transpositions are in one conjugacy class. So there are three classes.
$endgroup$
add a comment |
$begingroup$
The Pólya enumeration theorem tells us that when a group $G$ acts on a set $X$, the number of orbits of $G$ on $X$ equals the average number of fixed points of $G$. That is,$DeclareMathOperatorFixFix$
$$ #textOrbits = dfrac1 sum_g in G |Fix(g)|.$$
Now when $G$ acts on $G$ itself via conjugation, the orbits are conjugation classes and the set of fixed points of an element $g$ is
$$Fix(g) = , h in G mid ghg^-1 = h, = C_G(g),$$
the centraliser of $g$ — i.e., the set of all elements that commute with $g$.
In the case of $G = S_3$, we know that there are two non-trivial rotations (or cyclic permutations) that commute with all three rotations (including the identity); there are three reflections (or transpositions) each of which commutes only with itself and the identity; and the identity element (as in any group) commutes with all elements (six in this case). Thus, $sum |Fix(g)| = 2 times 3 + 3 times 2 + 1 times 6 = 18$, and $|G| = 6$, so $#textOrbits = 3$.
As a side note, a completely different (and here, shorter) way to count the conjugacy classes in $S_n$ is by using the result that any two permutations in $S_n$ [important!] are mutually conjugate if and only if they have the same cycle structure. That immediately tells us that the identity (as always) is in a conjugacy class by itself; the two cyclic permutations are in one conjugacy class; and the three transpositions are in one conjugacy class. So there are three classes.
$endgroup$
The Pólya enumeration theorem tells us that when a group $G$ acts on a set $X$, the number of orbits of $G$ on $X$ equals the average number of fixed points of $G$. That is,$DeclareMathOperatorFixFix$
$$ #textOrbits = dfrac1 sum_g in G |Fix(g)|.$$
Now when $G$ acts on $G$ itself via conjugation, the orbits are conjugation classes and the set of fixed points of an element $g$ is
$$Fix(g) = , h in G mid ghg^-1 = h, = C_G(g),$$
the centraliser of $g$ — i.e., the set of all elements that commute with $g$.
In the case of $G = S_3$, we know that there are two non-trivial rotations (or cyclic permutations) that commute with all three rotations (including the identity); there are three reflections (or transpositions) each of which commutes only with itself and the identity; and the identity element (as in any group) commutes with all elements (six in this case). Thus, $sum |Fix(g)| = 2 times 3 + 3 times 2 + 1 times 6 = 18$, and $|G| = 6$, so $#textOrbits = 3$.
As a side note, a completely different (and here, shorter) way to count the conjugacy classes in $S_n$ is by using the result that any two permutations in $S_n$ [important!] are mutually conjugate if and only if they have the same cycle structure. That immediately tells us that the identity (as always) is in a conjugacy class by itself; the two cyclic permutations are in one conjugacy class; and the three transpositions are in one conjugacy class. So there are three classes.
edited 2 days ago
answered Mar 28 at 2:10
M. VinayM. Vinay
7,22822135
7,22822135
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3165346%2fusing-p%25c3%25b3lya-counting-to-find-number-of-conjugacy-classes-of-s-3%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown