The Cayley graph for the free group on two generators. Each vertex represents an element of the free group and each edge represents multiplication by a or b.

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 st1 su1ut1). Apart from the existence of inverses no other relation exists between the generators of a free group.

A related but different notion is a free abelian group. Contents 1 History 2 Examples 3 Construction 4 Universal property 5 Facts and theorems 6 Free abelian group 7 Tarski's problems 8 See also 9 Notes 10 References History

Free groups first arose in the study of hyperbolic geometry as examples of Fuchsian groups (discrete groups acting by isometries on the hyperbolic plane). In an 1882 paper Walther von Dyck pointed out that these groups have the simplest possible presentations.1 The algebraic study of free groups was initiated by Jakob Nielsen in 1924 who gave them their name and established many of their basic properties.234 Max Dehn realized the connection with topology and obtained the first proof of the full Nielsen-Schreier theorem.5 Otto Schreier published an algebraic proof of this result in 19276 and Kurt Reidemeister included a comprehensive treatment of free groups in his 1932 book on combinatorial topology.7 Later on in the 1930s Wilhelm Magnus discovered the connection between the lower central series of free groups and free Lie algebras. Examples

The group (Z+) of integers is free; we can take S 1. A free group on a two-element set S occurs in the proof of the BanachTarski paradox and is described there.

On the other hand any nontrivial finite group cannot be free since the elements of a free generating set of a free group have infinite order.

In algebraic topology the fundamental group of a bouquet of k circles (a set of k loops having only one point in common) is the free group on a set of k elements. Construction

The free group FS with free generating set S can be constructed as follows. S is a set of symbols and we suppose for every s in S there is a corresponding "inverse" symbol s1 in a set S1. Let T  S  S1 and define a word in S to be any written product of elements of T. That is a word in S is an element of the monoid generated by T. The empty word is the word with no symbols at all. For example if S  a b c then T  a a1 b b1 c c1 and

is a word in S. If an element of S lies immediately next to its inverse the word may be simplified by omitting the s s1 pair:

