\rtimes

The \rtimes symbol is used to denote a semidirect product in group theory. It is an operation that combines two groups into a new group, where one group acts on the other in a specific way. The semidirect product is a generalization of the direct product of groups, allowing for more complex interactions between the groups.

Examples

Semidirect product of groups G and H

G \rtimes H

Semidirect product with a homomorphism \phi defining the action of H on N

N \rtimes_\phi H

Semidirect product of the integers with the cyclic group of order 2

\mathbb{Z} \rtimes \mathbb{Z}_2