Can a group act on the empty set?












9












$begingroup$


There isn't much more to add to this question. Can we define an action between some group and the null set?



I would have thought that there being no elements to act on it trivially satisfies the requirements for something to be an action but I'm not sure.






group-theory group-actions







share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    Though it's kind of empty to have a group action on an empty set, isn't it? =)
    $endgroup$
    – user21820
    12 hours ago






  • 3




    $begingroup$
    In particular, the symmetric group $S_0$, which has order $1$, acts naturally on the empty set. There is unique bijection between the empty set and itself.
    $endgroup$
    – Derek Holt
    12 hours ago










  • $begingroup$
    @user21820 the interest of a mathematical formalism is to avoid such philosophical considerations. In the same spirit, there were mathematicians fighting against the existence of infinite sets in the late XIX...
    $endgroup$
    – YCor
    10 hours ago










  • $begingroup$
    @YCor: Erm... I was just joking in my first comment, but I disagree with your comment, because anyone who claims they use ZFC as their foundational system necessarily has made some very weird philosophical assumptions whether or not they know it.
    $endgroup$
    – user21820
    10 hours ago






  • 1




    $begingroup$
    @YCor: But that's only if you think "truth within set theory" is meaningful. To refrain from prolonging this thread with our off-topic discussion, do you want to come to the logic chat-room?
    $endgroup$
    – user21820
    10 hours ago
















9












$begingroup$


There isn't much more to add to this question. Can we define an action between some group and the null set?



I would have thought that there being no elements to act on it trivially satisfies the requirements for something to be an action but I'm not sure.






group-theory group-actions







share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    Though it's kind of empty to have a group action on an empty set, isn't it? =)
    $endgroup$
    – user21820
    12 hours ago






  • 3




    $begingroup$
    In particular, the symmetric group $S_0$, which has order $1$, acts naturally on the empty set. There is unique bijection between the empty set and itself.
    $endgroup$
    – Derek Holt
    12 hours ago










  • $begingroup$
    @user21820 the interest of a mathematical formalism is to avoid such philosophical considerations. In the same spirit, there were mathematicians fighting against the existence of infinite sets in the late XIX...
    $endgroup$
    – YCor
    10 hours ago










  • $begingroup$
    @YCor: Erm... I was just joking in my first comment, but I disagree with your comment, because anyone who claims they use ZFC as their foundational system necessarily has made some very weird philosophical assumptions whether or not they know it.
    $endgroup$
    – user21820
    10 hours ago






  • 1




    $begingroup$
    @YCor: But that's only if you think "truth within set theory" is meaningful. To refrain from prolonging this thread with our off-topic discussion, do you want to come to the logic chat-room?
    $endgroup$
    – user21820
    10 hours ago














9












9








9


1



$begingroup$


There isn't much more to add to this question. Can we define an action between some group and the null set?



I would have thought that there being no elements to act on it trivially satisfies the requirements for something to be an action but I'm not sure.






group-theory group-actions







share|cite|improve this question











$endgroup$




There isn't much more to add to this question. Can we define an action between some group and the null set?



I would have thought that there being no elements to act on it trivially satisfies the requirements for something to be an action but I'm not sure.






group-theory group-actions




group-theory group-actions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 13 hours ago









nbarto

14.2k32782




14.2k32782










asked 13 hours ago









andrewandrew

927




