Processing math: 100%

Tuesday, April 23, 2013

Free Groups and Nilpotency/Solvability (6.3.12)

Dummit and Foote Abstract Algebra, section 6.3, exercise 12:

MathJax TeX Test Page Let S be a set and let c be a positive integer. Formulate the notion of a free nilpotent group on S of nilpotence class c and prove it has the appropriate universal property with respect to nilpotent groups of class c.

Proof: Let N be any group of nilpotence class c and let ψ:SN 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)cN such that Φπ(S)=ψ (where π is the natural homomorphism from F(S) to F(S)/F(S)c). Assume F(S)cker φ; 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