On the class-breadth conjecture

Consider the subgroup C_1[C_2, G] := \{xy\:\vert\: x\in C_1, y\in [C_2, G]\} of G (it’s a subgroup, because C_1, C_2, [C_2, G] are normal subgroups of G). Easy to check that C_1[C_2, G] is a normal subgroup of G and C_1[C_2, G]\subseteq C_2. From C_1\subsetneq C_2 it follows that \{e\}\subsetneq C_2/C_1\subseteq G/C_1, therefore, since G/C_1 is nilpotent, C_1[C_2, G] = [C_2/C_1, G/C_1]C_1 \subsetneq C_2. Consider any maximal under the inclusion proper subgroup C_3 of C_2 such that C_1[C_2, G]\subseteq C_3. Then (from the maximality of C_3 in C_2) |C_2 : C_3| = p. From [C_3, G] \subseteq [C_2, G]\subseteq C_1[C_2, G]\subseteq C_3 and C_1\subseteq C_1[C_2, G]\subseteq C_3 it follows that C_3 is a normal subgroup of G that satisfies C_1\subseteq C_3\subseteq C_2 and |C_2 : C_3| = p.

For each 1\leq i\leq 2 consider the homomorphism of factorization \pi_i : G\to G/C_i. From |H : C_1| = |H : C_2| = p it follows that \pi_i(H) is a normal subgroup of \pi_i(G) of order p, therefore \pi_i(H)\subseteq Z(\pi_i(G)) and [H, G]\subseteq C_i, \forall 1\leq i\leq 2. So [C, G]\subseteq [H, G]\subseteq C_1\cap C_2\subseteq C and C is a normal subgroup of G.

From the fact that H/[H, G] is non-cyclic it follows that there are at least two maximal subgroups A_1\not= A_2 of H/[H, G]. Let \pi : G\to G/[H, G] denote the homomorphism of factorization. Then C_1 := \pi^{-1}(A_1)\not= \pi^{-1}(A_2):= C_2 are maximal subgroups of H which are normal in G, because [C_i, G]\subseteq [H, G]\subseteq C_i, \forall 1\leq i\leq 2.

Consider the case C_1\not= C_2. Let C be any subgroup of H such that C\cap C_1 = C\cap C_2 = C_1\cap C_2 and |H : C| = p (such a group exists, since H/(C_1\cap C_2)\cong \mathbb{Z}_p\oplus\mathbb{Z}_p). From Lemma 2 it follows that C is a normal subgroup of G. The group C is a maximal subgroup of H that satisfies C\nsubseteq C_1\cup C_2 and C\cap C_1 = C\cap C_2, because: |H : C| = p, C\cap C_1 = C\cap C_2 = C_1\cap C_2, and |H : C_1\cap C_2| = p^2.

Consider the case C_1 = C_2. From Lemma 3 there exists a maximal subgroup C\not= C_1 of H which is normal in G. Then C satisfies the conditions of Lemma 4.

From the fact that for p > 2 each p-group cannot be covered by any of its three proper subgroups it follows that G = \langle G\setminus (C_1\cup C_2)\rangle\subseteq \langle \{g\in G\:\vert\: b(g) = 0\}\rangle\subseteq Z(G), i.e. that G is an abelian group.

From properties 2, 3, 5, 6 it follows that \gamma_{b(G) + 2}(G) = \gamma_{b(G) + 2}(A_{11}) = A_{(b(G) + 2)(b(G) + 2)}\subseteq A_{1(b(G) + 2)} = \{e\}.

We construct the (b(G) + 2)\times (b(G) + 2) upper triangular matrix that satisfies properties 1 – 6 of Conjecture 1 inductively as follows:

• Define the 1\times 1 matrix (A_{11}) := (G) and let C_{11} := C_{12} – is any maximal subgroup of G.

