arxiv: v2 [math.gr] 31 Jul 2014
|
|
- Noreen Golden
- 5 years ago
- Views:
Transcription
1 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS arxiv: v2 [math.gr] 31 Jul 2014 ANDREW E. SILVERIO Abstract. The Gilman-Maskit algorithm for determining the discretenessornon-discretenessofatwo-generatorsubgroupofpsl 2 R terminates with a pair of generators that are Farey words [1]. The Farey words are primitive words that are indexed by rational numbers and infinity. The so called E-words [6], primitive words with palindromic or palindromic product forms, are also indexed by rational numbers and infinity. We produce a modification of the Gilman-Maskit algorithm so that the stopping generators are E- words. 1. Introduction Every primitive word in a rank-2 free group is conjugate either to a unique palindrome or to a product of two palindromes. An E-word is either the unique palindrome in the conjugacy class of the word or a product of two palindromes that have appeared earlier in what is known as the E-enumeration scheme. Here we present two alternative ways of producing and studying the E-words defined in [6] first by defining rational numbers which we call orphans and second by defining a new string of integers which we call an E-sequence that comes from modifying the Gilman-Maskit algorithm in [1]. Applications of the E- sequence mainly give comparisons of the Keen-Series Farey words with E-words. By studying the mapping classes of a punctured torus, one concludes that the primitive elements of a rank-2 free group can be indexed, up to conjugacy, by rational numbers and infinity. Gilman and Keen [6] derived an iteration method that takes a rational number and gives back a primitive element of the rank-2 free group F 2 with the option of providing its primitive associate. This iteration terminates on two conditions: when the argument or input is either 0 or. The results here are part of the author s Ph.D. thesis. The author thanks the Rutgers-Newark Mathematics Department for its support during the course of his graduate studies and the Graduate School Newark for a Dissertation Fellowship. 1
2 2 ANDREW E. SILVERIO In Section 2, an alternative but equivalent conditions for terminating the recursive iteration is shown. Particularly, the enumeration scheme can be terminated on two other conditions: when the input is either an integer or the reciprocal of an integer. This result helps in implementing the E-enumeration in a program one would call an E-word Calculator. A sample source code can be found on Our next result is to construct an alternative definition of an E-word by deriving a new iteration scheme from the Gilman-Maskit algorithm [1]. The Gilman-Maskit algorithm for determining the non-discreteness or discreteness of a two-generator subgroup of PSL 2 R stops with a pair of generators that are Farey words unless it encounters a non-primitive elliptic generator, in which case the group is not free. The Farey words are primitive words that are indexed by rational numbers and infinity. The E-words, which are primitive words with either a palindromic form or a palindromic product form, are also indexed by rational numbers and infinity. In Section 3, the Gilman-Maskit algorithm is modified so that the stopping generators are E-words. The Gilman-Keen enumeration scheme begins with a pair of primitive generators and indexes any other primitive word by splitting a given rational number into the Farey sum of two other rational numbers. It keeps on splitting the other rational numbers until it encounters an E-word that correspond to either 0 or, the rationals that correspond to the initial primitive pair. Both the modification in Section 2 and the original definition of the enumeration scheme in [6] take a continued fraction expansion [a 0 ;a 1,a 2,...,a k ], starts with a k, decrements it until a k = 0, then decrements a k 1, and runs down to a 0. The difference between these two is that the alternative procedure, using the new orphans, terminates the recursion at [a 0 ;1] whereas the original definition keeps on with the recursion. On the other hand, our modified Gilman-Maskit algorithm equipped with E-sequence takes the same continued fraction expansion [a 0 ;a 1,a 2,...,a k ] but starts with a 0 and ends with a k. Finally, we apply the investigations of the modified algorithm to obtain a theorem, Theorem 3.6 about the number of E-words of a given length. 2. Equivalent Conditions for Terminating Palindromic Primitives As indicated above, it is well known that the conjugacy classes of the primitive elements of a rank-2 free group F 2 can be indexed by
3 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS3 the rational numbers and infinity up to taking inverses. Moreover, it is also known that for each conjugacy class of primitive elements, there is a representative that is either a palindrome or product of two palindromes. The Gilman and Keen [6] scheme proves the palindrome and product palindrome result. It enumerates all primitive words by defining a function E : Q { } F 2 = A,B. This function is recursive and terminates on conditions 0 A 1 and B. In this section, we give non-recursive formulas for this function E in cases where the rational number is an integer or reciprocal of an integer. These formulas serve as an alternative terminating conditions applied to the original enumerating scheme derived by Gilman and Keen [6]. The original definition of the enumeration scheme can be implemented and run in a machine without any modification. However every time a recursion calls itself, the state of the previous caller is stored until the recursion stops calling itself. It is often efficient for a recursion to minimize calling itself in order to avoid wasted resources such as time and storage space. The non-recursive formulas for special cases reduce the self-calling of the recursion Summary of the Gilman-Keen Enumeration Scheme. The notation used here for elements of Q { } are of the form p/q where p Z, q Z [0, ) and gcd(p,q) = 1. The element is denoted by 1/0. By definition, 1 and 0 are in lowest terms. 0 1 Definition 1. Let p/q,r/s Q { }. The pair p/q and r/s are called Farey neighbors if ps rq = 1. If p/q and r/s are Farey neighbors, the Farey sum of p/q and r/s is p q r s = p+r q +s. Both p/q and r/s are Farey neighbors of their Farey sum. The Farey neighbors do not have the transitive property. A rational number may have infinitely many Farey neighbors but the set of other rational numbers of lower Farey level for which it is a Farey neighbor is certainly bounded. We give a name for its minimum and maximum such neighbor. Definition 2. The smallest and largest lower level Farey neighbors of a nonzero rational number p/q are called parents of p/q. The details of the Gilman-Keen enumeration scheme can be found in [6]. The following is a brief overview. Set E 0/1 = A 1 and E 1/0 = B. For the rest of Q, take the parents m/n and r/s of p/q such that
4 4 ANDREW E. SILVERIO m < p < r. Define E n q s p/q recursively by { E r/s E m/n E p/q = E m/n E r/s if pq is odd, if pq is even. Definition 3. The function E : Q { } F 2 given by p/q E p/q is called the Gilman-Keen enumeration scheme or simply enumeration scheme. The definitions of E 0/1 and E 1/0 are called terminal conditions since they do not require breaking a fraction into a Fareysum of their parents. Hence, we call the elements 0 and of Q { } orphans. The Farey level of a rational number is the number of steps in the iteration scheme at which the rational first appears Non-recursive Formulas for Special Cases. In this section, formulas are given for E n/1 and E 1/n for all n Z. Since the enumeration scheme is a recursive definition, the corresponding words of non-orphans are cumbersome to compute. However, formulas can be derived on some cases. The following are facts about parents of integers. Lemma 2.1. For n > 1, the parents of 1 are 0 and 1. For n > 0, n 1 n 1 the parents of n are 1 n 1 and Proof. Since 1 =, any other Farey neighbor of n must be finite. 0 1 Suppose p/q is a finite Farey neighbor of n. We may assume q 1; otherwise, pass the negative sign to p. Then, p < n p < qn. Since q p/q is a Farey neighbor of n, p qn = 1. Hence, qn p = 1, and q qn p = p qn q = p q(n 1) = p q n 1. Since n 1 is a Farey neighbor of n, n 1 must be the lower parent of n. Next, we show the parents of 1. Suppose n > 1 and p is a Farey n q neighbor of 1 with p > 1. Since n > 1, 1 > 0 so we assume p 1 and n q n n
5 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS5 q 1. Then pn q = 1 and pn > q pn q = 1. Hence, p 1 = p pn q = q pn p = q p(n 1) = 1 n 1 p q. 1 Since is a Farey neighbor of 1, it is the greater parent of 1. Lastly, n 1 n n if a Farey neighbor p 1 q 1, then q pn = 1 q 1 = pn p =. q n n Since n > 1 and we may assume that q 1, it implies p 0. Hence p 0. Since 0 is a Farey neighbor of 1, 0 must be lower parent of q n 1 1 n. Corollary 2.1. If n is a negative integer, the parents of n are and n+1; the parents of 1 1 are 0 and for n < 1. n n+1 Proof. If n < 0, then n + 1 is the greatest Farey neighbor of n other than. Using similar methods, is the lowest possible parent of a negative rational number. On the other hand, if n < 1, then n > 1, so the parents of 1 n are 0 and 1 n 1 = 1 n+1 maximum Farey neighbors of 1 n are 1 (n+1). Hence, the minimum and and 0 respectively. In computing a primitive word in the image of the enumerating scheme, the recursion eventually runs through the decreasing entries of a continued fraction [a 0 ;a 1,...,a k ]. The fraction n has the form [n;] 1 and 1 has the form [0;n]. Thus, a formula for these cases saves the n iteration several steps. To construct more unified formulas, a function s : R { 1,1} is defined by { 1 for x (,0), s(x) = 1 for x [0, ). Theorem 2.1. Let n Z. Then, and E 1 n En = B n 2 1 A s(n) B n 2 = A s(n) n 2 BA s(n) n 2. Theformulaworksforn = 2, 1,0,1and2. Therestoftheintegers can be verified using inductive steps n+2 and n 2.
6 6 ANDREW E. SILVERIO 2.3. Alternative Termination Conditions. Since using Theorem 2.1 allows the enumeration scheme to terminate the recursion earlier, we conclude this section with the alternative but equivalent terminating conditions. Theorem 2.2. The Gilman-Keen enumeration scheme can have its recursion terminated using the conditions En = B n 2 1 A 1 B n 2 E 1 n for n Z [0, ) ; and for n Z (,0). En = B n 2 1 AB n 2 E 1 n = A n 2 BA n 2 = A n 2 BA n 2 Proof. Ifp/q = [a 0 ;a 1,...,a k ],thentheparentsofp/q are[a 0 ;a 1,...,a k 1 ] and [a 0 ;a 1,...,a k 1] from [6]. The splitting process of the enumeration scheme eventually queries the E-word corresponding to either [a 0 ;] or [0;a 1 ]. Both of these correspond to E a0 and E 1/a0 respectively. 3. The Modified Gilman-Maskit Algorithm A linear step in the Gilman-Maskit algorithm sends the ordered pair (g,h) to (g,gh). A Fibonacci step sends the pair (g,h) to (gh,g) [1, 9,10]. Which step is used or picked depends on the traces of the new generators; the one with lower trace should occupy the left spot. It comes from the assumption that the old pair has tr 2 (g) < tr 2 (h). The main idea of a step is to replace one of the two generators with their product. By keeping one of the generators, this procedure ensures that the groups generated by the old and new pairs are the same. The algorithm retains the generator with lower trace. The following is the proposed new step in picking new generators from a given ordered pair (a,b). conditions for a and b preserve a preserve b both a and b are palindromes (a,ba) (ba,b) a is not a palindrome (a,ab) (ab,b) b is not a palindrome (a,ab) (ab,b) Note that there are no assumptions about the traces of a and b, but it assumes a takes the left spot and both generators are either a palindrome or a product of palindromes.
7 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS Summary of Gilman-Maskit Algorithm. The Gilman-Maskit algorithm takes two elements A and B of PSL 2 R and gives a definite output: either A, B is discrete; or not. The algorithm uses conditions, e.g. Poincaré polygon theorem or Jørgensen s inequality, to decide whether the group is discrete or not using the generators A and B. If it cannot decide using A and B, the generators are combined to construct new generators to use for testing discreteness. One such combination is the pair (A,AB) and the traces of their matrices are reduced after the iteration. Eventually the process of changing the generators stop and the algorithm makes a decision [1]. Other combinations and conditions are also used but the step that changes (A,B) into (A,AB) called Nielsen step is the main modification of this section New Linear and Fibonacci Steps. The original linear step seems to preserve the left generator and change the other. The original Fibonacci step turns the left generator into the right generator, and hence seems to change both generators. The F-sequence in [4] records the consecutive linear steps before a Fibonacci step or the algorithm stops. Thus, itdefinesanorderedsetofpositiveintegers(n 0,n 1,...,n k ) where each n i correspond to the consecutive linear steps. The proposed new steps here always preserve one generator including its position whether left or right. Instead of classifying the steps, we define a new sequence [n 0 ;n 1,n 2,...,n k ] called E-sequence. Let n 0 be the number of steps in preserving the initial right generator before changing it. Let n 1 be the number of steps in preserving the initial left generator before changing it. Let n 2 be the number of steps the next right generator is preserved. The rest of the n i s alternates between left and right generators. So for even i, n i steps preserve the right generator; for odd i, n i steps preserve the left generator. If the algorithm preserves the left generator first, we let n 0 = 0. All n i s take positive integers except n 0 which can take a zero value. Hence, an E-sequence can take continued fraction expansion values of any positive rational number p/q Reversing the Enumeration Scheme. In this section reversing the process of the Gilman-Keen enumeration scheme is shown. The definition of the enumeration scheme requires taking the parents of a given rational number. While the parents exist and are well-defined for most rational numbers, their computations and ordering are cumbersome. In addition, the parents are broken further into grandparents until orphans are encountered. Every time a parent is not an orphan,
8 8 ANDREW E. SILVERIO another splitting into two parents must occur; the manual computations get worse. In theory, one can start with the greatest grandparents of all other elements which exactly are the orphans 0 and. This section explains in detail how this process can be done. A typical pair of parents are noticeably Farey neighbors. Furthermore, their Farey sum is equal to their only child. The properties of Farey neighbors are also properties of parents. In the process of reversing the enumeration scheme, the modification of the Gilman-Maskit algorithm is also proven to stop with E-words. The following are facts about Farey neighbors. Lemma 3.1. Let p be Farey neighbors with p < r. Then p < p+r < r; q q s q q+s s and the pairs p, p+r p+r and, r are Farey neighbors. q q+s q+s s Lemma 3.2. Let p and r be Farey neighbors. Then p and q cannot be q s both even; r and s cannot be both even. Moreover, p, q, r and s cannot be all odd. Proof. If p and q are both even, then p are not in lowest terms since q gcd(p,q) 2. Same is true with r and s. Suppose all integers p, q, r and s are odd. Then ps and rq are also odd, but ps qr is even. In particular ps rq is not 1. Lemma 3.3. For each pair of Farey neighbors p and r, only one of q s the following combinations hold. (1) pq is odd; rs is even. (2) pq and rs are even. (3) pq is even rs is odd. Proof. If pq is odd, both p and q are odd. By the lemma above, r and s cannot be both odd so one of them must be even. Hence rs is even. When it comes to listing possibilities, whether even or odd, of the integers p, q, r and s, two more combinations can be eliminated. Lemma 3.4. For each pair of Farey neighbors p and r, the following q s combinations do not hold. (1) p and r are even; q and s are odd. (2) p and r are odd; q and s are even. Proof. If the fractions are Farey neighbors, ps rq = 1. If any combinations above hold, both ps and rq are even. Hence, the difference of even numbers is even. In particular ps rq cannot equal to 1.
9 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS9 Initially, odd-even combinations of four integers p, q, r and s add up to 16. However the preceding lemmas imply that there can be only 6 possibilities. Theorem 3.1. For each pair of Farey neighbors p and r, only one of q s the following combinations hold. p q r s (p+r)(q +s) even odd odd even odd odd odd even odd even odd odd odd even even odd even even odd odd even odd odd odd even odd even odd odd even Proof. The conditions where p and q are both even eliminate four conditions. The conditions where r and s are both even reduces 3 more. The case where all p, q, r and s are odd and lemma above make 3 more impossible. The remaining possibilities are 6 out of 16. The Gilman-Keen enumeration scheme maps each element of Q { } to a primitive word in F 2 by defining a recursion. Recall that the word E p/q in F 2 corresponding to a positive rational number p/q. The elements m and r of Q { } are the parents of p. For the orphans 0 n s q and, E 0 = A 1 and E = B. It is also assumed that m < r. n s It is well-known that the Farey sum of the parents of p/q is equal to p/q. It is also known that for any Farey neighbors m and r whose n s Farey sum is p, then m and r must be the parents of p. q n s q Lemma 3.5. If p and r are positive and Farey neighbors, then the q s parents of their Farey sum are exactly p and r. q s The lemma above and Lemma 3.1 allow one to guess the parents of a given rational number p/q. This is done by breaking p and q into sums p = m+r and q = n+s, so that ms rn = 1. On large numerators or denominators, the combinations of sums can be cumbersome, but the goal is to reverse the process of the recursion defined in the enumeration scheme. More precisely, the goal is to determine E p/q starting from A and B instead of starting from computing the parents of p/q. From this point onward, we assume Farey neighbors p and r have q s p. The following theorem derives the E-word corresponding to < r q s p+r. q+s
10 10 ANDREW E. SILVERIO Theorem 3.2. Let p and r be nonnegative and Farey neighbors with q s p < r. Then, E q s (p+r)/(q+s) is a product of E p/q and E r/s determined by the following table. p q r s (p+r)(q +s) E (p+r)/(q+s) even odd odd even odd E r/s E p/q odd odd even odd even E p/q E r/s odd odd odd even even E p/q E r/s odd even even odd odd E r/s E p/q even odd odd odd even E p/q E r/s odd even odd odd even E p/q E r/s Proof. Since the parents of p+r are exactly p and r, the residue class q+s q s mod 2 of (p+r)(q+s) can be determined by the residue class mod 2 of p, q, r, and s. The possible combinations are fully listed. Since p < r, q s the E-word corresponding to p+r is determined in terms of the words q+s corresponding to E p/q and E r/s. The image of the enumeration scheme is a set of palindromes or product of palindromes. Gilman and Keen [6] proved that E p/q is a palindrome if and only if pq is even. Hence, E p/q is not a palindrome if and only if pq is odd. Using the table in the theorem above, E (p+r)/(q+s) is a palindrome if either pq or rs is not a palindrome; and E (p+r)/(q+s) is not a palindrome if both pq and rs are palindromes. Let a = A 1 and b = B, where A and B are generators of rank-2 free group. Then a,b = A,B and (a,b) = ( E 0/1,E 1/0 ). This initial pair has the rational number corresponding to the left generator less than that of the right generator. Theorem 3.3. Let p < r be positive Fareyneighbors. Let (a q s 1,b 1 ) be the new pair of generators after applying a step of the modified algorithm to the generators ( ) E p/q,e r/s. Then both a1 and b 1 are E-words; a 1 = E j/k and b 1 = E m/n such that j < m. Either j or m p+r is equal to so j k n k n q+s k and m are Farey neighbors. n Proof. Let a 0 = E p/q and b 0 = E r/s. Then (a 1,b 1 ) is one of the following. conditions for a 0 and b 0 preserve a 0 preserve b 0 both a 0 and b 0 are palindromes (a 0,b 0 a 0 ) (b 0 a 0,b 0 ) a 0 is not a palindrome (a 0,a 0 b 0 ) (a 0 b 0,b 0 ) b 0 is not a palindrome (a 0,a 0 b 0 ) (a 0 b 0,b 0 ) Since either a 0 or b 0 is preserved, we show that a 0 b 0 or b 0 a 0 is the E- word corresponding to p+r q+s. If a 0 and b 0 are both palindromes, both
11 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS11 pq and rs are even. Using the table in Theorem 3.1, (p + r)(q + s) is odd in any possible combinations of parities (residue classes mod 2) of p, q, r and s. Also p and r p+r are the parents of. Hence, q s q+s E (p+r)/(q+s) = E r/s E p/q = b 0 a 0. If either a 0 or b 0 is not a palindrome, then either pq or rs is odd, respectively. Thesametableshows(p+r)(q+s)isevensoE (p+r)/(q+s) = E r/s E p/q = a 0 b 0. The only thing left to show is that j < m. This is an application of k n Lemma 3.1 that says p < p+r < r. If j = p, m = p+r so j and m are q q+s s k q n q+s k n Farey neighbors. If j = p+r, then m = r. In any case j < m. k q+s n s k n Corollary 3.1. The modified algorithm steps, applied finitely many times to a pair of primitive associates ( E p/q,e r/s ) where p q < r s, provides a pair of E-words that generate the same group E p/q,e r/s = A,B Consecutive Steps. In the theory of F-sequence, n consecutive linear steps have an simple formula (a,b) (a,a n b). Equivalently, a is preserved in n consecutive steps. In the modified algorithm, there are more than one formula and not all of them are simple. The formulas depend on palindromic conditions of the current generators and which generator is preserved. There are six formulas shown in the following. ( preserve a ) preserve b (En both a and b are palindromes a,e 1(a,b) (a,b),b ) n ( ) a is not a palindrome (a,a n b) E 1(b,a),b ( n b is not a palindrome a,en (b,a) ) (ab n,b) 3.5. From E-sequence to E-words. The main purpose of the modification is to end the algorithm with E-words. Since tr 2 (ab) = tr 2 (ba) and the modification uses only Nielsen automorphisms, the proposed method stops the algorithm with the same number of steps and complexity as the original one. In this section, we prove that this modification produces E-words in the end. More precisely and more strongly, Theorem 3.4. Let [n 0 ;n 1,n 2,...,n k ] be the continued fraction expansion of the nonnegative rational number p/q. Then the last changed generator of the modified Gilman-Maskit algorithm using the E-sequence [n 0 ;n 1,n 2,...,n k ] isthe E-wordcorrespondingthe rationalnumber p/q. Proof. Let [n 0 ;n 1,n 2,...,n k ] be an E-sequence. Then the modified algorithm has outputs of E-words corresponding to the rational numbers
12 12 ANDREW E. SILVERIO p i /q i and r i /s i for i = 0,1,2,...,k in the following recursive formulas. p 0 = 0 q 0 = 1 r 0 = 1 s 0 = 0 p i = n 2i 2 r i 1 +p i 1 r i = n 2i 1 p i +r i 1 q i = n 2i 2 s i 1 +q i 1 Next thing to show is that p i q i = [n 0 ;n 1,n 2,...,n 2i 2 ] s i = n 2i 1 q i +s i 1 and r i = [n 0 ;n 1,n 2,...,n 2i 1 ]. s i There are formulas in [6] where approximants are defined as follows. g 0 = n 0 h 0 = 1 g 1 = n 1 n 0 +1 h 1 = n 1 g i = n i g i 1 +g i 2 h i = n i h i 1 +h i 2 It was claimed in [6] that g i = [n 0 ;n 1,n 2,...,n i ]. There is a way to h i relate p i q i and r i s i to g i h i. In particular, p i = g 2i 2 r i = g 2i 1 q i h 2i 2 s i h 2i 1 for all i 1. We show it as follows. p 1 = n 0 r 0 +p 0 r 1 = n 1 p 1 +r 0 = n 0 = n 1 n 0 +1 = g 0 = g 1 q 1 = n 0 s 0 +q 0 s 1 = n 1 q 1 +s 0 = n = n = 1 = n 1 = h 0 = h 1 The assertions work for i = 1. To show that the formulas work for all other i, we show that they work for i+1. That is, p i+1 = g 2(i+1) 2 q i+1 = h 2i = g 2i+2 2 r i+1 = g 2i+1 = g 2i h i+1 = h 2i+1.
13 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS13 The following are the computations. p i+1 = n 2i r i +p i r i+1 = n 2i+1 p i+1 +r i = n 2i g 2i 1 +g 2i 2 = n 2i+1 g 2i +g 2i 1 = g 2i = g 2i+1 q i+1 = n 2i s i +q i s i+1 = n 2i+1 q i+1 +s i = n 2i h 2i 1 +h 2i 2 = n 2i+1 h 2i +h 2i 1 = h 2i = h 2i+1 Now that p i, q i, r i and s i are consolidated to two formulas, g i and h i, except p 0, q 0, r 0 and s 0, it follows that g i h i = [n 0 ;n 1,n 2,...,n i ] Examples of the Modified Algorithm. The following shows the modified algorithm using the E-sequence [5; 4, 3]. (a,b) (ba,b) (bab,b) ( b 2 ab,b ) ( b 2 ab 2,b ) ( b 3 ab 2,b ) ( b 3 ab 2,b 3 ab 3) ( b 3 ab 2,b 3 ab 5 ab 3) ( b 3 ab 2,b 3 ab 5 ab 5 ab 3) ( b 3 ab 2,b 3 ab 5 ab 5 ab 5 ab 3) ( b 3 ab 5 ab 5 ab 5 ab 3,b 3 ab 5 ab 5 ab 5 ab 3) ( b 3 ab 5 ab 5 ab 5 ab 6 ab 5 ab 5 ab 5 ab 5 ab 3,b 3 ab 5 ab 5 ab 5 ab 3) ( b 3 ab 5 ab 5 ab 5 ab 6 ab 5 ab 5 ab 5 ab 5 ab 6 ab 5 ab 5 ab 5 ab 3,b 3 ab 5 ab 5 ab 5 ab 3) One can observe that the sum of the exponents of a is 13, and that of b is 68. Moreover, the continued fraction expansion of 68 is [5;4,3]. 13 The following shows the algorithm using the E-sequence [4; 3, 2]. (a,b) (ba,b) ( b 2 ab 2,b ) ( b 2 ab 2,b 3 ab 2) ( b 2 ab 2,b 2 ab 5 ab 2) ( b 2 ab 2,b 2 ab 5 ab 4 ab 2) ( b 2 ab 4 ab 5 ab 4 ab 2,b 2 ab 5 ab 4 ab 2) ( b 2 ab 4 ab 5 ab 4 ab 4 ab 5 ab 4 ab 2,b 2 ab 5 ab 4 ab 2) In this example, the sum of the exponents of a is 7, and that of b is 30. Likewise, the continued fraction expansion of 30 is [4;3,2]. 7
14 14 ANDREW E. SILVERIO The following shows the algorithm using the E-sequence [0; 3, 4]. (a,b) (a,ba) (a,aba) ( a,aba 2) ( a 2 ba 2,aba 2) ( a 2 ba 3 ba 2,aba 2) ( a 2 ba 3 ba 3 ba 2,aba 2) ( a 2 ba 3 ba 3 ba 3 ba 2,aba 2) The fraction for above is 4 which has a continued fraction expansion 13 of [0;3,4] Forms of E-words. It is shown in Section 2.3 what the form of E-words are if k = 0 or precisely p/q Z. In this section, we look at E-words up to k = 2 and show what happens to exponents of a and b for any E-word. To alleviate complicated notations, we define m i = n i and M 2 i = n i. Then m 2 i +M i = n i, m i = M i if n i is even and M i = m i + 1 if n i is odd. This notation is used as superscripts. For example, Theorem 2.1 shows E n0 = b M i ab m i and E 1/n1 = a m i ba M i. For p/q > 1 and k 2, four possible cases of an E-sequence can be fed to the modified Gilman-Maskit algorithm. The E-word corresponding to [n 0 ;n 1,...,n k ] is also a word in E([n 0 ;n 1,...,n k 2 ]) and E([n 0 ;n 1,...,n k 1 ]) if k 2. By induction, E([n 0 ;n 1,...,n k ]) is a word in E([n 0 ;n 1,n 2 ]) and E([n 0 ;n 1 ]). Summary of cases k 2: E-sequence ( stopping pair [odd;n 1 ] b M 0 ab m 0,b M 0 (ab n 0 ) n1 1 ab ) M 0 ( ) [even;n 1 ] b m 0 ab m 0,b m 0 (ab n 0 ) m1 1 ab n0+1 (ab n 0 ) M1 1 ab m 0 ( [odd;1,n 2 ] b ( M 0 ab ) n 0+1 m 2 ab ( n 0 ab ) ) n 0+1 M 2 1 ab M 0,b M 0 ab M 0 ( [even;1,n 2 ] b ( m 0 ab ) ) n 0+1 n 2ab m 0,b m0+1 ab m 0 Note that the formulas above work even if n k = 1. Corollary 3.2. For n 0 > 0, k 3 and p/q = [n 0 ;n 1,...,n k ], E p/q is a word in a and b of the form b k 1 ab k 2 ab k3 ab kq ab k q+1 where k 1,k q+1 {m 0,M 0 } and {k 2,k 3,...,k q } = {n 0,n 0 +1}. Proof. By Theorem 3.4, E p/q is the last modified generator in running the E-sequence [n 0 ;n 1,...,n k ]. The modified algorithm has to output the words E([n 0 ;n 1 ]) and E([n 0 ;n 1,n 2 ]) in the middle of the process. Hence E p/q is a word in E([n 0 ;n 1 ]) and E([n 0 ;n 1,n 2 ]). The possibilities of these words are listed in the preceding table. Any product or powers of them has b m 0 b m 0, b m 0 b m 0+1, b M 0 b M 0 or b m 0 b M 0 in its substring
15 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS15 which simplifies to either b n 0 or b n 0+1. The table also shows that E p/q is of the claimed form where k i {n 0,n 0 +1} except k 1 and k q+1 which are in {M 0,m 0 }. In the second case in the table, m 1 and M 1 can possibly equal to 1 so there might be no b-exponent equal to n 0. We show that n 0 still appears as an exponent in E([n 0 ;n 1,...,n k ]) if k 3. Let n 1 > 1. Suppose after running the E-sequence [n 0 ;n 1 ] on (a,b), the new pair is (g,h). If n 0 is even, g is a palindrome. Continuing the E-sequence further to [n 0 ;n 1,1] turns g into either gh or hg. gh = b m 0 ab n 0 (ab n 0 ) m 1 1 ab n 0+1 (ab n 0 ) M 1 1 ab m 0 = b m 0 (ab n 0 ) m 1 ab n 0+1 (ab n 0 ) M 1 1 ab m 0 hg = b m 0 (ab n 0 ) m 1 1 ab n 0+1 (ab n 0 ) M 1 1 ab n 0 ab m 0 = b m 0 (ab n 0 ) m 1 1 ab n 0+1 (ab n 0 ) M 1 ab m 0 HenceE([n 0 ;n 1,n 2 ]),forn 2 > 1,isawordinE([n 0 ;n 1 ])ande([n 0 ;n 1,1]), bute([n 0 ;n 1,n 2,n 3 ])isawordine([n 0 ;n 1 ])ande([n 0 ;n 1,n 2 ]). Thus there is i with 2 i q so that k i = n 0. The same problem occurs in the last case where both primitive generators do not have n 0 as a b-exponent. We must also show that n 0 still appear as an exponent in E([n 0 ;n 1,...,n k ]) for k 3. Letn 2 1. SupposeafterrunningtheE-sequence [n 0 ;1,n 2 ]on(a,b), the new pair is (g,h). If n 0 is even, g is a palindrome and h is not. Then the E-sequence [n 0 ;1,n 2,1] turns (g,h) into (g,gh). Continuing further, [n 0 ;1,n 2,2] stops with the pair (g,ghg) while [n 0 ;1,n 2,1,1] stops with the pair (ghg,gh). Thus E([n 0 ;1,n 2,1,n 4 ]) is a word in gh and ghg for n 4 > 1, and E([n 0 ;1,n 2,n 3 ]) is a word in g and ghg for n 3 > 2. ghg = b m 0 ( ab n 0+1 ) n 2ab m 0 b m 0+1 ab m 0 b m 0 ( ab n 0+1 ) n 2ab m 0 = b m 0 ( ab n 0+1 ) n 2ab n 0 +1 ab n 0 ( ab n 0+1 ) n 2ab m 0 gh = b m 0 ( ab n 0+1 ) n 2 ab m 0 b m 0+1 ab m 0 = b m 0 ( ab n 0+1 ) n 2ab n 0 +1 ab m 0 Hence both E([n 0 ;1,n 2,1,n 4 ]) and E([n 0 ;1,n 2,n 3 ]) have b-exponents equal to n 0. Remark: The E-word corresponding to [n 0 ;1,n 2,1] still has no b- exponent equal to n 0. However, for a continued fraction expansion [n 0 ;n 1,...,n k ], n k is required to be at least 2.
16 16 ANDREW E. SILVERIO The case when p/q < 1 is similar but n 0 = 0 and the index shifts by 1. For example, the E-sequence [0;n 1,n 2,n 3 ] is similar to [n 1 ;n 2,n 3 ] which is greater than 1 as a rational number. Summary of cases for n 0 = 0 and k 3: E-sequence ( stopping pair [0;odd;n 2 ] a M 1 (ba n 1 ) n2 1 ba M 1,a m 1 ba ) M 1 ( ) [0;even;n 2 ] a m 1 (ba n 1 ) M2 1 ba n1+1 (ba n 1 ) m2 1 ba m 1,a m 1 ba m 1 ( [0;odd;1,n 3 ] a M 1 ba M 1,a ( M 1 ba ) n 1+1 M 3 1 ba ( n 1 ba ) ) n 1+1 m 3 ba M 1 ( [0;even;1,n 3 ] a m 1 ba m1+1,a ( m 1 ba ) ) n 1+1 n 3 ba m 1 Likewise, the table works for n 2 of n 3 possibly equal to 1. Corollary 3.3. For n 0 = 0, n 1 1, k 4 and p/q = [n 0 ;n 1,...,n k ], E p/q is a word in a and b of the form a k 1 ba k 2 ba k3 ba kp ba k p+1 where k 1,k p+1 {m 1,M 1 } and {k 2,k 3,...,k p } = {n 1,n 1 +1}. Proof. The E-word corresponding to [0;n 1,n 2,...,n k ] is a word in the stopping pair of the E-sequence [0;n 1,n 2,n 3 ]. By induction, E [0;n1,...,n k ] is a word in the stopping pair of [0;n 1,n 2 ]. Looking at the table above, any word in a given stopping pair has either a M 1+M 1, a m 1+m 1, a m 1+1+m 1 or a m 1+M 1 in its substring which is equal to either a n 1 or a n1+1. Hence, E [0;n1,,n k ] is of the form a k 1 ba k 2 b a kp ba k p+1 where k 1,k p+1 {m 1,M 1 } and k 2,k 3,...,k p {n 1,n 1 +1}. Using similar arguments in Corollary 3.2, there is k i = n i if k 4. Theorem 3.5. The length of E m/n in the generators {a,b} is m + n. Moreover E m/n has m b-factors and n a-factors. Proof. Suppose g,h F 2 ; g has p b-factors and q a-factors. Suppose h has r b-factors and s a-factors. The modified algorithm applied to (g,h) replaces one of the generators with either gh or hg. Both gh and hg have p + r b-factors and q + s a-factors. More seriously, the algorithmstartswith(a,b)andendswith ( ) E p/q,e r/s. Thefraction1/1 correspond to ba which is the very first new E-word of the algorithm. For E 1/1 = ba, the assertion is true. Suppose this assertion is still true after the algorithm stops at the pair ( ) E p/q,e r/s. Then Ep/q has p b- factors and q a-factors; E r/s has r b-factors and s a-factors. Continuing the algorithm just one step further yields a new E-word E (p+r)/(q+s). It is either E p/q E r/s or E r/s E p/q. In any case, E (p+r)/(q+s) has p + r b-factors and q + s a-factors.
17 REVERSING PALINDROMIC ENUMERATION IN RANK TWO FREE GROUPS17 Theorem 3.6. Let n N. There exists a bijection between the set of nonzero integers relatively prime with n in the interval [ n,n] R and the set of E-words of length n. Proof. Let Φ and Ψ be the sets defined as follows. Φ = {p Z : 0 < p < n and gcd(p,n) = 1} Ψ = {(p,q) Z N : p +q = n, p 0 and gcd(p,q) = 1} Define a function f : Φ Ψ given by f(x) = (x,n x ). Let x Φ. Then x + (n x ) = n, gcd(x,n) = 1 and n x > 0. Also gcd(x,n x ) = 1 since a divisor of both x and n x is also a divisor of n. Hence f(x) Ψ. Let (p,q) Ψ. Then q = n p and gcd(p,n) = 1 by a similar argument. Thus, p Φ and f(p) = (p,q). If x y Φ, f(x) = (x,n x ) (y,n y ) = f(y). The set Ψ is exactly the index set of all E-words of length n. 4. Acknowledgement The author thanks his thesis adviser, Professor Jane Gilman, for her patience and guidance. The author also thanks Professor Linda Keen for some useful conversations. References [1] J. Gilman and B. Maskit, An algorithm for 2-generator Fuchsian groups, Michigan Math. J. 38 (1991), no. 1, 13 32, DOI /mmj/ MR (92f:30062) [2] Jane Gilman, Two-generator discrete subgroups of PSL(2,R), Mem. Amer. Math. Soc. 117 (1995), no. 561, x+204. MR (97a:20082) [3], A discreteness condition for subgroups of PSL(2,C), Lipa s legacy (New York, 1995), Contemp. Math., vol. 211, Amer. Math. Soc., Providence, RI, 1997, pp , DOI /conm/211/02824, (to appear in print). MR (98k:30060) [4] Jane Gilman and Linda Keen, Word sequences and intersection numbers, Complex manifolds and hyperbolic geometry (Guanajuato, 2001), Contemp. Math., vol. 311, Amer. Math. Soc., Providence, RI, 2002, pp , DOI /conm/311/05455, (to appear in print). MR (2004c:30071) [5], Discreteness criteria and the hyperbolic geometry of palindromes, Conform. Geom. Dyn. 13 (2009), 76 90, DOI /S X. MR (2010c:30060) [6], Enumerating palindromes and primitives in rank two free groups, J. Algebra 332 (2011), 1 13, DOI /j.jalgebra MR (2012f:20078) [7] Linda Keen and Caroline Series, Pleating coordinates for the Maskit embedding of the Teichmüller space of punctured tori, Topology 32 (1993), no. 4, , DOI / (93)90048-Z. MR (95g:32030)
18 18 ANDREW E. SILVERIO [8], The Riley slice of Schottky space, Proc. London Math. Soc. (3) 69 (1994), no. 1, 72 90, DOI /plms/s MR (95j:32033) [9] Vidur Malik, Curves generated on surfaces by the Gilman-Maskit algorithm, ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.) Rutgers The State University of New Jersey - Newark. MR [10], Primitive words and self-intersections of curves on surfaces generated by the Gilman-Maskit discreteness algorithm, In the tradition of Ahlfors- Bers. V, Contemp. Math., vol. 510, Amer. Math. Soc., Providence, RI, 2010, pp , DOI /conm/510/10027,(to appear in print). MR (2011e:20072) Department of Mathematical Sciences, University of Cincinnati, address: andrew.silverio@uc.edu
arxiv: v4 [math.gr] 29 Jun 2009
ENUMERATING PALINDROMES AND PRIMITIVES IN RANK TWO FREE GROUPS arxiv:0802.2731v4 [math.gr] 29 Jun 2009 JANE GILMAN AND LINDA KEEN Abstract. Let F = a, b be a rank two free group. A word W(a, b) in F is
More informationENUMERATING PALINDROMES AND PRIMITIVES IN RANK TWO FREE GROUPS
ENUMERATING PALINDROMES AND PRIMITIVES IN RANK TWO FREE GROUPS JANE GILMAN AND LINDA KEEN Abstract. Let F = a, b be a rank two free group. A word W (a, b) in F is primitive if it, along with another group
More informationWinding and Unwinding and Essential Intersections in H 3
Contemporary Mathematics Winding and Unwinding and Essential Intersections in H 3 Jane Gilman and Linda Keen Abstract. Let G = A, B be a non-elementary two generator subgroup of the isometry group of H
More informationDISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY OF PALINDROMES
DISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY OF PALINDROMES JANE GILMAN AND LINDA KEEN Abstract. We consider non-elementary representations of two generator free groups in P SL(2, C), not necessarily
More informationDISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY OF PALINDROMES
CONFORMAL GEOMETRY AND DYNAMICS An Electronic Journal of the American Mathematical Society Volume 00, Pages 000 000 (Xxxx XX, XXXX) S 1088-4173(XX)0000-0 DISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationJournal of Algebra 332 (2011) Contents lists available at ScienceDirect. Journal of Algebra.
Journal of Algebra 332 (2011) 1 13 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Enumerating alindromes and rimitives in rank two free grous Jane Gilman
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationHMMT February 2018 February 10, 2018
HMMT February 018 February 10, 018 Algebra and Number Theory 1. For some real number c, the graphs of the equation y = x 0 + x + 18 and the line y = x + c intersect at exactly one point. What is c? 18
More informationCONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS
CONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS JEREMY BOOHER Continued fractions usually get short-changed at PROMYS, but they are interesting in their own right and useful in other areas
More informationApollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings
Apollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings Nicholas Eriksson University of California at Berkeley Berkeley, CA 942 Jeffrey C. Lagarias University of Michigan Ann Arbor,
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationEXAMPLES OF MORDELL S EQUATION
EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural
More informationAnalytic Number Theory Solutions
Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.
More informationSubrings of Finite Commutative Rings
Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationMULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1
MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x + PROBLEM ANA CARAIANI Abstract. Recently Lagarias introduced the Wild semigroup, which is intimately connected to the 3x + Conjecture. Applegate and Lagarias
More informationMath 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby
Math 8: Advanced Number Theory Samit Dasgupta and Gary Kirby April, 05 Contents Basics of Number Theory. The Fundamental Theorem of Arithmetic......................... The Euclidean Algorithm and Unique
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More informationarxiv: v2 [math.gt] 16 Jan 2009
CONJUGATE GENERATORS OF KNOT AND LINK GROUPS arxiv:0806.3452v2 [math.gt] 16 Jan 2009 JASON CALLAHAN Abstract. This note shows that if two elements of equal trace (e.g., conjugate elements generate an arithmetic
More informationEXAMPLES OF MORDELL S EQUATION
EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural
More informationInfinite Continued Fractions
Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with
More informationThe Symmetric Groups
Chapter 7 The Symmetric Groups 7. Introduction In the investigation of finite groups the symmetric groups play an important role. Often we are able to achieve a better understanding of a group if we can
More informationLINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE
LINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE BY ANDREW EBITNER SILVERIO A dissertation submitted to the Graduate School Newark Rutgers, The State University of New Jersey in partial fulfillment of the
More informationPRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.
PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationREFINEMENTS OF SOME PARTITION INEQUALITIES
REFINEMENTS OF SOME PARTITION INEQUALITIES James Mc Laughlin Department of Mathematics, 25 University Avenue, West Chester University, West Chester, PA 9383 jmclaughlin2@wcupa.edu Received:, Revised:,
More informationKLEINIAN GROUPS AND HOLOMORPHIC DYNAMICS
International Journal of Bifurcation and Chaos, Vol. 3, No. 7 (2003) 959 967 c World Scientific Publishing Company KLEINIAN GROUPS AND HOLOMORPHIC DYNAMICS C. CORREIA RAMOS Departamento de Matemática and
More informationNotes on Continued Fractions for Math 4400
. Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural
More information3 Finite continued fractions
MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +
More informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationSubspace stabilizers and maximal subgroups of exceptional groups of Lie type
Subspace stabilizers and maximal subgroups of exceptional groups of Lie type David A. Craven June 7, 2016 Abstract In 1998, Liebeck and Seitz introduced a constant t(g), dependent on the root system of
More informationJonathan Sondow 209 West 97th Street Apt 6F New York, NY USA
Which Partial Sums of the Taylor Series for e Are Convergents to e? (and a Link to the Primes 2, 5, 13, 37, 463,...) arxiv:0709.0671v1 [math.nt] 5 Sep 2007 Jonathan Sondow 209 West 97th Street Apt 6F New
More informationSOME SPECIAL 2-GENERATOR KLEINIAN GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 106, Number I, May 1989 SOME SPECIAL 2-GENERATOR KLEINIAN GROUPS BERNARD MASKIT (Communicated by Irwin Kra) Abstract. We explore the following question.
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationSome Results Concerning Uniqueness of Triangle Sequences
Some Results Concerning Uniqueness of Triangle Sequences T. Cheslack-Postava A. Diesl M. Lepinski A. Schuyler August 12 1999 Abstract In this paper we will begin by reviewing the triangle iteration. We
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationKleinian Groups with Real Parameters
Kleinian Groups with Real Parameters FW Gehring, J P Gilman and GJ Martin Dedicated to Albert Marden on the occasion of his 65 th birthday Abstract We find all real points of the analytic space of two
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationThe Mandelbrot Set and the Farey Tree
The Mandelbrot Set and the Farey Tree Emily Allaway May 206 Contents Introduction 2 2 The Mandelbrot Set 2 2. Definitions of the Mandelbrot Set................ 2 2.2 The First Folk Theorem.....................
More informationMath 110 HW 3 solutions
Math 0 HW 3 solutions May 8, 203. For any positive real number r, prove that x r = O(e x ) as functions of x. Suppose r
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationCONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 15, 2014
CONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 5, 204. Basic definitions and facts A continued fraction is given by two sequences of numbers {b n } n 0 and {a n } n. One
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationarxiv: v1 [math.co] 21 Sep 2015
Chocolate Numbers arxiv:1509.06093v1 [math.co] 21 Sep 2015 Caleb Ji, Tanya Khovanova, Robin Park, Angela Song September 22, 2015 Abstract In this paper, we consider a game played on a rectangular m n gridded
More informationcse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska
cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska LECTURE 12 CHAPTER 4 NUMBER THEORY PART1: Divisibility PART 2: Primes PART 1: DIVISIBILITY Basic Definitions Definition Given m,n Z, we say
More informationFall 2017 Test II review problems
Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and
More informationPUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes
PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES Notes. x n+ = ax n has the general solution x n = x a n. 2. x n+ = x n + b has the general solution x n = x + (n )b. 3. x n+ = ax n + b (with a ) can be
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationIntroduction to Number Theory
INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,
More informationDivisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006
Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18
More informationCONGRUENCES FOR BERNOULLI - LUCAS SUMS
CONGRUENCES FOR BERNOULLI - LUCAS SUMS PAUL THOMAS YOUNG Abstract. We give strong congruences for sums of the form N BnVn+1 where Bn denotes the Bernoulli number and V n denotes a Lucas sequence of the
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationPUTNAM 2016 SOLUTIONS. Problem A1. Find the smallest positive integer j such that for every polynomial p(x) with integer coefficients
Math 7 Fall 5 PUTNAM 6 SOLUTIONS Problem A Find the smallest positive integer j such that for every polynomial px with integer coefficients and for every integer k, the integer the j-th derivative of px
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationWHY WORD PROBLEMS ARE HARD
WHY WORD PROBLEMS ARE HARD KEITH CONRAD 1. Introduction The title above is a joke. Many students in school hate word problems. We will discuss here a specific math question that happens to be named the
More informationCyclic Group Supplement. g = g k : k Z.
Theorem 1. Let g be an element of a group G and write { } g = g k : k Z. Then g is a subgroup of G. Proof. Since 1 = g 0, 1 g. Suppose a, b g. Then a = g k, b = g m and ab = g k g m = g k+m. Hence ab g
More informationA relative of the Thue-Morse Sequence
A relative of the Thue-Morse Sequence Jean-Paul Allouche C.N.R.S. U.R.A. 0226, Math., Université Bordeaux I, F-33405 Talence cedex, FRANCE André Arnold LaBRI, Université Bordeaux I, F-33405 Talence cedex,
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationGaussian integers. 1 = a 2 + b 2 = c 2 + d 2.
Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d
More informationarxiv:math/ v3 [math.gr] 21 Feb 2006
arxiv:math/0407446v3 [math.gr] 21 Feb 2006 Separability of Solvable Subgroups in Linear Groups Roger Alperin and Benson Farb August 11, 2004 Abstract Let Γ be a finitely generated linear group over a field
More informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
More informationBoundaries for two-parabolic Schottky groups
Spaces of Kleinian Groups Lond. Math. Soc. Lec. Notes 329, 283 299 Cambridge University Press Y. Minsky, M. Sakuma & C. Series (Eds.) J. Gilman, 2005 Boundaries for two-parabolic Schottky groups Jane Gilman
More information2. Modules. Definition 2.1. Let R be a ring. Then a (unital) left R-module M is an additive abelian group together with an operation
2. Modules. The concept of a module includes: (1) any left ideal I of a ring R; (2) any abelian group (which will become a Z-module); (3) an n-dimensional C-vector space (which will become both a module
More informationc 2010 Melissa Ann Dennison
c 2010 Melissa Ann Dennison A SEQUENCE RELATED TO THE STERN SEQUENCE BY MELISSA ANN DENNISON DISSERTATION Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in
More informationChapter 5.1: Induction
Chapter.1: Induction Monday, July 1 Fermat s Little Theorem Evaluate the following: 1. 1 (mod ) 1 ( ) 1 1 (mod ). (mod 7) ( ) 8 ) 1 8 1 (mod ). 77 (mod 19). 18 (mod 1) 77 ( 18 ) 1 1 (mod 19) 18 1 (mod
More informationz-classes in finite groups of conjugate type (n, 1)
Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:31 https://doi.org/10.1007/s12044-018-0412-5 z-classes in finite groups of conjugate type (n, 1) SHIVAM ARORA 1 and KRISHNENDU GONGOPADHYAY 2, 1 Department
More informationThe Euclidean Algorithm in Quadratic Number Fields
The Euclidean Algorithm in Quadratic Number Fields Sarah Mackie Supervised by: Prof. Christopher Smyth September 6, 06 Abstract The purpose of this report is to investigate the Euclidean Algorithm in quadratic
More informationMath Review. for the Quantitative Reasoning measure of the GRE General Test
Math Review for the Quantitative Reasoning measure of the GRE General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important for solving
More informationEquidivisible consecutive integers
& Equidivisible consecutive integers Ivo Düntsch Department of Computer Science Brock University St Catherines, Ontario, L2S 3A1, Canada duentsch@cosc.brocku.ca Roger B. Eggleton Department of Mathematics
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More informationNumber Theory Solutions Packet
Number Theory Solutions Pacet 1 There exist two distinct positive integers, both of which are divisors of 10 10, with sum equal to 157 What are they? Solution Suppose 157 = x + y for x and y divisors of
More informationITERATING THE DIVISION ALGORITHM
MICHAEL E. MAYS West Virginia University, Morgantown, WV 26506 (Submitted June 1985) INTRODUCTION The division algorithm guarantees that when an arbitrary integer b is divided by a positive integer a there
More informationCriteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman
Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for
More informationNumbers. 2.1 Integers. P(n) = n(n 4 5n 2 + 4) = n(n 2 1)(n 2 4) = (n 2)(n 1)n(n + 1)(n + 2); 120 =
2 Numbers 2.1 Integers You remember the definition of a prime number. On p. 7, we defined a prime number and formulated the Fundamental Theorem of Arithmetic. Numerous beautiful results can be presented
More informationFROM GROUPS TO GALOIS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the
More informationScalar multiplication in compressed coordinates in the trace-zero subgroup
Scalar multiplication in compressed coordinates in the trace-zero subgroup Giulia Bianco and Elisa Gorla Institut de Mathématiques, Université de Neuchâtel Rue Emile-Argand 11, CH-2000 Neuchâtel, Switzerland
More informationDeclaration. Heidelberg, June 13, 2016
Jørgensen Lemma Fabian Cejka Eingereicht bei Prof. Dr. Anna Wienhard an der Universität Heidelberg Betreuer: Prof. Dr. Anna Wienhard, Dr. Gye-Seon Lee B A C H E L O R A R B E I T im Juni 2016 Declaration
More informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationTHE LIND-LEHMER CONSTANT FOR 3-GROUPS. Stian Clem 1 Cornell University, Ithaca, New York
#A40 INTEGERS 18 2018) THE LIND-LEHMER CONSTANT FOR 3-GROUPS Stian Clem 1 Cornell University, Ithaca, New York sac369@cornell.edu Christopher Pinner Department of Mathematics, Kansas State University,
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationChapter 11 - Sequences and Series
Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationarxiv:math/ v1 [math.gt] 15 Aug 2003
arxiv:math/0308147v1 [math.gt] 15 Aug 2003 CIRCLE PACKINGS ON SURFACES WITH PROJECTIVE STRUCTURES AND UNIFORMIZATION SADAYOSHI KOJIMA, SHIGERU MIZUSHIMA, AND SER PEOW TAN Abstract. Let Σ g be a closed
More informationAlgebraic integers of small discriminant
ACTA ARITHMETICA LXXV.4 (1996) Algebraic integers of small discriminant by Jeffrey Lin Thunder and John Wolfskill (DeKalb, Ill.) Introduction. For an algebraic integer α generating a number field K = Q(α),
More informationSummary Slides for MATH 342 June 25, 2018
Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.
More informationOn squares in Lucas sequences
On squares in Lucas sequences A. Bremner N. Tzanakis July, 2006 Abstract Let P and Q be non-zero integers. The Lucas sequence {U n (P, Q)} is defined by U 0 = 0, U 1 = 1, U n = P U n 1 QU n 2 (n 2). The
More information2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.
2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationPRELIMINARY LECTURES ON KLEINIAN GROUPS
PRELIMINARY LECTURES ON KLEINIAN GROUPS KEN ICHI OHSHIKA In this two lectures, I shall present some backgrounds on Kleinian group theory, which, I hope, would be useful for understanding more advanced
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationMath Circle: Recursion and Induction
Math Circle: Recursion and Induction Prof. Wickerhauser 1 Recursion What can we compute, using only simple formulas and rules that everyone can understand? 1. Let us use N to denote the set of counting
More informationAn equation is a statement that states that two expressions are equal. For example:
Section 0.1: Linear Equations Solving linear equation in one variable: An equation is a statement that states that two expressions are equal. For example: (1) 513 (2) 16 (3) 4252 (4) 64153 To solve the
More informationA Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More information