Subgroup of finite index in mathematical writing





.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}







0















I have a question about mathematical writing. A group G can have a subgroup H and every subgroup H has a so called index in G, which is a number (finite or infinite) and depends on both G and H and is written [H : G].



Which of the following two version is better?




A: For every subgroup H of finite index in G there exists a subgroup J of finite index in H such that ...




or




B: For every subgroup H in G of finite index there exists a subgroup J in H of finite index such that ...




I personally find the first one more logical but the second one better to read because it is immeditately clear that H is a subgroup of G. Is it bad style in the second version to write "of finite index" after specifying the subgroup itself?










share|improve this question







New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
















  • 2





    I'd split up the noun phrases differently. For every subgroup of finite index H in G, there exists a subgroup of finite index J in H, such that ...

    – John Lawler
    2 days ago











  • You will probaly get more accurate advice if you ask this on a specialist website, like math.SE because they'll know their own style much better. Also, look at how other mathematicians write it (google subgroup finite index). That said. rewording a lot more may help (like John's comment). But frankly, both are fine. I might be more likely to say subgroup H of G, but people use in all the time too.

    – Mitch
    2 days ago











  • @JohnLawler Thank you, I like this too and I think I will use this version of yours now. The reason I did not include it in the first place is that I initially thought one might mistake "of finite index H" to mean that H itself should be the index, but I think the danger is probably very low, especially because H is an uppercase letter and numbers are usually denoted by lowercase letters.

    – abenthy
    yesterday


















0















I have a question about mathematical writing. A group G can have a subgroup H and every subgroup H has a so called index in G, which is a number (finite or infinite) and depends on both G and H and is written [H : G].



Which of the following two version is better?




A: For every subgroup H of finite index in G there exists a subgroup J of finite index in H such that ...




or




B: For every subgroup H in G of finite index there exists a subgroup J in H of finite index such that ...




I personally find the first one more logical but the second one better to read because it is immeditately clear that H is a subgroup of G. Is it bad style in the second version to write "of finite index" after specifying the subgroup itself?










share|improve this question







New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
















  • 2





    I'd split up the noun phrases differently. For every subgroup of finite index H in G, there exists a subgroup of finite index J in H, such that ...

    – John Lawler
    2 days ago











  • You will probaly get more accurate advice if you ask this on a specialist website, like math.SE because they'll know their own style much better. Also, look at how other mathematicians write it (google subgroup finite index). That said. rewording a lot more may help (like John's comment). But frankly, both are fine. I might be more likely to say subgroup H of G, but people use in all the time too.

    – Mitch
    2 days ago











  • @JohnLawler Thank you, I like this too and I think I will use this version of yours now. The reason I did not include it in the first place is that I initially thought one might mistake "of finite index H" to mean that H itself should be the index, but I think the danger is probably very low, especially because H is an uppercase letter and numbers are usually denoted by lowercase letters.

    – abenthy
    yesterday














0












0








0








I have a question about mathematical writing. A group G can have a subgroup H and every subgroup H has a so called index in G, which is a number (finite or infinite) and depends on both G and H and is written [H : G].



Which of the following two version is better?




A: For every subgroup H of finite index in G there exists a subgroup J of finite index in H such that ...




or




B: For every subgroup H in G of finite index there exists a subgroup J in H of finite index such that ...




I personally find the first one more logical but the second one better to read because it is immeditately clear that H is a subgroup of G. Is it bad style in the second version to write "of finite index" after specifying the subgroup itself?










share|improve this question







New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












I have a question about mathematical writing. A group G can have a subgroup H and every subgroup H has a so called index in G, which is a number (finite or infinite) and depends on both G and H and is written [H : G].



Which of the following two version is better?




A: For every subgroup H of finite index in G there exists a subgroup J of finite index in H such that ...




or




B: For every subgroup H in G of finite index there exists a subgroup J in H of finite index such that ...




I personally find the first one more logical but the second one better to read because it is immeditately clear that H is a subgroup of G. Is it bad style in the second version to write "of finite index" after specifying the subgroup itself?







mathematics






share|improve this question







New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|improve this question







New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|improve this question




share|improve this question






New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 2 days ago









abenthyabenthy

1011




1011




New contributor




abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






abenthy is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.








  • 2





    I'd split up the noun phrases differently. For every subgroup of finite index H in G, there exists a subgroup of finite index J in H, such that ...

    – John Lawler
    2 days ago











  • You will probaly get more accurate advice if you ask this on a specialist website, like math.SE because they'll know their own style much better. Also, look at how other mathematicians write it (google subgroup finite index). That said. rewording a lot more may help (like John's comment). But frankly, both are fine. I might be more likely to say subgroup H of G, but people use in all the time too.

    – Mitch
    2 days ago











  • @JohnLawler Thank you, I like this too and I think I will use this version of yours now. The reason I did not include it in the first place is that I initially thought one might mistake "of finite index H" to mean that H itself should be the index, but I think the danger is probably very low, especially because H is an uppercase letter and numbers are usually denoted by lowercase letters.

    – abenthy
    yesterday














  • 2





    I'd split up the noun phrases differently. For every subgroup of finite index H in G, there exists a subgroup of finite index J in H, such that ...

    – John Lawler
    2 days ago











  • You will probaly get more accurate advice if you ask this on a specialist website, like math.SE because they'll know their own style much better. Also, look at how other mathematicians write it (google subgroup finite index). That said. rewording a lot more may help (like John's comment). But frankly, both are fine. I might be more likely to say subgroup H of G, but people use in all the time too.

    – Mitch
    2 days ago











  • @JohnLawler Thank you, I like this too and I think I will use this version of yours now. The reason I did not include it in the first place is that I initially thought one might mistake "of finite index H" to mean that H itself should be the index, but I think the danger is probably very low, especially because H is an uppercase letter and numbers are usually denoted by lowercase letters.

    – abenthy
    yesterday








