I would like to ask if $G$ is a semidirect product of a normal subgroup $N$ by a subgroup $K$.
Can we consider $N\wedge G$ as a subgroup of $G\wedge G$? In fact, is the following sequence exact $0\rightarrow N\wedge G\rightarrow G\wedge G \rightarrow G/N\wedge G/N \rightarrow 0$?
yours,