# arxiv:math/ v1 [math.ho] 28 Oct 2000

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 THE MODULAR TREE OF PYTHAGORUS arxiv:math/ v1 [math.ho] 28 Oct 2000 ROGER C. ALPERIN Department of Mathematics and Computer Science San Jose State University, San Jose, CA USA 1. Introduction The Pythagorean triples of integers satisfying x 2 + y 2 = z 2 have been studied and enumerated since Babylonian times. Since Diophantus, it has been known that this set of triples is related to the standard rational parameterization of the unit circle, ( t2 1 t 2 +1, 2t ). The Pythagorean triple solutions, t 2 +1 which are relatively prime, have the elementary and beautiful characterization as integers x = m 2 n 2,y = 2mn,z = m 2 + n 2 for relatively prime integers m,n. One can also realize that the Pythagorean triples are related to the Gaussian integers, Z[i], the lattice in the complex numbers with integer coordinates, u = x+iy, where x,y, are integers. The Pythagorean equation N(u) = uu = (x + iy)(x iy) = z 2 is an equation among Gaussians. It is perhaps, not surprising, that the Pythagorean triples are just the squares of the set of Gaussian integers, that is v = (m + ni) 2 = (m 2 n 2 ) + (2mn)i gives the endpoint of the hypotenuse of a right triangle with integer length sides. This Gaussian square v obviously has a norm, N(v), which is a square. Both of these expressions secretly involve the double angle formulae for sine and cosine since the stereographic projection formula uses the central and chordal angles. By considering the action of the modular group, Γ = PSL 2 (Z), by conjugation on the set of all integer matrices M 2 (Z), we can blend together these two perspectives. We shall show (Corollary 3.2) that the Pythagorean triples can be identified with an orbit of ( a subgroup ) (of index 6), Γ(2), which is generated by the images of U 2 = and L =. Moreover Γ(2) is the free product of the subgroups generated by U 2 and L (Proposition 3.1). The consequence of the free group structure for Γ(2) is that the Pythagorean triples can be enumerated by words, for each k 0, U ±2n kl ±2m ku ±2n k 1 L ±2m 1 U ±2n 1 L 2m 0, for integers m i 0, n i 0, 0 i k. Using a breadth-first enumeration of these group elements we obtain the following curious result (see Figure 1). Theorem 1.1. The set of primitive Pythagorean triples has the structure of a complete infinite rooted ternary tree. 1

2 Figure 1. Tree of Pythagorus 2. Conjugation Action and Similarity Proposition 2.1. Any integer matrix X, satisfying X 2 = 0 is X = for integers x,y,z satisfying yz + x 2 = 0 and conversely. x y z x Proof. Suppose the integer matrix X, satisfies X 2 = 0. Since the matrix X also satisfies its characteristic polynomial, it follows that tr(x)x = det(x)i. Since it is impossible for a non-zero X to be a non-zero multiple of the identity matrix, it follows that tr(x) = det(x) = 0, and the conclusion of the lemma is immediate. The group GL 2 (Z) of invertible linear transformations of Z 2 acts via conjugation on all two by two matrices, M 2 (Z), by X TXT 1. This action preserves the trace and determinant and hence also the cone of nilpotent matrices N 2 = {X M 2 (Z) X 2 = 0} as described by Proposition 2.1. The similarity class of the matrix X is [X] = {TXT 1 T( GL) 2 (Z)} Let E = ; Notice that E 0 0 t [E] using conjugation by ; also E [E] using conjugation by the matrix D =. 0 1 Let N denote the set of non-negative integers. Let E λ = [λe], λ N; it is clear that E λ = λ[e]. Also, it is an easy check to see that E λ and E µ, for λ µ, are disjoint. Proposition 2.2. A matrix X N 2 is similar to λe, for a unique λ N. Thus N 2 = λ N E λ is the disjoint union of similarity classes. Proof. If any entry of the matrix X is zero, then it follows immediately from Proposition 2.1 that X is either the zero matrix, a multiple of E, or a

