An embedding theorem for the category of crossed \(P\)-modules (Q495016)

Let \(M\) and \(P\) be groups with a left action of \(P\) on \(M\), written \((p,m)\mapsto^pm\) and let \(\delta :M@>>>P\) be a group homomorphism. If \((M,P,\delta )\) satisfies \(\delta (^pm)=p\delta (m)p^{-1}\) for all \( p\in P\) and \(m\in M\) then \((M,P,\delta )\) is a pre-crossed module. We say that \((\mu ,\eta ):(M,P,\delta )@>>>(M',P',\delta')\) is a homomorphism of pre-crossed modules if \(\mu :M@>>>M'\), \(\eta :P@>>>P'\) are group homomorphisms such that \(\delta =\delta'\circ\mu\) and \(\mu (^pm)=^{\eta (p)}\mu(m)\). Then pre-crossed modules form a category \(PXMod\). If we fix \(P\) and \(\eta\) is the identity of \(P\) then we obtain a category denotes \(PXMod/P\). It is proved that the category \(PXMod/P\) has equalizers, coequalizers, pull-backs, pushouts and free pre-crossed modules. The category \(PXMod/P\) is exact and there exists a full exact embeddings of \(PXMod/P\) in the category of functors from the dual of the full subcategory of \(PXMod/P\) formed by finitely generated free pre-crossed \(P\)-modules into the category of sets and mappings. Thus the full subcategory of \(PXMod/P\) formed by finitely generated free pre-crossed \(P\)-modules is a dense subcategory of \(PXMod/P\).