3
$\begingroup$

Let $[H,G]$ be a rank $2$ boolean interval of finite groups.

Statement 1: There is an atom $K$ of $[H,G]$ such that $|K:H|≡|G:H|($mod $ 2)$.
The following picture illustrates the statement.
enter image description here
Question: Is it true?

It is true in each of the following cases:

  • $|G:H| = 2p$ with $p$ prime (see below)
  • $|G:H|<36$ (using GAP and $34=2 \cdot 17$)
  • $G$ simple with $|G| \le 50000$ (by GAP)

For $|G:H| = 2p$ the proof is the following: if $|G:K_i| = 2$ then $K_i$ is a normal subgroup of $G$. It follows that $H=K_1 \cap K_2$ is also normal so $[1,G/H] \simeq [H,G]$ boolean, so by Ore's theorem $G/L$ is cyclic, but with two subgroups of index $2$, contradiction.


Application: Assuming Statement 1 true, we can prove the following:

Statement 2: Let $[H,G]$ be a boolean interval of rank $>1$, then there is a coatom $L$ of $[H,G]$ with $|L:H|≡|G:H|($mod $ 2)$.
Proof: if $|G:H|$ is odd, it is immediate, so we can assume that $|G:H|$ is even. If for every coatom $L$, $|L:H|$ is odd, take two coatoms $L_1$ and $L_2$, then $[L_1 \wedge L_2,G]$ is a rank $2$ boolean interval which contradicts Statement 1. $\square$

Statement 3: Let $[H,G]$ boolean, then there is an atom $K$ with $|K:H|≡|G:H|($mod $ 2)$.
Proof: Idem we can assume that $|G:H|$ is even. We prove by induction on the rank of $[H,G]$. It is immediate at rank $1$. Assume it is true at rank $<n$. For $[H,G]$ of rank $n$, by Statement 2, there is a coatom $L$ with $|L:H|$ even, but $[H,L]$ is a rank $n-1$, the result follows. $\square$

Note that Statement 3 implies Statement 1, so all these statements are equivalent.

$\endgroup$
0

1 Answer 1

1
$\begingroup$

It is false. Surprisingly, for $G$ simple the first counter-example is sporadic: the Mathieu group $M_{12}$.
enter image description here

$|M_{12}| = 95040$ and $|M_{12}:A_5| = 1584$.

$\endgroup$
1
  • $\begingroup$ An other example is $[PSL(2,7),PSU(3,5)]$. $\endgroup$ Sep 19, 2016 at 7:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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