Normal subdirect product of perfect groups equals direct product
Given: Perfect groups , with projections . A normal subgroup of such that .
To prove: .
Proof: View and as subgroups in by the embeddings as and respectively.
Since is normal in , . In particular, .
Further, . Thus .
But was assumed to be normal in , so . Thus, .
A similar argument shows that , so contains both and . Hence, .