Proof: Let N be any group of nilpotence class ≤c and let ψ:S→N be a set map with G=⟨ img ψ ⟩. We have a unique homomorphism φ:F(S)→N (fixing S) so that F(S)/ker φ≅G. We prove that there is a unique homomorphism Φ:F(S)/F(S)c→N such that Φ∣π(S)=ψ (where π is the natural homomorphism from F(S) to F(S)/F(S)c). Assume F(S)c≰ker φ; we then have a contradiction: Gc≅(F(S)/ker φ)c=F(S)c/ker φ≠1Therefore there is the desired homomorphism afforded by:(F(S)/F(S)c)/(ker φ/F(S)c)≅F(S)/ker φ≅GAssume Φ1≠Φ2 are two homomorphisms from F(S)/F(S)c to N fixing π(S); then Φ1∘π≠Φ2∘π are two homomorphisms from F(S) to G fixing S, a contradiction. We thus have ker φ factors through F(S)c, and the following diagram commutes:

Note that this theorem can be paralleled to produce a similar result regarding a free solvable group on a set S.
No comments:
Post a Comment