3 3 multiple of E t. Thus, in this case X is similar to either the zero matrix or E. ( Suppose ) now that none of the entries of the matrix X is zero; say X = x y. Since the determinant is zero, the non-zero rows are dependent z x over the rationals; furthermore, after factoring out the greatest common divisor, say λ, of the entries of X, we find that there are relatively prime integers m and n so that mx = nz and my = nx. Now, using the relatively prime condition as above, we obtain the divisibility: m z, m x, n x, n y. Rewriting then x = mnx 1, y = ny 1, z = mz 1 ; canceling where possible then from the original equations, it follows that mx 1 = z 1, nx 1 = y 1 ; thus m z 1 and n y 1. Hence, x = mnλ,y = n 2 λ,z = m 2 λ, λ Z. Thus the original matrix is a multiple of a matrix, which has a factorization, mn n 2 n (m ) m 2 = n. mn m Consequently, the action of conjugation is just a mixture of the usual action on Z 2 as row and as column vectors: TXT 1 n (m ) = T n T m 1. a b The conjugation action of T = gives c d TXT 1 (an + bm)(cn + dm) (an + bm) 2 = ± (cn + dm) 2. (an + bm)(cn + dm) Now it is easy to see, using the Euclidean algorithm, that for any relatively prime integers m,n there is( an T ( SL 2 (Z), the elements of GL 2 (Z) of n 1 determinant one, so that T =. Hence using the conjugation of m) 0) such a T on X as described above gives the matrix E. Thus any non-zero integer matrix X with relatively prime entries is similar to E. 3. Enumerating Pythagorean Triples Consider the matrices in M 2 (Z) which are similar to E; there are relatively prime integers m,n so that the matrix is mn n 2 m 2 = 1 C S N. mn 2 S + N C The integers S,C,N give a Pythagorean triple satisfying S 2 + C 2 = N 2. We now have a method of generating Pythagorean triples. Consider the conjugation action of GL 2 (Z) on E and determine the orbit. Of course this is just the same as the set of cosets GL 2 (Z) by the stabilizer of E. The stabilizer in GL 2 (Z) of the matrix E is easily seen to be the subgroup

4 4 generated by U and the scalar matrix I. However, the situation is a bit subtle. These cosets parameterize the different matrices on the left side of the equation above, but not the different Pythagorean triples, which are obtained from the right hand side. For primitive (m, n relatively prime) Pythagorean triples S, C, N we only want to count the really different solutions; fix m to be even and n to be odd and assume both m and n are positive; this specifies C as even and positive, N is positive, and S is odd. To enumerate the distinct Pythagorean triples as described above, we shall use matrices of determinant 1 with even 2 1 entry, m; it follows that the 1 1 entry n is odd since the matrix T( is invertible; ) hence also mn n m and n are relatively prime; thus, TET 1 2 = m 2. Since the mn effect of the matrix I, the negative identity, (on triples S, C, N) is trivial, we mod out that action. So we have either both m and n are positive or opposite signs; since both situations occur the counting the cosets will double count the Pythagorean triples. We want to use the cosets to enumerate the Pythagorean triples in a 1-1 fashion; and so we look for a way avoid this duplication. We shall develop the group theory a bit more to aid in this. The homomorphism τ : PSL 2 (Z) PSL 2 (Z 2 ), induced by reducing mod 2, has kernel denoted, Γ(2). Since the image of τ is the group PSL 2 (Z 2 ) (it is a non-abelian group of order 6) the group Γ(2) is of index 6 in PSL 2 (Z) ( and normal. ) It is easy ( to see ) that Γ(2) is generated by (the images of) U 2 = and L =. Moreover, these elements generate the group 2 1 as a free product. This will be useful for the enumeration of Pythagorean triples. For any relatively prime integers n, m, one odd and one even, there is a matrix in PSL 2 (Z) with those as the entries of the first column; but multiplying by an appropriate coset representative, we have that these elements n, m (up to sign) are the first column of a matrix in Γ(2). Proposition 3.1. Γ(2) is the free product of the infinite cyclic subgroups generated by U 2 and V 2. Proof. This result is easily proven using the structure of PSL 2 (Z) as ( the free) product [1],( of the subgroups ) of orders 2 and 3 generated by A = and B =. Since L = AB, L = ABAB, U = AB 1, U 2 = AB 1 AB 1, then any alternating word in U ±2 or V ±2 is also alternating in A,B ±1 and hence non-trivial. The enumeration of triples is based on the enumeration of cosets of Γ(2) modulo the stabilizer of E, which is the subgroup generated by U 2. Because of the free product structure the coset representatives are just the words in L 2, U 2 ; since we are considering cosets of the subgroup generated by U 2, the rightmost letter of a coset representative is L ±2. We do a breadth first enumeration, adding U ±2 or L ±2 on the left of a string (alternating); for

