En las preguntas siguientes: $G$ es un grupo finito; $H \leq G$ un subgrupo de $G; |G : H |$ el índice de $H$ en $G; |X |$ el número de elementos de $X \subseteq G; Z (G)$ el centro de $G; G'$ el subgrupo conmutador de $G; N_{G}(H )$ el normalizador de $H$ en $G; C_{G}(H )$ el centralizador de $H$ en $G$ ; y $S_{n}$ el $n$ - ésimo grupo simétrico. Suponga que $k \geq 2$ es un entero tal que para todo $x, y \in G$ e $i \in \{k-1, k, k+1\}$ se cumple la relación $(xy)^{i}= x^{i}y^{i}$ . Demuestre que $G$ es abeliano. N.T.TUAN