Is the maximal periodic normal subgroup of a group characteristic?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
-2
down vote

favorite












Let $G$ be a group and $T$ the maximal periodic normal subgroup of $G$. The subgroup $T$ may be obtained by Zorn's Lemma (see e.g $[1, p.22]$).



In $[2, p.4]$, the authors posed that $T$ is characteristic in $G$ without a proof.



I don't know how to prove this fact as well as unaware of a reference.



Thanks for any hint.



  1. B.A.F. Wehrfritz, Group and Ring Theoretic Properties of Polycyclic Groups, Springer-Verlag, London, $2009$.

  2. L.A. Kurdachenko, J. Otal, I.Ya. Subbotin: On a generalization of Baer theorem. Proc. Amer. Math. Soc. $141(2013), 2597-2602$.






share|cite|improve this question





















  • Is this not totally trivial? Every word of "maximal periodic normal subgroup" is preserved by isomorphisms...
    – Eric Wofsey
    Jul 16 at 2:41










  • Or is your real question why the maximal periodic normal subgroup is unique? (Until you know that, it doesn't make any sense to talk about the maximal periodic normal subgroup.)
    – Eric Wofsey
    Jul 16 at 2:48















up vote
-2
down vote

favorite












Let $G$ be a group and $T$ the maximal periodic normal subgroup of $G$. The subgroup $T$ may be obtained by Zorn's Lemma (see e.g $[1, p.22]$).



In $[2, p.4]$, the authors posed that $T$ is characteristic in $G$ without a proof.



I don't know how to prove this fact as well as unaware of a reference.



Thanks for any hint.



  1. B.A.F. Wehrfritz, Group and Ring Theoretic Properties of Polycyclic Groups, Springer-Verlag, London, $2009$.

  2. L.A. Kurdachenko, J. Otal, I.Ya. Subbotin: On a generalization of Baer theorem. Proc. Amer. Math. Soc. $141(2013), 2597-2602$.






share|cite|improve this question





















  • Is this not totally trivial? Every word of "maximal periodic normal subgroup" is preserved by isomorphisms...
    – Eric Wofsey
    Jul 16 at 2:41










  • Or is your real question why the maximal periodic normal subgroup is unique? (Until you know that, it doesn't make any sense to talk about the maximal periodic normal subgroup.)
    – Eric Wofsey
    Jul 16 at 2:48













up vote
-2
down vote

favorite









up vote
-2
down vote

favorite











Let $G$ be a group and $T$ the maximal periodic normal subgroup of $G$. The subgroup $T$ may be obtained by Zorn's Lemma (see e.g $[1, p.22]$).



In $[2, p.4]$, the authors posed that $T$ is characteristic in $G$ without a proof.



I don't know how to prove this fact as well as unaware of a reference.



Thanks for any hint.



  1. B.A.F. Wehrfritz, Group and Ring Theoretic Properties of Polycyclic Groups, Springer-Verlag, London, $2009$.

  2. L.A. Kurdachenko, J. Otal, I.Ya. Subbotin: On a generalization of Baer theorem. Proc. Amer. Math. Soc. $141(2013), 2597-2602$.






share|cite|improve this question













Let $G$ be a group and $T$ the maximal periodic normal subgroup of $G$. The subgroup $T$ may be obtained by Zorn's Lemma (see e.g $[1, p.22]$).



In $[2, p.4]$, the authors posed that $T$ is characteristic in $G$ without a proof.



I don't know how to prove this fact as well as unaware of a reference.



Thanks for any hint.



  1. B.A.F. Wehrfritz, Group and Ring Theoretic Properties of Polycyclic Groups, Springer-Verlag, London, $2009$.

  2. L.A. Kurdachenko, J. Otal, I.Ya. Subbotin: On a generalization of Baer theorem. Proc. Amer. Math. Soc. $141(2013), 2597-2602$.








share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 16 at 2:26









Key Flex

4,416525




4,416525









asked Jul 16 at 2:21









Huỳnh Việt Khánh

264




264











  • Is this not totally trivial? Every word of "maximal periodic normal subgroup" is preserved by isomorphisms...
    – Eric Wofsey
    Jul 16 at 2:41










  • Or is your real question why the maximal periodic normal subgroup is unique? (Until you know that, it doesn't make any sense to talk about the maximal periodic normal subgroup.)
    – Eric Wofsey
    Jul 16 at 2:48

















  • Is this not totally trivial? Every word of "maximal periodic normal subgroup" is preserved by isomorphisms...
    – Eric Wofsey
    Jul 16 at 2:41










  • Or is your real question why the maximal periodic normal subgroup is unique? (Until you know that, it doesn't make any sense to talk about the maximal periodic normal subgroup.)
    – Eric Wofsey
    Jul 16 at 2:48
















Is this not totally trivial? Every word of "maximal periodic normal subgroup" is preserved by isomorphisms...
– Eric Wofsey
Jul 16 at 2:41




Is this not totally trivial? Every word of "maximal periodic normal subgroup" is preserved by isomorphisms...
– Eric Wofsey
Jul 16 at 2:41












Or is your real question why the maximal periodic normal subgroup is unique? (Until you know that, it doesn't make any sense to talk about the maximal periodic normal subgroup.)
– Eric Wofsey
Jul 16 at 2:48





Or is your real question why the maximal periodic normal subgroup is unique? (Until you know that, it doesn't make any sense to talk about the maximal periodic normal subgroup.)
– Eric Wofsey
Jul 16 at 2:48











1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










Let $H$ and $H'$ be normal periodic subgroups of $G$. Then $HH'$ is also a normal periodic subgroup of $G$, since $HH'/H'$ and $H'$ are both periodic.



Thus if we have a maximal "normal periodic" subgroup $N$ in $G$, then every normal periodic subgroup is contained in $N$. In particular, $f(N)$ is contained in $N$ for every $f in operatornameAut(G)$, so $N$ is a characteristic subgroup of $G$.






share|cite|improve this answer





















    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',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2853014%2fis-the-maximal-periodic-normal-subgroup-of-a-group-characteristic%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote



    accepted










    Let $H$ and $H'$ be normal periodic subgroups of $G$. Then $HH'$ is also a normal periodic subgroup of $G$, since $HH'/H'$ and $H'$ are both periodic.



    Thus if we have a maximal "normal periodic" subgroup $N$ in $G$, then every normal periodic subgroup is contained in $N$. In particular, $f(N)$ is contained in $N$ for every $f in operatornameAut(G)$, so $N$ is a characteristic subgroup of $G$.






    share|cite|improve this answer

























      up vote
      0
      down vote



      accepted










      Let $H$ and $H'$ be normal periodic subgroups of $G$. Then $HH'$ is also a normal periodic subgroup of $G$, since $HH'/H'$ and $H'$ are both periodic.



      Thus if we have a maximal "normal periodic" subgroup $N$ in $G$, then every normal periodic subgroup is contained in $N$. In particular, $f(N)$ is contained in $N$ for every $f in operatornameAut(G)$, so $N$ is a characteristic subgroup of $G$.






      share|cite|improve this answer























        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        Let $H$ and $H'$ be normal periodic subgroups of $G$. Then $HH'$ is also a normal periodic subgroup of $G$, since $HH'/H'$ and $H'$ are both periodic.



        Thus if we have a maximal "normal periodic" subgroup $N$ in $G$, then every normal periodic subgroup is contained in $N$. In particular, $f(N)$ is contained in $N$ for every $f in operatornameAut(G)$, so $N$ is a characteristic subgroup of $G$.






        share|cite|improve this answer













        Let $H$ and $H'$ be normal periodic subgroups of $G$. Then $HH'$ is also a normal periodic subgroup of $G$, since $HH'/H'$ and $H'$ are both periodic.



        Thus if we have a maximal "normal periodic" subgroup $N$ in $G$, then every normal periodic subgroup is contained in $N$. In particular, $f(N)$ is contained in $N$ for every $f in operatornameAut(G)$, so $N$ is a characteristic subgroup of $G$.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 16 at 2:52









        spin

        3,5902253




        3,5902253






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2853014%2fis-the-maximal-periodic-normal-subgroup-of-a-group-characteristic%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?