Intereting Posts

Rigorous Proof: Circle cannot be embedded into the the real line!
Alternative definition of $\|f\|_{\infty}$ as the smallest of all numbers of the form $\sup\{|g(x)| : x \in X \}$, where $f = g$ almost everywhere
Proving the Law of the Unconscious Statistician
Is composition of covering maps covering map?
source to learn Galois Theory
Why do those terms vanish if the metric is Hermitian?
Has this phenomenon been discovered and named?
Every $R$-module is free $\implies$ $R$ is a division ring
What is the expected value of the number of die rolls necessary to get a specific number?
Integration of sqrt Sin x dx
Prove the $n$th Fibonacci number is the integer closest to $\frac{1}{\sqrt{5}}\left( \frac{1 + \sqrt{5}}{2} \right)^n$
Verifying Touchard's Identity
Uniqueness of minimal polynomial: $f(x)$ divides $g(x)$
Calculating the fundamental group of $\mathbb R^3 \setminus A$, for $A$ a circle
An exercise about finite intersection property in $T_1$ space

Let $G$ be any group. It’s a well-known result that if $H, K$ are subgroups of $G$, then $HK$ is a subgroup itself if and only if $HK = KH$.

Now, I’ve always wondered about a generalization of this result, something along the lines of:

**Theorem**: If $H_1, \ldots, H_n$ are subgroups of $G$, then $H_1H_2\dots{H_n}$ is a subgroup if and only if ($\star$) holds, where $(\star)$ is some condition on $H_1, \ldots, H_n$, preferably related to how the smaller products $H_{m_1}\ldots{}H_{m_k}$, for $k < n$, behave.

- The (Jacobson) radical of modules over commutative rings
- Problem in Jacobson's Basic Algebra (Vol. I)
- $\mathbb Z$ contains infinitely many units
- Which polynomials with binary coefficients evaluate only to 0 or 1 over an extension field?
- Recommendations for an “illuminating” (explained in the post) group theory/abstract algebra resource?
- Prove that $f(x)$ is irreducible iff its reciprocal polynomial $f^*(x)$ is irreducible.

**Question 1**: Is there such a theorem?

I do know, and its easy to prove, that if $H_iH_j = H_jH_i$ for every $i, j$, then the big product is a group, but this is not satisfying since it’s far from necessary (just take one of the groups to be $G$, and you need no commutativity at all). Also, I’ve been told that there is no really satisfactory answer; if that is indeed the case, then my question would be *why*? In particular:

**Question 2**: Are there really problematic counterexamples where you can see that the behavior of the smaller products has nothing to do with the big product, so that no such a theorem can ever exist?

I would appreciate even an answer for the particular case $n = 3$.

Thanks.

- Prove that the multiplicative groups $\mathbb{R} - \{0\}$ and $\mathbb{C} - \{0\}$ are not isomorphic.
- Divisor of a finite group
- What is the group structure of 3-adic group of the cubes of units?
- When do we have $Rad(I)=I$ for an ideal $I$ of a ring $R$?
- Ideals-algebraic set
- Generalization of irreducibility test .
- Algorithm to write an element of $SL_2(\mathbb{Z})$ as a product of $S, T^n$
- $p\mid $ then $p\mid $
- Infinite nilpotent group, any normal subgroup intersects the center nontrivially
- For which cases with $2$ or $3$ prime factors do formulas for $gnu(n)$ exist?

It seems your desired theorem would look like this: If $A, B, C$ are subgroups of $G$, then $A B C$ is a subgroup iff $\Phi_1(A,B)\land\Phi_2(B,C)\land\Phi_3(C,A)$ (where the $\Phi_i$ is some predicate in two variables).

Let’s have a look at $\Phi_1$ first.

Clearly, “$\Phi_1(A,B):\iff AB\mathrm{\ is\ a\ group}$” would be too strong. Hence $\Phi_1(A,B)$ may be true in cases wheer $AB$ is not a group.

But how can $A B$ fail to be a group? Either there is $x\in A B$ with $x^{-1}\notin AB$ or there are $x,y\in AB$ with $xy\notin AB$. For $ABC$ to be a group there must exist a $z\in AB$ such that $x^{-1}=z c$ or $x y = z c$ for some $c\in C$, respectively. All composites in $ABAB$, all inverses are in $BA\subseteq ABAB$, hence we need $ABAB\subseteq ABC$. Unless $ABAB\subseteq AB$ (i.e unless $AB$ is a group), this condition clearly depends on $C$.

Therefore such $\Phi_1$ cannot exist.

The same argument applies to $\Phi_2$ and with slight modifications for $\Phi_3$.

One could also argue simply that for subgroups $X, Y$ such that $XY$ is not a group, we have that $XYG$, $XGY$ and $GXY$ are groups, hence all $\Phi_i(X,Y)$ must be true. But $XY1$, $X1Y$ and $1XY$ are not groups, hence some $\Phi_i$ with one argument $=1$ must be false. But that can’t be because a product where two factors are the trivial group is a group.

One issue you might have is if one of the subgroups is a normal subgroup, then they commute with the others automatically. You probably need a condition that you have at least one condition involving each pair of subgroups. I am not sure if that is actually enough. If you also include something like that you also have conditions that does not include 1,2,3,etc. subgroups, then you can get the desired answer by induction.

Finally, here is a relatively general example to show that in case of $n=3$ you need all three commutations:

Let $N\subset G$ be a normal subgroup and $H\subset G$ a subgroup such that $N\cap H=1$. Now let $A,B\subset H$ be subgroups such that $A\cap B=1$ and $AB\neq BA$, but $H$ is generated by $A$ and $B$ together. Finally assume that $A,B$ and $N$ are finite.

Since $N$ is normal, $NA=AN$ and $NB=BN$. Since they are all finite and pairwise disjoint,

$$|NAB|=|N|\cdot |A| \cdot |B|,$$

but since $AB\neq BA$ it is *not* a subgroup, and hence, $$|A| \cdot |B|\lneq |H|,$$ so

$$|NAB| \lneq |N|\cdot |H| = |NH|.$$

However, since $A$ and $B$ generate $H$ it follows that the subgroup generated by $A,B$ and $N$ is $NH$, which has more elements than $NAB$ does and hence $NAB$ cannot be a subgroup.

- Eigenvalues of tridiagonal symmetric matrix with diagonal entries 2 and subdiagonal entries 1
- Product of simplicial complexes?
- Classifying Functions of the form $f(x+y)=f(x)f(y)$
- The determinant of block triangular matrix as product of determinants of diagonal blocks
- Why isn't the volume formula for a cone $\pi r^2h$?
- Extensions: Spectrum
- Two-Point boundary value problem
- Recovering eigenvectors from SVD
- How does FFT work?
- Uniform convergence of the series $\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}\sin\frac{1}{nx}$ on $(0,+\infty)$
- Are there cube-free numbers $n$, for which the number of groups of order $n$ is unknown?
- Proving that $ \int_{0}^{\pi/2} \frac{\mathrm{d}{x}}{\sqrt{a^{2} {\cos^{2}}(x) + b^{2} {\sin^{2}}(x)}} = \frac{\pi}{2 \cdot \text{AGM}(a,b)} $.
- Transformation of state-space that preserves Markov property
- is the dual of a finitely generated module finitely generated?
- Compact operator with closed range has finite dimensional range