927








  • 2




    $begingroup$
    Though it's kind of empty to have a group action on an empty set, isn't it? =)
    $endgroup$
    – user21820
    12 hours ago






  • 3




    $begingroup$
    In particular, the symmetric group $S_0$, which has order $1$, acts naturally on the empty set. There is unique bijection between the empty set and itself.
    $endgroup$
    – Derek Holt
    12 hours ago










  • $begingroup$
    @user21820 the interest of a mathematical formalism is to avoid such philosophical considerations. In the same spirit, there were mathematicians fighting against the existence of infinite sets in the late XIX...
    $endgroup$
    – YCor
    10 hours ago










  • $begingroup$
    @YCor: Erm... I was just joking in my first comment, but I disagree with your comment, because anyone who claims they use ZFC as their foundational system necessarily has made some very weird philosophical assumptions whether or not they know it.
    $endgroup$
    – user21820
    10 hours ago






  • 1




    $begingroup$
    @YCor: But that's only if you think "truth within set theory" is meaningful. To refrain from prolonging this thread with our off-topic discussion, do you want to come to the logic chat-room?
    $endgroup$
    – user21820
    10 hours ago














  • 2




    $begingroup$
    Though it's kind of empty to have a group action on an empty set, isn't it? =)
    $endgroup$
    – user21820
    12 hours ago






  • 3




    $begingroup$
    In particular, the symmetric group $S_0$, which has order $1$, acts naturally on the empty set. There is unique bijection between the empty set and itself.
    $endgroup$
    – Derek Holt
    12 hours ago










  • $begingroup$
    @user21820 the interest of a mathematical formalism is to avoid such philosophical considerations. In the same spirit, there were mathematicians fighting against the existence of infinite sets in the late XIX...
    $endgroup$
    – YCor
    10 hours ago










  • $begingroup$
    @YCor: Erm... I was just joking in my first comment, but I disagree with your comment, because anyone who claims they use ZFC as their foundational system necessarily has made some very weird philosophical assumptions whether or not they know it.
    $endgroup$
    – user21820
    10 hours ago






  • 1




    $begingroup$
    @YCor: But that's only if you think "truth within set theory" is meaningful. To refrain from prolonging this thread with our off-topic discussion, do you want to come to the logic chat-room?
    $endgroup$
    – user21820
    10 hours ago








2




2




$begingroup$
Though it's kind of empty to have a group action on an empty set, isn't it? =)
$endgroup$
– user21820
12 hours ago




$begingroup$
Though it's kind of empty to have a group action on an empty set, isn't it? =)
$endgroup$
– user21820
12 hours ago




3




3




$begingroup$
In particular, the symmetric group $S_0$, which has order $1$, acts naturally on the empty set. There is unique bijection between the empty set and itself.
$endgroup$
– Derek Holt
12 hours ago




$begingroup$
In particular, the symmetric group $S_0$, which has order $1$, acts naturally on the empty set. There is unique bijection between the empty set and itself.
$endgroup$
– Derek Holt
12 hours ago












$begingroup$
@user21820 the interest of a mathematical formalism is to avoid such philosophical considerations. In the same spirit, there were mathematicians fighting against the existence of infinite sets in the late XIX...
$endgroup$
– YCor
10 hours ago




$begingroup$
@user21820 the interest of a mathematical formalism is to avoid such philosophical considerations. In the same spirit, there were mathematicians fighting against the existence of infinite sets in the late XIX...
$endgroup$
– YCor
10 hours ago












$begingroup$
@YCor: Erm... I was just joking in my first comment, but I disagree with your comment, because anyone who claims they use ZFC as their foundational system necessarily has made some very weird philosophical assumptions whether or not they know it.
$endgroup$
– user21820
10 hours ago




$begingroup$
@YCor: Erm... I was just joking in my first comment, but I disagree with your comment, because anyone who claims they use ZFC as their foundational system necessarily has made some very weird philosophical assumptions whether or not they know it.
$endgroup$
– user21820
10 hours ago




1




1




$begingroup$
@YCor: But that's only if you think "truth within set theory" is meaningful. To refrain from prolonging this thread with our off-topic discussion, do you want to come to the logic chat-room?
$endgroup$
– user21820
10 hours ago




$begingroup$
@YCor: But that's only if you think "truth within set theory" is meaningful. To refrain from prolonging this thread with our off-topic discussion, do you want to come to the logic chat-room?
$endgroup$
– user21820
10 hours ago










1 Answer
1






active

oldest

votes


















10












$begingroup$

yes you can define the trivial action.



Note that the axioms for group action begins with "for all"



That is:



For all $xin emptyset$ we have that $e.x=x$.



For all $xinemptyset$ and all $g,hin G$ we have $(gh)x=g.(h.x)$



Both statements hold trivially.






share|cite|improve this answer









