4
$\begingroup$

I want to prove or find a counterexample to the following statement.

Let $G$ be a finite group. If for every minimal subgroup $L$ (= cyclic subgroup of prime order), there exists a minimal subgroup $H$ such that $\langle L,H\rangle=G$. Then one of the following cases occurs:

a) $G$ is a Frobenius group whose kernel is an elementary abelian p-group and the complement is a prime order group.

b) $G=Z_{p}\times Z_q$

c) $G$ is a simple group.

Thank you in advance.

Improve this question
$\endgroup$
7
  • 2
    $\begingroup$ I suppose you mean $nontrivial$ minimal subgroup? So that must be a cyclic group of prime order. $\endgroup$
    – user1688
    Aug 14, 2016 at 5:25
  • $\begingroup$ (I think you should also allow the case when $G$ has prime order.) Suppose that $G$ has a minimal normal subgroup $N$ which is abelian. Let $L$ be a minimal normal subgroup of $G$ contained in $N$. Let $H$ be as in the hypothesis. If $H\leq N$, then $G$ is abelian and it is easy to see that we have $H=L=G$. Thus, $H\cap N=1$ hence $G=N\rtimes H$ and it is easy to see that we are either in your case a) or b). Hence we may assume that $G$ has no nontrivial normal abelian subgroup. In other words, it has trivial soluble radical. $\endgroup$
    – verret
    Aug 14, 2016 at 5:43
  • $\begingroup$ I'm not sure where to go from here. It's not obvious to me why some almost simple group, say, could not have the required property. $\endgroup$
    – verret
    Aug 14, 2016 at 5:43
  • $\begingroup$ Dear verret. why did you say " Suppose that $G$ has a minimal normal subgroup $N$ which is "abelian"? what will be wrong if we suppose that $G$ has a nonabelian minimal normal subgroup? $\endgroup$
    – H.Shahsavari
    Aug 14, 2016 at 13:27
  • $\begingroup$ Well, that was simply the case I could deal with. After thinking a bit more, I think I can now reduce to the almost simple case. By the previous comment, we may assume that $G$ has trivial soluble radical. Let $N$ be a minimal normal subgroup of $G$. We have $N=T_1\times \cdots \times T_k$ where the $T_i$ are isomorphic nonabelian simple groups. Moreover, they are the only minimal normal subgroups of $N$. Now, pick $L$ in $T_1$ and let $H$ be as in the hypothesis. Say $|H|=p$. $\endgroup$
    – verret
    Aug 14, 2016 at 22:56

2 Answers 2

Reset to default
5
$\begingroup$

$\mathrm{P\Sigma L}(2,8)$ is a counter-example.

A corrected version of the statement is that, under the hypothesis, either

a) $G\cong Z_p$ for some prime $p$,

b) $G\cong Z_p\times Z_q$ for some primes $p$ and $q$,

c) $G$ is a Frobenius group with kernel an elementary abelian $p$-group and the complement has prime order, or

d) $G$ is an almost simple group.

Proof:

Let $N$ be a minimal normal subgroup of $G$. We have $N=T_1\times\cdots \times T_k$, where the $T_i$'s are isomorphic simple groups. Take $L\leq T_1$ and let $H$ be as given by the hypothesis.

Case 1) $H\leq N$. In this case, we have $G=N$. If $T$ is abelian, then $G$ is abelian hence $k=1$ and we are in case a). If $T$ is nonabelian then, since $N$ is generated by $T_1$ and $H$ a group of prime order, we find that $k=1$ and $G$ is simple.

Case 2) $H\not\leq N$. Since $H$ has prime order, we have $N\cap H=1$ and thus $G=N\rtimes H$. If $T$ is abelian, then either $H$ is malnormal and $G$ is Frobenius and we have c), or $G$ is abelian and we have b). If $T$ is nonabelian, then the $T_i$'s are the only minimal normal subgroups of $N$ and $H$ must act transitively on $\{T_1,\ldots,T_k\}$. As $H$ has prime order, either $k=1$ (and we are in case d)), or $k=|H|$. In the latter case, $L$ has exactly $k$ conjugates, each of them contained in some $T_i$. On the other hand, these conjugates must generate $N$, which is a contradiction.

Note that this not exactly a characterisation. For example, not all almost simple groups have this property and neither do all groups in c).

Improve this answer
$\endgroup$
10
  • 3
    $\begingroup$ I found this too but you posted first. More generally $L_n(q^f):f$ (i.e. ${\rm PSL}_n({\bf F}_{q^f})$ extended by the Galois automorphism $x \mapsto x^f$ should work for any prime power $q$ and any odd prime $f$. Note that $f=2$ cannot work because if $L$ is a two-element subgroup of $G' := {\rm PSL}_n({\bf F}_{q^f})$ then $H$ would have to be another $2$-element group (else $\langle H,L \rangle \subseteq G'$), but two involutions can only generate a dihedral group. Thus $(n,q,f) = (2,2,3)$ is the first candidate of this kind. $\endgroup$
    – Noam D. Elkies
    Aug 15, 2016 at 4:03
  • 1
    $\begingroup$ For your example ${\rm P}\Gamma {\rm L}(2,8)$ (a.k.a. $\Sigma {\rm L}(2,8)$) one can always generate $L$ by a conjugate of the Frobenius map. This may be true in general for ${\rm PSL}_n({\bf F}_{q^f})$. $\endgroup$
    – Noam D. Elkies
    Aug 15, 2016 at 4:16
  • 2
    $\begingroup$ I think your comment would be worth be included in your answer (which would not only provide a counterexample but would also provide a correct characterization) $\endgroup$
    – YCor
    Aug 15, 2016 at 11:45
  • $\begingroup$ (correction to my first comment: the Galois automorphism of course takes $x$ to $x^q$, not $x^f$.) $\endgroup$
    – Noam D. Elkies
    Aug 15, 2016 at 15:04
  • 1
    $\begingroup$ @YCor Ok, I've done that! $\endgroup$
    – verret
    Aug 15, 2016 at 23:22
-1
$\begingroup$

For a prime number $p$ the symmetric group $S_p$ is generated by a $p$-cycle and a transposition. These two elements generate individually minimal cyclic subgroups. I think this is case d) of Verret's answer.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Note that the problem requires that for every minimal subgroup $L$ there exist a minimal subgroup $H$ such that $G=\langle L,H\rangle$. The fact that $S_p$ is generated by a $p$-cycle and a transposition only shows that there exists a minimal subgroup $L$ for which a minimal subgroup $H$ exists with the desired property. For instance, in $S_5$, if $H=\langle (1,2,3)\rangle$, then no $L$ exists: a $3$-cycle and a $3$- or $5$-cycle generate a subgroup of $A_5$; and a $3$-cycle and an element of order $2$ will not give you all of $S_5$. So $S_5$ does not satisfy the hypothesis. $\endgroup$
    – Arturo Magidin
    Aug 16, 2016 at 2:08
  • 1
    $\begingroup$ Thanks Arturo Magidin. I did not read the question carefully. I was wondering how a simple one seem to have been missed by many. This explains it! I am the one who missed reading the hypothesis! $\endgroup$
    – P Vanchinathan
    Aug 16, 2016 at 2:12

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.