Science Fair Project Encyclopedia
In mathematics, a group G is called free if there is a subset S of G such that any element of G can be written in one and only one way as a product of finitely many elements of S and their inverses (disregarding trivial variations such as st-1 = su-1ut-1).
Note that the notion of free group is different from the notion free abelian group.
If S is any set, there always exists a free group on S. This free group on S is essentially unique in the following sense: if F1 and F2 are two free groups on the set S, then F1 and F2 are isomorphic, and furthermore there exists precisely one group isomorphism f : F1 -> F2 such that f(s) = s for all s in S.
This free group on S is denoted by F(S) and can be constructed as follows. For every s in S, we introduce a new symbol s-1. We then form the set of all finite strings consisting of symbols of S and their inverses. Two such strings are considered equivalent if one arises from the other by replacing two adjacent symbols ss-1 or s-1s by the empty string. This generates an equivalence relation on the set of strings; its quotient set is defined to be F(S). Because the equivalence relation is compatible with string concatenation, F(S) becomes a group with string concatenation as operation.
The free group on S is characterized by the following universal property: if G is any group and
- f : S → G
- T : F(S) → G
- T(s) = f(s)
for all s in S.
Facts and theorems
Any group G is isomorphic to a quotient group of some free group F(S). If S can be chosen to be finite here, then G is called finitely generated.
If F is a free group on S and also on T, then S and T have the same cardinality. This cardinality is called the rank of the free group F. For every cardinal number k, there is, up to isomorphism, exactly one free group of rank k.
Any subgroup of a free group is free.
A free group of rank k clearly has subgroups of every rank less than k. Less obviously, a free group of rank greater than 1 has subgroups of all countable ranks.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details