5 5 example, if the last group element on the left is L 2 we can add L 2, U 2 or U 2. For any matrix M M 2 (Z), let δ(m) be the matrix with the same off diagonal entries as M and with signs changed on the diagonal. We want to avoid counting both M and δ(m) in the enumeration of cosets of Γ(2) since they produce the same Pythagorean triple from the action on E. The conjugation action of the matrix D and multiplication by I has the same effect as δ, δ(m) = (DMD 1 ) = DMD 1 (projectively). Thus δ gives an outer automorphism of order 2 of Γ(2); conjugation by D. On the generators of Γ(2) the automorphism is: δ(u 2 ) = U 2,δ(L 2 ) = L 2. We then can effectively describe the distinct coset representatives which will enumerate the distinct Pythagorean triples using the alternating property for the words of the free group Γ(2) in the generators L 2 and U 2. Also, using δ we see that to obtain distinct triples we can initialize with L + 0 = {L2 }, L 0 = {}, U 0 ± = {} and define inductively, i 0, L + i+1 = { L2 X X L + i U ± i }, L i+1 = { L 2 X X L i U ± i }, U + i+1 = { U2 X X U + i L ± i }, U i+1 = { U 2 X X U i L ± i }. Thus we have an effective enumeration of non-trivial primitive Pythagorean triples using the coset representatives in the disjoint union P = i 0(L ± i M ± i ). The recurrence relation which counts the number of elements p k in P of level k is p k = 3p k 1, since we can add any one of 3 elements to the left of a given alternating string to keep it alternating. We use Π to denote the triples obtained after conjugation of E by the elements of P. For each T Π, the entries determine a unique primitive Pythagorean triple of positive integers as follows: S = T 2,1 + T 1,2, C = 2T 1,1, N = T 2,1 T 1,2. Theorem 3.2. The primitive Pythagorean triples are in 1-1 correspondence with the set Π of certain of the the coset representatives of the subgroup generated by U 2 in Γ(2). This set Π can be enumerated as a union of triples of level k indexed by subsets Π k of size 3 k. To make the tree we connect the j th element of level i with the 3 elements of level i+1 numbered 3(j 1)+1, 3(j 1)+2, 3(j 1)+3 corresponding to the 3 possible elements used to make the next level by the conjugation action of three of L 2,L 2,U 2,U 2 ; this yields triples, up to sign, respectively, which

6 6 can further be exprssed in terms of the coordinates S = m 2 n 2,C = 2mn,N = m 2 + n 2, L = [m 2 4mn + 3n 2,2mn 4n 2,m 2 4mn + 5n 2 ] L + = [m 2 + 4mn + 3n 2,2mn + 4n 2,m 2 + 4mn + 5n 2 ] U = [ n 2 + 4mn 3m 2,2mn 4m 2,n 2 4mn + 5m 2 ] U + = [ n 2 4mn 3m 2,2mn + 4m 2,n 2 + 4mn + 5m 2 ]. Amazingly, we only have to compute the three transformations L +,U,U + when the coordinates S,C,N are all positive to get the next level in the tree. When S,C,N are all positive then the previous triangle is L. This is easy to see, since in this case m > n 0, and therefore 2mn > 2mn 4n 2 > 2mn so that the second coordinate of L, 2mn 4n 2, is smaller in absolute value than C = 2mn. Similarly, the second coordinate of each of L +,U,U + is greater than C. Furthermore, with variations on this kind of argument, we can modify these three transformations to obtain three new transformations, so that all the coordinates are positive, and so preserve the positive quadrant of the cone x 2 + y 2 = z 2. L + = [m 2 + 4mn + 3n 2,2mn + 4n 2,m 2 + 4mn + 5n 2 ] = [S, C,N] + 2(N S + C)[1,1,1] U = [n 2 4mn + 3m 2,4m 2 2mn,n 2 4mn + 5m 2 ] = [ S,C,N] + 2(N + S C)[1,1,1] U + = [n 2 + 4mn + 3m 2,2mn + 4m 2,n 2 + 4mn + 5m 2 ] = [ S, C,N] + 2(N + S + C)[1,1,1]. One can easily check that each of the differences between coordinates in [m 2 n 2,2mn,m 2 + n 2 ], namely, (m n) 2,2n 2,2mn m 2 + n 2, persists to the next level (except for a sign change on the last one) for exactly one of U, L +, U +. These three new points are so represented in the tree from left to right (see Figure 1) but connected to the level i point. For example one can follow the sequence with difference 1 between the z and y coordinates, in the tree as the path [3,4,5],[5,12,13], [7, 24,25], [9, 40,41],. The difference 1 between the y and x coordinates however will alternate, [3,4,5],[21,20,29], [119, 120,169],[697,696,985],. In fact any difference at level i will continue up the levels of the tree in a similar fashion. The difference 7 occurs (alternating sign) for [15,8,17],[65,72,97], [403, 396,565],. One can ask for a characterization of all those integers which can be differences. This is just a question about the representations, for m even and

