For an odd prime $p$, it is shown that if $G = AB$ is a finite $p$-group, for subgroups $A$ and $B$ such that $A$ is cyclic and $B$ is abelian of exponent at most $p^{k}$, then $\Omega_{k}(A)B \unlhd G$, where $\Omega_{k}(A) = \langle g \in A \mid g^{ p^{k}} = 1 \rangle$.
References
B. Amberg, S. Franciosi and F. de Giovanni, Products of groups, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1992. 0774.20001B. Amberg, S. Franciosi and F. de Giovanni, Products of groups, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1992. 0774.20001
M. D. E. Conder and I. M. Isaacs, Derived subgroups of products of an abelian and a cyclic subgroup, J. London Math. Soc. 69 (2004), no. 2, 333–348. 1063.20031 10.1112/S0024610703005027M. D. E. Conder and I. M. Isaacs, Derived subgroups of products of an abelian and a cyclic subgroup, J. London Math. Soc. 69 (2004), no. 2, 333–348. 1063.20031 10.1112/S0024610703005027
R. B. Howlett, On the exponent of certain factorizable groups, J. London Math. Soc. 31 (1985), no. 2, 265–271. 0526.20015 10.1112/jlms/s2-31.2.265R. B. Howlett, On the exponent of certain factorizable groups, J. London Math. Soc. 31 (1985), no. 2, 265–271. 0526.20015 10.1112/jlms/s2-31.2.265
B. Huppert, Über das Produkt von paarweise vertauschbaren zyklischen Gruppen, Math. Z. 58 (1953), 243–264. 0050.25603 10.1007/BF01174144B. Huppert, Über das Produkt von paarweise vertauschbaren zyklischen Gruppen, Math. Z. 58 (1953), 243–264. 0050.25603 10.1007/BF01174144
N. Itô and A. Ôhara, Sur les groupes factorisables par deux 2-groupes cycliques. I. Cas où leur groupe des commutateurs est cyclique, Proc. Japan Acad. 32 (1956), 736–740. 0073.25601 10.3792/pja/1195525214 euclid.pja/1195525214N. Itô and A. Ôhara, Sur les groupes factorisables par deux 2-groupes cycliques. I. Cas où leur groupe des commutateurs est cyclique, Proc. Japan Acad. 32 (1956), 736–740. 0073.25601 10.3792/pja/1195525214 euclid.pja/1195525214
N. Itô and A. Ôhara, Sur les groupes factorisables par deux 2-groupes cycliques. II. Cas où leur groupe des commutateurs n'est pas cyclique, Proc. Japan Acad. 32 (1956), 741–743. 0073.25601 10.3792/pja/1195525214 euclid.pja/1195525214N. Itô and A. Ôhara, Sur les groupes factorisables par deux 2-groupes cycliques. II. Cas où leur groupe des commutateurs n'est pas cyclique, Proc. Japan Acad. 32 (1956), 741–743. 0073.25601 10.3792/pja/1195525214 euclid.pja/1195525214