• Assume that the k\times k upper triangular matrix (A_{ij})_{j\geq i} is defined for some integer 1\leq k < b(G) + 2 and satisfies properties 1 – 5 of Conjecture 1, and, moreover, satisfies:

  1. P1. All subgroups A_{ij}, j\geq i are normal in G.

  2. P2. If k > 1, then:

     1. A_{1j}/A_{1(j + 1)} is an abelian group, \forall 1\leq j\leq k - 1,

     2. A_{1j}'/A_{1(j + 1)}' is an abelian group with \log_p|A_{1j}'/A_{1(j + 1)}'|\leq b(G) - j + 1, \forall 1\leq j\leq k - 1.

  3. P3. For each integer 1\leq j\leq k such that A_{1j} is non-abelian, there exist normal subgroups C_{j1}, C_{j2} of G such that C_{j1}\cup C_{j2}\subsetneq A_{1j}, |A_{1j} : C_{j1}| = |A_{1j} : C_{j2}| = p, and b_{A_{1j}}(x)\leq b(G) - j + 1, \forall x\in A_{1j}\setminus (C_{j1}\cup C_{j2}).

  4. P4. If k > 1, then for each integer 1\leq j\leq k - 1 such that A_{1j} is non-abelian, there exist normal subgroups N_{j1}, N_{j2} of G such that A_{1j}' = N_{j1}', A_{1(j + 1)}' = N_{j2}', N_{j2}\subseteq N_{j1}, and |N_{j1} : N_{j2}| = p.

