If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by Watatani (1996) MR1409040 and Aschbacher (2008) MR2393428. I also believe we can answer it for $n=7$, with one possible exception. The exceptional case is shown below.

So my two questions are these:

1) Does anyone know of recent work on this special case of the problem (specifically for $n=7$ or $n=8$)?

2) Has anyone found a finite group $G$ with a subgroup $H$ such that the interval

$[H, G] = \{K : H \leq K \leq G \}$

is the lattice shown above?

If not, I'd be happy to hear if anyone has ideas about how we might prove that such a group exists (without necessarily producing the group). Or, if you can put restrictions on such a group, that might be useful. For example, I believe I can show that there is no finite *solvable* group with this property.

(By the way, I have searched many of the groups in GAP's small groups library, and this was helpful for finding some of the other difficult 7-element cases.)

**Correction:** We don't really have an answer to this question for $n=7$. Rather, we can show that every lattice with at most 7 elements (except possibly the one above) is the congruence lattice of a finite algebra. Pálfy and Pudlák MR593011 showed the two questions are equivalent *when $n$ is not restricted*, but their proof doesn't go through for fixed $n$. Nonetheless, we can prove that a (minimal) finite algebra with the lattice above as congruence lattice must be a transitive G-set (modulo constant operations), so the existence of such a finite algebra is equivalent to the existence of finite groups H < G with [H,G] isomorphic to the lattice above. (This is the reason I phrased my question in terms of subgroup lattices.)

**Update:** (2012/02/22) If the interval $[H,G]$ is the lattice above, with $H$ core-free, I believe I can prove that a minimal normal subgroup of $G$ must be non-abelian, which isn't much, but it's a start! In particular, I think it rules out the affine case of the Aschbacher-O'Nan-Scott Theorem.