About ten years ago I wrote a six-page paper, which I didn’t succeed in getting any journal editor to publish. I will say a bit about its contents below, but you can read it now: I have posted it on the arXiv, where it just appeared today (as number 1408.0968). It contains an open problem which I would like to see solved.
A base for a permutation group is a sequence of points whose pointwise stabiliser is the identity. It is irredundant if no point is fixed by the stabiliser of its predecessors, and minimal if no point is fixed by the stabiliser of all the others (that is, every re-ordering is irredundant).
The paper considers three invariants of finite groups defined by base size, as follows:
- b_{1}(G) is the maximum, over all permutation representations, of the maximum size of an irredundant base;
- b_{2}(G) is the maximum, over all permutation representations, of the maximum size of a minimal base;
- b_{3}(G) is the maximum, over all permutation representations, of the minimum base size.
The three measures are non-decreasing (in the order given), but can be all distinct, as they are for PSL(2,7), where they take the values 5, 4, 3 respectively.
The number b_{1}(G) is familiar: it is just the length of the longest subgroup chain in G. This is a parameter dear to me. In the early 1980s, I found the formula
for the length of a subgroup chain in the symmetric group S_{n}, where b(n) is the number of ones in the base 2 representation of n. It was found independently by Ron Solomon and Alex Turull, who invited me to join them in writing a paper on it.
The parameter b_{2}(G) is related to embeddings of the Boolean lattice B(n) into the subgroup lattice of G:
First, one can show that B(n) can be embedded as a meet-semilattice if and only if it can be embedded as a join-semilattice (but this is not equivalent to embeddability as a lattice, as is shown by the quaternion group of order 8).
Now one has the following:
- The largest n for which B(n) is embeddable as a join-semilattice of the subgroup lattice of G is the parameter μ'(G) considered by Julius Whiston, the largest size of an independent subset of G (a subset for which no element is in the subgroup generated by the other elements).
- The largest n for which B(n) is embeddable as a meet-semilattice of the subgroup lattice of G, so that the bottom element is a normal subgroup, is b_{2}(G).
So the question arises: can the condition in bold type above be deleted? In other words, is b_{2}(G) always equal to μ'(G)? I know of no group in which this is not so.
I know less about b_{3}, but if G is a non-abelian simple group then b_{3}(G) can be found by looking only at primitive permutation representations.
Proofs, further details, and a historical summary can be found in the paper.