• Define normal subgroups A_{i(k+1)}, 1\leq i\leq k + 1 of G, so that the (k + 1)\times (k + 1) upper triangular matrix (A_{ij})_{j\geq i} satisfies properties 1 – 5 of Conjecture 1, satisfies properties P1 – P4 (with k + 1 instead of k), and, in the case k = b(G) + 1, also satisfies property 6 of Conjecture 1, as follows:

  Define H as the minimal under the inclusion normal subgroup of G such that H\subseteq A_{1k}, H\nsubseteq C_{k1}\cup C_{k2}, and H' = A_{1k}' (where C_{j1}, C_{j2}, 1\leq j\leq k are defined as in property P3 for k\times k submatrix of (A_{ij})_{j\geq i}).

  Consider the case when H is a non-abelian subgroup of G. Let by definition A_{1(k + 1)} be any normal subgroup of G such that A_{1(k + 1)}\subseteq H, |H : A_{1(k + 1)}| = p, A_{1(k + 1)}\nsubseteq C_{k1}\cup C_{k2}, and A_{1(k + 1)}\cap C_{k1} = A_{1(k + 1)}\cap C_{k2} (such a group exists from property A1 of Theorem 1 and Lemma 4). Therefore, from minimality of H, A_{1(k + 1)}'\not= A_{1k}'. Let P := \{g\in A_{1(k + 1)}\:\vert\: [g, H]\subseteq A_{1(k + 1)}'\}. P is a normal subgroup of G, since P = A_{1(k + 1)}\cap\pi^{-1}(Z_{\pi(G)}(\pi(H))), where \pi : G\to G/A_{1(k + 1)}' is the homomorphism of factorization. In the case when P = A_{1(k + 1)}, it follows that [A_{1(k + 1)}, H]\subseteq A_{1(k + 1)}', so A_{1(k + 1)}/A_{1(k + 1)}' is a central subgroup of index p in H/A_{1(k + 1)}', i.e. H/A_{1(k + 1)}' is an abelian group and A_{1k}' = H' = A_{1(k + 1)}', contradiction. So P\not= A_{1(k + 1)}. From Lemma 1 there exists a normal subgroup C_{(k + 1)1} of G such that P\subseteq C_{(k + 1)1}\subsetneq A_{1(k + 1)} and |A_{1(k + 1)} : C_{(k + 1)1}| = p. From Lemma 1, the fact that A_{1(k + 1)}\cap C_{k1} = A_{1(k + 1)}\cap C_{k2}, and the fact that A_{1(k + 1)}\nsubseteq C_{k1}\cup C_{k2} it follows that there exists a normal subgroup C_{(k + 1)2} of G such that A_{1(k + 1)}\cap (C_{k1}\cup C_{k2}) = A_{1(k + 1)}\cap C_{k1}\subseteq C_{(k + 2)2}\subsetneq A_{1(k + 1)} and |A_{1(k + 1)} : C_{(k + 2)2}| = p. Define A_{i(k + 1)} := \gamma_i(A_{1(k + 2 - i)}), \forall 2\leq i\leq k + 1.

  Consider the case when H is an abelian subgroup of G. Then A_{1k}' = H' = \{e\}. Define A_{1(k + 1)} := \{e\}, A_{i(k + 1)} := \gamma_i(A_{1(k + 2 - i)}), \forall 2\leq i\leq k + 1.

  Proof of the fact that the (k + 1)\times (k + 1) upper triangular matrix (A_{ij})_{j\geq i} satisfies properties 1 – 5 of Conjecture 1, satisfies properties P1 – P4 (with k + 1 instead of k), and, in the case k = b(G) + 1, also satisfies property 6 of Conjecture 1:

  • Properties 1 – 3 are satisfied from the definition and the facts that A_{1(k + 1)} = \gamma_1(A_{1(k + 1)}), A_{i(k + 1)} := \gamma_i(A_{1(k + 2 - i)}), \forall 2\leq i\leq k + 1.

  • Property 4 for i = 1, j\leq k follows from property 4 applied to k\times k submatrix of (A_{ij})_{j\geq i}.

  • Property 4 for i = 1, j = k + 1 follows from the definition of A_{1(k + 1)}.

  • Property 4 for i\geq 2 follows from property 4 for i = 1 and property 3, since A_{ij} = \gamma_i(A_{1(j - i + 1)})\subseteq \gamma_i(A_{1(j - i)}) = A_{i(j - 1)}.

  • Property 5 for j\leq k follows from property 5 applied to k\times k submatrix of (A_{ij})_{j\geq i}.

  • In the case i = 1, j = k + 1 and H is a non-abelian group, property 5 is satisfied, because: from A_{1(k + 1)}\subseteq H, H/A_{1(k + 1)}\cong\mathbb{Z}_p, H' = A_{1k}', and property 3 it follows that A_{2(k + 1)} = A_{1k}' = H'\subseteq A_{1(k + 1)}.

  • In the case i = 1, j = k + 1 and H is an abelian group, property 5 is satisfied, because: from H' = A_{1k}' and property 3 it follows that A_{2(k + 1)} = A_{1k}' = H' = \{e\}\subseteq A_{1(k + 1)}.

  • Property 5 holds for i = 2, j = k + 1, because: k + 1 = j\geq i + 1 = 3, so k\geq 2. From property P4 applied to k\times k submatrix of (A_{ij})_{j\geq i} it follows that there exist normal subgroups N_{(k - 1)1}, N_{(k - 1)2} of G such that A_{1(k - 1)}' = N_{(k - 1)1}', A_{1k}' = N_{(k - 1)2}', N_{(k - 1)2}\subseteq N_{(k - 1)1}, and |N_{(k - 1)1} : N_{(k - 1)2}| = p. Therefore, from the property A2 of Theorem 1 and property 3 it follows that [A_{1(k - 1)}', G]\subseteq A_{1k}' and A_{3(k + 1)} = [A_{2k}, A_{1(k - 1)}]\subseteq [A_{2k}, G] = [A_{1(k - 1)}', G]\subseteq A_{1k}' = A_{2(k + 1)}.

  • Property 5 holds for i\geq 3, j = k + 1, because: k + 1 = j\geq i + 1, so k\geq i. From property 3 it follows that A_{(i - 1)k} = \gamma_{i - 1}(A_{1(k - i + 2)}), A_{i(k + 1)} = \gamma_i(A_{1(k - i + 2)}), therefore, from i\geq 3 and property A2 of Theorem 1 it follows that [A_{(i - 1)k}, G]\subseteq A_{i(k + 1)}. From k\geq i, [A_{(i - 1)k}, G]\subseteq A_{i(k + 1)}, property 3, and property 5 applied to k\times k submatrix of (A_{ij})_{j\geq i} it follows that A_{(i + 1)(k + 1)} = [A_{ik}, A_{1(k - i + 1)}]\subseteq [A_{ik}, G]\subseteq [A_{(i - 1)k}, G] \subseteq A_{i(k + 1)}.

  • Property 6 holds in the case k = b(G) + 1, because: from property P3 applied to k\times k submatrix of (A_{ij})_{j\geq i} and Lemma 5 it follows that A_{1k} = A_{1(b(G) + 1)} is an abelian group. So H\subseteq A_{1k} is also an abelian group and, from the definition of A_{1(k + 1)}, it follows that A_{1(b(G) + 2)} = A_{1(k + 1)} = \{e\}.

  • Property P1 follows from the definition of groups A_{ij}.

  • Property P2(a) is satisfied, because: from properties 3, 5 it follows that A_{1j}' = A_{2(j + 1)}\subseteq A_{1(j + 1)}, \forall 1\leq j\leq k.

  • Property P2(b) for 1\leq j\leq k - 1 follows from property P2(b) applied to k\times k submatrix of (A_{ij})_{j\geq i}.

  • In the case j = k and H is an abelian group, property P2(b) is satisfied, because: A_{1k}' = H' = \{e\}, so A_{1k}'/A_{1(k + 1)}' = \{e\} and \log_p|A_{1k}'/A_{1(k + 1)}'| = 0\leq b(G) - j + 1 = b(G) - k + 1.

  • In the case j = k and H is a non-abelian group, property P2(b) is satisfied, because: consider any element g\in H\setminus (A_{1(k + 1)}\cup C_{k1}\cup C_{k2}) (such an element exists, since p > 2, H\nsubseteq C_{k1}\cup C_{k2} and, therefore, H cannot be covered by its proper subgroups A_{1(k + 1)}, C_{k1}\cap H, C_{k2}\cap H). From H' = A_{1k}' and [10, Lemma 2.2], applied to the group H, its maximal subgroup A_{1(k + 1)}, and the element g\in H\setminus A_{1(k + 1)}, it follows that \log_p|A_{1k}'/A_{1(k + 1)}'| = \log_p|H'/A_{1(k + 1)}'|\leq b_H(g). Therefore, from k < b(G) + 2, A_{1(k + 1)}\subseteq H\subseteq A_{1k}, g\in H\setminus (A_{1(k + 1)}\cup C_{k1}\cup C_{k2}), and property P3 applied to k\times k submatrix of (A_{ij})_{j\geq i} it follows that \log_p |A_{1k}'/A_{1(k + 1)}'|\leq b_H(g)\leq b_{A_{1k}}(g)\leq b(G) - k + 1. From H/A_{1(k + 1)} \cong \mathbb{Z}_p it follows that A_{1k}' = H'\subseteq A_{1(k + 1)}, i.e. A_{1k}'/A_{1(k + 1)}' is an abelian group with \log_p |A_{1k}'/A_{1(k + 1)}'|\leq b(G) - k + 1.

  • In the case j\leq k, property P3 follows from property P3 applied to k\times k submatrix of (A_{ij})_{j\geq i}.

  • In the case j = k + 1 and H is an abelian group, property P3 is satisfied, because: from the definition of A_{1(k + 1)}, A_{1j} = A_{1(k + 1)} = \{e\} is an abelian group.

  • In the case j = k + 1 and H is a non-abelian group, property P3 is satisfied, because: C_{(k + 1)1}\cup C_{(k + 1)2}\subsetneq A_{1(k + 1)} (A_{1(k + 1)} cannot be covered by its two proper subgroups C_{(k + 1)1}, C_{(k + 1)2}). From the definition of C_{(k + 1)1}, C_{(k + 1)2}, A_{1(k + 1)}, P it follows that A_{1(k + 1)}\cap (P\cup C_{k1}\cup C_{k2})\subseteq C_{(k + 1)}\cup C_{(k + 1)2}\subsetneq A_{1(k + 1)}. From A_{1(k + 1)}\subseteq H\subseteq A_{1k} it follows that

    \{g\in A_{1(k + 1)}\:\vert\: b_{A_{1(k + 1)}}(g) \geq b_{A_{1k}}(g)\} = \{g\in A_{1(k + 1)}\:\vert\: b_{A_{1(k + 1)}}(g) = b_{A_{1k}}(g)\} =
    = \{g\in A_{1(k + 1)}\:\vert\: [g, A_{1(k + 1)}] = [g, A_{1k}]\} \subseteq P,

    i.e.

    A_{1(k + 1)}\cap (\{g\in A_{1(k + 1)}\:\vert\: b_{A_{1(k + 1)}}(g) \geq b_{A_{1k}}(g)\}\cup C_{k1}\cup C_{k2})\subseteq
    \subseteq A_{1(k + 1)}\cap (P\cup C_{k1}\cup C_{k2})\subseteq C_{(k + 1)}\cup C_{(k + 1)2}\subsetneq A_{1(k + 1)}.

    Therefore, from (1.1), the fact that A_{1(k + 1)}\subseteq A_{1k}, and property P3 applied to k\times k submatrix of (A_{ij})_{j\geq i} it follows that b_{A_{1(k + 1)}}(x)\leq b_{A_{1k}}(x) - 1\leq b(G) - k, \forall x\in A_{1(k + 1)}\setminus (C_{(k + 1)1}\cup C_{(k + 1)2}).

  • In the case j\leq k - 1, property P4 follows from property P4 applied to k\times k submatrix of (A_{ij})_{j\geq i}.

  • In the case j = k and H is a non-abelian group, property P4 is satisfied, because: from H' = A_{1k}' and |H : A_{1(k + 1)}| = p it follows that N_{k1} := H, N_{k2} := A_{1(k + 1)} are suitable normal subgroups of G.

  • In the case j = k and H is an abelian group, property P4 is satisfied, because: from A_{1k}' = H' = \{e\}, A_{1k} is an abelian group.