10178

# Primitive Elements in the Free Group of Rank Two

This Demonstration determines whether or not a word in the free group of rank two is primitive. Let and . The word is first cyclically reduced, that is, and so on. If it contains both and or and , then the word is not primitive. Otherwise, the word is written along the unit circle moving between letters, where is the length of the word and , where and are the absolute values of the exponent sums of and , respectively. A red disk indicates and a blue disk indicates . If either of the two letters occupy the same location on the circle, or if the letters are not in two contiguous groups, the element is not primitive.

### DETAILS

An element in a free group is primitive if there exists a basis for the free group containing the given element. For free groups of rank two, Piggott observed that there is a very fast algorithm (linear on word length) that determines whether or not an element is primitive based on a construction by Osbourne and Zieschang. The algorithm to determine if a cyclic word in the free group of rank 2 is as follows.
By we denote the length of the word . By we denote the absolute value of the exponent sum of . In other words, the absolute value of the number of ’s minus the number of ’s. We define similarly.
1. If both and appear in or if both and appear, then is not primitive. This happens precisely when .
2. If , then is primitive if and only if or , i.e., .
3. Otherwise, is written cyclically around the unit circle starting at the point and moving between letters. If two letters occupy the same location on the circle, i.e., , or if the two letters are not in two contiguous groups, the element is not primitive. If these two conditions do not occur, then the word is primitive.
Inverses of basis elements are denoted by capital letters: , etc.
Snapshot 1: The word is not primitive as both and appear, i.e., . For this word, .
Snapshot 2: The word is not primitive as the first and fourth letters occupy the same location on the unit circle, i.e., . For this word .
Snapshot 3: The word is not primitive as the groups of letters are not contiguous.
A C implementation of this algorithm can be obtained from Piggott’s website.
References
[1] R. P. Osborne and H. Zieschang, "Primitives in the Free Group on Two Generators," Inventiones Mathematicae, 63(1), 1981 pp. 17–24.
[2] A. Piggott, "Palindromic Primitives and Palindromic Bases in the Free Group of Rank Two," Journal of Algebra, 304(1), 2006 pp. 359–366.

### PERMANENT CITATION

 Share: Embed Interactive Demonstration New! Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details » Download Demonstration as CDF » Download Author Code »(preview ») Files require Wolfram CDF Player or Mathematica.

#### Related Topics

 RELATED RESOURCES
 The #1 tool for creating Demonstrations and anything technical. Explore anything with the first computational knowledge engine. The web's most extensive mathematics resource. An app for every course—right in the palm of your hand. Read our views on math,science, and technology. The format that makes Demonstrations (and any information) easy to share and interact with. Programs & resources for educators, schools & students. Join the initiative for modernizing math education. Walk through homework problems one step at a time, with hints to help along the way. Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet. Knowledge-based programming for everyone.