Schreier type theorems for bicrossed products
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 → H in order to obtain a new matched pair (H; (G; *); α′, β′) such that there exists a σ-invariant isomorphism of groups H α⋈β G ≅H α′⋈β′ (G, *). Moreover, if we fix the group H and the automorphism σ ∈ Aut H then...