The Magnus embedding as a special case of a homological construction

Let $E$ be a group extension with Abelian kernel. Then it can be assigned an extension $E'$ of modules over the group ring of the quotient group. As a consequence, an embedding of the initial extension in some splitting extension arises. We prove that the celebrated Magnus embedding is a special case of this general construction.