NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
|
|
- Cynthia Cooper
- 6 years ago
- Views:
Transcription
1 NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in G that have the same order as x. A group G is said to have perfect order subsets if the number of elements in each order subset of G is a divisor of G. In this article we prove a theorem for a class of nonabelian groups, which is analogous to Theorem 4 in []. We then prove that there are infinitely many nonabelian groups with perfect order subsets. In addition, all values of q are determined such that the special linear group, SL(,q), has perfect order subsets. Next, we give a discussion of some necessary conditions for general nonabelian groups to have perfect order subsets. We conclude by stating some conjectures. 1. INTRODUCTION Definition 1.1. Let G be a finite group and let x G. We define the order subset of G determined by x to be the set of all elements in G that have the same order as x. A group G is said to have perfect order subsets if the number of elements in each order subset of G is a divisor of G. The following is a short list of groups which have perfect order subsets. Note that (Z m ) t is used to indicate the direct product of t copies of Z m. Z n for all n (Z ) Z 3 Z 16 Z 9 Z 15 (Z ) 3 Z 3 Z 5 Z 17 Z 57 Z (Z ) 11 Z 3 Z 5 (Z 11 ) Z 3 Z 89 S 3, the symmetric group on three letters We observe that all but one group on this list is abelian. For a discussion of how the abelian groups on this list were found, and a treatment of the abelian case in general, see []. Until now, S 3 was the only known example of a nonabelian group with perfect order subsets. In this article we prove a nonabelian analog of Theorem 4 from []. Then, utilizing Theorem 1 from [], we prove that there are, in fact, infinitely many such groups. Next, in an attempt to generalize the phenomenon that makes S 3 have perfect order subsets, we determine all values of q such that SL(,q) has perfect order subsets. Finally, 1991 Mathematics Subject Classification. Primary: 0E34, Secondary: 0E45, 11D61. 1
2 CARRIE E. FINCH AND LENNY JONES with the use of certain necessary conditions, we find other nonabelian groups which fail to have perfect order subsets. In particular, we prove the following: Theorem 1.. Let G be a group such that G = S 3 (Z ) t M, where t 0, and M is a cyclic group of odd square-free order not divisible by 3. If G has perfect order subsets then G is isomorphic to one of the following three groups: S 3 S 3 Z Z 7 S 3 (Z ) Z 5 Theorem 1.3. There exist infinitely many nonabelian groups with perfect order subsets. Theorem 1.4. Let SL(,q) denote the group of all matrices of determinant one with entries from the finite field F q of q elements, where q = p n for some prime p. Then SL(,q) has perfect order subsets if and only if q {, 3, 5, 7, 9, 11, 17, 19, 41, 49, 17, 51} Theorem 1.5. Let G be a finite nonabelian group and let p be a prime divisor of G. Suppose that C G (x) = p for every element x in G of order p. If G has more than one conjugacy class of elements of order p, then G does not have perfect order subsets.. The Proofs of Theorems 1. and 1.3 We begin by stating Theorem 4 from [], which we denote here as Theorem A. Theorem A. Let G be a group such that G = (Z ) t M, where t 1, and M is a cyclic group of odd square-free order. If G has perfect order subsets, then G is isomorphic to one of the following nine groups: Z (Z ) Z 3 (Z ) 3 Z 3 Z 7 (Z ) 4 Z 3 Z 5 (Z ) 5 Z 3 Z 5 Z 31 (Z ) 8 Z 3 Z 5 Z 17 (Z ) 16 Z 3 Z 5 Z 17 Z 57 (Z ) 17 Z 3 Z 5 Z 17 Z 57 Z (Z ) 3 Z 3 Z 5 Z 17 Z 57 Z Proof of Theorem 1. First suppose that t = 0. Then the number of elements of order is 3 and the number of elements of order 3 is. Let p be the smallest prime dividing M. Then the number of elements of order p is p 1, and since this must divide G, it follows that p =7. But then the number of elements of order 14 is 18, which does not divide G, since G is square-free. We conclude that M is trivial and G = S 3, which is indeed a POS group.
3 NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS 3 Now suppose that t 1. Then the number of elements of order is 3( t )+ t 1 = t+ 1 and the number of elements of order 6 is ( t 1). Thus G, and in particular, 3 M is divisible by both t 1 and t+ 1. If p is an odd prime dividing t +, then p 1 divides t+ 1 and must be square-free. If q is a prime divisor of p 1, then the order of modulo q is p. Hence, if q 1 and q are distinct prime divisors of p 1, it follows that p divides (q 1 1)(q 1), the number of elements of order q 1 q in G. This contradicts the fact that S 3 M is square-free, and therefore p 1 must be prime, with p 1 1 (mod 3). If p 1 and p are two distinct odd primes dividing t +, then from above, both p 1 1 and p 1 are primes congruent to 1 modulo 3. Thus, 9 divides ( p 1 )( p ), the number of elements of order ( p 1 1)( p 1), which again contradicts the fact that S 3 M is square-free. Hence, at most one odd prime divides t +. Now suppose that p divides t+, where p is an odd prime. Then, as above, p 1 is prime, and so 9 divides ( t+ 1)( p ), the number of elements of order ( p 1) in G. We infer that t + is necessarily a power of a single prime. Suppose now that t+ = p b for some odd prime p so that, from above, p 1 is a prime divisor of t+ 1. If b>1, then t+ 1 is not prime, and since t+ 1 is square-free, there exists a prime q p 1 that divides t+ 1. But then p divides (q 1)( p ), the number of elements of order q( p 1) in G, again contradicting the fact that S 3 M is square-free. Thus b =1 and t + is prime. A similar argument allows us to conclude that either t = 1, t is a power of or t is an odd prime. Observe that t and t + are either both even or odd. This gives us three cases to consider. Suppose first that t = 1. Then t + = 3 and G = S 3 Z Z 7 M, since the number of elements of order is 3 1 = 7. But then the number of elements of order 4 is 1 and thus M is trivial. It is easy to check that S 3 Z Z 7 is a POS group. Next, suppose that both t and t + are odd primes. Then t 1 and t+ 1 are both primes and they are both divisors of G. Consequently, 9 divides ( t )( t+ ), the number of elements of order ( t 1)( t+ 1) in G. Therefore this case yields no new POS groups. Finally, suppose that t = a and t + = b for some positive integers a and b. It follows that b 1 a 1 = 1, which implies that a = 1 and b =. Thus, G = S 3 (Z ) Z 5 M since 4 1 = 15, the number of elements of order, divides G. Then the number of elements of order 30 is 4. So if there exists an odd prime p dividing M, it would follow that the number of elements of order 30p is 4(p 1), which is divisible by 16. Since 16 does not divide G,
4 4 CARRIE E. FINCH AND LENNY JONES we conclude that M is trivial. Making the observation that S 3 (Z ) Z 5 is a POS group completes the proof. For the proof of Theorem 1.3, we need Theorem 1 from []. We state it here as Theorem B. Theorem B. Let G (Z p a) t M and Ĝ (Z p a+1)t M, where a and t are positive integers and p is a prime that does not divide M. If G has perfect order subsets, then Ĝ has perfect order subsets. Proof of Theorem 1.3 The proof of Theorem B is combinatorial and does not require that M be abelian. Therefore, Theorem B applies to the groups in Theorem 1. and Theorem 1.3 follows immediately. 3. The Proof of Theorem 1.4. The proof of Theorem 1.4 is fairly straightforward. Given an element x in SL(,q), we count the number of elements in the order subset determined by x using the decomposition of SL(,q) into its conjugacy classes. Some elementary number theoretic facts are used to facilitate this counting. Requiring that the number of elements in each order subset divides the order of SL(,q), places severe restrictions on the values for q, which in turn can be determined by solving a set of Diophantine equations. We begin with some preliminaries PRELIMINARIES. This section is divided into two subsections. In the first subsection, some easily verified facts from number theory are presented without proof. In the second subsection, we use these number-theoretic facts to count the number of elements of a specified order in SL(,q) SOME NUMBER THEORY. Lemma 3.1. Let a and m be integers such that 1 a < m. Then, for any divisor d of m, we have that GCD(a, m) =d if and only if GCD(m a, m) =d. The following four corollaries are immediate consequences of Lemma 3.1. In their statements we use Euler s phi function, φ(r), to indicate the number of positive integers less than r which are relatively prime to r. Corollary 3.. Let n be an integer. Then the exact number of positive integers m such that m n 1 1 with GCD( n 1,m) = 1 is φ(n 1). Corollary 3.3. Let n 1 be an integer. Then the exact number of positive integers m such that m n 1 with GCD( n +1,m) = 1 is φ(n + 1).
5 NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS 5 Corollary 3.4. Let n 1 be an integer and let p be an odd prime. Then the exact number of positive integers m such that m pn 3 with GCD(p n 1,m) = 1 is φ(pn 1). Corollary 3.5. Let n 1 be an integer and let p be an odd prime. Then the exact number of positive integers m such that m pn 1 with GCD(p n + 1,m) = 1 is φ(pn + 1). Although the next two lemmas are presented in a number-theoretic setting, we need them in the next subsection to count the number of elements of a particular order in SL(,q). As above, φ is Euler s phi function. Lemma 3.6. Let m>1 be an integer and suppose that d divides m. ( Then m ) the number of positive integers k < m such that GCD(m, k) =d is φ d ( m ) Lemma 3.7. If d divides m and φ(m) divides m, then φ divides m. d SOME GROUP THEORY. Recall that the cardinality of SL(,q) is q(q 1)(q + 1) and that the exact number of conjugacy classes in SL(,q) is q + 4 when q is odd, and q + 1 when q is even. The following tables indicate the structure of the conjugacy classes of SL(,q). Tables I and II list the conjugacy classes when q is odd and q is even respectively. [3]
6 6 CARRIE E. FINCH AND LENNY JONES Conjugacy Class Rep Order of Rep Cardinality of Class z 1 c p q 1 d p q 1 zc p q 1 zd p q 1 a l q 1 GCD(l, q 1) 1 l q 3 q(q + 1) b m q +1 GCD(m, q + 1) 1 m q 1 q(q 1) Table I (q is odd)
7 NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS 7 Conjugacy Class Rep Order of Rep Cardinality of Class c q 1 a l q 1 GCD(l, q 1) 1 l q q(q + 1) b m q +1 GCD(m, q + 1) q(q 1) 1 m q Table II (q is even) We see from Table I that the number of elements of each of the orders 1,, p and p divides the order of SL(,q) for any value of q. So the restrictions on q are imposed by the order subsets determined by the elements a l and b m. The same is true when q is even. We do not, however, need to count the number of elements in every such order subset. The reason for this is the following. Let d be a divisor of q 1 with d not equal to d 1 or q 1. By Lemma 3.6, the ( ) q 1 number of positive integers l q 1 such that GCD(l, q 1) = d is φ. d By Lemma 3.1, the number of such integers l< q 1 is φ ( ) q 1 d. Therefore, the total number of elements in SL(,q) of order q 1 is φ ( ) q 1 d q(q + 1). It is d then clear from Lemma 3.7 that we need consider only the case when d =1. A similar argument handles the situation for b m. Utilizing Corollaries 3.4 and 3.5, we summarize this counting for d = 1 in Proposition 3.8. Proposition 3.8. The total number of elements in SL(,q) of order q 1 is φ(q 1) q(q + 1) and the total number of elements in SL(,q) of order q +1 is φ(q + 1) q(q + 1).
8 8 CARRIE E. FINCH AND LENNY JONES Consolidating and summarizing the work in this section, Theorem 3.9 provides the link to perfect order subsets. Theorem 3.9. The group SL(,q) has perfect order subsets if and only if are both integers. (q 1) φ(q 1) and (q + 1) φ(q + 1) 3.. THE PROOF OF THEOREM 1.4. Theorem 3.9 drastically reduces the possibilities for q in terms of the prime factors of q 1 and q+1. Specifically, we have Theorem Let m = p a m i i. Then φ(m) i=1 exactly one of the following is true: t t =1, p 1 =; so that m = a t =1, p 1 =3; so that m =3 b t =, p 1 =and p =3; so that m = a 3 b t =, p 1 =and p =5; so that m = a 5 b t =3, p 1 =, p =3and p 3 =7; so that m = a 3 b 7 c with all exponents positive. is an integer if and only if In our situation m = q ± 1, and so one possibility would be q 1 = a 5 b and q + 1 = c 3 d 7 e. This example gives us = (q + 1) (q 1) = c 3 d 7 e a 5 b, or equivalently ( ) c 1 3 d 7 e a 1 5 b =1. Considering every possibility arising from the conditions in Theorem 3.10, we get a total of seventeen exponential Diophantine equations, only one of which corresponds to the case when q is even. Some of these equations, however, can be seen immediately to have no solutions since GCD(q 1,q + 1) = 1 or. For example, if q 1 = a 3 b and q + 1 = c 3 d 7 e, we get the equation c 1 3 d 7 e a 1 3 b = 1, which has no solution if we insist that all variables are positive. Eliminating equations of this particular type reduces the number of equations to twelve. When q is odd, we are concerned with only the solutions of these equations where the variables are positive, since positive exponents distinguish the cases from one another. Also, while any particular equation reflects necessary conditions for q, a solution to such an equation might not actually produce a value of q that is a power of a prime. Therefore we need to check each solution to guarantee sufficiency. All of these equations can be solved using a combination of divisibility, congruence and Pell equation arguments. To illustrate the techniques involved, we outline the solution for equation ( ). It is clear that either a = 1 or c = 1 in ( ). So suppose first that c = 1. If a 4, then reduction of ( ) modulo 3, 5, 7 and 8 imply that
9 NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS 9 any solution of ( ) is also a solution to the Pell equation x 5y =1. Since the fundamental solution of x 5y = 1 is , any solution (u, v) to ( ) with both u and v positive is given by u + v 5 = ( ) n for some positive integer n. It is easy to show, however, that for any n, u is never divisible by 1. Thus, a 3. Reduction of ( ) modulo 7 reveals that a must be odd. Since a is clearly not equal to 1, we have a =3. Reduction of ( ) modulo 7 with a = 3 shows us that b 1 is divisible by 6. If d>1, then reduction of ( ) modulo 9 implies however that b + 1 is divisible by 6, a contradiction. Consequently, d =1. If b>1, ( ) is impossible modulo 5. Thus, a = 3, b = d = e = 1 is the only solution to ( ) with c =1. Now suppose that a = 1. Then ( ) is impossible modulo 4 if c 3, and impossible modulo 6 if c = 1. Thus, c =. If e, then ( ) has no solutions modulo 141, and so e = 1. Now, ( ) has no solutions if d = 1 and since ( ) is impossible modulo 1971 if d 3, we conclude that the only solution with a = 1 is b = 3, c = d = and e = 1. We can now recover the corresponding values for q to determine whether these solutions to ( ) actually do produce groups. Indeed, in both cases we get legitimate values of q. The first solution gives us q = 41 while the second solution yields q = 51. Table III is a compilation of the twelve nontrivial equations, in no particular order, together with their solutions and the corresponding values of q. The solutions are indicated as ordered tuples where the entries are the values of the variables in alphabetical order. There are also columns for q 1 and q + 1, which indicate how each equation arises. Equation q 1 q + 1 Solutions Corresponding Values of q 3 b 3 a = 3 a 3 b (0,1) c 1 a 1 5 b =1 a 5 b c none none b 1 a 1 =1 a b (1,) 3 b 1 3 c a 1 =1 a b 3 c (,1,1) 5 (4,1,) 17 c 1 a 1 3 b =1 a 3 b c (1,1,3) 7 c 1 5 d a 1 3 b =1 a 3 b c 5 d (1,,,1) 19 (4,1,1,) 49 c 1 3 d a 1 5 b =1 a 5 b c 3 d (1,1,,1) 11 (5,1,1,4) 161 b 1 5 c a 1 =1 a b 5 c (3,1,1) 9 b 1 3 c 7 d a 1 =1 a b 3 c 7 d none none d 1 a 1 3 b 7 c =1 a 3 b 7 c d (1,,1,7) 17 c 1 3 d 7 e a 1 5 b =1 a 5 b c 3 d 7 e (3,1,1,1,1) 41 (1,3,,,1) 51 d 1 5 e a 1 3 b 7 e =1 a 3 b 7 e d 5 e none none Table III
10 10 CARRIE E. FINCH AND LENNY JONES The only non-legitimate value of q that is obtained is q = 161 = (7)(3). Hence, Theorem 1.4 is established. 4. Some Non-Examples As mentioned before, the special linear group SL(,q) is, in some sense, a natural generalization of S 3. A more obvious generalization is, of course, S n. However, S 4 contains exactly 9 elements of order, so that S 4 does not have perfect order subsets. In fact, computer evidence suggests that the number of elements of order in S n, for n 4, is never a divisor of n!. We can eliminate infinitely many alternating groups from the list of possible groups with perfect order subsets by the following easy proposition. Proposition 4.1. Let A n, with n 4, be the alternating group on n letters, where n or n 1 is prime. Then A n does not have perfect order subsets. Proof: First suppose that n = p is prime. Counting the number of elements of order p in A p gives (p 1)! which does not divide A p = p!. Similarly, if (p + 1)! n 1 =p is prime, the number of elements of order p in A p+1 is which p (p + 1)! does not divide A p+1 =. Theorem 1.5 gives us a criterion to eliminate some more nonabelian groups The Proof of Theorem 1.5. Let N be the number of conjugacy classes of elements in G of order p. Since C G (x) = p, for every element x in G of order p, each such conjugacy class has order G. Thus, the total number of p elements of order p in G is N G. Note that N < p. If G has perfect order p subsets, then N G k = G q for some positive integer k, which implies that N = 1, contradicting the fact that N. A slight modification of Theorem 1.5 given below in Corollary 4. can be used to generate another infinite collection of groups that do not have perfect order subsets. Corollary 4.. Let p be a prime such that p divides G but p does not divide G and let S be a Sylow p subgroup of G. If C G (S) =S and G has more than one conjugacy class of elements of order p, then G does not have perfect order subsets.
11 NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS 11 Proposition 4.3. The simple groups PSL(,q), where q>3 is prime, do not have perfect order subsets. Proof: Let S be a Sylow q subgroup of G =PSL(,q). Since G = (q 1)q(q + 1), we have S = q and it is easy to check that C G (S) =S. Assume, by way of contradiction, that G contains exactly one conjugacy class of elements of order q. We count the number N of elements of order q in two ways. First, we see that N = G S subgroups of G. Then N = k(q 1), and so k = q +1 since we know that k 1 (mod q). (q 1)(q + 1) =. Next, let k be the number of Sylow q. But this is impossible 5. Conjectures We conclude by stating three conjectures. If G has perfect order subsets, we know from [] that G is even. Conjecture 5.1. If G has perfect order subsets and G is not a power of, then 3 divides G. From computer evidence and the examination of the character tables in [1], we conjecture the following. Conjecture 5.. For n 4, S n and A n do not have perfect order subsets. Conjecture 5.3. If G has perfect order subsets and G is nonabelian, then G is not simple. References [1] J. H. Conway, R. T. Curtis, S. P. Norton,, R. A. Parker, R. A. Wilson, Atlas of finite groups, Clarendon Press, Oxford, 1985 [] Carrie E. Finch and Lenny Jones, A curious connection between Fermat numbers and finite groups, Amer. Math. Monthly 109 (00) [3] Larry Dornhoff, Group Representation Theory, Part A, Marcel Dekker, Inc., New York, 1971 Addendum Walter Feit has recently communicated to us that Conjecture 5.1 is not true. He gives the following counterexample. Let p>3 be a Fermat prime. Let H be the cyclic group of order p 1. Then H is a power of and H has perfect order subsets. Let G be the Frobenius group of order p(p 1) with Frobenius
12 1 CARRIE E. FINCH AND LENNY JONES complement H and Frobenius kernel of order p. Then G is nonabelian and has perfect order subsets, but 3 does not divide G. Department of Mathematics University of South Carolina Columbia, SC 908 address: cfinch@math.sc.edu Department of Mathematics, Shippensburg University, Shippensburg, PA address: lkjone@ship.edu
A Curious Connection Between Fermat Numbers and Finite Groups
A Curious Connection Between Fermat Numbers and Finite Groups Carrie E. Finch and Lenny Jones 1. INTRODUCTION. In the seventeenth century, Fermat defined the sequence of numbers F n = 2 2n + 1 for n 0,
More informationDiscrete Mathematics with Applications MATH236
Discrete Mathematics with Applications MATH236 Dr. Hung P. Tong-Viet School of Mathematics, Statistics and Computer Science University of KwaZulu-Natal Pietermaritzburg Campus Semester 1, 2013 Tong-Viet
More informationALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION
ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on
More informationCHAPTER 6. Prime Numbers. Definition and Fundamental Results
CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n
More information#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S
#A42 INTEGERS 10 (2010), 497-515 ON THE ITERATION OF A FUNCTION RELATED TO EULER S φ-function Joshua Harrington Department of Mathematics, University of South Carolina, Columbia, SC 29208 jh3293@yahoo.com
More informationMath 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.
Math 324, Fall 2011 Assignment 7 Solutions Exercise 1. (a) Suppose a and b are both relatively prime to the positive integer n. If gcd(ord n a, ord n b) = 1, show ord n (ab) = ord n a ord n b. (b) Let
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationElements with Square Roots in Finite Groups
Elements with Square Roots in Finite Groups M. S. Lucido, M. R. Pournaki * Abstract In this paper, we study the probability that a randomly chosen element in a finite group has a square root, in particular
More informationAn integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.
Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1
More informationPerfect Power Riesel Numbers
Perfect Power Riesel Numbers Carrie Finch a, Lenny Jones b a Mathematics Department, Washington and Lee University, Lexington, VA 24450 b Department of Mathematics, Shippensburg University, Shippensburg,
More information1 Structure of Finite Fields
T-79.5501 Cryptology Additional material September 27, 2005 1 Structure of Finite Fields This section contains complementary material to Section 5.2.3 of the text-book. It is not entirely self-contained
More informationSylow 2-Subgroups of Solvable Q-Groups
E extracta mathematicae Vol. 22, Núm. 1, 83 91 (2007) Sylow 2-Subgroups of Solvable Q-roups M.R. Darafsheh, H. Sharifi Department of Mathematics, Statistics and Computer Science, Faculty of Science University
More informationRecognition of Some Symmetric Groups by the Set of the Order of Their Elements
Recognition of Some Symmetric Groups by the Set of the Order of Their Elements A. R. Moghaddamfar, M. R. Pournaki * Abstract For a finite group G, let π e (G) be the set of order of elements in G and denote
More informationON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS
Submitted exclusively to the London Mathematical Society DOI: 0./S0000000000000000 ON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS JOHN N. BRAY and ROBERT A. WILSON Abstract In the Kourovka Notebook,
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 informationM381 Number Theory 2004 Page 1
M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +
More informationLecture notes: Algorithms for integers, polynomials (Thorsten Theobald)
Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures
More informationNumber Theory and Group Theoryfor Public-Key Cryptography
Number Theory and Group Theory for Public-Key Cryptography TDA352, DIT250 Wissam Aoudi Chalmers University of Technology November 21, 2017 Wissam Aoudi Number Theory and Group Theoryfor Public-Key Cryptography
More informationPOS-GROUPS WITH SOME CYCLIC SYLOW SUBGROUPS. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulletin of the Iranian Mathematical Society Vol. 39 No. 5 (2013), pp 941-957. POS-GROUPS WITH SOME CYCLIC SYLOW SUBGROUPS R. SHEN, W. SHI AND J. SHI Communicated by Ali Reza Ashrafi Abstract. A finite
More informationarxiv: v1 [math.gr] 31 May 2016
FINITE GROUPS OF THE SAME TYPE AS SUZUKI GROUPS SEYED HASSAN ALAVI, ASHRAF DANESHKHAH, AND HOSEIN PARVIZI MOSAED arxiv:1606.00041v1 [math.gr] 31 May 2016 Abstract. For a finite group G and a positive integer
More informationCONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP
Uno, K. Osaka J. Math. 41 (2004), 11 36 CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP Dedicated to Professor Yukio Tsushima on his sixtieth birthday KATSUHIRO UNO 1. Introduction (Received
More informationDefinition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively
6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationCHARACTERIZATION OF PROJECTIVE GENERAL LINEAR GROUPS. Communicated by Engeny Vdovin. 1. Introduction
International Journal of Group Theory ISSN (print): 51-7650, ISSN (on-line): 51-7669 Vol. 5 No. 1 (016), pp. 17-8. c 016 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CHARACTERIZATION OF PROJECTIVE
More informationTRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS
TRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS I. M. Isaacs Department of Mathematics, University of Wisconsin Madison, WI 53706 USA e-mail: isaacs@math.wisc.edu Thomas Michael
More informationSection 10: Counting the Elements of a Finite Group
Section 10: Counting the Elements of a Finite Group Let G be a group and H a subgroup. Because the right cosets are the family of equivalence classes with respect to an equivalence relation on G, it follows
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 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 informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
More informationLARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).
LARGE PRIME NUMBERS 1. Fast Modular Exponentiation Given positive integers a, e, and n, the following algorithm quickly computes the reduced power a e % n. (Here x % n denotes the element of {0,, n 1}
More informationA dual version of Huppert s conjecture on conjugacy class sizes
A dual version of Huppert s conjecture on conjugacy class sizes Zeinab Akhlaghi 1, Maryam Khatami 2, Tung Le 3, Jamshid Moori 3, Hung P. Tong-Viet 4 1 Faculty of Math. and Computer Sci., Amirkabir University
More informationKnow the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.
The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring
More informationThe influence of order and conjugacy class length on the structure of finite groups
Hokkaido Mathematical Journal Vol. 47 (2018) p. 25 32 The influence of order and conjugacy class length on the structure of finite groups Alireza Khalili Asboei, Mohammad Reza Darafsheh and Reza Mohammadyari
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 informationLecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)
Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Warm up: 1. Let n 1500. Find all sequences n 1 n 2... n s 2 satisfying n i 1 and n 1 n s n (where s can vary from sequence to
More informationThe number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!.
The first exam will be on Friday, September 23, 2011. The syllabus will be sections 0.1 through 0.4 and 0.6 in Nagpaul and Jain, and the corresponding parts of the number theory handout found on the class
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationCS 5319 Advanced Discrete Structure. Lecture 9: Introduction to Number Theory II
CS 5319 Advanced Discrete Structure Lecture 9: Introduction to Number Theory II Divisibility Outline Greatest Common Divisor Fundamental Theorem of Arithmetic Modular Arithmetic Euler Phi Function RSA
More informationDiscrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set
Discrete Logarithms Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set Z/mZ = {[0], [1],..., [m 1]} = {0, 1,..., m 1} of residue classes modulo m is called
More informationAll variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.
Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1
More informationWilson s Theorem and Fermat s Little Theorem
Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =
More informationThe group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.
The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct
More informationHUPPERT S CONJECTURE FOR F i 23
HUPPERT S CONJECTURE FOR F i 23 S. H. ALAVI, A. DANESHKAH, H. P. TONG-VIET, AND T. P. WAKEFIELD Abstract. Let G denote a finite group and cd(g) the set of irreducible character degrees of G. Bertram Huppert
More informationRecognising nilpotent groups
Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk
More informationarxiv: v1 [math.gr] 3 Feb 2019
Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute
More information2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?
Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative
More informationSection II.6. Classification of Finite Groups
II.6. Classification of Finite Groups 1 Section II.6. Classification of Finite Groups Note. In this section, based largely on Sylow s three theorems, we classify all groups of order up to 15. First, we
More informationThe Impossibility of Certain Types of Carmichael Numbers
The Impossibility of Certain Types of Carmichael Numbers Thomas Wright Abstract This paper proves that if a Carmichael number is composed of primes p i, then the LCM of the p i 1 s can never be of the
More informationECEN 5022 Cryptography
Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,
More informationMATH 420 FINAL EXAM J. Beachy, 5/7/97
MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationExercises Exercises. 2. Determine whether each of these integers is prime. a) 21. b) 29. c) 71. d) 97. e) 111. f) 143. a) 19. b) 27. c) 93.
Exercises Exercises 1. Determine whether each of these integers is prime. a) 21 b) 29 c) 71 d) 97 e) 111 f) 143 2. Determine whether each of these integers is prime. a) 19 b) 27 c) 93 d) 101 e) 107 f)
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationJohns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm
Johns Hopkins University, Department of Mathematics 110.401 Abstract Algebra - Spring 2009 Midterm Instructions: This exam has 8 pages. No calculators, books or notes allowed. You must answer the first
More informationChapter 1. Number of special form. 1.1 Introduction(Marin Mersenne) 1.2 The perfect number. See the book.
Chapter 1 Number of special form 1.1 Introduction(Marin Mersenne) See the book. 1.2 The perfect number Definition 1.2.1. A positive integer n is said to be perfect if n is equal to the sum of all its positive
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationChuck Garner, Ph.D. May 25, 2009 / Georgia ARML Practice
Some Chuck, Ph.D. Department of Mathematics Rockdale Magnet School for Science Technology May 25, 2009 / Georgia ARML Practice Outline 1 2 3 4 Outline 1 2 3 4 Warm-Up Problem Problem Find all positive
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationImplications of the index of a fixed point subgroup
Rend. Sem. Mat. Univ. Padova, DRAFT, 1 7 Implications of the index of a fixed point subgroup Erkan Murat Türkan ( ) Abstract Let G be a finite group and A Aut(G). The index G : C G (A) is called the index
More informationDifference Sets Corresponding to a Class of Symmetric Designs
Designs, Codes and Cryptography, 10, 223 236 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Difference Sets Corresponding to a Class of Symmetric Designs SIU LUN MA
More information2.3 In modular arithmetic, all arithmetic operations are performed modulo some integer.
CHAPTER 2 INTRODUCTION TO NUMBER THEORY ANSWERS TO QUESTIONS 2.1 A nonzero b is a divisor of a if a = mb for some m, where a, b, and m are integers. That is, b is a divisor of a if there is no remainder
More informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationSOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,
SOLUTIONS TO PROBLEM SET 1 Section 1.3 Exercise 4. We see that 1 1 2 = 1 2, 1 1 2 + 1 2 3 = 2 3, 1 1 2 + 1 2 3 + 1 3 4 = 3 4, and is reasonable to conjecture n k=1 We will prove this formula by induction.
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationarxiv: v1 [math.nt] 18 Jul 2012
Some remarks on Euler s totient function arxiv:107.4446v1 [math.nt] 18 Jul 01 R.Coleman Laboratoire Jean Kuntzmann Université de Grenoble Abstract The image of Euler s totient function is composed of the
More informationAutomorphisms of strongly regular graphs and PDS in Abelian groups
Automorphisms of strongly regular graphs and PDS in Abelian groups Zeying Wang Department of Mathematical Sciences Michigan Technological University Joint work with Stefaan De Winter and Ellen Kamischke
More informationMath 546, Exam 2 Information.
Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)
More informationOn Huppert s Conjecture for 3 D 4 (q), q 3
On Huppert s Conjecture for 3 D 4 (q), q 3 Hung P. Tong-Viet School of Mathematical Sciences, University of KwaZulu-Natal Pietermaritzburg 3209, South Africa Tong-Viet@ukzn.ac.za and Thomas P. Wakefield
More informationQuadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin
Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin mcadam@math.utexas.edu Abstract: We offer a proof of quadratic reciprocity that arises
More information3-Designs from PSL(2, q)
3-Designs from PSL(, q P. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b a School of Mathematical Sciences, Queen Mary, University of London, U.K. b Institute for Studies in Theoretical
More informationEuler s, Fermat s and Wilson s Theorems
Euler s, Fermat s and Wilson s Theorems R. C. Daileda February 17, 2018 1 Euler s Theorem Consider the following example. Example 1. Find the remainder when 3 103 is divided by 14. We begin by computing
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationLecture 7 Cyclic groups and subgroups
Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:
More informationNILPOTENT NUMBERS JONATHAN PAKIANATHAN AND KRISHNAN SHANKAR
NILPOTENT NUMBERS JONATHAN PAKIANATHAN AND KRISHNAN SHANKAR Introduction. One of the first things we learn in abstract algebra is the notion of a cyclic group. For every positive integer n, we have Z n,
More informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
More information10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "
Math 4161 Dr. Franz Rothe December 9, 2013 13FALL\4161_fall13f.tex Name: Use the back pages for extra space Final 70 70 Problem 1. The following assertions may be true or false, depending on the choice
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 informationPrimitive arcs in P G(2, q)
Primitive arcs in P G(2, q) L. Storme H. Van Maldeghem December 14, 2010 Abstract We show that a complete arc K in the projective plane P G(2, q) admitting a transitive primitive group of projective transformations
More informationChapter 9 Mathematics of Cryptography Part III: Primes and Related Congruence Equations
Chapter 9 Mathematics of Cryptography Part III: Primes and Related Congruence Equations Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9.1 Chapter 9 Objectives
More informationEXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES
#A7 INTEGERS 15A (2015) EXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES Joshua Harrington Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania JSHarrington@ship.edu Lenny
More informationPMA225 Practice Exam questions and solutions Victor P. Snaith
PMA225 Practice Exam questions and solutions 2005 Victor P. Snaith November 9, 2005 The duration of the PMA225 exam will be 2 HOURS. The rubric for the PMA225 exam will be: Answer any four questions. You
More informationPrime Divisors of Palindromes
Prime Divisors of Palindromes William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Igor E. Shparlinski Department of Computing, Macquarie University
More informationMay 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.
Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated
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 informationWinter Camp 2009 Number Theory Tips and Tricks
Winter Camp 2009 Number Theory Tips and Tricks David Arthur darthur@gmail.com 1 Introduction This handout is about some of the key techniques for solving number theory problems, especially Diophantine
More informationOn the prime graph of L 2 (q) where q = p α < Introduction
Quasigroups and Related Systems 14 (2006), 179 190 On the prime graph of L 2 (q) where q = p α < 100 Behrooz Khosravi and Seyyed Sadegh Salehi Amiri Abstract Let G be a nite group. We construct the prime
More informationP. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b
3-designs from PSL(, q P. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b a School of Mathematical Sciences, Queen Mary, University of London, U.K. b Institute for Studies in Theoretical
More informationA WEAKER QUANTITATIVE CHARACTERIZATION OF THE SPORADIC SIMPLE GROUPS
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (45 54) 45 A WEAKER QUANTITATIVE CHARACTERIZATION OF THE SPORADIC SIMPLE GROUPS Jinbao Li Department of Mathematics Chongqing University of Arts
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More informationA note on some properties of the least common multiple of conjugacy class sizes
Proceeding of ICA 2010 pp. xx xx. A note on some properties of the least common multiple of conjugacy class sizes Alan Camina 1 & Rachel Camina 2 1 School of Mathematics, University of East Anglia, Norwich,
More informationCyclic groups Z Z Theorem Proof
Cyclic groups Examples: Z = 1 = 1 under +. Z n = 1 = 1 under + mod n; in fact, there may be other generators of Z n besides ±1. U(n) is sometimes cyclic, e.g., n = 2, 3, 4, 6, 7, 9,. Theorem If a G has
More informationBeautiful Mathematics
Beautiful Mathematics 1. Principle of Mathematical Induction The set of natural numbers is the set of positive integers {1, 2, 3,... } and is denoted by N. The Principle of Mathematical Induction is a
More informationA Readable Introduction to Real Mathematics
Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 7: The Euclidean Algorithm and Applications 1. Find the greatest
More informationp = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is
LARGE PRIME NUMBERS 1. Fermat Pseudoprimes Fermat s Little Theorem states that for any positive integer n, if n is prime then b n % n = b for b = 1,..., n 1. In the other direction, all we can say is that
More information2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?
Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative
More informationTransposition as a permutation: a tale of group actions and modular arithmetic
Transposition as a permutation: a tale of group actions and modular arithmetic Jeff Hooper Franklin Mendivil Department of Mathematics and Statistics Acadia University Abstract Converting a matrix from
More informationORDERS OF ELEMENTS IN A GROUP
ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since
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 information