Moufang semidirect products of loops with groups and inverse property extensions

We investigate loops which can be written as the semidirect product of a loop and a group, and we provide a necessary and sufficient condition for such a loop to be Moufang. We also examine a class of loop extensions which arise as a result of a finite cyclic group acting as a group of semiautomorphisms on an inverse property loop. In particular, we consider closure properties of certain extensions similar to those as in [S. Gagola III, Cyclic extensions of Moufang loops induced by semiautomorphisms, but from an external point of view