A word that cannot be simplified further is called reduced. The free group FS is defined to be the group of all reduced words in S. The group operation in FS is concatenation of words (followed by reduction if necessary). The identity is the empty word. A word is called cyclically reduced if its first and last letter are not inverse to each other. Every word is conjugate to a cyclically reduced word and the cyclically reduced conjugates of a cyclically reduced word are all cyclic permutations. For instance b1abcb is not cyclically reduced but is conjugate to abc which is cyclically reduced. The only cyclically reduced conjugates of abc are abc bca and cab. Universal property The free group FS is the universal group generated by the set S. This can be formalized by the following universal property: given any function from S to a group G there exists a unique homomorphism : FS  G making the following diagram commute: That is homomorphisms FS  G are in one-to-one correspondence with functions S  G. For a non-free group the presence of relations would restrict the possible images of the generators under a homomorphism. To see how this relates to the constructive definition think of the mapping from S to FS as sending each symbol to a word consisting of that symbol. To construct for given first note that sends the empty word to identity of G and it has to agree with on the elements of S. For the remaining words (consisting of more than one symbol) can be uniquely extended since it is a homomorphism i.e. (ab) (a) (b). The above property characterizes free groups up to isomorphism and is sometimes used as an alternative definition. It is known as the universal property of free groups and the generating set S is called a basis for FS. The basis for a free group is not uniquely determined. Being characterized by a universal property is the standard feature of free objects in universal algebra. In the language of category theory the construction of the free group (similar to most constructions of free objects) is a functor from the category of sets to the category of groups. This functor is left adjoint to the forgetful functor from groups to sets. Facts and theorems Some properties of free groups follow readily from the definition: Any group G is the homomorphic image of some free group F(S). Let S be a set of generators of G. The natural map f: F(S) G is an epimorphism which proves the claim. Equivalently G is isomorphic to a quotient group of some free group F(S). The kernel of f is a set of relations in the presentation of G. If S can be chosen to be finite here then G is called finitely generated. If S has more than one element then F(S) is not abelian and in fact the center of F(S) is trivial (that is consists only of the identity element). Two free groups F(S) and F(T) are isomorphic if and only if S and T have the same cardinality. This cardinality is called the rank of the free group F. Thus for every cardinal number k there is up to isomorphism exactly one free group of rank k. A free group of finite rank n > 1 has an exponential growth rate of order 2n 1. A few other related results are: The NielsenSchreier theorem: 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 commutator subgroup of a free group of rank k > 1 has infinite rank; for example for F(ab) it is freely generated by the commutators am bn for non-zero m and n. The free group in two elements is SQ universal; the above follows as any SQ universal group has subgroups of all countable ranks. Any group that acts on a tree freely and preserving the orientation is a free group of countable rank (given by 1 plus the Euler characteristic of the quotient graph). The Cayley graph of a free group of finite rank with respect to a free generating set is a tree on which the group acts freely preserving the orientation. The groupoid approach to these results given in the work by P.J. Higgins below is kind of extracted from an approach using covering spaces. It allows more powerful results for example on Grushko's theorem and a normal form for the fundamental groupoid of a graph of groups. In this approach there is considerable use of free groupoids on a directed graph. Grushko's theorem has the consequence that if a subset B of a free group F on n elements generates F and has n elements then B generates F freely. 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 : 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 F(S) F(S) 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. Tarski's problems Around 1945 Alfred Tarski asked whether the free groups on two or more generators have the same first order theory and whether this theory is decidable. Sela (2006) answered the first question by showing that any two nonabelian free groups have the same first order theory and Kharlampovich & Myasnikov (2006) answered both questions showing that this theory is decidable. A similar unsolved (in 2011) question in free probability theory asks whether the von Neumann group algebras of any two non-abelian finitely generated free groups are isomorphic. See also Generating set of a group Presentation of a group Nielsen transformation a factorization of elements of the automorphism group of a free group Free product Notes von Dyck Walther (1882). "Gruppentheoretische Studien". Mathematische Annalen 20 (1): 144. doi:10.1007/BF01443322. http://www.springerlink.com/content/t8lx644qm87p3731.  Nielsen Jakob (1917). "Die Isomorphismen der allgemeinen unendlichen Gruppe mit zwei Erzeugenden". Mathematische Annalen 78 (1): 385397. doi:10.1007/BF01457113. JFM 46.0175.01. MR1511907. http://www.springerlink.com/content/xp12702q30q40381.  Nielsen Jakob (1921). "On calculation with noncommutative factors and its application to group theory. (Translated from Danish)". The Mathematical Scientist 6 (1981) (2): 7385.  Nielsen Jakob (1924). "Die Isomorphismengruppe der freien Gruppen". Mathematische Annalen 91 (3): 169209. doi:10.1007/BF01556078. http://www.springerlink.com/content/l898u32j37u10671.  See Magnus Wilhelm; Moufang Ruth (1954). "Max Dehn zum Gedchtnis". Mathematische Annalen 127 (1): 215227. doi:10.1007/BF01361121. http://www.springerlink.com/content/l657774u3w864mp3. . Schreier Otto (1928). "Die Untergruppen der freien Gruppen". Abhandlungen aus dem Mathematischen Seminar der Universitt Hamburg 5: 161183. doi:10.1007/BF02952517.  Reidemeister Kurt (1972 (1932 original)). Einfhrung in die kombinatorische Topologie. Darmstadt: Wissenschaftliche Buchgesellschaft.  References Kharlampovich Olga; Myasnikov Alexei (2006). "Elementary theory of free non-abelian groups". J. Algebra 302 (2): 451552. doi:10.1016/j.jalgebra.2006.03.033. MR2293770  W. Magnus A. Karrass and D. Solitar "Combinatorial Group Theory" Dover (1976). P.J. Higgins 1971 "Categories and Groupoids" van Nostrand New York. Reprints in Theory and Applications of Categories 7 (2005) pp 1195. Sela Z. (2006). "Diophantine geometry over groups. VI. The elementary theory of a free group.". Geom. Funct. Anal. 16 (3): 707730. MR2238945  J.-P. Serre Trees Springer (2003) (English translation of "arbres amalgames SL2" 3rd edition astrisque 46 (1983)) P.J. Higgins "The fundamental groupoid of a graph of groups" J. London Math. Soc. (2) 13 (1976) 145149. Aluffi Paolo (2009). Algebra: Chapter 0. AMS Bookstore. p. 70. ISBN 978-0-821-84781-7. http://books.google.com/booksiddeWkZWYbyHQC&pgPA70 . Grillet Pierre (2007). Abstract algebra. Springer. p. 27. ISBN 978-0-387-71567-4. http://books.google.com/booksidLJtyhu8-xYwC&pgPA27 .