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:
“We said there warn’t no home like a raft, after all. Other places do seem so cramped up and smothery, but a raft don’t. You feel mighty free and easy and comfortable on a raft.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“A little group of willful men, representing no opinion but their own, have rendered the great government of the United States helpless and contemptible.”
—Woodrow Wilson (1856–1924)