In how many ways can the group $mathbb Z_5$ act on the set ${1,2,3,4,5}$ $?$
$begingroup$
$mathbb Z_{5}$ is the group to act on the set ${ 1,2,3,4,5}$. In how many ways is that possible $?$
Now $0$ will give the identity map. $1$ will give a bijection in $5!$ ways so will the others and the number of possible bijection being $5!$ the bijections given by $1$ will coincide with those given by others. All gets mixed up here.
abstract-algebra combinatorics group-theory group-actions cyclic-groups
$endgroup$
add a comment |
$begingroup$
$mathbb Z_{5}$ is the group to act on the set ${ 1,2,3,4,5}$. In how many ways is that possible $?$
Now $0$ will give the identity map. $1$ will give a bijection in $5!$ ways so will the others and the number of possible bijection being $5!$ the bijections given by $1$ will coincide with those given by others. All gets mixed up here.
abstract-algebra combinatorics group-theory group-actions cyclic-groups
$endgroup$
1
$begingroup$
Note that $1in Bbb Z_5$ has order $5$. That means that the action that $1$ does on the set needs to have order that divides $5$.
$endgroup$
– Arthur
Aug 3 '15 at 17:32
$begingroup$
This sounds confusing. Are we mixing up the group operation with a group action?
$endgroup$
– mathreadler
Oct 19 '15 at 21:00
add a comment |
$begingroup$
$mathbb Z_{5}$ is the group to act on the set ${ 1,2,3,4,5}$. In how many ways is that possible $?$
Now $0$ will give the identity map. $1$ will give a bijection in $5!$ ways so will the others and the number of possible bijection being $5!$ the bijections given by $1$ will coincide with those given by others. All gets mixed up here.
abstract-algebra combinatorics group-theory group-actions cyclic-groups
$endgroup$
$mathbb Z_{5}$ is the group to act on the set ${ 1,2,3,4,5}$. In how many ways is that possible $?$
Now $0$ will give the identity map. $1$ will give a bijection in $5!$ ways so will the others and the number of possible bijection being $5!$ the bijections given by $1$ will coincide with those given by others. All gets mixed up here.
abstract-algebra combinatorics group-theory group-actions cyclic-groups
abstract-algebra combinatorics group-theory group-actions cyclic-groups
edited Dec 8 '18 at 15:35
Batominovski
33.1k33293
33.1k33293
asked Aug 3 '15 at 17:26
user118494user118494
2,80911438
2,80911438
1
$begingroup$
Note that $1in Bbb Z_5$ has order $5$. That means that the action that $1$ does on the set needs to have order that divides $5$.
$endgroup$
– Arthur
Aug 3 '15 at 17:32
$begingroup$
This sounds confusing. Are we mixing up the group operation with a group action?
$endgroup$
– mathreadler
Oct 19 '15 at 21:00
add a comment |
1
$begingroup$
Note that $1in Bbb Z_5$ has order $5$. That means that the action that $1$ does on the set needs to have order that divides $5$.
$endgroup$
– Arthur
Aug 3 '15 at 17:32
$begingroup$
This sounds confusing. Are we mixing up the group operation with a group action?
$endgroup$
– mathreadler
Oct 19 '15 at 21:00
1
1
$begingroup$
Note that $1in Bbb Z_5$ has order $5$. That means that the action that $1$ does on the set needs to have order that divides $5$.
$endgroup$
– Arthur
Aug 3 '15 at 17:32
$begingroup$
Note that $1in Bbb Z_5$ has order $5$. That means that the action that $1$ does on the set needs to have order that divides $5$.
$endgroup$
– Arthur
Aug 3 '15 at 17:32
$begingroup$
This sounds confusing. Are we mixing up the group operation with a group action?
$endgroup$
– mathreadler
Oct 19 '15 at 21:00
$begingroup$
This sounds confusing. Are we mixing up the group operation with a group action?
$endgroup$
– mathreadler
Oct 19 '15 at 21:00
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
An equivalent way of thinking of group actions is as follows: a group $G$ acting on a (finite) set $X$ is exactly a homomorphism $$theta:Gto S_{|X|}$$
where $S_{|X|}$ is the symmetric group on $|X|$ elements, and $theta(g)$ is the permutation of $X$ given by $xmapsto g(x)$. And every such homomorphism gives a group action: define $g(x)$ to be where $theta(g)$ sends $x$.
How many homomorphisms are there from $mathbb Z/5mathbb Zto S_5$?
$mathbb Z/5mathbb Z$ is cyclic, so any homomorphism will be completely determined by where it sends the generator $1$. But $1$ has order $5$ in $mathbb Z/5mathbb Z$, so it can be sent only to elements with orders dividing $5$.
So we just need to find the number of elements of orders $1$ and $5$ in $S_5$. Can you finish from here?
$endgroup$
add a comment |
$begingroup$
In this answer, let $C_m$ denote the cyclic group of order $m$ for $minmathbb{Z}_{>0}$. I also write $C_0$ for the infinite cyclic group.
There is one obvious group action: the trivial action. Now, we consider a nontrivial action. Then, there exists an element of ${1,2,3,4,5}$, say $1$, not fixed by $C_5$. However, the size of the orbit of $1$ would then be $5$ (since the size of the orbit divides the order of $C_5$ and it is not $1$). Hence, this action is transitive as the orbit must be the whole ${1,2,3,4,5}$. Therefore, this action is a permutation of ${1,2,3,4,5}$ on a circle (where $1in C_5$ is rotation by $frac{2pi}{5}$). On the other hand, every permutation of ${1,2,3,4,5}$ on a circle can be made an action of $C_5$ on this set. There are $(5-1)!=24$ such permutations. Hence, in total, there are $1+24=25$ possible actions of $C_5$ on ${1,2,3,4,5}$.
In how many ways can the group $C_6$ act on ${1,2,3,4,5,6}$?
Hint: The answer is $1+15+40+45+120+15+40+120=396$.
In general, if $a^m_n$ is the number of ways the group $C_m$ can act on the set ${1,2,ldots,n}$, where $m$ and $n$ are nonnegative integers, then
$$sum_{n=0}^infty,a^m_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid m}}},frac{t^d}{d}right),.$$ In particular, it can be shown that $a^0_n=n!$ for every $ninmathbb{Z}_{geq 0}$, or
$$sum_{n=0}^infty,t^n=sum_{n=0}^infty,a^0_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid 0}}},frac{t^d}{d}right)=expleft(sum_{d=1}^infty,frac{t^d}{d}right)=expBigg(lnleft(frac{1}{1-t}right)Bigg)=frac{1}{1-t},.$$
$endgroup$
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
1
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
1
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
|
show 2 more comments
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
});
}
});
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%2f1383251%2fin-how-many-ways-can-the-group-mathbb-z-5-act-on-the-set-1-2-3-4-5%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
An equivalent way of thinking of group actions is as follows: a group $G$ acting on a (finite) set $X$ is exactly a homomorphism $$theta:Gto S_{|X|}$$
where $S_{|X|}$ is the symmetric group on $|X|$ elements, and $theta(g)$ is the permutation of $X$ given by $xmapsto g(x)$. And every such homomorphism gives a group action: define $g(x)$ to be where $theta(g)$ sends $x$.
How many homomorphisms are there from $mathbb Z/5mathbb Zto S_5$?
$mathbb Z/5mathbb Z$ is cyclic, so any homomorphism will be completely determined by where it sends the generator $1$. But $1$ has order $5$ in $mathbb Z/5mathbb Z$, so it can be sent only to elements with orders dividing $5$.
So we just need to find the number of elements of orders $1$ and $5$ in $S_5$. Can you finish from here?
$endgroup$
add a comment |
$begingroup$
An equivalent way of thinking of group actions is as follows: a group $G$ acting on a (finite) set $X$ is exactly a homomorphism $$theta:Gto S_{|X|}$$
where $S_{|X|}$ is the symmetric group on $|X|$ elements, and $theta(g)$ is the permutation of $X$ given by $xmapsto g(x)$. And every such homomorphism gives a group action: define $g(x)$ to be where $theta(g)$ sends $x$.
How many homomorphisms are there from $mathbb Z/5mathbb Zto S_5$?
$mathbb Z/5mathbb Z$ is cyclic, so any homomorphism will be completely determined by where it sends the generator $1$. But $1$ has order $5$ in $mathbb Z/5mathbb Z$, so it can be sent only to elements with orders dividing $5$.
So we just need to find the number of elements of orders $1$ and $5$ in $S_5$. Can you finish from here?
$endgroup$
add a comment |
$begingroup$
An equivalent way of thinking of group actions is as follows: a group $G$ acting on a (finite) set $X$ is exactly a homomorphism $$theta:Gto S_{|X|}$$
where $S_{|X|}$ is the symmetric group on $|X|$ elements, and $theta(g)$ is the permutation of $X$ given by $xmapsto g(x)$. And every such homomorphism gives a group action: define $g(x)$ to be where $theta(g)$ sends $x$.
How many homomorphisms are there from $mathbb Z/5mathbb Zto S_5$?
$mathbb Z/5mathbb Z$ is cyclic, so any homomorphism will be completely determined by where it sends the generator $1$. But $1$ has order $5$ in $mathbb Z/5mathbb Z$, so it can be sent only to elements with orders dividing $5$.
So we just need to find the number of elements of orders $1$ and $5$ in $S_5$. Can you finish from here?
$endgroup$
An equivalent way of thinking of group actions is as follows: a group $G$ acting on a (finite) set $X$ is exactly a homomorphism $$theta:Gto S_{|X|}$$
where $S_{|X|}$ is the symmetric group on $|X|$ elements, and $theta(g)$ is the permutation of $X$ given by $xmapsto g(x)$. And every such homomorphism gives a group action: define $g(x)$ to be where $theta(g)$ sends $x$.
How many homomorphisms are there from $mathbb Z/5mathbb Zto S_5$?
$mathbb Z/5mathbb Z$ is cyclic, so any homomorphism will be completely determined by where it sends the generator $1$. But $1$ has order $5$ in $mathbb Z/5mathbb Z$, so it can be sent only to elements with orders dividing $5$.
So we just need to find the number of elements of orders $1$ and $5$ in $S_5$. Can you finish from here?
answered Aug 3 '15 at 17:40
Mathmo123Mathmo123
17.9k33166
17.9k33166
add a comment |
add a comment |
$begingroup$
In this answer, let $C_m$ denote the cyclic group of order $m$ for $minmathbb{Z}_{>0}$. I also write $C_0$ for the infinite cyclic group.
There is one obvious group action: the trivial action. Now, we consider a nontrivial action. Then, there exists an element of ${1,2,3,4,5}$, say $1$, not fixed by $C_5$. However, the size of the orbit of $1$ would then be $5$ (since the size of the orbit divides the order of $C_5$ and it is not $1$). Hence, this action is transitive as the orbit must be the whole ${1,2,3,4,5}$. Therefore, this action is a permutation of ${1,2,3,4,5}$ on a circle (where $1in C_5$ is rotation by $frac{2pi}{5}$). On the other hand, every permutation of ${1,2,3,4,5}$ on a circle can be made an action of $C_5$ on this set. There are $(5-1)!=24$ such permutations. Hence, in total, there are $1+24=25$ possible actions of $C_5$ on ${1,2,3,4,5}$.
In how many ways can the group $C_6$ act on ${1,2,3,4,5,6}$?
Hint: The answer is $1+15+40+45+120+15+40+120=396$.
In general, if $a^m_n$ is the number of ways the group $C_m$ can act on the set ${1,2,ldots,n}$, where $m$ and $n$ are nonnegative integers, then
$$sum_{n=0}^infty,a^m_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid m}}},frac{t^d}{d}right),.$$ In particular, it can be shown that $a^0_n=n!$ for every $ninmathbb{Z}_{geq 0}$, or
$$sum_{n=0}^infty,t^n=sum_{n=0}^infty,a^0_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid 0}}},frac{t^d}{d}right)=expleft(sum_{d=1}^infty,frac{t^d}{d}right)=expBigg(lnleft(frac{1}{1-t}right)Bigg)=frac{1}{1-t},.$$
$endgroup$
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
1
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
1
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
|
show 2 more comments
$begingroup$
In this answer, let $C_m$ denote the cyclic group of order $m$ for $minmathbb{Z}_{>0}$. I also write $C_0$ for the infinite cyclic group.
There is one obvious group action: the trivial action. Now, we consider a nontrivial action. Then, there exists an element of ${1,2,3,4,5}$, say $1$, not fixed by $C_5$. However, the size of the orbit of $1$ would then be $5$ (since the size of the orbit divides the order of $C_5$ and it is not $1$). Hence, this action is transitive as the orbit must be the whole ${1,2,3,4,5}$. Therefore, this action is a permutation of ${1,2,3,4,5}$ on a circle (where $1in C_5$ is rotation by $frac{2pi}{5}$). On the other hand, every permutation of ${1,2,3,4,5}$ on a circle can be made an action of $C_5$ on this set. There are $(5-1)!=24$ such permutations. Hence, in total, there are $1+24=25$ possible actions of $C_5$ on ${1,2,3,4,5}$.
In how many ways can the group $C_6$ act on ${1,2,3,4,5,6}$?
Hint: The answer is $1+15+40+45+120+15+40+120=396$.
In general, if $a^m_n$ is the number of ways the group $C_m$ can act on the set ${1,2,ldots,n}$, where $m$ and $n$ are nonnegative integers, then
$$sum_{n=0}^infty,a^m_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid m}}},frac{t^d}{d}right),.$$ In particular, it can be shown that $a^0_n=n!$ for every $ninmathbb{Z}_{geq 0}$, or
$$sum_{n=0}^infty,t^n=sum_{n=0}^infty,a^0_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid 0}}},frac{t^d}{d}right)=expleft(sum_{d=1}^infty,frac{t^d}{d}right)=expBigg(lnleft(frac{1}{1-t}right)Bigg)=frac{1}{1-t},.$$
$endgroup$
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
1
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
1
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
|
show 2 more comments
$begingroup$
In this answer, let $C_m$ denote the cyclic group of order $m$ for $minmathbb{Z}_{>0}$. I also write $C_0$ for the infinite cyclic group.
There is one obvious group action: the trivial action. Now, we consider a nontrivial action. Then, there exists an element of ${1,2,3,4,5}$, say $1$, not fixed by $C_5$. However, the size of the orbit of $1$ would then be $5$ (since the size of the orbit divides the order of $C_5$ and it is not $1$). Hence, this action is transitive as the orbit must be the whole ${1,2,3,4,5}$. Therefore, this action is a permutation of ${1,2,3,4,5}$ on a circle (where $1in C_5$ is rotation by $frac{2pi}{5}$). On the other hand, every permutation of ${1,2,3,4,5}$ on a circle can be made an action of $C_5$ on this set. There are $(5-1)!=24$ such permutations. Hence, in total, there are $1+24=25$ possible actions of $C_5$ on ${1,2,3,4,5}$.
In how many ways can the group $C_6$ act on ${1,2,3,4,5,6}$?
Hint: The answer is $1+15+40+45+120+15+40+120=396$.
In general, if $a^m_n$ is the number of ways the group $C_m$ can act on the set ${1,2,ldots,n}$, where $m$ and $n$ are nonnegative integers, then
$$sum_{n=0}^infty,a^m_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid m}}},frac{t^d}{d}right),.$$ In particular, it can be shown that $a^0_n=n!$ for every $ninmathbb{Z}_{geq 0}$, or
$$sum_{n=0}^infty,t^n=sum_{n=0}^infty,a^0_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid 0}}},frac{t^d}{d}right)=expleft(sum_{d=1}^infty,frac{t^d}{d}right)=expBigg(lnleft(frac{1}{1-t}right)Bigg)=frac{1}{1-t},.$$
$endgroup$
In this answer, let $C_m$ denote the cyclic group of order $m$ for $minmathbb{Z}_{>0}$. I also write $C_0$ for the infinite cyclic group.
There is one obvious group action: the trivial action. Now, we consider a nontrivial action. Then, there exists an element of ${1,2,3,4,5}$, say $1$, not fixed by $C_5$. However, the size of the orbit of $1$ would then be $5$ (since the size of the orbit divides the order of $C_5$ and it is not $1$). Hence, this action is transitive as the orbit must be the whole ${1,2,3,4,5}$. Therefore, this action is a permutation of ${1,2,3,4,5}$ on a circle (where $1in C_5$ is rotation by $frac{2pi}{5}$). On the other hand, every permutation of ${1,2,3,4,5}$ on a circle can be made an action of $C_5$ on this set. There are $(5-1)!=24$ such permutations. Hence, in total, there are $1+24=25$ possible actions of $C_5$ on ${1,2,3,4,5}$.
In how many ways can the group $C_6$ act on ${1,2,3,4,5,6}$?
Hint: The answer is $1+15+40+45+120+15+40+120=396$.
In general, if $a^m_n$ is the number of ways the group $C_m$ can act on the set ${1,2,ldots,n}$, where $m$ and $n$ are nonnegative integers, then
$$sum_{n=0}^infty,a^m_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid m}}},frac{t^d}{d}right),.$$ In particular, it can be shown that $a^0_n=n!$ for every $ninmathbb{Z}_{geq 0}$, or
$$sum_{n=0}^infty,t^n=sum_{n=0}^infty,a^0_n,frac{t^n}{n!}=expleft(sum_{substack{{dinmathbb{Z}_{>0}}\{dmid 0}}},frac{t^d}{d}right)=expleft(sum_{d=1}^infty,frac{t^d}{d}right)=expBigg(lnleft(frac{1}{1-t}right)Bigg)=frac{1}{1-t},.$$
edited Dec 8 '18 at 15:34
answered Aug 3 '15 at 17:37
BatominovskiBatominovski
33.1k33293
33.1k33293
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
1
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
1
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
|
show 2 more comments
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
1
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
1
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
What is $t$ in your answer ??
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 12:42
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
The variable $t$ is just a dummy variable. Do you know anything about generating functions?
$endgroup$
– Batominovski
Dec 8 '18 at 15:34
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
$begingroup$
No, never heard about it.
$endgroup$
– Anik Bhowmick
Dec 8 '18 at 15:58
1
1
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
$begingroup$
It's time to do a google search on the topic of generating functions, then. What I used is called an exponential generating function. It's a nice counting technique.
$endgroup$
– Batominovski
Dec 8 '18 at 16:33
1
1
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
$begingroup$
The set ${1,2,3,4,5,6}$ must be partitioned into orbits whose sizes are divisors of $6$, i.e., $1,2,3,6$. Here are all $8$ possible choices of orbit sizes: $(1,1,1,1,1,1)$, $(1,1,1,1,2)$, $(1,1,1,3)$, $(1,1,2,2)$, $(1,2,3)$, $(2,2,2)$, $(3,3)$, and $(6)$. You have to count how many group actions there are with given orbit sizes. For example, $(1,1,1,1,1,1)$ has only $1$ action, $(6)$ has $(6-1)!=120$ actions.
$endgroup$
– Batominovski
Dec 8 '18 at 16:51
|
show 2 more comments
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%2f1383251%2fin-how-many-ways-can-the-group-mathbb-z-5-act-on-the-set-1-2-3-4-5%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
1
$begingroup$
Note that $1in Bbb Z_5$ has order $5$. That means that the action that $1$ does on the set needs to have order that divides $5$.
$endgroup$
– Arthur
Aug 3 '15 at 17:32
$begingroup$
This sounds confusing. Are we mixing up the group operation with a group action?
$endgroup$
– mathreadler
Oct 19 '15 at 21:00