7 7 n odd, of integers by the forms P = (m n) 2, Q = 2n 2, R = (n+m) 2 2m 2 or R = (m n) 2 2n 2. The first can take on any odd square value, the second, any twice an odd square, while the third case is more restrictive. The norm form X 2 2Y 2 = D can be solved for Y and X for exactly those integers D which are norms in the ring of integers for the field Q( 2). However we require that Y is even, so this is more restrictive; since Y is even, consider x 2 8y 2 = D; then it also follows that any solution when D is odd has x even. Consider this equation modulo p for any prime divisor of D then it follows that 2 is a quadratic residue modulo p. Using quadratic reciprocity, it follows that every prime divisor of D must be ±1 mod 8. However, for a prime divisor of D, p = 1 mod 8, it follows that x 2 = p = 1 mod 8; which however is impossible. It follows that any odd prime factor of D having odd exponent must be congruent to 1 modulo 8. Since the ring of integers in Q( 2) is a unique factorization domain it follows that for every p dividing D there is an element of norm p when p = 1 mod 8 (not just a multiple). Multiplying these together gives a solution for D. Furthermore, for the minimal positive representation of D by this form R we obtain an infinite path in the tree, since we can solve for m and n from the equations X = n + m,y = m. Given the absolute values of x,y, solutions to x 2 2y 2 = R > 0, then we can solve for values of m,n yielding a Pythagorean triple. Choose n + m = x > 0 and m = y < 0 then n = x m > 0. Hence the Pythagorean triple of positive integers [n 2 m 2, 2mn,m 2 + n 2 ] has first difference R = n 2 m 2 ( 2mn). For example to find the first difference 17, one has the root Pythagorean triple coming from the solution to = 17; giving rise to the solution, , so m = 2,n + m = 5, yields the triple S = 45,C = 28,N = 53; to solve for D = 17, we can multiply by the smallest unit of negative norm, 1+ 2, obtain the solution ( 1+ 2)(5+2 2) = so solving R, we obtain n = 3,m n = 1, which yields [7,24,25]. One can also use a method of Lagrange as described in [3], to solve x 2 8y 2 = p. For example when p = 89, one finds the smallest z 0 < 89/2, so that (z 2 0 8)/89, is an integer, say q 1 ; here z 0 = 39, q 1 = 17; then solve for the smallest z 1 < 17/2, with (z 2 1 8)/17 = q 2. In this case z 1 = 5, q 2 = 1 < 8 and the algorithm terminates. It now follows that (39 2 2)/( ) has norm 89. This gives rise to the solution , an element of norm 89; the number has norm -89. The solution , yields m = 4,n+m = 11, so n = 15 yields the triple S = 209,C = 120,N = 241; from the solution to R, we obtain n = 7,m n = 3, which yields the triple [51,140,149]. The last difference is 9 which occurs in Figure 1 at [33,56,65]. As a check one may compute the three neighbors of this point yielding [209, 120, 241], [51, 140, 149], [275, 252, 373]. Thus [51, 140, 149] is the root of those points with first difference -89. References

