2.13 (1966)

Solved

(Well-known problem). Let $G$ be a torsion group in which every $\pi$-element commutes with every $\pi'$-element. Does $G$ decompose into the direct product of a maximal $\pi$-subgroup and a maximal $\pi'$-subgroup?

Progress

Not always. S. I. Adian (Math. USSR–Izv., 5 (1971), 475–484) has constructed a group $A = A(m, n)$ which is torsion-free and has a central element $d$ such that $A(m, n)/\langle d \rangle \cong B(m, n)$, the free $m$-generator Burnside group of odd exponent $n \geqslant 4381$. Given a prime $p$ coprime to $n$, a counterexample with $\pi = \{p\}$ can be found in the form $G = A/\langle d^{p^k} \rangle$ for some positive integer $k$. Indeed, $\langle d \rangle / \langle d^{p^k} \rangle$ is a maximal $p$-subgroup of $G$. Suppose that $A/\langle d^{p^k} \rangle = \langle d \rangle / \langle d^{p^k} \rangle \times H_k/\langle d^{p^k} \rangle$ for every $k$. Then $\langle d \rangle \cap H_k = \langle d^{p^k} \rangle$ for all $k$ and therefore $\langle d \rangle \cap H = 1$, where $H = \bigcap_k H_k$. Since $H$ is torsion-free and is isomorphic to a subgroup of $A/\langle d \rangle \cong B(m, n)$, we obtain $H = 1$. This implies that $A$ is isomorphic to a subgroup of the Cartesian product of the abelian groups $A/H_k$, a contradiction. (Yu. I. Merzlyakov, 1973.)

Comments

All comments are the responsibility of the user. Comments appearing on this page are not verified for correctness. Please keep posts mathematical and on topic. If you want to submit a proof (or a partial proof), please use the dedicated proof submission form rather than posting it in the comments.
Order by newest first or oldest first.

No comments yet. Be the first to comment.

Proof claims

Proof claims are the responsibility of the submitter. Appearance here does not mean the claim has been checked for mathematical correctness. Moderators only screen for spam, abuse, and obviously low-effort submissions.

No proof claims yet.