 This is constructed in the natural way from the group ring for a semidirect product of groups.The ring-theoretic approach can be further generalized to the semidirect sum of Lie algebras.For geometry, there is also a crossed product for group actions on a topological space; unfortunately, it is in general non-commutative even if the group is abelian.