Free Group - Free Abelian Group

Free Abelian Group

Further information: free abelian group

The 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 φ: SF 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 ψ: SG, there exists a unique homomorphism f: FG 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:

    I am a free man. I feel as light as a feather.
    —Javier Pérez De Cuéllar (b. 1920)

    Just as a person who is always asserting that he is too good-natured is the very one from whom to expect, on some occasion, the coldest and most unconcerned cruelty, so when any group sees itself as the bearer of civilization this very belief will betray it into behaving barbarously at the first opportunity.
    Simone Weil (1910–1943)