Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a finite group. I want to find an upper bound on the number of the maximal subgroups. My questions is does it possible to prove that the number of maximal subgroups of any finite group $G$ is at most $|G|^{100}$?

One can easily find that any subgroup is generated by at most $\log|G|$ elements thus the number of subgroups(in particular maximal subgroups) is at most $|G|^{\log|G|}$. Does it possible to improve this upper bound. For an abelian group the number of maximal subgroups is at most $|G|$ and in fact I do not know any example where the number of maximal subgroups is more than $|G|$.

I am almost sure that I am not the first who is asking this question I would like to know if the answer to this question is known or either this is a hard question.

share|improve this question
    
There's a load of good stuff on this here: aimath.org/news/wallsconjecture/wall.conjecture.pdf –  Nick Gill Dec 7 '12 at 15:46
add comment

2 Answers 2

up vote 14 down vote accepted

Another extended comment. The best bound on the number of subgroups is $|G|^{(1/4+o(1))\log_2 |G|}$ proved in http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.100.913&rep=rep1&type=pdf by Borovik, Pyber and Shalev.

For the number of maximal solvable subgroups they get $|G|^c$ for some constant. They don't estimate c but conjecture it is 1.

Added. The survey László Pyber, Asymptotic results for simple groups and some applications. Groups and computation, II (New Brunswick, NJ, 1995), 309–327, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., 28, Amer. Math. Soc., Providence, RI, 1997 claims there is a bound of the form $|G|^c$ for any group G on maximal subgroups but c is not described. It is conjectured c=1 will do.

Added. Jesse in the comments below cites a more recent and better bound of $c|G|^{3/2}$. I am making this CW to not get credit for his answer.

share|improve this answer
6  
In the paper Martin W. Liebecka, Laszlo Pyberb, Aner Shalev: On a conjecture of G.E. Wall. Journal of Algebra, 317, no.1, p. 184-197 (2007) they give an upper bound of $c|G|^{3/2}$ for some absolute constant $c$. –  Jesse Peterson Aug 15 '12 at 17:33
1  
@Jesse, that should be an answer. –  Benjamin Steinberg Aug 15 '12 at 17:54
3  
There's no need to make this a CW. I learned of Wall's conjecture from Feng Xu who has considered generalizations for subfactors in a couple of papers. He asked a related question about this in April: mathoverflow.net/questions/94553/… –  Jesse Peterson Aug 15 '12 at 18:59
1  
NB There's a typo in the reference - that should be Martin Liebeck. –  HJRW Aug 15 '12 at 20:51
1  
There is a book called subgroup lattices. Google it. –  Benjamin Steinberg Aug 16 '12 at 13:46
show 5 more comments

The document I linked to above is sufficiently striking as to warrant an answer of its own. I hope it complements the community wiki above.

As mentioned above the relevant conjecture in this area is due to Wall:

Conjecture The number of maximal subgroups of a finite group $G$ is less than the order of $G$.

This has been the subject of much study with the landmark work (until recently) being the above-cited work of Liebeck, Pyber and Shalev. In addition to the result mentioned above they show that the conjecture is true if the group $G$ is simple, up to a finite number of exceptions.

Now a quote from the linked document is relevant:

This largely directed attention to composite groups, where Wall in his original paper had at least shown the conjecture to be true for finite solvable groups. The key remaining cases were known to be semidirect products of a vector space V with a nearly simple finite group G acting faithfully and irreducibly on it.

It turns out that in this case Wall's conjecture implies some bounds on the cohomology groups $H^1(G,V)$. And, as the document relates, examples have now been found which violate these bounds. In particular, Wall's conjecture does not hold.

In light of this development, the bound $C|G|^{3/2}$ mentioned above, also due to Liebeck, Pyber and Shalev, assumes greater importance. Although, as the linked document mentions, it is likely that the value $3/2$ can be reduced a great deal.

One final interesting quote:

A conjecture of Aschbacker and Guralnick, not made at the conference... would now rise to be the main conjecture in maximal subgroup theory. (The conjecture states that it is the number of conjugacy classes of maximal subgroups that is bounded, less than the number of conjugacy classes of elements in the group.)

Anyone interested should definitely read this document. Not only is it interesting mathematically, it's a very engaging account of how this recent breakthrough was achieved.

share|improve this answer
    
Your link was broken. I think I fixed it (that is it links to something now, though it's possible you intended to link to something else on that site). –  Noah Snyder Dec 7 '12 at 22:26
    
Fantastic answer! I hadn't heard about this breakthrough, though like Jesse I've been interested in Wall's conjecture from the subfactor side. –  Noah Snyder Dec 7 '12 at 22:36
    
@Noah, thanks for fixing the link (you got the right one) and for the positive feedback - appreciated. nick –  Nick Gill Dec 10 '12 at 16:39
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.