$endgroup$













    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%2f3142231%2fcan-a-group-act-on-the-empty-set%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









    10












    $begingroup$

    yes you can define the trivial action.



    Note that the axioms for group action begins with "for all"



    That is:



    For all $xin emptyset$ we have that $e.x=x$.



    For all $xinemptyset$ and all $g,hin G$ we have $(gh)x=g.(h.x)$



    Both statements hold trivially.






    share|cite|improve this answer









    $endgroup$


















      10












      $begingroup$

      yes you can define the trivial action.



      Note that the axioms for group action begins with "for all"



      That is:



      For all $xin emptyset$ we have that $e.x=x$.



      For all $xinemptyset$ and all $g,hin G$ we have $(gh)x=g.(h.x)$



      Both statements hold trivially.






      share|cite|improve this answer









      $endgroup$
















        10












        10








        10





        $begingroup$

        yes you can define the trivial action.



        Note that the axioms for group action begins with "for all"



        That is:



        For all $xin emptyset$ we have that $e.x=x$.



        For all $xinemptyset$ and all $g,hin G$ we have $(gh)x=g.(h.x)$



        Both statements hold trivially.






        share|cite|improve this answer









        $endgroup$



        yes you can define the trivial action.



        Note that the axioms for group action begins with "for all"



        That is:



        For all $xin emptyset$ we have that $e.x=x$.



        For all $xinemptyset$ and all $g,hin G$ we have $(gh)x=g.(h.x)$



        Both statements hold trivially.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 13 hours ago









        YankoYanko

        7,6801830




        7,6801830






























            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%2f3142231%2fcan-a-group-act-on-the-empty-set%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

            How to label and detect the document text images

            Image
            1 $begingroup$ This is what I mean as document text image: I want to label the texts in image as separate blocks and my model should detect these labels as classes. NOTE: This is how the end result should be like: The labels like Block 1, Block 2, Block 3,.. should be Logo, Title, Date,.. Others, etc. Work done: First approach : I tried to implement this method via Object Detection, it didn't work. It didn't even detect any text. Second approach : Then I tried it using PixelLink. As this model is build for scene text detection, it detected each and every text in the image. But this method can detect multiple lines of text if the threshold values are increased. But I have no idea how do I add labels to the text blocks. PIXEL_CLS_WEIGHT_all_ones = 'PIXEL_CLS_WEIGHT_all_ones' PIXEL_C
            Read more

            Vallis Paradisi

            Image
            Coordinata: .mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:nowrap} 33°03′S 71°37′W  /  33.05°S 71.617°W  / -33.05; -71.617 Vallis Paradisi Res apud Vicidata repertae: Civitas : Chilia Numerus incolarum : 296 655 Zona horaria : UTC-4 Situs interretialis Nomen officiale : Valparaíso Gubernium Consilium : municipal council of Valparaíso Geographia Superficies : 401 600 000 Metrum quadratum Coniunctiones urbium Urbes gemellae : Ovetum , Badalona , Santa Fe , Ora longa , Sciamhaevum , Quantunia , Callao , Bat Yam , Melaka , Novorossiysk , Busan , Corduba , Odessa , Rosario , Malacca , Barcino , Soteropolis , Franciscopolis (California) , Guanajuato, Silao Tabula aut despectus Despectus in portum sinumque et urbem Vallis Paradisi Vallis Para
            Read more

            Tabula Rosettana

            Image
            Tabula multilinguis Rosettana in Museo Britannico ostenditur. Tabula Rosettana, [1] etiam titulo OGIS 90 agnita, est stela decreto de rebus sacris in Aegypto anno 196 a.C.n. lato inscripta. Tabula iuxta Rosettam Aegypti, urbem in delta Nili et ad oram maris Mediterranei iacentem, anno 1799 a milite Francico reperta est. Inventio stelae, linguis duabus scripturisque tribus inscriptae, eruditis Instituti Aegypti statim nuntiata est; ibi enim iussu imperatoris Napoleonis eruditi omnium scientiarum (sub aegide Commissionis Scientiarum et Artium) properaverant cum expeditione Francica. Qua a Britannis mox debellata, tabula Rosettana Londinium missa hodie apud Museum Britannicum iacet. Textus Graecus cito lectus interpretationi textuum Aegyptiorum (in formis hieroglyphica et demotica expressorum) gradatim adiuvit. Denique textum plene interpretatus est Ioannes Franciscus Champollion. Ab opere eruditorum cumulativo coepit hodiernus scripturae hieroglyphicae linguaeque Aegyptiae a
            Read more