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:
“I don’t know how long it has been since my ear has been free from the roll of a drum. It is the music I sleep by, and I love it.... I shall remain here while anyone remains, and do whatever comes to my hand. I may be compelled to face danger, but never fear it, and while our soldiers can stand and fight, I can stand and feed and nurse them.”
—Clara Barton (1821–1912)
“A little group of wilful men reflecting no opinion but their own have rendered the great Government of the United States helpless and contemptible.”
—Woodrow Wilson (1856–1924)