Rational Distance Sets on Conic Sections
|
|
- Wendy Logan
- 6 years ago
- Views:
Transcription
1 Rational Distance Sets on Conic Sections Megan D Ly Loyola Marymount Shawn E Tsosie UMASS Amherst July 010 Lyda P Urresta Union College Abstract Leonhard Euler noted that there exists an infinite set of rational points on the unit circle such that the pairwise distance of any two is also rational; the same statement is nearly always true for lines and other circles In 004, Garikai Campbell considered the question of a rational distance set consisting of four points on a parabola We introduce new ideas to discuss a rational distance set of four points on a hyperbola We will also discuss the issues with generalizing to a rational distance set of five points on an arbitrary conic section 1 Introduction A rational distance set is a set whose elements are points in R which have pairwise rational distance Finding these sets is a difficult problem, and the search for rational distance sets with rational coordinates is even more difficult The search for rational distance sets has a long history Leonard Euler noted that there exists an infinite set of rational points on the unit circle such that the pairwise distance of any two is also rational In 1945 Stanislaw Ulam posed a question about a rational distance set: is there an everywhere dense rational distance set in the plane []? Paul Erdös also considered the problem and he conjectured that the only irreducible algebraic curves which have an infinite rational distance set are the line and the circle [4] This was later proven to be true by Jozsef Solymosi and Frank de Zeeuw [4] First, we provide the formal definition of a rational distance set: Definition 11 A rational distance set S is a set of elements P i = (x i, y i ) R, 1 i n, such that for all P i, P j S, P i P j is a rational number We are primarily concerned with finding rational distance sets of rational points The distance between two points on a graph is (x i x j ) + (y i y j ) It will prove useful to rewrite this formula as ( ) yi y j x i x j 1 + (1) x i x j Now, consider the following lemma: 1
2 Lemma 1 The rational solutions to the equation α = 1 + β () can be parameterized by α = m + 1 m, β = m 1, for m Q, m 0 m For the proof, refer to Campbell [1, Lemma 1] Main results 1 Line Theorem 1 For any line L: ax + by + c = 0, for a, b, c Q, there exists a dense rational distance set with rational coordinates if and only if there exists m Q such that a + b = m Proof Suppose L has a dense rational distance set with rational coordinates Then we can express the line L as y = ax c Consider two points on L, (x b b i, y i ) and (x j, y j ) Using Lemma 1, we can write the distance between these two points as ( a ) x i x j 1 + (3) b The distance is rational only if 1 + a = n for n Q That is, if a + b = b n b Hence, we may set m = bn Suppose a +b = m for m Q Then line L can be written as y = ax c b The b distance between two rational points on L, (x i, y i ) and (x j, y j ), is x i x j 1 + ( ) a b Note that from Lemma 1 we can write a + b = m as 1 + a b 1 + a = m, which is rational b b Circle = m b Hence, we see To show that there exists a rational distance set of rational points on a circle, we identify the cartesian plane R with the complex plane C Theorem Let r Q with r 0 and let C : z z 0 = r be a circle in the complex plane with z 0 = x+iy, x, y Q Then, there exists a dense rational distance set on C consisting of rational points
3 Sketch of Proof Consider the vertical line L: Re z = 1 r Möbius transformation defined by Let f : C C be the f(z) = (z 0 r)z 1 z Then f maps the line L into the circle C The following figure shows this for a circle with radius r < 1 centered at z 0 A dense rational distance set of rational points on L is given by { S = z = 1 ( ( )) } s i s Q, s 0 r s Notice that Lemma 1 implies that each z S has rational norm z The codomain f(s) = {f(z) z S} will then be a dense set of points on C with rational coordinates Finally notice that f is a translation composed with the map z 1/z Then, the rationality of the distance between the points on the codomain follows from the identity 1 z 1 z w w = z w 3 Rational Distance Set of Three Points on a Parabola Consider the parabola y = ax + bx + c where a, b, c Q We provide a geometric intuition of the problem An important note for this construction is that while the points are at rational distance, the points themselves do not have to be rational We present a method for constructing a rational distance set of three points on a parabola Note that we can find a rational distance set using 3
4 (a) Two concentric circles with rational radii are centered at some point on the parabola (b) Moving the construction along the parabola, we note that the length of segment P P 3 changes Figure 1: While P 1 P and P 1 P 3 are rational, we cannot guarantee that P P 3 is also rational Since the length of P P 3 changes, the segment P P 3 must have a rational length at some point on the parabola this method on any conic section First, we choose some point on the parabola and construct two circles of rational radii around it, as shown in Figure 1 In Figure 1, we see that the line segments P 1 P and P 1 P 3 are rational All we require now is that P P 3 be rational This segment is not necessarily rational We can, however, make it rational If we allow the construction to move along the parabola, we notice that the length of segment P P 3 changes We see from this construction that the length of segment P P 3 is a continuous function on an interval Therefore, we can find some point in the parabola where the segment P P 3 is rational Now we turn to the more difficult problem of finding rational distance sets of rational points on the parabola By equation 1, the distance d ij between two rational points P i and P j on a parabola is By Lemma 1, ax i + ax j + b = m ij 1 m ij the following theorem: d ij = x i x j 1 + (ax i + ax j + b) We let g(m) = 1 a ( m 1 m b), which leads us to Theorem 3 Given a parabola y = ax +bx+c, let S = {P 1, P, P 3 } S is a rational distance set of rational points if and only if 1 i < j 3 we can find a nonzero 4
5 rational value m ij such that x 1 = g(m 1) + g(m 13 ) g(m 3 ) x = g(m 1) g(m 13 ) + g(m 3 ) x 3 = g(m 1) + g(m 13 ) + g(m 3 ) Proof For each 1 i < j 3 where x i + x j = g(m ij ), we have three equations: x 1 + x = g(m 1 ) x 1 + x 3 = g(m 13 ) x + x 3 = g(m 3 ) This is equivalent to the following row reduced augmented matrix: g(m )+g(m 13 ) g(m 3 ) g(m ) g(m 13 )+g(m 3 ) g(m 1)+g(m 13 )+g(m 3 ) which gives us our desired values 4 Rational Distance Set of Four Points on a Parabola We can follow a similar argument to find a rational distance set of four rational points on a parabola Theorem 4 Given a parabola y = ax + bx + c, let S = {P 1, P, P 3, P 4 } S is a rational distance set of rational points if and only if there are rational values m ij, 1 i < j 4 such that x 1 = 1 (g(m 1) + g(m 13 ) g(m 3 )) x = 1 (g(m 1) g(m 13 ) + g(m 3 )) x 3 = 1 ( g(m 1) + g(m 13 ) + g(m 3 )) x 4 = 1 ( g(m 1) g(m 13 ) + g(m 3 ) + g(m 14 )) and g(m 13 ) + g(m 4 ) = g(m 3 ) + g(m 14 ) = g(m 1 ) + g(m 34 ) 5
6 Proof For each 1 i < j 4 where x i + x j = g(m ij ), we have six equations: x 1 + x = g(m 1 ) x 1 + x 3 = g(m 13 ) x 1 + x 4 = g(m 14 ) x + x 3 = g(m 3 ) x + x 4 = g(m 4 ) x 3 + x 4 = g(m 34 ) This is equivalent to the following row reduced augmented matrix: g(m )+g(m 13 ) g(m 3 ) g(m ) g(m 13 )+g(m 3 ) g(m )+g(m 13 )+g(m 3 ) g(m ) g(m 13 )+g(m 3 )+g(m 14 ) g(m 13 ) + g(m 4 ) g(m 3 ) g(m 14 ) g(m 1 ) + g(m 34 ) g(m 3 ) g(m 14 ) which gives us our desired equations We know that any three points lie on a common circle However, in the case of four points, this does not always occur Definition 5 A set of points is concyclic if they lie on a common circle Similarly, a set of points is nonconcyclic if one cannot construct a common circle through them We will now examine the cases of concyclic and nonconcyclic points on a parabola 5 Concyclic Points on a Parabola Proposition 6 Let P i = (x i, ax i + bx i + c) for 1 i 4 be four rational points Then they are concyclic if and only if x 1 + x + x 3 + x 4 = b a Proof Let C α,β,ρ be the circle (x α) + (y β) = ρ, where α, β, ρ R This circle intersects the parabola y = ax + bx + c at the points whose x-coordinates are the roots of (x α) + (ax + bx + c β) ρ = a x 4 + abx 3 + (a(c β) + b + 1)x + b(c β)x + (c β) + α ρ = a (x x 1 )(x x )(x x 3 )(x x 4 ) Since the coefficient of x 3 is ab, then a (x 1 + x + x 3 + x 4 ) = ab Thus, x 1 + x + x 3 + x 4 = b a Conversely, if we have x i, 1 i 4 such that x 1 + x + x 3 + x 4 = b, we can a solve: a (x x 1 )(x x )(x x 3 )(x x 4 ) = 6
7 a x 4 + abx 3 + (a(c β) + b + 1)x + b(c β)x + (c β) + α ρ for some α, β, and ρ Theorem 7 Suppose that P 1, P, P 3, and P 4 are rational and concyclic points on the parabola y = ax + bx + c Then, these points are at rational distance if and only if there are nonzero rational values m 1, m 13, and m 3 such that the equations of Theorem 4 hold If we have this condition, then x 4 = 1 (g(m 1) + g(m 13 ) + g(m 3 ) + 4b a ) Proof By Proposition 6, x 4 = (x 1 + x + x 3 + b ) Therefore, we can directly a solve for x 4 using the values given for the x 1, x, x 3 Inputting our values, we get x 4 = 1(g(m 1) + g(m 13 ) + g(m 3 ) + 4b) a 6 Non-Concyclic Points on a Parabola We now explore the more difficult case of finding a rational distance set of four nonconcyclic rational points on the parabola We therefore need to examine the last condition of Theorem 4: g(m 13 ) + g(m 4 ) = g(m 3 ) + g(m 14 ) = g(m 1 ) + g(m 34 ), in order to find our six m ij values Consider the surface g(m ij ) + g(m kl ) = t where t is an arbitrary rational number We can make the following substitutions: m ij = X + X Y T X, m kl = X + 1 Y T X, t = T b, a to obtain the elliptic curve E : Y = X 3 + (T + )X + X Thus if we find rational points on the elliptic curve we can find rational m ij values that satisfy the last condition 7 Examples In order to illustrate this process, we include the following example: Given the parabola y = x, let T = 13 6 in order to get the following elliptic curve E : Y = X X + X We chose T = 13 because it is a small rational value that 6 gives us an elliptic curve of positive rank We get the rational points Q 1 = (6: 19: 18), Q = (3: 13: 36), Q 3 = (30: 169: 750) on E Now our m ij have the following values: m 1 = 3/10, m 13 = 1/, m 3 = 4/3, m 14 = 4, m 4 = 6, m 34 = 15/ Which yields the following rational distance set: {( , 9449 ) (, , 361 ) ( 17, , 1619 ) ( 757, , )} We illustrate this in the following figure: We now show an example of a rational distance set on the parabola y = x + x If we let T = 13 6 then we get the same elliptic curve as in Example 1: E : Y = 7
8 Figure : Rational distance set of four points on a parabola y = x X X + X Again, we chose T = 13 because it is a small rational value that 6 gives us an elliptic curve of positive rank We get the rational points Q 1 = (6: 19: 18), Q = (3: 13: 36), Q 3 = (30: 169: 750) on E Now our m ij have the following values: m 1 = 3/10, m 13 = 1/, m 3 = 4/3, m 14 = 4, m 4 = 6, m 34 = 15/ This gives us different values for g(m ij ): g(m 1 ) = 11 60, g(m 13) = 11 4, g(m 14) = 41 4, g(m 3 ) = 1 8, g(m 4) = 11 1, g(m 34) = These values give us the following rational distance set: {( , ) (, 107 ) ( , 39911, , 4889 ) ( 109, , 931 )} 6400 We can see this in the following figure: 8 Rational Distance Set of Five Points on a Parabola Next, we provide the necessary conditions for a rational distance set of five rational points on a parabola Theorem 8 Given a parabola y = ax + bx + c, let S = {P 1, P, P 3, P 4, P 5 } S is a rational distance set of rational points if and only if there are rational values m ij, 8
9 Figure 3: Rational distance set of four points on a parabola y = x + x 1 i < j 5 such that x 1 = g(m 1) + g(m 13 ) g(m 3 ) x = g(m 1) g(m 13 ) + g(m 3 ) x 3 = g(m 1) + g(m 13 ) + g(m 3 ) x 4 = g(m 1) g(m 13 ) + g(m 3 ) + g(m 14 ) x 5 = g(m 1) g(m 13 ) + g(m 3 ) + g(m 15 ) as well as, g(m 13 ) + g(m 4 ) = g(m 14 ) + g(m 3 ) g(m 13 ) + g(m 5 ) = g(m 15 ) + g(m 3 ) g(m 1 ) + g(m 34 ) = g(m 14 ) + g(m 3 ) g(m 1 ) + g(m 35 ) = g(m 15 ) + g(m 3 ) g(m 1 ) + g(m 13 ) + g(m 45 ) = g(m 14 ) + g(m 15 ) + g(m 3 ) 9
10 Proof For each 1 i < j 5 where x i + x j = g(m ij ), we have ten equations: x 1 + x = g(m 1 ) x 1 + x 3 = g(m 13 ) x 1 + x 4 = g(m 14 ) x 1 + x 5 = g(m 15 ) x + x 3 = g(m 3 ) x + x 4 = g(m 4 ) x + x 5 = g(m 5 ) x 3 + x 4 = g(m 34 ) x 3 + x 5 = g(m 35 ) x 4 + x 5 = g(m 34 ) This is equivalent to the following row reduced augmented matrix: g(m )+g(m 13 ) g(m 3 ) g(m ) g(m 13 )+g(m 3 ) g(m )+g(m 13 )+g(m 3 ) g(m ) g(m 13 )+g(m 3 )+g(m 14 ) g(m ) g(m 13 )+g(m 3 )+g(m 15 ) g(m 13 ) g(m 14 ) g(m 3 ) + g(m 4 ) g(m 13 ) g(m 15 ) g(m 3 ) + g(m 5 ) g(m 1 ) g(m 14 ) g(m 3 ) + g(m 34 ) g(m 1 ) g(m 15 ) g(m 3 ) + g(m 35 ) g(m 1 ) + g(m 13 ) g(m 14 ) g(m 15 ) g(m 3 ) + g(m 45 ) which gives us our desired equations 9 Rational Distance Sets of Three Points on a Hyperbola At this point, we would like to examine a rational distance set of three rational points on a hyperbola Theorem 9 Let a, b, c, d Q such that a(ad bc) 0 Then there exists a rational distance set of three rational points, S = {P 1, P, P 3 } on the hyperbola axy + bx + cy + d = 0 Proof The proof proceeds in several parts First, we rewrite the distance formula as in Equation 1 So, y i y j x i x j can be parameterized as y i y j x i x j = m ij 1 m ij Then, we solve for y in our hyperbola equation to get the expression: y = bx+d ax+c Substituting y into our modified distance formula yields (ad bc) (ax i + c)(ax j + c) = y i y j x i x j = m ij 1 m ij 10
11 Define D = (ad bc) and let m 1 = m Dn Making the substitutions m = X and D n = Y gives us the elliptic curve E (D) : Y = X 3 D X Note that we can also DX obtain the expression m 1 = m Dn from E (D) with the substitutions X = Dm and Y = D mn Letting Q i = (X i : Y i : 1) be rational points on E (D), we define the following rational points: n 3 = Y 1 DX 1, n 13 = Y DX, n 1 = Y 3 DX 3 in order to allow the following relation to hold: D (ax i + c)(ax j + c) = Dn ij = m ij 1 m ij We can now define an explicit formula for a rational distance set of three rational points on a hyperbola: ( n3 P 1 = c an 1 n 13 a, b a D ) n 1 n 13 a n 3 ( n13 P = c an 1 n 3 a, b a D ) n 1 n 3 a n 13 ( n1 P 3 = c an 13 n 3 a, b a D ) n 13 n 3 a n 1 10 Example In order to illustrate this process, we include the following example: Given the hyperbola xy + x + y + = 0, we get the following elliptic curve E (6) : Y = X 3 36X From this curve, we get the rational points Q 1 = ( 3: 9: 1), Q = (50: 35: 8), Q 3 = ( 58719: 31057: 50653) Now our n ij have the following values: n 3 = 1/, n 13 = 7/60, n 1 = 1551/1709 This yields the following rational distance set: {( , ), We show this in the following figure: ( , ), ( , )} 11 Rational Distance Set of Four Points on a Hyperbola The system of equations we derive to find a rational distance set of four rational points on a hyperbola will be overdetermined, as in the four point parabola case In order to handle the extra constraints, we must consider a new result Before lauching into the proposition, however, we should first state some relevant defitions: 11
12 Figure 4: The hyperbola xy + x + y + = 0 with a rational distance set of rational points Definition 10 Let X, Y, Z be groups and f : X Z and g : Y Z be two homomorphisms Then the fibered of f and g is the subgroup X Y consisting of all pairs (X, Y ), x X, y Y such that f(x) = g(y )[3] Definition 11 Given two curves E : f(x, y) = 0 and D : g(u, v) = 0 a map φ: E D is called a rational map if there exist polynomials r(x, y), s(x, y), and t(x, y) such that u = r(x,y) s(x,y) and v = t(x,y) t(x,y) Moreover, we say that E and D are birationally equivalent if there exist two rational maps φ: E D and ψ : D E such that the following two conditions hold: a ψ φ = id E, that is the composition of ψ and φ is the identity on E b φ ψ = id D, that is the composition of φ and ψ is the identity on D With these definitions in hand, we introduce the following proposition: Proposition 1 Fix a rational number T, and consider the curve { E T = (X i, Y i, X j, Y j ) A 4 Yi = Xi 3 D X i Y j = Xj 3 D and D X ix j X j Y i Y j } = T (4) a The curve E T π 1 ({T }) is a fiber over the product E (D) π E (D) associated to the morphism π : E (D) E (D) P 1, which sends ((X i : Y i : 1), (X j : Y j : 1)) D X ix j Y i Y j b Additionally, E T is birationally equivalent to the curve E T : y 4 = x(x + D )(x + D T 4 )(x D T ) (x + D T ) 1
13 Proof Part (a) is clear from the definition of a fiber product For part (b), we consider a point (x, y) on the curve, and define X i = 1 T y Y i = 1 T 3 (x + D )(x + D T )(x D T ) y x + D X j = D Dy (x D T )(x + D T )(x + D x + D 4 T 4 ) (x D T ) (x + D T ) Y j = D Dy (x D T )(x + D T )(x + D x + D 4 T 4 ) (x D T ) 3 (x + D T ) 3 From the substitutions, we see that this point is on E T Conversely, we consider a point (X i, Y i, X j, Y j ) on E T, and define x = 4D 3 X3 i Xj 3 (X j D) Yi Y j 4 y = 8D 5 X3 i X 3 j (4D 3 X 3 i X 3 j 8D X 3 i X 4 j + 4DX 3 i X 5 j Y i Y 4 j ) Yi Y j 7 Again, from the substitutions we see that this point is on the curve E T We are now ready to examine a method for finding a rational distance set of four rational points on a hyperbola Theorem 13 Let a, b, c, d Q such that a(ad bc) 0 There exists a rational distance set of four rational points on the hyperbola axy + bx + cy + d = 0 if and only if we can find three rational points on the curve E T : y 4 = x(x + D )(x + D T 4 ) (x D T ) (x + D T ) Proof This proof is similar to that of a rational distance set of three rational points on a hyperbla First, we express the distance formula as in Equation 1 So, y i y j x i x j can be parameterized as y i y j x i x j = m ij 1 m ij Then, we solve for y in our hyperbola equation to get y = bx+d Substituting y ax+c into our modified distance formula yields (ad bc) (ax i + c)(ax j + c) = y i y j x i x j = m ij 1 m ij Define D = (ad bc) and let m 1 = m Dn Making the substutions m = X and D n = Y gives us the elliptic curve E (D) : Y = X 3 D X Note that we can also DX obtain the expression m 1 = m Dn from E (D) with the substitutions X = Dm and Y = D mn 13
14 Letting Q i = (X i : Y i : 1) be rational points on E (D), we define the rational values n 13 = Y 1 DX 1, n 4 = Y DX, n 3 = Y 3 DX 3, n 14 = Y 4 DX 4, n 1 = Y 5 DX 5, n 34 = Y 6 DX 6, such that the following relation holds: D (ax i + c)(ax j + c) = Dn ij = m ij 1 m ij Therefore, the four rational points in the rational distance set must be in the form: ( n3 P 1 = c an 1 n 13 a, b a D ) n 1 n 13 a n 3 ( n13 P = c an 1 n 3 a, b a D ) n 1 n 3 a n 13 ( n1 P 3 = c an 13 n 3 a, b a D ) n 13 n 3 a n 1 ( n3 P 4 = c an 4 n 34 a, b a D ) n 4 n 34 a n 3 Additionally, we have the constraint n 13 n 4 = n 3 n 14 = n 1 n 34 In order to satisfy this constraint, we want to find six rational points on E (D) satisfying the relation: Y 1 DX 1 Y DX = Y 3 DX 3 Y 4 DX 4 = Y 5 DX 5 Y 6 DX 6 To solve any pair of such equations, we look for rational points on E T, defined in Equation 4 Recall Propostition 1, which states that E T is birationally equivalent to the curve E T : y 4 = x(x + D )(x + D T 4 )(x D T ) (x + D T ) Thus in order to find a six rational points on E (D), it suffices to find a set of three rational points on the curve E T One way to find rational points on the curve E T is to consider the superelliptic curve E T : w 4 = D z(z + T 4 )(z + z + T 4 )(z + T 4 z + T 4 ) Definition 14 A superelliptic curve is a curve of the form w n = f(z), where f(z) is a polynomial with no repeated roots and the exponent n is relatively prime to the degree of f(z) Let (z p : w p : 1) and (z q : w q : 1) be two rational points on the superelliptic curve Upon defining the rational numbers 14
15 n ij = Y ij = 1 z p T 4 DX ij T w p n kl = Y kl = w p DX kl D z p T 4 n ik = Y ik = 1 z p T 4 DX ik T w p n jl = Y jl = w p DX jl D z p T 4 we have the relation n ij n kl = Y ij DX ij Y kl = DX kl DT = Y ik DX ik Y jl DX jl = n ik n jl Finally, we want to show that finding three rational points on E T corresponds to finding at least three rational points on E T Proof Using the morphism φ : E T E T defined by (z : w : 1) (D (T 4 + z )z : D 3 (T 4 z )w : 4z ) along with the substitutions above, we have that (X ij, Y ij, X kl, Y kl ), where X ij = 1 w T z(z + z + T 4 ) Y ij = D w(z T 4 ) T 3 z(z + z + T 4 ) X kl = w D(z 4 + 4z 3 + 6T 4 z + 4T 4 z + T 8 ) (z T 4 ) Y kl = w w D(z 4 + 4z 3 + 6T 4 z + 4T 4 z + T 8 ) (z T 4 ) 3 is a rational point on E T The rest follows This result asserts that one way to find three rational points on E T is to find three rational points on E T There is a simple way of finding all rational points R = (z : w : 1) on E T A theorem by Gerd Faltings states that if the genus of a curve is greater than one then E T (Q) is a finite set for any fixed rational T where T 1, 0, 1 Our curve has a genus of nine Hence one can use software such as SAGE to find all of them 3 Acknowledgments This work was conducted during the 010 Mathematical Sciences Research Institute Undergraduate Program (MSRI-UP), a program supported by the National Science Foundation (grant No DMS ) and the National Security Agency (grant No H ) We also thank Dr Edray Goins, Dr Luis Lomelí, Dr Duane Cooper, Katie Ansaldi, Ebony Harvey, and the MSRI staff 15
16 References [1] Campbell, Garikai Points on y = x at Rational Distance Mathematics of Computation [] Erdös, Paul Ulam, the Man and the Mathematician Journal of Graph Theory [3] Lang, Serge Algebra Graduate Texts in Mathematics [4] Solymosi, Jozsef and Frank De Zeeuw On a Question of Erdös and Ulam Discrete Computational Geometry 16
POINTS ON HYPERBOLAS AT RATIONAL DISTANCE
International Journal of Number Theory Vol. 8 No. 4 2012 911 922 c World Scientific Publishing Company DOI: 10.1142/S1793042112500534 POINTS ON HYPERBOLAS AT RATIONAL DISTANCE EDRAY HERBER GOINS and KEVIN
More informationELLIPTIC CURVES BJORN POONEN
ELLIPTIC CURVES BJORN POONEN 1. Introduction The theme of this lecture is to show how geometry can be used to understand the rational number solutions to a polynomial equation. We will illustrate this
More informationArithmetic Progressions over Quadratic Fields
uadratic Fields ( D) Alexer Díaz University of Puerto Rico, Mayaguez Zachary Flores Michigan State University Markus Oklahoma State University Mathematical Sciences Research Institute Undergraduate Program
More informationArithmetic Progressions Over Quadratic Fields
Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that
More informationABC Triples in Families
Edray Herber Goins Department of Mathematics Purdue University September 30, 2010 Abstract Given three positive, relative prime integers A, B, and C such that the first two sum to the third i.e. A+B =
More informationElliptic Curves and Mordell s Theorem
Elliptic Curves and Mordell s Theorem Aurash Vatan, Andrew Yao MIT PRIMES December 16, 2017 Diophantine Equations Definition (Diophantine Equations) Diophantine Equations are polynomials of two or more
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationSKILL BUILDER TEN. Graphs of Linear Equations with Two Variables. If x = 2 then y = = = 7 and (2, 7) is a solution.
SKILL BUILDER TEN Graphs of Linear Equations with Two Variables A first degree equation is called a linear equation, since its graph is a straight line. In a linear equation, each term is a constant or
More information1 Solving Algebraic Equations
Arkansas Tech University MATH 1203: Trigonometry Dr. Marcel B. Finan 1 Solving Algebraic Equations This section illustrates the processes of solving linear and quadratic equations. The Geometry of Real
More information5.3 The Upper Half Plane
Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition
More informationMathematics Standards for High School Algebra II
Mathematics Standards for High School Algebra II Algebra II is a course required for graduation and is aligned with the College and Career Ready Standards for Mathematics in High School. Throughout the
More informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationCORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS
CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS DEPARTMENT OF MATHEMATICS AND STATISTICS UNIVERSITY OF OTTAWA SUPERVISOR: PROFESSOR MONICA NEVINS STUDENT: DANG NGUYEN
More informationLECTURE 10, MONDAY MARCH 15, 2004
LECTURE 10, MONDAY MARCH 15, 2004 FRANZ LEMMERMEYER 1. Minimal Polynomials Let α and β be algebraic numbers, and let f and g denote their minimal polynomials. Consider the resultant R(X) of the polynomials
More informationA2 HW Imaginary Numbers
Name: A2 HW Imaginary Numbers Rewrite the following in terms of i and in simplest form: 1) 100 2) 289 3) 15 4) 4 81 5) 5 12 6) -8 72 Rewrite the following as a radical: 7) 12i 8) 20i Solve for x in simplest
More informationModule 2: Reflecting on One s Problems
MATH55 Module : Reflecting on One s Problems Main Math concepts: Translations, Reflections, Graphs of Equations, Symmetry Auxiliary ideas: Working with quadratics, Mobius maps, Calculus, Inverses I. Transformations
More informationMATH 196, SECTION 57 (VIPUL NAIK)
TAKE-HOME CLASS QUIZ: DUE MONDAY NOVEMBER 25: SUBSPACE, BASIS, DIMENSION, AND ABSTRACT SPACES: APPLICATIONS TO CALCULUS MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE
More informationClassical transcendental curves
Classical transcendental curves Reinhard Schultz May, 2008 In his writings on coordinate geometry, Descartes emphasized that he was only willing to work with curves that could be defined by algebraic equations.
More informationWhy Should I Care About Elliptic Curves?
Why Should I Care About? Edray Herber Goins Department of Mathematics Purdue University August 7, 2009 Abstract An elliptic curve E possessing a rational point is an arithmetic-algebraic object: It is
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationAN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying
AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE 1. RATIONAL POINTS ON CIRCLE We start by asking us: How many integers x, y, z) can satisfy x 2 + y 2 = z 2? Can we describe all of them? First we can divide
More informationMath 147, Homework 1 Solutions Due: April 10, 2012
1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M
More informationIntegrable billiards, Poncelet-Darboux grids and Kowalevski top
Integrable billiards, Poncelet-Darboux grids and Kowalevski top Vladimir Dragović Math. Phys. Group, University of Lisbon Lisbon-Austin conference University of Texas, Austin, 3 April 2010 Contents 1 Sophie
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationElliptic Curves: An Introduction
Elliptic Curves: An Introduction Adam Block December 206 Introduction The goal of the following paper will be to explain some of the history of and motivation for elliptic curves, to provide examples and
More informationTheorem 6.1 The addition defined above makes the points of E into an abelian group with O as the identity element. Proof. Let s assume that K is
6 Elliptic curves Elliptic curves are not ellipses. The name comes from the elliptic functions arising from the integrals used to calculate the arc length of ellipses. Elliptic curves can be parametrised
More informationSolving Systems of Polynomial Equations
Solving Systems of Polynomial Equations David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License.
More informationGeometry dictates arithmetic
Geometry dictates arithmetic Ronald van Luijk February 21, 2013 Utrecht Curves Example. Circle given by x 2 + y 2 = 1 (or projective closure in P 2 ). Curves Example. Circle given by x 2 + y 2 = 1 (or
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationMATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS
MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationFunctions and Equations
Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario Euclid eworkshop # Functions and Equations c 006 CANADIAN
More informationHERON TRIANGLES, DIOPHANTINE PROBLEMS AND ELLIPTIC CURVES
HERON TRIANGLES, DIOPHANTINE PROBLEMS AND ELLIPTIC CURVES GARIKAI CAMPBELL AND EDRAY HERBER GOINS Abstract. For all nonzero rational t, E t : v 2 = u 3 + (t 2 + 2)u 2 + u is an elliptic curve defined over
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture # 09/10/013.1 Plane conics A conic is a plane projective curve of degree. Such a curve has the form C/k : ax + by + cz + dxy + exz + fyz with
More informationChapter 1: Precalculus Review
: Precalculus Review Math 115 17 January 2018 Overview 1 Important Notation 2 Exponents 3 Polynomials 4 Rational Functions 5 Cartesian Coordinates 6 Lines Notation Intervals: Interval Notation (a, b) (a,
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
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
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationPoints of Finite Order
Points of Finite Order Alex Tao 23 June 2008 1 Points of Order Two and Three If G is a group with respect to multiplication and g is an element of G then the order of g is the minimum positive integer
More informationMATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties
MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationTEST CODE: MMA (Objective type) 2015 SYLLABUS
TEST CODE: MMA (Objective type) 2015 SYLLABUS Analytical Reasoning Algebra Arithmetic, geometric and harmonic progression. Continued fractions. Elementary combinatorics: Permutations and combinations,
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationGalois theory of a quaternion group origami
Galois theory of a quaternion group origami Special Session on Automorphisms of Riemann Surfaces and Related Topics Fall Sectional Meeting Loyola University Chicago, Chicago, IL Rachel Joint work with
More informationLesson 2 The Unit Circle: A Rich Example for Gaining Perspective
Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Recall the definition of an affine variety, presented last lesson: Definition Let be a field, and let,. Then the affine variety, denoted
More informationINTRODUCTION TO ELLIPTIC CURVES
INTRODUCTION TO ELLIPTIC CURVES MATILDE LALÍN Abstract. These notes correspond to a mini-course taught by the author during the program Two Weeks at Waterloo - A Summer School for Women in Math. Please
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 informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationZero estimates for polynomials inspired by Hilbert s seventh problem
Radboud University Faculty of Science Institute for Mathematics, Astrophysics and Particle Physics Zero estimates for polynomials inspired by Hilbert s seventh problem Author: Janet Flikkema s4457242 Supervisor:
More informationSome new families of positive-rank elliptic curves arising from Pythagorean triples
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 27 36 DOI: 10.7546/nntdm.2018.24.3.27-36 Some new families of positive-rank elliptic curves
More informationLagrange Multipliers
Optimization with Constraints As long as algebra and geometry have been separated, their progress have been slow and their uses limited; but when these two sciences have been united, they have lent each
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationTopics In Algebra Elementary Algebraic Geometry
Topics In Algebra Elementary Algebraic Geometry David Marker Spring 2003 Contents 1 Algebraically Closed Fields 2 2 Affine Lines and Conics 14 3 Projective Space 23 4 Irreducible Components 40 5 Bézout
More information= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i
Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationSolutions 2017 AB Exam
1. Solve for x : x 2 = 4 x. Solutions 2017 AB Exam Texas A&M High School Math Contest October 21, 2017 ANSWER: x = 3 Solution: x 2 = 4 x x 2 = 16 8x + x 2 x 2 9x + 18 = 0 (x 6)(x 3) = 0 x = 6, 3 but x
More informationLECTURE 7, WEDNESDAY
LECTURE 7, WEDNESDAY 25.02.04 FRANZ LEMMERMEYER 1. Singular Weierstrass Curves Consider cubic curves in Weierstraß form (1) E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6, the coefficients a i
More informationCollege Prep Algebra III Course #340. Course of Study. Findlay City School
College Prep Algebra III Course #340 Course of Study Findlay City School Algebra III Table of Contents 1. Findlay City Schools Mission Statement and Beliefs 2. Algebra III Curriculum Map 3. Algebra III
More informationCOMPOSING QUADRATIC POLYNOMIALS
COMPOSING QUADRATIC POLYNOMIALS EDWARD J. BARBEAU Abstract. The sequence of oblong numbers (products of two consecutive integers) is the occasion for a simple conjecture that is readily established by
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More information10/22/16. 1 Math HL - Santowski SKILLS REVIEW. Lesson 15 Graphs of Rational Functions. Lesson Objectives. (A) Rational Functions
Lesson 15 Graphs of Rational Functions SKILLS REVIEW! Use function composition to prove that the following two funtions are inverses of each other. 2x 3 f(x) = g(x) = 5 2 x 1 1 2 Lesson Objectives! The
More informationTennessee s State Mathematics Standards - Algebra II
Domain Cluster Standard Scope and Clarifications The Real Number System (N-RN) Extend the properties of exponents to rational exponents 1. Explain how the definition of the meaning of rational exponents
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationIntroduction. Axel Thue was a Mathematician. John Pell was a Mathematician. Most of the people in the audience are Mathematicians.
Introduction Axel Thue was a Mathematician. John Pell was a Mathematician. Most of the people in the audience are Mathematicians. Giving the Number Theory Group the title 1 On Rational Points of the Third
More informationRATIONAL POINTS ON CURVES. Contents
RATIONAL POINTS ON CURVES BLANCA VIÑA PATIÑO Contents 1. Introduction 1 2. Algebraic Curves 2 3. Genus 0 3 4. Genus 1 7 4.1. Group of E(Q) 7 4.2. Mordell-Weil Theorem 8 5. Genus 2 10 6. Uniformity of Rational
More informationSolutions to old Exam 3 problems
Solutions to old Exam 3 problems Hi students! I am putting this version of my review for the Final exam review here on the web site, place and time to be announced. Enjoy!! Best, Bill Meeks PS. There are
More informationRolle s theorem: from a simple theorem to an extremely powerful tool
Rolle s theorem: from a simple theorem to an extremely powerful tool Christiane Rousseau, Université de Montréal November 10, 2011 1 Introduction How many solutions an equation or a system of equations
More informationAugust 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei. 1.
August 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei 1. Vector spaces 1.1. Notations. x S denotes the fact that the element x
More informationAlgebraic Geometry: Elliptic Curves and 2 Theorems
Algebraic Geometry: Elliptic Curves and 2 Theorems Chris Zhu Mentor: Chun Hong Lo MIT PRIMES December 7, 2018 Chris Zhu Elliptic Curves and 2 Theorems December 7, 2018 1 / 16 Rational Parametrization Plane
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 1998 Comments to the author at krm@maths.uq.edu.au Contents 1 LINEAR EQUATIONS
More informationRotation of Axes. By: OpenStaxCollege
Rotation of Axes By: OpenStaxCollege As we have seen, conic sections are formed when a plane intersects two right circular cones aligned tip to tip and extending infinitely far in opposite directions,
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationCommon Core State Standards for Mathematics - High School PARRC Model Content Frameworks Mathematics Algebra 2
A Correlation of CME Project Algebra 2 Common Core 2013 to the Common Core State Standards for , Common Core Correlated to the Number and Quantity The Real Number System N RN Extend the properties of exponents
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationChapter 12: Ruler and compass constructions
Chapter 12: Ruler and compass constructions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Spring 2014 M. Macauley (Clemson) Chapter
More informationMath 203A - Solution Set 4
Math 203A - Solution Set 4 Problem 1. Let X and Y be prevarieties with affine open covers {U i } and {V j }, respectively. (i) Construct the product prevariety X Y by glueing the affine varieties U i V
More informationIntroduction to Computer Graphics (Lecture No 07) Ellipse and Other Curves
Introduction to Computer Graphics (Lecture No 07) Ellipse and Other Curves 7.1 Ellipse An ellipse is a curve that is the locus of all points in the plane the sum of whose distances r1 and r from two fixed
More informationTEST CODE: MIII (Objective type) 2010 SYLLABUS
TEST CODE: MIII (Objective type) 200 SYLLABUS Algebra Permutations and combinations. Binomial theorem. Theory of equations. Inequalities. Complex numbers and De Moivre s theorem. Elementary set theory.
More informationQuadratics. Shawn Godin. Cairine Wilson S.S Orleans, ON October 14, 2017
Quadratics Shawn Godin Cairine Wilson S.S Orleans, ON Shawn.Godin@ocdsb.ca October 14, 2017 Shawn Godin (Cairine Wilson S.S.) Quadratics October 14, 2017 1 / 110 Binary Quadratic Form A form is a homogeneous
More informationLesson 5b Solving Quadratic Equations
Lesson 5b Solving Quadratic Equations In this lesson, we will continue our work with Quadratics in this lesson and will learn several methods for solving quadratic equations. The first section will introduce
More informationWA State Common Core Standards - Mathematics
Number & Quantity The Real Number System Extend the properties of exponents to rational exponents. 1. Explain how the definition of the meaning of rational exponents follows from extending the properties
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationProjective Spaces. Chapter The Projective Line
Chapter 3 Projective Spaces 3.1 The Projective Line Suppose you want to describe the lines through the origin O = (0, 0) in the Euclidean plane R 2. The first thing you might think of is to write down
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationStructure of elliptic curves and addition laws
Structure of elliptic curves and addition laws David R. Kohel Institut de Mathématiques de Luminy Barcelona 9 September 2010 Elliptic curve models We are interested in explicit projective models of elliptic
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 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 real
More informationMS 3011 Exercises. December 11, 2013
MS 3011 Exercises December 11, 2013 The exercises are divided into (A) easy (B) medium and (C) hard. If you are particularly interested I also have some projects at the end which will deepen your understanding
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More information8.6 Partial Fraction Decomposition
628 Systems of Equations and Matrices 8.6 Partial Fraction Decomposition This section uses systems of linear equations to rewrite rational functions in a form more palatable to Calculus students. In College
More information