 Within group theory, the construction of semidirect products can be pushed much further.The Zappa–Szep product of groups is a generalization that, in its internal version, does not assume that either subgroup is normal.There is also a construction in ring theory, the crossed product of rings.