Open problems concerning all the finite groups












6












$begingroup$


What are the open problems concerning all the finite groups?



The references will be appreciated. Here are two examples:




  • Aschbacher-Guralnick conjecture (AG1984 p.447): the number of conjugacy classes of maximal subgroups of a finite group is at most its class number (i.e. the number of conjugacy classes of elements, or the number of irreducible complex representations up to equiv.).


  • K.S. Brown's problem (B2000 Q.4; SW2016 p.760): Let $G$ be a finite group, $mu$ be the Möbius function of its subgroup lattice $L(G)$. Then the sum $sum_{H in L(G)}mu(H,G)|G:H|$ is nonzero.



There are two types of problems, those involving an upper/lower bound (like Aschbacher-Guralnick conjecture) and those "exact", involving no bound (like K.S. Brown's problem). I guess the first type is much more abundant than the second, so for the first type, please restrict to the main problems.






gr.group-theory finite-groups big-list open-problems algebraic-combinatorics







share|cite|improve this question









$endgroup$












  • $begingroup$
    It's not clear what's a theorem/problem about "all" finite groups. A theorem about nilpotent finite groups, for instance, can provide information to Sylow subgroups of all finite groups, etc. Many problems about "all" finite groups are treated by reduction to special subcases (e.g., simple groups).
    $endgroup$
    – YCor
    yesterday










  • $begingroup$
    I would suggest not to restrict to "all" finite group - just finite groups would be ok, imho. It does not seems to me that we get so many answers that it would be difficult to navigate, and subdivision to "all" - "not all" would be justified
    $endgroup$
    – Alexander Chervov
    yesterday






  • 1




    $begingroup$
    I like this open problem (mathoverflow.net/q/316434/61536) on prime factrization of finite groups: Can each finite group $G$ be written as the product $G=A_1cdots A_n$ of subsets of prime cardinality such that $|G|=|A_1|cdots|A_n|$?
    $endgroup$
    – Taras Banakh
    yesterday


















6












$begingroup$


What are the open problems concerning all the finite groups?



The references will be appreciated. Here are two examples:




  • Aschbacher-Guralnick conjecture (AG1984 p.447): the number of conjugacy classes of maximal subgroups of a finite group is at most its class number (i.e. the number of conjugacy classes of elements, or the number of irreducible complex representations up to equiv.).


  • K.S. Brown's problem (B2000 Q.4; SW2016 p.760): Let $G$ be a finite group, $mu$ be the Möbius function of its subgroup lattice $L(G)$. Then the sum $sum_{H in L(G)}mu(H,G)|G:H|$ is nonzero.



There are two types of problems, those involving an upper/lower bound (like Aschbacher-Guralnick conjecture) and those "exact", involving no bound (like K.S. Brown's problem). I guess the first type is much more abundant than the second, so for the first type, please restrict to the main problems.






gr.group-theory finite-groups big-list open-problems algebraic-combinatorics







share|cite|improve this question









$endgroup$












  • $begingroup$
    It's not clear what's a theorem/problem about "all" finite groups. A theorem about nilpotent finite groups, for instance, can provide information to Sylow subgroups of all finite groups, etc. Many problems about "all" finite groups are treated by reduction to special subcases (e.g., simple groups).
    $endgroup$
    – YCor
    yesterday










  • $begingroup$
    I would suggest not to restrict to "all" finite group - just finite groups would be ok, imho. It does not seems to me that we get so many answers that it would be difficult to navigate, and subdivision to "all" - "not all" would be justified
    $endgroup$
    – Alexander Chervov
    yesterday






  • 1




    $begingroup$
    I like this open problem (mathoverflow.net/q/316434/61536) on prime factrization of finite groups: Can each finite group $G$ be written as the product $G=A_1cdots A_n$ of subsets of prime cardinality such that $|G|=|A_1|cdots|A_n|$?
    $endgroup$
    – Taras Banakh
    yesterday
















6












6








6


3



$begingroup$


What are the open problems concerning all the finite groups?



The references will be appreciated. Here are two examples:




  • Aschbacher-Guralnick conjecture (AG1984 p.447): the number of conjugacy classes of maximal subgroups of a finite group is at most its class number (i.e. the number of conjugacy classes of elements, or the number of irreducible complex representations up to equiv.).


  • K.S. Brown's problem (B2000 Q.4; SW2016 p.760): Let $G$ be a finite group, $mu$ be the Möbius function of its subgroup lattice $L(G)$. Then the sum $sum_{H in L(G)}mu(H,G)|G:H|$ is nonzero.



There are two types of problems, those involving an upper/lower bound (like Aschbacher-Guralnick conjecture) and those "exact", involving no bound (like K.S. Brown's problem). I guess the first type is much more abundant than the second, so for the first type, please restrict to the main problems.






gr.group-theory finite-groups big-list open-problems algebraic-combinatorics







share|cite|improve this question









$endgroup$




What are the open problems concerning all the finite groups?



The references will be appreciated. Here are two examples:




  • Aschbacher-Guralnick conjecture (AG1984 p.447): the number of conjugacy classes of maximal subgroups of a finite group is at most its class number (i.e. the number of conjugacy classes of elements, or the number of irreducible complex representations up to equiv.).


  • K.S. Brown's problem (B2000 Q.4; SW2016 p.760): Let $G$ be a finite group, $mu$ be the Möbius function of its subgroup lattice $L(G)$. Then the sum $sum_{H in L(G)}mu(H,G)|G:H|$ is nonzero.



There are two types of problems, those involving an upper/lower bound (like Aschbacher-Guralnick conjecture) and those "exact", involving no bound (like K.S. Brown's problem). I guess the first type is much more abundant than the second, so for the first type, please restrict to the main problems.






gr.group-theory finite-groups big-list open-problems algebraic-combinatorics




gr.group-theory finite-groups big-list open-problems algebraic-combinatorics






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked yesterday









Sebastien PalcouxSebastien Palcoux

8,173338107




8,173338107












  • $begingroup$
    It's not clear what's a theorem/problem about "all" finite groups. A theorem about nilpotent finite groups, for instance, can provide information to Sylow subgroups of all finite groups, etc. Many problems about "all" finite groups are treated by reduction to special subcases (e.g., simple groups).
    $endgroup$
    – YCor
    yesterday










  • $begingroup$
    I would suggest not to restrict to "all" finite group - just finite groups would be ok, imho. It does not seems to me that we get so many answers that it would be difficult to navigate, and subdivision to "all" - "not all" would be justified
    $endgroup$
    – Alexander Chervov
    yesterday






  • 1




    $begingroup$
    I like this open problem (mathoverflow.net/q/316434/61536) on prime factrization of finite groups: Can each finite group $G$ be written as the product $G=A_1cdots A_n$ of subsets of prime cardinality such that $|G|=|A_1|cdots|A_n|$?
    $endgroup$
    – Taras Banakh
    yesterday




















  • $begingroup$
    It's not clear what's a theorem/problem about "all" finite groups. A theorem about nilpotent finite groups, for instance, can provide information to Sylow subgroups of all finite groups, etc. Many problems about "all" finite groups are treated by reduction to special subcases (e.g., simple groups).
    $endgroup$
    – YCor
    yesterday










  • $begingroup$
    I would suggest not to restrict to "all" finite group - just finite groups would be ok, imho. It does not seems to me that we get so many answers that it would be difficult to navigate, and subdivision to "all" - "not all" would be justified
    $endgroup$
    – Alexander Chervov
    yesterday






  • 1




    $begingroup$
    I like this open problem (mathoverflow.net/q/316434/61536) on prime factrization of finite groups: Can each finite group $G$ be written as the product $G=A_1cdots A_n$ of subsets of prime cardinality such that $|G|=|A_1|cdots|A_n|$?
    $endgroup$
    – Taras Banakh
    yesterday


















$begingroup$
It's not clear what's a theorem/problem about "all" finite groups. A theorem about nilpotent finite groups, for instance, can provide information to Sylow subgroups of all finite groups, etc. Many problems about "all" finite groups are treated by reduction to special subcases (e.g., simple groups).
$endgroup$
– YCor
yesterday




$begingroup$
It's not clear what's a theorem/problem about "all" finite groups. A theorem about nilpotent finite groups, for instance, can provide information to Sylow subgroups of all finite groups, etc. Many problems about "all" finite groups are treated by reduction to special subcases (e.g., simple groups).
$endgroup$
– YCor
yesterday












$begingroup$
I would suggest not to restrict to "all" finite group - just finite groups would be ok, imho. It does not seems to me that we get so many answers that it would be difficult to navigate, and subdivision to "all" - "not all" would be justified
$endgroup$
– Alexander Chervov
yesterday




$begingroup$
I would suggest not to restrict to "all" finite group - just finite groups would be ok, imho. It does not seems to me that we get so many answers that it would be difficult to navigate, and subdivision to "all" - "not all" would be justified
$endgroup$
– Alexander Chervov
yesterday




1




1




$begingroup$
I like this open problem (mathoverflow.net/q/316434/61536) on prime factrization of finite groups: Can each finite group $G$ be written as the product $G=A_1cdots A_n$ of subsets of prime cardinality such that $|G|=|A_1|cdots|A_n|$?
$endgroup$
– Taras Banakh
yesterday






$begingroup$
I like this open problem (mathoverflow.net/q/316434/61536) on prime factrization of finite groups: Can each finite group $G$ be written as the product $G=A_1cdots A_n$ of subsets of prime cardinality such that $|G|=|A_1|cdots|A_n|$?
$endgroup$
– Taras Banakh
yesterday












1 Answer
1






active

oldest

votes


















5












$begingroup$

There are plenty of examples; the below are taken from the Kourovka Notebook, and include a fairly broad range of topics.




  • (4.55) Let $G$ be a finite group and $mathbb{Z}_p$ the localization at $p$. Does the Krull-Schmidt theorem hold for projective $mathbb{Z}_pG$-modules?

  • (8.51) If $G$ is a finite group and $p$ a prime, let $m_p(G)$ denote the number of ordinary irreducible characters of $G$ whose degree is not divisible by $p$. Let $P$ be a Sylow $p$-subgroup of $G$. Is it true that $m_p(G) = m_p(N_G(P))$?

  • (9.6) Is it true that an independent basis of quasiidentities of any finite group is finite?


A few other questions of a similar format to the questions you provided include (9.23), (11.17), (13.31), and (16.45).



The questions I picked are all of the form "Is $P$ true for all finite groups $G$?". There are many questions of the form "Characterize the finite groups $G$ for which $P$ holds", which to my ears has a slightly different ring to it than what you were asking for. There are also some questions regarding the class of finite groups, which again is a different interpretation.



Indeed, completely in line with Yves' comment, there is some ambiguity in what a problem for "all" finite groups should look like. Fortunately, there are enough problems in the Notebook to satisfy any interpretation, I should think.






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: "504"
    };
    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%2fmathoverflow.net%2fquestions%2f326199%2fopen-problems-concerning-all-the-finite-groups%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









    5












    $begingroup$

    There are plenty of examples; the below are taken from the Kourovka Notebook, and include a fairly broad range of topics.




    • (4.55) Let $G$ be a finite group and $mathbb{Z}_p$ the localization at $p$. Does the Krull-Schmidt theorem hold for projective $mathbb{Z}_pG$-modules?

    • (8.51) If $G$ is a finite group and $p$ a prime, let $m_p(G)$ denote the number of ordinary irreducible characters of $G$ whose degree is not divisible by $p$. Let $P$ be a Sylow $p$-subgroup of $G$. Is it true that $m_p(G) = m_p(N_G(P))$?

    • (9.6) Is it true that an independent basis of quasiidentities of any finite group is finite?


    A few other questions of a similar format to the questions you provided include (9.23), (11.17), (13.31), and (16.45).



    The questions I picked are all of the form "Is $P$ true for all finite groups $G$?". There are many questions of the form "Characterize the finite groups $G$ for which $P$ holds", which to my ears has a slightly different ring to it than what you were asking for. There are also some questions regarding the class of finite groups, which again is a different interpretation.



    Indeed, completely in line with Yves' comment, there is some ambiguity in what a problem for "all" finite groups should look like. Fortunately, there are enough problems in the Notebook to satisfy any interpretation, I should think.






    share|cite|improve this answer









    $endgroup$


















      5












      $begingroup$

      There are plenty of examples; the below are taken from the Kourovka Notebook, and include a fairly broad range of topics.




      • (4.55) Let $G$ be a finite group and $mathbb{Z}_p$ the localization at $p$. Does the Krull-Schmidt theorem hold for projective $mathbb{Z}_pG$-modules?

      • (8.51) If $G$ is a finite group and $p$ a prime, let $m_p(G)$ denote the number of ordinary irreducible characters of $G$ whose degree is not divisible by $p$. Let $P$ be a Sylow $p$-subgroup of $G$. Is it true that $m_p(G) = m_p(N_G(P))$?

      • (9.6) Is it true that an independent basis of quasiidentities of any finite group is finite?


      A few other questions of a similar format to the questions you provided include (9.23), (11.17), (13.31), and (16.45).



      The questions I picked are all of the form "Is $P$ true for all finite groups $G$?". There are many questions of the form "Characterize the finite groups $G$ for which $P$ holds", which to my ears has a slightly different ring to it than what you were asking for. There are also some questions regarding the class of finite groups, which again is a different interpretation.



      Indeed, completely in line with Yves' comment, there is some ambiguity in what a problem for "all" finite groups should look like. Fortunately, there are enough problems in the Notebook to satisfy any interpretation, I should think.






      share|cite|improve this answer









      $endgroup$
















        5












        5








        5





        $begingroup$

        There are plenty of examples; the below are taken from the Kourovka Notebook, and include a fairly broad range of topics.




        • (4.55) Let $G$ be a finite group and $mathbb{Z}_p$ the localization at $p$. Does the Krull-Schmidt theorem hold for projective $mathbb{Z}_pG$-modules?

        • (8.51) If $G$ is a finite group and $p$ a prime, let $m_p(G)$ denote the number of ordinary irreducible characters of $G$ whose degree is not divisible by $p$. Let $P$ be a Sylow $p$-subgroup of $G$. Is it true that $m_p(G) = m_p(N_G(P))$?

        • (9.6) Is it true that an independent basis of quasiidentities of any finite group is finite?


        A few other questions of a similar format to the questions you provided include (9.23), (11.17), (13.31), and (16.45).



        The questions I picked are all of the form "Is $P$ true for all finite groups $G$?". There are many questions of the form "Characterize the finite groups $G$ for which $P$ holds", which to my ears has a slightly different ring to it than what you were asking for. There are also some questions regarding the class of finite groups, which again is a different interpretation.



        Indeed, completely in line with Yves' comment, there is some ambiguity in what a problem for "all" finite groups should look like. Fortunately, there are enough problems in the Notebook to satisfy any interpretation, I should think.






        share|cite|improve this answer









        $endgroup$



        There are plenty of examples; the below are taken from the Kourovka Notebook, and include a fairly broad range of topics.




        • (4.55) Let $G$ be a finite group and $mathbb{Z}_p$ the localization at $p$. Does the Krull-Schmidt theorem hold for projective $mathbb{Z}_pG$-modules?

        • (8.51) If $G$ is a finite group and $p$ a prime, let $m_p(G)$ denote the number of ordinary irreducible characters of $G$ whose degree is not divisible by $p$. Let $P$ be a Sylow $p$-subgroup of $G$. Is it true that $m_p(G) = m_p(N_G(P))$?

        • (9.6) Is it true that an independent basis of quasiidentities of any finite group is finite?


        A few other questions of a similar format to the questions you provided include (9.23), (11.17), (13.31), and (16.45).



        The questions I picked are all of the form "Is $P$ true for all finite groups $G$?". There are many questions of the form "Characterize the finite groups $G$ for which $P$ holds", which to my ears has a slightly different ring to it than what you were asking for. There are also some questions regarding the class of finite groups, which again is a different interpretation.



        Indeed, completely in line with Yves' comment, there is some ambiguity in what a problem for "all" finite groups should look like. Fortunately, there are enough problems in the Notebook to satisfy any interpretation, I should think.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered yesterday









        Carl-Fredrik Nyberg BroddaCarl-Fredrik Nyberg Brodda

        396210




        396210






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to MathOverflow!


            • 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%2fmathoverflow.net%2fquestions%2f326199%2fopen-problems-concerning-all-the-finite-groups%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

            Identifying “long and narrow” polygons in with PostGISlength and width of polygonWhy postgis st_overlaps reports Qgis' “avoid intersections” generated polygon as overlapping with others?Adjusting polygons to boundary and filling holesDrawing polygons with fixed area?How to remove spikes in Polygons with PostGISDeleting sliver polygons after difference operation in QGIS?Snapping boundaries in PostGISSplit polygon into parts adding attributes based on underlying polygon in QGISSplitting overlap between polygons and assign to nearest polygon using PostGIS?Expanding polygons and clipping at midpoint?Removing Intersection of Buffers in Same Layers

            Image
            Do I have to worry about players making “bad” choices on level up? Is thermodynamics only applicable to systems in equilibrium? gnu parallel how to use with ffmpeg Has any spacecraft ever had the ability to directly communicate with civilian air traffic control? Reverse the word in a string with the same order in javascript Is creating your own "experiment" considered cheating during a physics exam? How to stop co-workers from teasing me because I know Russian? What is a Recurrent Neural Network? Any examples of headwear for races with animal ears? Confusion about capacitors TikZ how to make supply and demand arrows for nodes? Does a creature that is immune to a condition still make a saving throw? How to verbalise code in Mathematica? Upright [...] in italics quotation Cannot populate data in lightning data table Stark VS Thanos Binary Numbers Magic Trick In gnome-terminal only 2 out of 3 zoom keys work You look catfish vs You look like a
            Read more

            Masuk log Menu navigasi

            Image
            JawaSundaBanyumasanBugisAcehBanjarMinangMelayuDeutschEnglishEspañolFrançaisItalianoNederlands (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003Etutupu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="id" dir="ltr"u003Eu003C/divu003Eu003C/divu003Eu003C/divu003E";()); Masuk log Loncat ke navigasi Loncat ke pencarian Bahasa: Jawa | Sunda | Banyumasan | Bugis | Aceh | Banjar | Minang | Melayu | Deutsch | English | Español | Français | Italiano | Nederlands Nama pengguna Kata sandi   Biarkan saya tetap masuk Masuk log Bantuan masuk log Lupa kata sandi? Belum punya akun?Gabung Wikipedia Diperoleh dari "https:/
            Read more

            อาณาจักร (ชีววิทยา) ดูเพิ่ม อ้างอิง รายการเลือกการนำทาง10.1086/39456810.5962/bhl.title.447410.1126/science.163.3863.150576276010.1007/BF01796092408502"Phylogenetic structure of the prokaryotic domain: the primary kingdoms"10.1073/pnas.74.11.5088432104270744"Towards a natural system of organisms: proposal for the domains Archaea, Bacteria, and Eucarya"1990PNAS...87.4576W10.1073/pnas.87.12.4576541592112744PubMedJump the queueexpand by handPubMedJump the queueexpand by handPubMedJump the queueexpand by hand"A revised six-kingdom system of life"10.1111/j.1469-185X.1998.tb00030.x9809012"Only six kingdoms of life"10.1098/rspb.2004.2705169172415306349"Kingdoms Protozoa and Chromista and the eozoan root of the eukaryotic tree"10.1098/rsbl.2009.0948288006020031978กเพิ่มข้อมูล

            Image
            Pages using PMID magic linksอาณาจักร (ชีววิทยา)บทความเกี่ยวกับ ชีววิทยา ที่ยังไม่สมบูรณ์ ชีววิทยาอนุกรมวิธานอาณาจักรโดเมน (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003Eปิดu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="th" dir="ltr"u003Eu003Cp class="mw-empty-elt"u003Eu003C/pu003Eu003C/divu003Eu003C/divu003Eu003C/divu003E";()); อาณาจักร (ชีววิทยา) จากวิกิพีเดีย สารานุกรมเสรี ไปยังการนำทาง ไปยังการค้นหา แปดลำดับขั้นสำคัญ ๆ ของการจำแนกชั้นทางวิทยาศาสตร์ ในหนึ่งโดเมนประกอบด้วยหนึ่งอาณาจักรขึ้นไป ตามแผนภาพไม่ได้แสดงลำดับขั้นที่อยู่อื่น ๆ ที่อยู่ระหว่างนี้ ในชีววิทยา, อาณาจักร [Kingdom] เป็นระดับหรือหม
            Read more