Skip to main content
1 of 3
W4cc0
  • 137
  • 4

A question about complements in a group

Let $G$ be the cartesian product of infinitely many (say countable for simplicity) copies of $S_3$. It is very easy to show that every time you take an element $g$ of prime order in $G$, then there is a complement $H$ to $\langle g\rangle$ in $G$ in the sense that $G=\langle g\rangle H$ and $\langle g\rangle\cap H=1$.

I've read on some russian paper that actually this property holds for all factor groups $G/N$ of $G$, but I'm unable to prove this.

I can reduce easily to the case in which $N\leq G'$ and $\langle gN\rangle\leq G'/N$ but I do not know how to go on from this. Any suggestion?

W4cc0
  • 137
  • 4