2




2





I'd split up the noun phrases differently. For every subgroup of finite index H in G, there exists a subgroup of finite index J in H, such that ...

– John Lawler
2 days ago





I'd split up the noun phrases differently. For every subgroup of finite index H in G, there exists a subgroup of finite index J in H, such that ...

– John Lawler
2 days ago













You will probaly get more accurate advice if you ask this on a specialist website, like math.SE because they'll know their own style much better. Also, look at how other mathematicians write it (google subgroup finite index). That said. rewording a lot more may help (like John's comment). But frankly, both are fine. I might be more likely to say subgroup H of G, but people use in all the time too.

– Mitch
2 days ago





You will probaly get more accurate advice if you ask this on a specialist website, like math.SE because they'll know their own style much better. Also, look at how other mathematicians write it (google subgroup finite index). That said. rewording a lot more may help (like John's comment). But frankly, both are fine. I might be more likely to say subgroup H of G, but people use in all the time too.

– Mitch
2 days ago













@JohnLawler Thank you, I like this too and I think I will use this version of yours now. The reason I did not include it in the first place is that I initially thought one might mistake "of finite index H" to mean that H itself should be the index, but I think the danger is probably very low, especially because H is an uppercase letter and numbers are usually denoted by lowercase letters.

– abenthy
yesterday





@JohnLawler Thank you, I like this too and I think I will use this version of yours now. The reason I did not include it in the first place is that I initially thought one might mistake "of finite index H" to mean that H itself should be the index, but I think the danger is probably very low, especially because H is an uppercase letter and numbers are usually denoted by lowercase letters.

– abenthy
yesterday










1 Answer
1






active

oldest

votes


















2














Mathematician here! I have seen the "less than or equal to" sign (⩽) occasionally used to mean "subgroup". So, you could write your statement as:



"Given a group G, for every H⩽G of finite index there exists J⩽H of finite index such that ..."



You could, of course, first define your own notation for subgroup and use that instead. I believe this is best because it makes it clear that you're talking about subgroups with finite index. I doubt that any mathematician reading this would have an issue understanding it.






share|improve this answer
























    Your Answer








    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "97"
    };
    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: false,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: null,
    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
    });


    }
    });






    abenthy is a new contributor. Be nice, and check out our Code of Conduct.










    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fenglish.stackexchange.com%2fquestions%2f493508%2fsubgroup-of-finite-index-in-mathematical-writing%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









    2














    Mathematician here! I have seen the "less than or equal to" sign (⩽) occasionally used to mean "subgroup". So, you could write your statement as:



    "Given a group G, for every H⩽G of finite index there exists J⩽H of finite index such that ..."



    You could, of course, first define your own notation for subgroup and use that instead. I believe this is best because it makes it clear that you're talking about subgroups with finite index. I doubt that any mathematician reading this would have an issue understanding it.






    share|improve this answer




























      2














      Mathematician here! I have seen the "less than or equal to" sign (⩽) occasionally used to mean "subgroup". So, you could write your statement as:



      "Given a group G, for every H⩽G of finite index there exists J⩽H of finite index such that ..."



      You could, of course, first define your own notation for subgroup and use that instead. I believe this is best because it makes it clear that you're talking about subgroups with finite index. I doubt that any mathematician reading this would have an issue understanding it.






      share|improve this answer


























        2












        2








        2







        Mathematician here! I have seen the "less than or equal to" sign (⩽) occasionally used to mean "subgroup". So, you could write your statement as:



        "Given a group G, for every H⩽G of finite index there exists J⩽H of finite index such that ..."



        You could, of course, first define your own notation for subgroup and use that instead. I believe this is best because it makes it clear that you're talking about subgroups with finite index. I doubt that any mathematician reading this would have an issue understanding it.






        share|improve this answer













        Mathematician here! I have seen the "less than or equal to" sign (⩽) occasionally used to mean "subgroup". So, you could write your statement as:



        "Given a group G, for every H⩽G of finite index there exists J⩽H of finite index such that ..."



        You could, of course, first define your own notation for subgroup and use that instead. I believe this is best because it makes it clear that you're talking about subgroups with finite index. I doubt that any mathematician reading this would have an issue understanding it.







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 2 days ago









        Brendan W. SullivanBrendan W. Sullivan

        32617




        32617






















            abenthy is a new contributor. Be nice, and check out our Code of Conduct.










            draft saved

            draft discarded


















            abenthy is a new contributor. Be nice, and check out our Code of Conduct.













            abenthy is a new contributor. Be nice, and check out our Code of Conduct.












            abenthy is a new contributor. Be nice, and check out our Code of Conduct.
















            Thanks for contributing an answer to English Language & Usage 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.


            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%2fenglish.stackexchange.com%2fquestions%2f493508%2fsubgroup-of-finite-index-in-mathematical-writing%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

            數位音樂下載

            格利澤436b

            When can things happen in Etherscan, such as the picture below?