8 8 [1] Roger C. Alperin, PSL 2(Z)=Z 2*Z 3, Am. Math. Monthly, 100, No. 4, April 1993, [2] Roger C. Alperin, Rationals and the Modular Group, Am. Math. Monthly, 106, No. 8, October 1999, [3] G. Chrystal, Algebra, Part II, Chelsea, New York, (Seventh Edition) 1964 AMS Classification: 11D09

### Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers

Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers Amnon Yekutieli Department of Mathematics Ben Gurion University email: amyekut@math.bgu.ac.il Notes available at http://www.math.bgu.ac.il/~amyekut/lectures

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

### A Non-Existence Property of Pythagorean Triangles with a 3-D Application

A Non-Existence Property of Pythagorean Triangles with a 3-D Application Konstantine Zelator Department of Mathematics and Computer Science Rhode Island College 600 Mount Pleasant Avenue Providence, RI

### Elementary Number Theory We begin with a bit of elementary number theory, which is concerned

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### = 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

### Introduction Proof by unique factorization in Z Proof with Gaussian integers Proof by geometry Applications. Pythagorean Triples

Pythagorean Triples Keith Conrad University of Connecticut August 4, 008 Introduction We seek positive integers a, b, and c such that a + b = c. Plimpton 3 Babylonian table of Pythagorean triples (1800

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### 5.1 Commutative rings; Integral Domains

5.1 J.A.Beachy 1 5.1 Commutative rings; Integral Domains from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 23. Let R be a commutative ring. Prove the following

### MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions

### Pythagorean Triples Pythagorean triple similar primitive

Pythagorean Triples One of the most far-reaching problems to appear in Diophantus Arithmetica was his Problem II-8: To divide a given square into two squares. Namely, find integers x, y, z, so that x 2

### Congruent Number Problem

University of Waterloo October 28th, 2015 Number Theory Number theory, can be described as the mathematics of discovering and explaining patterns in numbers. There is nothing in the world which pleases

### some algebra prelim solutions

some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

### PYTHAGOREAN TRIPLES PETE L. CLARK

PYTHAGOREAN TRIPLES PETE L. CLARK 1. Parameterization of Pythagorean Triples 1.1. Introduction to Pythagorean triples. By a Pythagorean triple we mean an ordered triple (x, y, z) Z 3 such that x + y =

### SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines

### MATH 361: NUMBER THEORY FIRST LECTURE

MATH 361: NUMBER THEORY FIRST LECTURE 1. Introduction As a provisional definition, view number theory as the study of the properties of the positive integers, Z + = {1, 2, 3, }. Of particular interest,

### Introduction to Modern Algebra

Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

### ORDERS 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

### CHAPTER 5: MODULAR ARITHMETIC

CHAPTER 5: MODULAR ARITHMETIC LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we will consider congruence modulo m, and explore the associated arithmetic called

### The Mathematics of Origami

The Mathematics of Origami Sheri Yin June 3, 2009 1 Contents 1 Introduction 3 2 Some Basics in Abstract Algebra 4 2.1 Groups................................. 4 2.2 Ring..................................

### Notes on Factoring. MA 206 Kurt Bryan

The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

### Problem Set 5. AABB = 11k = (10 + 1)k = (10 + 1)XY Z = XY Z0 + XY Z XYZ0 + XYZ AABB

Problem Set 5 1. (a) Four-digit number S = aabb is a square. Find it; (hint: 11 is a factor of S) (b) If n is a sum of two square, so is 2n. (Frank) Solution: (a) Since (A + B) (A + B) = 0, and 11 0, 11

### 13 Solutions for Section 6

13 Solutions for Section 6 Exercise 6.2 Draw up the group table for S 3. List, giving each as a product of disjoint cycles, all the permutations in S 4. Determine the order of each element of S 4. Solution

### CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

### TRIANGLES ON THE LATTICE OF INTEGERS. Department of Mathematics Rowan University Glassboro, NJ Andrew Roibal and Abdulkadir Hassen

TRIANGLES ON THE LATTICE OF INTEGERS Andrew Roibal and Abdulkadir Hassen Department of Mathematics Rowan University Glassboro, NJ 08028 I. Introduction In this article we will be studying triangles whose

### Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

### Settling a Question about Pythagorean Triples

Settling a Question about Pythagorean Triples TOM VERHOEFF Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-Mail address:

### SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

### Algebra 2. Rings and fields. Finite fields. A.M. Cohen, H. Cuypers, H. Sterk. Algebra Interactive

2 Rings and fields A.M. Cohen, H. Cuypers, H. Sterk A.M. Cohen, H. Cuypers, H. Sterk 2 September 25, 2006 1 / 20 For p a prime number and f an irreducible polynomial of degree n in (Z/pZ)[X ], the quotient

### 2 The Euclidean algorithm

2 The Euclidean algorithm Do you understand the number 5? 6? 7? At some point our level of comfort with individual numbers goes down as the numbers get large For some it may be at 43, for others, 4 In

### Coding Theory Pythagorean Codes Massoud Malek. By looking at the legs of a right-angle triangle (a, b, c), Pythagoras gave us the first theorem:

By looking at the legs of a right-angle triangle (a, b, c), Pythagoras gave us the first theorem: a 2 + b 2 = c 2 The leg c, is called the hypotenuse. If no other number except one divides both a and b,

### Further linear algebra. Chapter I. Integers.

Further linear algebra. Chapter I. Integers. Andrei Yafaev Number theory is the theory of Z = {0, ±1, ±2,...}. 1 Euclid s algorithm, Bézout s identity and the greatest common divisor. We say that a Z divides

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14

4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

### The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

### *.I Zolotareff s Proof of Quadratic Reciprocity

*.I. ZOLOTAREFF S PROOF OF QUADRATIC RECIPROCITY 1 *.I Zolotareff s Proof of Quadratic Reciprocity This proof requires a fair amount of preparations on permutations and their signs. Most of the material

### Reciprocal Properties of Pythagorean triangles

arxiv:1110.0217v1 [math.gm] 2 Oct 2011 Reciprocal Properties of Pythagorean triangles Konstantine Zelator Mathematics, Statistics, and Computer Science 212 Ben Franklin Hall Bloomsburg University of Pennsylvania

### ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

### D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 5

D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 5 Dihedral groups, permutation groups, discrete subgroups of M 2, group actions 1. Write an explicit embedding of the dihedral group D n into the symmetric

### UNIT 2 MATRICES - I 2.0 INTRODUCTION. Structure

UNIT 2 MATRICES - I Matrices - I Structure 2.0 Introduction 2.1 Objectives 2.2 Matrices 2.3 Operation on Matrices 2.4 Invertible Matrices 2.5 Systems of Linear Equations 2.6 Answers to Check Your Progress

### Mathematics of Cryptography Modular Arithmetic, Congruence, and Matrices. A Biswas, IT, BESU SHIBPUR

Mathematics of Cryptography Modular Arithmetic, Congruence, and Matrices A Biswas, IT, BESU SHIBPUR McGraw-Hill The McGraw-Hill Companies, Inc., 2000 Set of Integers The set of integers, denoted by Z,

### Markov Chains, Stochastic Processes, and Advanced Matrix Decomposition

Markov Chains, Stochastic Processes, and Advanced Matrix Decomposition Jack Gilbert Copyright (c) 2014 Jack Gilbert. Permission is granted to copy, distribute and/or modify this document under the terms

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### G = G 0 > G 1 > > G k = {e}

Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

### GENERALIZED PYTHAGOREAN TRIPLES AND PYTHAGOREAN TRIPLE PRESERVING MATRICES. Mohan Tikoo and Haohao Wang

VOLUME 1, NUMBER 1, 009 3 GENERALIZED PYTHAGOREAN TRIPLES AND PYTHAGOREAN TRIPLE PRESERVING MATRICES Mohan Tikoo and Haohao Wang Abstract. Traditionally, Pythagorean triples (PT) consist of three positive

### ABSTRACT ALGEBRA. Romyar Sharifi

ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory

3. QUADRATIC CONGRUENCES 3.1. Quadratics Over a Finite Field We re all familiar with the quadratic equation in the context of real or complex numbers. The formula for the solutions to ax + bx + c = 0 (where

### Orders Modulo A Prime

Orders Modulo A Prime Evan Chen March 6, 2015 In this article I develop the notion of the order of an element modulo n, and use it to prove the famous n 2 + 1 lemma as well as a generalization to arbitrary

### Quadratic Equations in Finite Fields of Characteristic 2

Quadratic Equations in Finite Fields of Characteristic 2 Klaus Pommerening May 2000 english version February 2012 Quadratic equations over fields of characteristic 2 are solved by the well known quadratic

### k, 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

### MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

### Department of Mathematics Exercises G.1: Solutions

Department of Mathematics MT161 Exercises G.1: Solutions 1. We show that a (b c) = (a b) c for all binary strings a, b, c B. So let a = a 1 a 2... a n, b = b 1 b 2... b n and c = c 1 c 2... c n, where

### (x + a) n = x n + a Z n [x]. Proof. If n is prime then the map

22. A quick primality test Prime numbers are one of the most basic objects in mathematics and one of the most basic questions is to decide which numbers are prime (a clearly related problem is to find

### vertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 466 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

### 1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

### 1 Review of complex numbers

1 Review of complex numbers 1.1 Complex numbers: algebra The set C of complex numbers is formed by adding a square root i of 1 to the set of real numbers: i = 1. Every complex number can be written uniquely

### Chapter 10. Abstract algebra

Chapter 10. Abstract algebra C.O.S. Sorzano Biomedical Engineering December 17, 2013 10. Abstract algebra December 17, 2013 1 / 62 Outline 10 Abstract algebra Sets Relations and functions Partitions and

### Mathematics of Cryptography Part I

CHAPTER 2 Mathematics of Cryptography Part I (Solution to Odd-Numbered Problems) Review Questions 1. The set of integers is Z. It contains all integral numbers from negative infinity to positive infinity.

### SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

### 11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

### Pythagorean Triples and Fermat s Last Theorem

Pythagorean Triples and Fermat s Last Theorem A. DeCelles Notes for talk at the Science Speakers Series at Goshen College Document created: 05/10/011 Last updated: 06/05/011 (graphics added) It is an amazing

### Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

### A matrix over a field F is a rectangular array of elements from F. The symbol

Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F) denotes the collection of all m n matrices over F Matrices will usually be denoted

### Matrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES Pearson Education, Inc.

2 Matrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES Theorem 8: Let A be a square matrix. Then the following statements are equivalent. That is, for a given A, the statements are either all true

### 1 Orthogonal projections and the approximation

Math 1512 Fall 2010 Notes on least squares approximation Given n data points (x 1, y 1 ),..., (x n, y n ), we would like to find the line L, with an equation of the form y = mx + b, which is the best fit

### Problem Set 7 - Fall 2008 Due Tuesday, Oct. 28 at 1:00

18.781 Problem Set 7 - Fall 2008 Due Tuesday, Oct. 28 at 1:00 Throughout this assignment, f(x) always denotes a polynomial with integer coefficients. 1. (a) Show that e 32 (3) = 8, and write down a list

### Additional Topics in Linear Algebra Supplementary Material for Math 540. Joseph H. Silverman

Additional Topics in Linear Algebra Supplementary Material for Math 540 Joseph H Silverman E-mail address: jhs@mathbrownedu Mathematics Department, Box 1917 Brown University, Providence, RI 02912 USA Contents

### Topic 1: Matrices and Systems of Linear Equations.

Topic 1: Matrices and Systems of Linear Equations Let us start with a review of some linear algebra concepts we have already learned, such as matrices, determinants, etc Also, we shall review the method

### A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

### Finite Fields and Error-Correcting Codes

Lecture Notes in Mathematics Finite Fields and Error-Correcting Codes Karl-Gustav Andersson (Lund University) (version 1.013-16 September 2015) Translated from Swedish by Sigmundur Gudmundsson Contents

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

### NUMBER THEORY AMIN WITNO

NUMBER THEORY AMIN WITNO ii Number Theory Amin Witno Department of Basic Sciences Philadelphia University JORDAN 19392 Originally written for Math 313 students at Philadelphia University in Jordan, this

### Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

### Inverses and powers: Rules of Matrix Arithmetic

Contents 1 Inverses and powers: Rules of Matrix Arithmetic 1.1 What about division of matrices? 1.2 Properties of the Inverse of a Matrix 1.2.1 Theorem (Uniqueness of Inverse) 1.2.2 Inverse Test 1.2.3

### Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

### Continued fractions and good approximations.

Continued fractions and good approximations We will study how to find good approximations for important real life constants A good approximation must be both accurate and easy to use For instance, our

### MATH 289 PROBLEM SET 1: INDUCTION. 1. The induction Principle The following property of the natural numbers is intuitively clear:

MATH 89 PROBLEM SET : INDUCTION The induction Principle The following property of the natural numbers is intuitively clear: Axiom Every nonempty subset of the set of nonnegative integers Z 0 = {0,,, 3,

### Characterizing the Sum of Two Cubes

1 3 47 6 3 11 Journal of Integer Sequences, Vol. 6 (003), Article 03.4.6 Characterizing the Sum of Two Cubes Kevin A. Broughan University of Waikato Hamilton 001 New Zealand kab@waikato.ac.nz Abstract

### Prime Numbers. Chapter Primes and Composites

Chapter 2 Prime Numbers The term factoring or factorization refers to the process of expressing an integer as the product of two or more integers in a nontrivial way, e.g., 42 = 6 7. Prime numbers are

### F1.3YE2/F1.3YK3 ALGEBRA AND ANALYSIS. Part 2: ALGEBRA. RINGS AND FIELDS

F1.3YE2/F1.3YK3 ALGEBRA AND ANALYSIS Part 2: ALGEBRA. RINGS AND FIELDS LECTURE NOTES AND EXERCISES Contents 1 Revision of Group Theory 3 1.1 Introduction................................. 3 1.2 Binary Operations.............................

### Primitive Pythagorean Codes

International Mathematical Forum, Vol. 8, 2013, no. 38, 1873-1879 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.39180 Primitive Pythagorean Codes Massoud Malek California State University,

### 1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form

1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and

### REMARKS ABOUT EUCLIDEAN DOMAINS. 1. Introduction. Definition 1.2. An integral domain R is called Euclidean if there is a function d: R {0}

REMARKS ABOUT EUCLIDEAN DOMAINS KEITH CONRAD 1. Introduction The following definition of a Euclidean (not Euclidian!) textbooks. We write N for {0, 1, 2,... }. domain is very common in Definition 1.1.

### a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

### Congruences. Robert Friedman

Congruences Robert Friedman Definition of congruence mod n Congruences are a very handy way to work with the information of divisibility and remainders, and their use permeates number theory. Definition

### Pythagorean Triples. Chapter 2. a 2 + b 2 = c 2

Chapter Pythagorean Triples The Pythagorean Theorem, that beloved formula of all high school geometry students, says that the sum of the squares of the sides of a right triangle equals the square of the

### Definition A square matrix M is invertible (or nonsingular) if there exists a matrix M 1 such that

0. Inverse Matrix Definition A square matrix M is invertible (or nonsingular) if there exists a matrix M such that M M = I = M M. Inverse of a 2 2 Matrix Let M and N be the matrices: a b d b M =, N = c

### 7. Some irreducible polynomials

7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

### PYTHAGOREAN NUMBERS. Bowling Green State University, Bowling Green, OH (Submitted February 1988)

S u p r i y a Mohanty a n d S. P. Mohanty Bowling Green State University, Bowling Green, OH 43403-0221 (Submitted February 1988) Let M be a right angled triangle with legs x and y and hypotenuse z. Then

### 10. Graph Matrices Incidence Matrix

10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

### In a triangle with a right angle, there are 2 legs and the hypotenuse of a triangle.

PROBLEM STATEMENT In a triangle with a right angle, there are legs and the hypotenuse of a triangle. The hypotenuse of a triangle is the side of a right triangle that is opposite the 90 angle. The legs

### Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

### CLASSIFYING FINITE SUBGROUPS OF SO 3

CLASSIFYING FINITE SUBGROUPS OF SO 3 HANNAH MARK Abstract. The goal of this paper is to prove that all finite subgroups of SO 3 are isomorphic to either a cyclic group, a dihedral group, or the rotational

### CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents