Commutator subgroup $G'$ of a solvable group $G$ is not $G$











up vote
0
down vote

favorite












Here is the question:




Let $G$ be a solvable group. Prove that $G neq G'$.




Is this correct?
Suppose $G=G'$, then the only abelian quotient of $G$ must be ${1}=G/G'$. So there is no proper normal subgroup $H$ of $G$ that gives abelian quotient $G/H$. So then in the normal serie, it should end with $G triangleright G triangleright {1}$. but $G/{1}$ doesn't give abelian composition factor. I'm just unsure if each $G_i$ is the definition of composition series must be proper normal subgroup of $G_{i-1}$?



Here is definition of solvable group(before lemma 25.1.1):enter image description here










share|cite|improve this question




















  • 3




    Not every solvable group has a composition series. For example $({mathbb Z},+)$ has no such series. So you should prove it without using composition series.
    – Derek Holt
    Nov 20 at 14:56










  • Ok I guess I meant normal series. That is how my note defined solvable groups
    – mathnoob
    Nov 20 at 15:01










  • It is not correct for the trivial group $G=1$, where we have $G=G'$. Otherwise it follows from the derived series.
    – Dietrich Burde
    Nov 20 at 15:04












  • OK, so $G$ has a normal series $G =G_0 > G_1 > cdots G_k = 1$, where $G/G_1$ is abelian, so $G' le G_1$ and we are done. Of course, as Dietrich Burde points out, this only works if $|G|>1$.
    – Derek Holt
    Nov 20 at 15:07










  • It'd perhaps be helpful, for the question, to write down what your definition of "solvable group" is. Sometimes it requires something on the derived series, some other times it says something about a subnormal series with abelian factors...
    – DonAntonio
    Nov 20 at 15:07















up vote
0
down vote

favorite












Here is the question:




Let $G$ be a solvable group. Prove that $G neq G'$.




Is this correct?
Suppose $G=G'$, then the only abelian quotient of $G$ must be ${1}=G/G'$. So there is no proper normal subgroup $H$ of $G$ that gives abelian quotient $G/H$. So then in the normal serie, it should end with $G triangleright G triangleright {1}$. but $G/{1}$ doesn't give abelian composition factor. I'm just unsure if each $G_i$ is the definition of composition series must be proper normal subgroup of $G_{i-1}$?



Here is definition of solvable group(before lemma 25.1.1):enter image description here










share|cite|improve this question




















  • 3




    Not every solvable group has a composition series. For example $({mathbb Z},+)$ has no such series. So you should prove it without using composition series.
    – Derek Holt
    Nov 20 at 14:56










  • Ok I guess I meant normal series. That is how my note defined solvable groups
    – mathnoob
    Nov 20 at 15:01










  • It is not correct for the trivial group $G=1$, where we have $G=G'$. Otherwise it follows from the derived series.
    – Dietrich Burde
    Nov 20 at 15:04












  • OK, so $G$ has a normal series $G =G_0 > G_1 > cdots G_k = 1$, where $G/G_1$ is abelian, so $G' le G_1$ and we are done. Of course, as Dietrich Burde points out, this only works if $|G|>1$.
    – Derek Holt
    Nov 20 at 15:07










  • It'd perhaps be helpful, for the question, to write down what your definition of "solvable group" is. Sometimes it requires something on the derived series, some other times it says something about a subnormal series with abelian factors...
    – DonAntonio
    Nov 20 at 15:07













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Here is the question:




Let $G$ be a solvable group. Prove that $G neq G'$.




Is this correct?
Suppose $G=G'$, then the only abelian quotient of $G$ must be ${1}=G/G'$. So there is no proper normal subgroup $H$ of $G$ that gives abelian quotient $G/H$. So then in the normal serie, it should end with $G triangleright G triangleright {1}$. but $G/{1}$ doesn't give abelian composition factor. I'm just unsure if each $G_i$ is the definition of composition series must be proper normal subgroup of $G_{i-1}$?



Here is definition of solvable group(before lemma 25.1.1):enter image description here










share|cite|improve this question















Here is the question:




Let $G$ be a solvable group. Prove that $G neq G'$.




Is this correct?
Suppose $G=G'$, then the only abelian quotient of $G$ must be ${1}=G/G'$. So there is no proper normal subgroup $H$ of $G$ that gives abelian quotient $G/H$. So then in the normal serie, it should end with $G triangleright G triangleright {1}$. but $G/{1}$ doesn't give abelian composition factor. I'm just unsure if each $G_i$ is the definition of composition series must be proper normal subgroup of $G_{i-1}$?



Here is definition of solvable group(before lemma 25.1.1):enter image description here







group-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 20 at 15:35

























asked Nov 20 at 14:54









mathnoob

1,747322




