Free Abelian Group
Further information: free abelian groupThe free abelian group on a set S is defined via its universal property in the analogous way, with obvious modifications: Consider a pair (F, φ), where F is an abelian group and φ: S → F is a function. F is said to be the free abelian group on S with respect to φ if for any abelian group G and any function ψ: S → G, there exists a unique homomorphism f: F → G such that
- f(φ(s)) = ψ(s), for all s in S.
The free abelian group on S can be explicitly identified as the free group F(S) modulo the subgroup generated by its commutators, i.e. its abelianisation. In other words, the free abelian group on S is the set of words that are distinguished only up to the order of letters. The rank of a free group can therefore also be defined as the rank of its abelianisation as a free abelian group.
Read more about this topic: Free Group
Famous quotes containing the words free and/or group:
“Well free every slave in every town and region. Can anybody get a bigger army than that?”
—Dalton Trumbo (19051976)
“Its important to remember that feminism is no longer a group of organizations or leaders. Its the expectations that parents have for their daughters, and their sons, too. Its the way we talk about and treat one another. Its who makes the money and who makes the compromises and who makes the dinner. Its a state of mind. Its the way we live now.”
—Anna Quindlen (20th century)