Let be a finite non-solvable group. We prove that there exists a proper subgroup of such that is the product of three conjugates of , thus replacing an earlier upper bound of with the smallest possible value. The proof relies on an equivalent formulation in terms of double cosets, and uses the following theorem which is of independent interest and wider scope: Any group with a -pair and a finite Weyl group satisfies $G=\left( Bn_{0}B\right) ^{2}=BB^{n_{0}}Bn_{0}$ is any preimage of the longest element of . The proof of the last theorem is formulated in the dioid consisting of all unions of double cosets of in . Other results on minimal length product covers of a group by conjugates of a proper subgroup are given.

生成讲解博客的中文版本

生成AI智能校验的中文版本