# Let $G$ be a finite group such that if $A, Ble G$ then $ABle G$. Prove $G$ is a solvable.

Let $$G$$ be a finite group satisfying the following property: (*) If $$A, B$$ are subgroups of $$G$$ then $$AB$$ is a subgroup of $$G$$. Prove $$G$$ is solvable.

So I felt like a good place to start is to let $$|G| = p_1^{a_1}p_2^{a^2}…p_r^{a_r}$$ such that each $$p_i$$ is a distinct prime, and then Let for each $$i = 1, 2, …, r$$ Let $$H_i$$ be a Sylow$$_{p_i}$$ subgroup. So $$G = H_1H_2..H_r$$ and each $$H_i$$ is solvable since all $$p$$-groups are solvable.

I was then thinking that a good idea since I know by Burnside’s Theorem that $$H_iH_j$$ is solvable, to try and use induction and prove that if $$H_1H_2…H_m$$ is solvable then $$H_1H_2…H_mH_{m+ 1}$$ is sovable, but I can’t figure it out.

Any help will be greatly appreciated.

Mathematics Asked on November 12, 2021

Here's another proof, now that you have the answer. Let $$x$$ and $$y$$ be elements of coprime order. Then $$langle xranglelangle yrangle$$ is a subgroup, and has order $$o(x)cdot o(y)$$. Thus any two elements of coprime order commute.

It turns out this is enough to prove the result: a finite group $$G$$ is nilpotent if and only if every $$2$$-generated subgroup is nilpotent.

But let's not use that, and let $$z$$ be an element in the centre of some Sylow $$p$$-subgroup of $$G$$. Consider $$C_G(z)$$. It contains all elements of order prime to $$p$$, and also contains a Sylow $$p$$-subgroup of $$G$$, thus is all of $$G$$. Thus $$zin Z(G)neq 1$$.

Since your condition is inherited by quotients, we see that $$G$$ must possess a central series, hence is nilpotent.

Edit: some more on the structure of these groups. In general (i.e., infinite groups), they are locally nilpotent. The finite ones were mostly classified by Iwasawa in 1941, but there were some gaps that were filled by Napolitani and Janko.

A $$p$$-group is quasihamiltonian (i.e., $$AB$$ is a subgroup for all $$A,Bleq G$$) if and only if

1. It has an abelian normal subgroup $$N$$ such that $$G/N$$ is cyclic, and there exists a generator $$x$$ of $$G/N$$, and an integer $$n$$, such that $$a^x=a^{1+p^n}$$ for all $$ain A$$, or
2. $$p=2$$, and $$G$$ is the direct product of $$Q_8$$ and an elementary abelian $$2$$-group.

A subgroup $$H$$ such that $$HK=KH$$ (i.e., $$HK$$ is a subgroup) for all $$Kleq G$$ is called a permutable subgroup. The above groups are those where all subgroups are permutable. There's been recent research on groups where lots of, but not all, subgroups are permutable.

Edit 2: here's another proof, which given you mention Burnside's $$p^alpha q^beta$$ theorem, might have been the intention of your tutor (assuming you are doing a course).

Let $$xin G$$ have order $$p$$ for some $$pmid |G|$$. By the above method, we see that $$yin C_G(x)$$ for all elements $$yin G$$ of order prime to $$p$$. But now this means that $$|G:C_G(x)|$$ is a power of $$p$$. By that useful theorem you did while proving Burnside's $$p^alpha q^beta$$ theorem, $$G$$ cannot be a non-abelian simple group. Thus $$G$$ possesses a normal subgroup $$N$$. The condition is inherited by both $$N$$ and $$G/N$$, so by induction both of these are soluble. Thus $$G$$ is soluble.

Answered by David A. Craven on November 12, 2021

Claim: All Sylow subgroups of $$G$$ are normal.

Proof: Suppose $$P_1,P_2$$ are different Sylow $$p$$-subgroups of $$G$$. Then the group $$P_1P_2$$ is a $$p$$-group that is strictly larger than $$P_1$$, contradiction.

Corollary: $$G$$ is solvable.

Answered by user10354138 on November 12, 2021

## Related Questions

### Random variable $X$ has uniform distribution on section $[0,2]$. What’s the expected value of variable $Y=frac{X^{4}}{2}$

2  Asked on December 5, 2020 by fakeraker-p

### Show that this iterative Richardson iteration may diverge

1  Asked on December 5, 2020

### Estimating number of infected people and getting bounds of its probability based on a few samples.

1  Asked on December 5, 2020 by user_9

### find the range of $x$ on which $f$ is decreasing, where $f(x)=int_0^{x^2-x}e^{t^2-1}dt$

2  Asked on December 4, 2020 by steven-lu

### Differentiability for an integral function

1  Asked on December 4, 2020 by andereben

### Solving a system of separable ODE’s

1  Asked on December 4, 2020 by costard

### $Vert x_{n} – y_{n} Vert$is a cauchy sequence in $mathbb{F}$

1  Asked on December 4, 2020 by gaufler

### equation of the form P (θ) = 0, where P is a polynomial, satisfied by the maximum likelihood estimator

0  Asked on December 4, 2020 by nisha

### Evaluate $int_0^{infty } Bigl( 2qe^{-x}-frac{sinh (q x)}{sinh left(frac{x}{2}right)} Bigr) frac{dx}x$

2  Asked on December 3, 2020 by iridescent

### How can one derive a partial differential equation from a function

1  Asked on December 3, 2020 by bob-pen

### Dice Probability Dungeons and Dragons

3  Asked on December 3, 2020 by bangini

### How can you derive an algorithm for dividing natural numbers?

0  Asked on December 3, 2020 by honza-prochazka

### Expansion of the Frobenius norm

1  Asked on December 3, 2020 by wuannnn

### On the definition of an algebra

1  Asked on December 3, 2020 by hakuna-matata

### Distribution of a random variable given on the set of all natural number if …

0  Asked on December 3, 2020 by dabdya

### Doubtful solution to an exercise on faithful flatness in Matsumura’s Commutative Algebra

1  Asked on December 3, 2020 by an-hoa

### If $f(x)=frac{1-x}{1+x}$, then how do I explain graphically why $f(f(x))=x$?

4  Asked on December 3, 2020 by stupidgal123

### *A: Prisoner A is selected for release. *B: The guard informs Prisoner A that Prisoner B is going to be released. Are A and B independent?

1  Asked on December 3, 2020 by t536373