9464

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.

THINGS TO TRY

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

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.

RELATED LINKS

    • 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 »

Files require Wolfram CDF Player or Mathematica.









 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2014 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+