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:
“Actually we are a vulgar, pushing mob whose passions are easily mobilized by demagogues, newspaper men, religious quacks, agitators and such like. To call this a society of free peoples is blasphemous. What have we to offer the world besides the superabundant loot which we recklessly plunder from the earth under the maniacal delusion that this insane activity represents progress and enlightenment?”
—Henry Miller (1891–1980)
“Unless a group of workers know their work is under surveillance, that they are being rated as fairly as human beings, with the fallibility that goes with human judgment, can rate them, and that at least an attempt is made to measure their worth to an organization in relative terms, they are likely to sink back on length of service as the sole reason for retention and promotion.”
—Mary Barnett Gilson (1877–?)