 For full details see Chapter 11 of the book referenced below, and also some details in semidirect product in ncatlab.Non-trivial semidirect products do "not" arise in abelian categories, such as the category of modules.In this case, the splitting lemma shows that every semidirect product is a direct product.