Free Group On Two Generators
The free group with two generators a and b consists of all finite strings that can be formed from the four symbols a, a-1, b and b-1 such that no a appears directly next to an a-1 and no b appears directly next to a b-1. Two such strings can be concatenated and converted into a string of this type by repeatedly replacing the "forbidden" substrings with the empty string. For instance: "abab-1a-1" concatenated with "abab-1a" yields "abab-1a-1abab-1a", which gets reduced to "abaab-1a". One can check that the set of those strings with this operation forms a group with neutral element the empty string ε := "". (Usually the quotation marks are left off, which is why you need the symbol ε!)
This is another infinite non-abelian group.
Free groups are important in algebraic topology; the free group in two generators is also used for a proof of the Banach–Tarski paradox.
Read more about this topic: Examples Of Groups
Famous quotes containing the words free and/or group:
“But we still remember ... above all, the cool, free aspect of the wild apple trees, generously proffering their fruit to us, though still green and crude,—the hard, round, glossy fruit, which, if not ripe, still was not poison, but New English too, brought hither, its ancestors, by ours once. These gentler trees imparted a half-civilized and twilight aspect to the otherwise barbarian land.”
—Henry David Thoreau (1817–1862)
“[The Republicans] offer ... a detailed agenda for national renewal.... [On] reducing illegitimacy ... the state will use ... funds for programs to reduce out-of-wedlock pregnancies, to promote adoption, to establish and operate children’s group homes, to establish and operate residential group homes for unwed mothers, or for any purpose the state deems appropriate. None of the taxpayer funds may be used for abortion services or abortion counseling.”
—Newt Gingrich (b. 1943)