MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a finite group and $H_1,\ldots, H_n$ a set of maximal subgroups of $G$. Let $\delta_{H_i}$ be delta functions with support on $H_i$, and let $A$ be the commutative algebra generated by $\delta_{H_i}$.

Question: is dimension of $A$ greater or equal to $n$?

Motivation: In 1961 G.E.Wall conjectured that the number of maximal subgroups in a finite group $G$ is less than the order of $G$. A positive answer to the above question will imply Wall's conjecture. In fact it will even imply a relative version of Wall's conjecture: the number of maximal subgroups in $G$ which contain a subgroup $H$ is bounded by the number of double cosets in $G$, see arXiv:1006.5947 for more discussions and motivations from subfactors.

The question seems to be combinatorial in nature: the basis of $A$ is simply the list of subsets of $G$ obtained by cutting with $H_i$'s. for $n =2,3$ one can check directly, and one may try induction on $n$. Any references on this will be appreciated.

share|cite|improve this question

Wall's conjecture is now known to be false : see this question and the answers there.

share|cite|improve this answer
But still open up to conjugacy classes thanks to the answer of Nick Gill. – Sebastien Palcoux Feb 19 '14 at 13:09

Your Answer


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.