- #1
xiavatar
- 100
- 15
In Lang's book,page 39-40, he factorizes ##F_{ab}(M)## with respect to the subgroup generated by all elements of type ##[x+y]-[x]-[y]##. I don't quite understand why he does this. I know that he is trying to create inverse elements, but I don't see why that factorization necessarily satisfies the universal property.