How many permutation groups of order $n$ are in $S_n$, up to isomorphism?About transitive subgroups of...
What happens when you cast a spell on yourself with spell turning on?
Was it really inappropriate to write a pull request for the company I interviewed with?
I am the person who abides by rules but breaks the rules . Who am I
How does a sound wave propagate?
Can a space-faring robot still function over a billion years?
An Undercover Army
Is there a way to find out the age of climbing ropes?
Precision notation for voltmeters
Is this Paypal Github SDK reference really a dangerous site?
is cessation of perception and felling the Nibbana?
How does learning spells work when leveling a multiclass character?
If nine coins are tossed, what is the probability that the number of heads is even?
Does restoring a database break external synonyms targeting objects in that database?
How to write a chaotic neutral protagonist and prevent my readers from thinking they are evil?
Naming Characters after Friends/Family
How spaceships determine each other's mass in space?
Ultrafilters as a double dual
Is this nominative case or accusative case?
The (Easy) Road to Code
How can I portion out frozen cookie dough?
Iron deposits mined from under the city
Why prohibit private health insurance?
newcommand: Using one parameter as the default for the other
Does unused member variable take up memory?
How many permutation groups of order $n$ are in $S_n$, up to isomorphism?
About transitive subgroups of symmetric group $S_n$How many groups exist with order $n$ (two isomorphic groups are treated as the same group)How to find isomorphism classes of transitive actionsHow many groups exist with order $n$ (two isomorphic groups are treated as the same group)How many non-isomorphic groups of order 122 are there?non-abelian groups of order $p^2q^2$.Groups that are not direct products of other groups?Isomorphic subgroups of finite groupsHow isomorphism makes groups alike?If two quotients groups of finitely generated group are isomorphic, then corresponding normal subgroups are isomorphic too?How many groups with order $(17^2)(5^2)$ exist?How similar are permutation groups that are isomorphic as abstract groups?
$begingroup$
When $n$ is prime there is only one such group, and it is cyclic group $C_n$.
But when $n$ is not prime there can be several distinct groups. There is an an example of two such groups for $S_4$:
$e$, $(1 0)(3 2)$, $(2 0)(3 1)$, $(2 1)(3 0)$ and $e$, $(1 2 3 0)$, $(2 0)(3 1)$, $(3 2 1 0)$
For larger $n$ more isomorphism classes of groups can be found. How many such groups are in $S_n$ and is there a way to find them all?
UPDATE:
It looks like there is no answer to this question even if take into account only transitive subgroups of $S_n$, took from here:
About transitive subgroups of symmetric group $S_n$
Another similar question:
How many groups exist with order $n$ (two isomorphic groups are treated as the same group)
group-theory permutations
New contributor
$endgroup$
|
show 3 more comments
$begingroup$
When $n$ is prime there is only one such group, and it is cyclic group $C_n$.
But when $n$ is not prime there can be several distinct groups. There is an an example of two such groups for $S_4$:
$e$, $(1 0)(3 2)$, $(2 0)(3 1)$, $(2 1)(3 0)$ and $e$, $(1 2 3 0)$, $(2 0)(3 1)$, $(3 2 1 0)$
For larger $n$ more isomorphism classes of groups can be found. How many such groups are in $S_n$ and is there a way to find them all?
UPDATE:
It looks like there is no answer to this question even if take into account only transitive subgroups of $S_n$, took from here:
About transitive subgroups of symmetric group $S_n$
Another similar question:
How many groups exist with order $n$ (two isomorphic groups are treated as the same group)
group-theory permutations
New contributor
$endgroup$
3
$begingroup$
Every group of order $n$ is in $S_n.$ The general question of how many groups there are, up to isomorphism, of order $n$ is, in general, difficult.
$endgroup$
– Thomas Andrews
yesterday
1
$begingroup$
Thomas Andrews's comment is is the content of Cayley's theorem. en.wikipedia.org/wiki/Cayley%27s_theorem
$endgroup$
– Cheerful Parsnip
yesterday
1
$begingroup$
It's hard to understand why you consider subgroups of $S_n$ since you consider only up to isomorphism. If you consider them as permutation groups there are also non-transitive subgroups.
$endgroup$
– YCor
yesterday
$begingroup$
@YCor Am I right that transitive subgroups are those ones that contain transpositions for every pair in {0,1..,n} (if we decompose all permutations to composition of transpositions)? If so then I'm interested only in transitive subgroups which contain exactly n elements.
$endgroup$
– dkolmakov
yesterday
$begingroup$
Simply transitive subgroups on $nge 3$ elements never have transpositions.
$endgroup$
– YCor
yesterday
|
show 3 more comments
$begingroup$
When $n$ is prime there is only one such group, and it is cyclic group $C_n$.
But when $n$ is not prime there can be several distinct groups. There is an an example of two such groups for $S_4$:
$e$, $(1 0)(3 2)$, $(2 0)(3 1)$, $(2 1)(3 0)$ and $e$, $(1 2 3 0)$, $(2 0)(3 1)$, $(3 2 1 0)$
For larger $n$ more isomorphism classes of groups can be found. How many such groups are in $S_n$ and is there a way to find them all?
UPDATE:
It looks like there is no answer to this question even if take into account only transitive subgroups of $S_n$, took from here:
About transitive subgroups of symmetric group $S_n$
Another similar question:
How many groups exist with order $n$ (two isomorphic groups are treated as the same group)
group-theory permutations
New contributor
$endgroup$
When $n$ is prime there is only one such group, and it is cyclic group $C_n$.
But when $n$ is not prime there can be several distinct groups. There is an an example of two such groups for $S_4$:
$e$, $(1 0)(3 2)$, $(2 0)(3 1)$, $(2 1)(3 0)$ and $e$, $(1 2 3 0)$, $(2 0)(3 1)$, $(3 2 1 0)$
For larger $n$ more isomorphism classes of groups can be found. How many such groups are in $S_n$ and is there a way to find them all?
UPDATE:
It looks like there is no answer to this question even if take into account only transitive subgroups of $S_n$, took from here:
About transitive subgroups of symmetric group $S_n$
Another similar question:
How many groups exist with order $n$ (two isomorphic groups are treated as the same group)
group-theory permutations
group-theory permutations
New contributor
New contributor
edited 22 hours ago
dkolmakov
New contributor
asked yesterday
dkolmakovdkolmakov
1042
1042
New contributor
New contributor
3
$begingroup$
Every group of order $n$ is in $S_n.$ The general question of how many groups there are, up to isomorphism, of order $n$ is, in general, difficult.
$endgroup$
– Thomas Andrews
yesterday
1
$begingroup$
Thomas Andrews's comment is is the content of Cayley's theorem. en.wikipedia.org/wiki/Cayley%27s_theorem
$endgroup$
– Cheerful Parsnip
yesterday
1
$begingroup$
It's hard to understand why you consider subgroups of $S_n$ since you consider only up to isomorphism. If you consider them as permutation groups there are also non-transitive subgroups.
$endgroup$
– YCor
yesterday
$begingroup$
@YCor Am I right that transitive subgroups are those ones that contain transpositions for every pair in {0,1..,n} (if we decompose all permutations to composition of transpositions)? If so then I'm interested only in transitive subgroups which contain exactly n elements.
$endgroup$
– dkolmakov
yesterday
$begingroup$
Simply transitive subgroups on $nge 3$ elements never have transpositions.
$endgroup$
– YCor
yesterday
|
show 3 more comments
3
$begingroup$
Every group of order $n$ is in $S_n.$ The general question of how many groups there are, up to isomorphism, of order $n$ is, in general, difficult.
$endgroup$
– Thomas Andrews
yesterday
1
$begingroup$
Thomas Andrews's comment is is the content of Cayley's theorem. en.wikipedia.org/wiki/Cayley%27s_theorem
$endgroup$
– Cheerful Parsnip
yesterday
1
$begingroup$
It's hard to understand why you consider subgroups of $S_n$ since you consider only up to isomorphism. If you consider them as permutation groups there are also non-transitive subgroups.
$endgroup$
– YCor
yesterday
$begingroup$
@YCor Am I right that transitive subgroups are those ones that contain transpositions for every pair in {0,1..,n} (if we decompose all permutations to composition of transpositions)? If so then I'm interested only in transitive subgroups which contain exactly n elements.
$endgroup$
– dkolmakov
yesterday
$begingroup$
Simply transitive subgroups on $nge 3$ elements never have transpositions.
$endgroup$
– YCor
yesterday
3
3
$begingroup$
Every group of order $n$ is in $S_n.$ The general question of how many groups there are, up to isomorphism, of order $n$ is, in general, difficult.
$endgroup$
– Thomas Andrews
yesterday
$begingroup$
Every group of order $n$ is in $S_n.$ The general question of how many groups there are, up to isomorphism, of order $n$ is, in general, difficult.
$endgroup$
– Thomas Andrews
yesterday
1
1
$begingroup$
Thomas Andrews's comment is is the content of Cayley's theorem. en.wikipedia.org/wiki/Cayley%27s_theorem
$endgroup$
– Cheerful Parsnip
yesterday
$begingroup$
Thomas Andrews's comment is is the content of Cayley's theorem. en.wikipedia.org/wiki/Cayley%27s_theorem
$endgroup$
– Cheerful Parsnip
yesterday
1
1
$begingroup$
It's hard to understand why you consider subgroups of $S_n$ since you consider only up to isomorphism. If you consider them as permutation groups there are also non-transitive subgroups.
$endgroup$
– YCor
yesterday
$begingroup$
It's hard to understand why you consider subgroups of $S_n$ since you consider only up to isomorphism. If you consider them as permutation groups there are also non-transitive subgroups.
$endgroup$
– YCor
yesterday
$begingroup$
@YCor Am I right that transitive subgroups are those ones that contain transpositions for every pair in {0,1..,n} (if we decompose all permutations to composition of transpositions)? If so then I'm interested only in transitive subgroups which contain exactly n elements.
$endgroup$
– dkolmakov
yesterday
$begingroup$
@YCor Am I right that transitive subgroups are those ones that contain transpositions for every pair in {0,1..,n} (if we decompose all permutations to composition of transpositions)? If so then I'm interested only in transitive subgroups which contain exactly n elements.
$endgroup$
– dkolmakov
yesterday
$begingroup$
Simply transitive subgroups on $nge 3$ elements never have transpositions.
$endgroup$
– YCor
yesterday
$begingroup$
Simply transitive subgroups on $nge 3$ elements never have transpositions.
$endgroup$
– YCor
yesterday
|
show 3 more comments
0
active
oldest
votes
Your Answer
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
});
}
});
dkolmakov is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3137759%2fhow-many-permutation-groups-of-order-n-are-in-s-n-up-to-isomorphism%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
dkolmakov is a new contributor. Be nice, and check out our Code of Conduct.
dkolmakov is a new contributor. Be nice, and check out our Code of Conduct.
dkolmakov is a new contributor. Be nice, and check out our Code of Conduct.
dkolmakov is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3137759%2fhow-many-permutation-groups-of-order-n-are-in-s-n-up-to-isomorphism%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
3
$begingroup$
Every group of order $n$ is in $S_n.$ The general question of how many groups there are, up to isomorphism, of order $n$ is, in general, difficult.
$endgroup$
– Thomas Andrews
yesterday
1
$begingroup$
Thomas Andrews's comment is is the content of Cayley's theorem. en.wikipedia.org/wiki/Cayley%27s_theorem
$endgroup$
– Cheerful Parsnip
yesterday
1
$begingroup$
It's hard to understand why you consider subgroups of $S_n$ since you consider only up to isomorphism. If you consider them as permutation groups there are also non-transitive subgroups.
$endgroup$
– YCor
yesterday
$begingroup$
@YCor Am I right that transitive subgroups are those ones that contain transpositions for every pair in {0,1..,n} (if we decompose all permutations to composition of transpositions)? If so then I'm interested only in transitive subgroups which contain exactly n elements.
$endgroup$
– dkolmakov
yesterday
$begingroup$
Simply transitive subgroups on $nge 3$ elements never have transpositions.
$endgroup$
– YCor
yesterday