In how many ways can the group $mathbb Z_5$ act on the set ${1,2,3,4,5}$ $?$












4












$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.










share|cite|improve this question











$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
















4












$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.










share|cite|improve this question











$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














4












4








4


4



$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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














  • 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










2 Answers
2






active

oldest

votes


















13












$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?






share|cite|improve this answer









$endgroup$





















    5












    $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},.$$






    share|cite|improve this answer











    $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













    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
    });


    }
    });














    draft saved

    draft discarded


















    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









    13












    $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?






    share|cite|improve this answer









    $endgroup$


















      13












      $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?






      share|cite|improve this answer









      $endgroup$
















        13












        13








        13





        $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?






        share|cite|improve this answer









        $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?







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 3 '15 at 17:40









        Mathmo123Mathmo123

        17.9k33166




        17.9k33166























            5












            $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},.$$






            share|cite|improve this answer











            $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


















            5












            $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},.$$






            share|cite|improve this answer











            $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
















            5












            5








            5





            $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},.$$






            share|cite|improve this answer











            $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},.$$







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            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




















            • $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




















            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Plaza Victoria

            In PowerPoint, is there a keyboard shortcut for bulleted / numbered list?

            How to put 3 figures in Latex with 2 figures side by side and 1 below these side by side images but in...