Schreier type theorems for bicrossed products

Abstract

We prove that the bicrossed product of two groups is a quotient of the pushout of two semidirect products. A matched pair of groups $(H, G, α, β)$ is deformed using a combinatorial datum $(σ, v, r)$ consisting of an automorphism $σ$ of $H$, a permutation $v$ of the set $G$ and a transition map $r: G\to H$ in order to obtain a new matched pair $\bigl(H, (G,*), α', β' \bigl)$ such that there exist an $σ$-invariant isomorphism of groups $H {}_α \bowtie_β G \cong H {}_{α'} \bowtie_{β'} (G,*)$. Moreover, if we fix the group $H$ and the automorphism $σ\in \Aut(H)$ then any $σ$-invariant isomorphism $H {}_α \bowtie_β G \cong H {}_{α'} \bowtie_{β'} G'$ between two arbitrary bicrossed product of groups is obtained in a unique way by the above deformation method. As applications two Schreier type classification theorems for bicrossed product of groups are given.