1,747322








  • 3




    Not every solvable group has a composition series. For example $({mathbb Z},+)$ has no such series. So you should prove it without using composition series.
    – Derek Holt
    Nov 20 at 14:56










  • Ok I guess I meant normal series. That is how my note defined solvable groups
    – mathnoob
    Nov 20 at 15:01










  • It is not correct for the trivial group $G=1$, where we have $G=G'$. Otherwise it follows from the derived series.
    – Dietrich Burde
    Nov 20 at 15:04












  • OK, so $G$ has a normal series $G =G_0 > G_1 > cdots G_k = 1$, where $G/G_1$ is abelian, so $G' le G_1$ and we are done. Of course, as Dietrich Burde points out, this only works if $|G|>1$.
    – Derek Holt
    Nov 20 at 15:07










  • It'd perhaps be helpful, for the question, to write down what your definition of "solvable group" is. Sometimes it requires something on the derived series, some other times it says something about a subnormal series with abelian factors...
    – DonAntonio
    Nov 20 at 15:07














  • 3




    Not every solvable group has a composition series. For example $({mathbb Z},+)$ has no such series. So you should prove it without using composition series.
    – Derek Holt
    Nov 20 at 14:56










  • Ok I guess I meant normal series. That is how my note defined solvable groups
    – mathnoob
    Nov 20 at 15:01










  • It is not correct for the trivial group $G=1$, where we have $G=G'$. Otherwise it follows from the derived series.
    – Dietrich Burde
    Nov 20 at 15:04












  • OK, so $G$ has a normal series $G =G_0 > G_1 > cdots G_k = 1$, where $G/G_1$ is abelian, so $G' le G_1$ and we are done. Of course, as Dietrich Burde points out, this only works if $|G|>1$.
    – Derek Holt
    Nov 20 at 15:07










  • It'd perhaps be helpful, for the question, to write down what your definition of "solvable group" is. Sometimes it requires something on the derived series, some other times it says something about a subnormal series with abelian factors...
    – DonAntonio
    Nov 20 at 15:07








3




3




Not every solvable group has a composition series. For example $({mathbb Z},+)$ has no such series. So you should prove it without using composition series.
– Derek Holt
Nov 20 at 14:56




Not every solvable group has a composition series. For example $({mathbb Z},+)$ has no such series. So you should prove it without using composition series.
– Derek Holt
Nov 20 at 14:56












Ok I guess I meant normal series. That is how my note defined solvable groups
– mathnoob
Nov 20 at 15:01




Ok I guess I meant normal series. That is how my note defined solvable groups
– mathnoob
Nov 20 at 15:01












It is not correct for the trivial group $G=1$, where we have $G=G'$. Otherwise it follows from the derived series.
– Dietrich Burde
Nov 20 at 15:04






It is not correct for the trivial group $G=1$, where we have $G=G'$. Otherwise it follows from the derived series.
– Dietrich Burde
Nov 20 at 15:04














OK, so $G$ has a normal series $G =G_0 > G_1 > cdots G_k = 1$, where $G/G_1$ is abelian, so $G' le G_1$ and we are done. Of course, as Dietrich Burde points out, this only works if $|G|>1$.
– Derek Holt
Nov 20 at 15:07




OK, so $G$ has a normal series $G =G_0 > G_1 > cdots G_k = 1$, where $G/G_1$ is abelian, so $G' le G_1$ and we are done. Of course, as Dietrich Burde points out, this only works if $|G|>1$.
– Derek Holt
Nov 20 at 15:07












It'd perhaps be helpful, for the question, to write down what your definition of "solvable group" is. Sometimes it requires something on the derived series, some other times it says something about a subnormal series with abelian factors...
– DonAntonio
Nov 20 at 15:07




It'd perhaps be helpful, for the question, to write down what your definition of "solvable group" is. Sometimes it requires something on the derived series, some other times it says something about a subnormal series with abelian factors...
– DonAntonio
Nov 20 at 15:07










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










I think that you are requiring that $G$ is not trivial.
We have two cases:



1) If $G$ is an abelian group. Then $G'=0$, but $G=G'$ is not trivial. Contradiction.



2) If $G$ is not abelian, and $G'=G$ fails the fact that $G$ is solvable.






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: 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%2f3006408%2fcommutator-subgroup-g-of-a-solvable-group-g-is-not-g%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








    up vote
    0
    down vote



    accepted










    I think that you are requiring that $G$ is not trivial.
    We have two cases:



    1) If $G$ is an abelian group. Then $G'=0$, but $G=G'$ is not trivial. Contradiction.



    2) If $G$ is not abelian, and $G'=G$ fails the fact that $G$ is solvable.






    share|cite|improve this answer



























      up vote
      0
      down vote



      accepted










      I think that you are requiring that $G$ is not trivial.
      We have two cases:



      1) If $G$ is an abelian group. Then $G'=0$, but $G=G'$ is not trivial. Contradiction.



      2) If $G$ is not abelian, and $G'=G$ fails the fact that $G$ is solvable.






      share|cite|improve this answer

























        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        I think that you are requiring that $G$ is not trivial.
        We have two cases:



        1) If $G$ is an abelian group. Then $G'=0$, but $G=G'$ is not trivial. Contradiction.



        2) If $G$ is not abelian, and $G'=G$ fails the fact that $G$ is solvable.






        share|cite|improve this answer














        I think that you are requiring that $G$ is not trivial.
        We have two cases:



        1) If $G$ is an abelian group. Then $G'=0$, but $G=G'$ is not trivial. Contradiction.



        2) If $G$ is not abelian, and $G'=G$ fails the fact that $G$ is solvable.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 21 at 1:54

























        answered Nov 20 at 15:37









        José Alejandro Aburto Araneda

        41019




        41019






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


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


            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%2f3006408%2fcommutator-subgroup-g-of-a-solvable-group-g-is-not-g%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

            Puebla de Zaragoza

            Musa