# SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC KIM, SUNGJIN. Introduction Let E k (z) = 2 (c,d)= (cz + d) k be the Eisenstein series of weight k > 2. The j-function on the upper half plane is defined by j(z) = E3 4 where (z) = 728 (E3 4 E6). 2 For a primitive positive definite quadratic form Q(x, y) = ax 2 + bxy + cy 2, and z Q = b+ D 2a with D = b 2 4ac < 0, it is known that j(z Q ) is an algebraic integer of degree h(d) by Kronecker and Weber. Here, we show a weaker result that j(z Q ) is an algebraic number of degree at most the class number h(d) using the j-invariant of a complex lattice, orders in an imaginary quadratic field, and complex multiplication. Theorem.. For a primitive positive definite quadratic form Q(x, y) = ax 2 + bxy + cy 2, and z Q = b+ D 2a with D = b 2 4ac < 0, j(z Q ) is an algebraic number of degree at most the class number h(d). 2. j-invariant of a complex lattice Definition 2.. A subgroup L of C is called a complex lattice if L = ω Z + ω 2 Z with ω, ω 2 C being linearly independent over R. We simply write L = [ω, ω 2 ]. We say that two lattices L and L are homothetic if there is a nonzero complex number λ such that L = λl. Note that homothety is an equivalence relation. Definition 2.2. Weierstrass -function associated to a complex lattice L = [ω, ω 2 ] is defined by: (2.) (z; L) = z 2 + ( (z w) 2 ) w 2. w L {0} We simply write (z) = (z; L). Note that (z + w) = (z) for all w L. Lemma 2.. Let G k (L) = w L {0} w k for k > 2. Then, Weierstrass -function for a lattice L has Laurent expansion (2.2) (z) = z 2 + (2n + )G 2n+2 (L)z 2n. Proof. We have the series expansion for x <. Thus, if z < w, we have ( x) 2 = + (n + )x n (z w) 2 w 2 = n + w n+2 zn.

2 2 KIM, SUNGJIN Summing over w, we obtain (z) = z 2 + (n + )G n+2 (L)z n. Since is an even function, the odd coefficients must vanish and (2) follows. Lemma function for a lattice L satisfies the differential equation (2.3) (z) 2 = 4 (z) 3 g 2 (z) g 3 where g 2 = 60G 4, and g 3 = 40G 6. Proof. Let F (z) = (z) 2 4 (z) 3 + g 2 (z) + g 3, then F has possible poles at z = w L, is holomorphic on C L, and F (z + w) = F (z) for all w L. But, Laurent series expansions (followed from Lemma2.), and (z) 3 = z 6 + 9G 4 z 2 + 5G 6 + O(z) (z) 2 = 4 z 6 24G 4 80G 6 + O(z) z 2 imply that F is holomorphic at 0, and F (0) = 0. By Liouville s theorem, we have F (z) = 0 for all z C. Corollary 2.. (z) 2 = 4( (z) e )( (z) e 2 )( (z) e 3 ) where e = (ω /2), e 2 = (ω 2 /2), and e 3 = ((ω + ω 2 )/2). Furthermore, (L) = 6(e e 2 ) 2 (e 2 e 3 ) 2 (e 3 e ) 2 = g g Definition 2.3. The j-invariant j(l) of a lattice L is defined to be the complex number g 2 (L) 3 (2.4) j(l) = 728 g 2 (L) 3 27g 3 (L) 2 = 728g 2(L) 3 (L). The remarkable fact is that the j-invariant j(l) characterizes the lattice L up to homothety: Proposition 2.. If L and L are lattices in C, then j(l) = j(l ) if and only if L and L are homothetic. Proof. It is easy to see that homothetic lattices have the same j-invariant. Namely, if λ C, then the definition of g 2 and g 3 implies that g 2 (λl) = λ 4 g 2 (L) (2.5) g 3 (λl) = λ 6 g 3 (L), and j(λl) = j(l) follows easily. For any lattice L = [ω, ω 2 ], we can assume that z = ω2 ω H = {z C Im z > 0} without loss of generality. Then, L and [, z] become homothetic lattices. Now, we have the connection from j-invariant a lattice L and j-function on the upper half plane: j(l) = j([, z]) = j(z) = E 4(z) 3 (z). Suppose that L and L have the same j-invariant. We first find z, z H such that L is homothetic to [, z], and L is homothetic to [, z ]. Then, we have j(z) =

3 SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC 3 j(z ). By the valence formula(see [2] p6, Theorem.3), we obtain z z (mod Γ = SL(2, Z)), since j has a simple pole at i. This implies that [, z ] = [, z]. Hence L and L are homothetic. Lemma 2.3. Let (z) be the -function for the lattice L, and as in Lemma 2., let (2.6) (z) = z 2 + (2n + )G 2n+2 (L)z 2n. be its Laurent expansion. Then for n, the coefficient (2n + )G 2n+2 (L) of z 2n is a polynomial with rational coefficients, independent of L, in g 2 (L) and g 3 (L). Proof. We differentiate (z) 2 = 4 (z) 3 g 2 (z) g 3 to obtain (z) = 6 (z) 2 2 g 2. Let a n = (2n + )G 2n+2 (L). By substituting in the Laurent expansion for (z) and comparing the coefficients of z 2n 2, one easily sees that for n 3, ( ) n 2 2n(2n )a n = 6 2a n + a i a n i, and hence i= n 2 (2n + 3)(n 2)a n = 3 a i a n i. Since g 2 (L) = 20a and g 3 (L) = 28a 2, induction shows that a n is a polynomial with rational coefficients in g 2 (L) and g 3 (L). i= 3. Orders in quadratic fields Definition 3.. An order O in a quadratic field K is a subset O K such that (i) O is a subring of K containing. (ii) O is a finitely generated Z-module. (iii) O contains a Q-basis of K. The ring O K of integers in K is always an order in K. More importantly, (i) and (ii) imply that for any order O of K, we have O O K, so that O K is the maximal order of K. Note that the maximal order O K can be written as: (3.) O K = [, w K ], w K = d K + d K, 2 where d K is the discriminant of K. We can now describe all orders in quadratic fields: Lemma 3.. Let O be an order in a quadratic field K of discriminant d K. Then O has finite index in O K, and we set f = [O K : O], then (3.2) O = Z + fo K = [, fw K ]. Proof. Since O and O K are free Z-modules of rank 2, it follows that f = [O K : O] is finite. Since fo K O, Z + fo K = [, fw K ] O follows. Thus, O = [, fw K ].

4 4 KIM, SUNGJIN Given an order O in a quadratic field K, discriminant is defined as follows. Let α α be the nontrivial automorphism of K, and suppose O = [α, β]. Then the discriminant of O is the number ( ( )) 2 α β (3.3) D = disc[α, β] = det α β. If f = [O K : O], then it follows that D = f 2 d K by Lemma 3.. Now consider ideals of an order O. Since O may not be a Dedekind domain, we cannot assume that ideals have unique factorization. We introduce the concept of a proper ideal of an order. Definition 3.2. A fractional ideal of O is a subset of K which is a nonzero finitely generated O-module. Then, a fractional O-ideal b is proper provided that (3.4) O = {β K : βb b}. Proposition 3.. Let O be an order in a quadratic field K, and let a be a fractional O-ideal. Then a is proper if and only if a is invertible. Proof. If a is invertible, then ab = O foome fractional O-ideal b. If β K and βa a, then we have βo = β(ab) = (βa)b ab = O, and β O follows, proving that a is proper. To prove the converse, we need the following lemma: Lemma 3.2. Let K = Q(τ) be a quadratic field, and let ax 2 + bx + c be the minimal polynomial of τ, where a, b and c are relatively prime integers. Then [, τ] is a proper fractional ideal for the order [, aτ] of K. Proof. First, [, aτ] is an ordeince aτ is an algebraic integer. Then, given β K, note that β[, τ] [, τ] is equivalent to β = m+nτ, m, n Z, and βτ = mτ +nτ 2 = cn a + ( bn a + m) τ [, τ]. But, this is also equivalent to a n, since (a, b, c) =. Thus, [, τ] is a proper fractional ideal for the order [, aτ]. Now, we can prove that proper fractional ideals are invertible. First note that a is a Z-module of rank 2, so that a = [α, β] foome α, β K. Then a = α[, τ], where τ = β/α. If ax 2 + bx + c, (a, b, c) =, is the minimal polynomial of τ, then Lemma 3.2 implies that O = [, aτ]. Let β β denote the nontrivial automorphism of K. Since τ is the other root of ax 2 +bx+c, using Lemma 3.2 again shows a = α [, τ ] is a fractional ideal for [, aτ] = [, aτ ] = O. To see why a is invertible, note that aaa = aαα [, τ][, τ ] = N(α)[a, aτ, aτ, aττ ]. Since τ + τ = b/a and ττ = c/a, this becomes aaa = N(α)[a, aτ, b, c] = N(α)[, aτ] = N(α)O since (a, b, c) =. This proves that a is invertible. Definition 3.3. Given an order O, let I(O) denote the set of proper fractional O-ideals. By Proposition2, I(O) forms a group. The principal O-ideals give a subgroup P (O) I(O), and thus we can form the quotient C(O) = I(O)/P (O), which is the ideal class group of the order O.

5 SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC 5 Let C(D) be the set of proper-equivalence classes of primitive quadratic forms with discriminant D. Denote h(d) = C(D). Theorem 3.. Let O be the order of discriminant D in an imaginary quadratic field K. (i) If f(x, y) = ax 2 + bxy + cy 2 is a primitive positive definite quadratic form of discriminant D, then [a, ( b + D)/2] is a proper ideal of O. (ii) The map sending f(x, y) to [a, ( b + D)/2] induces a bijection between C(D) and the ideal class group C(O). Remark that h(d) = C(D) = C(O). Proof. (i) Let τ = ( b + D)/2a. Then [a, ( b + D)/2] = [a, aτ] = a[, τ]. Note that by Lemma 3.2, a[, τ] is a proper ideal for the order [, aτ]. However, if f = [O K : O], then D = f 2 d K, and thus aτ = b + fd K + fw K [, fw K ]. 2 It follows that [, aτ] = [, fw K ] = O by Lemma 3.. This proves that a[, τ] is a proper O-ideal. (ii) Let f(x, y) and g(x, y) be forms of discriminant D, and let τ and τ be their respective roots. We will prove: f(x, y), g(x, y) are properly equivalent τ = pτ + q ( ) p q rτ + s, SL(2, Z) [, τ] = λ[, τ ], λ K. ( To see) the first equivalence, assume that f(x, y) = g(px + qy, rx + sy), where p q SL(2, Z). Then ( ) pτ + q 0 = f(τ, ) = g(pτ + q, rτ + s) = (rτ + t) 2 g rτ + s,, so that g((pτ + q)/(rτ + s), ) = 0. However, if τ H, then (pτ + q)/(rτ + s) H, thus τ = (pτ + q)/(rτ + s). Conversely, if τ = (pτ + q)/(rτ + s), then we have f(x, y) and g(px + qy, rx + sy) have the same root, hence they are equal. Next, if τ = (pτ + q)/(rτ + s), let λ = rτ + s K. Then [ λ[, τ ] = (rτ + s), pτ + q ] rτ + s = [rτ + s, pτ + q] = [, τ] ( ) p q since SL(2, Z). Conversely, if [, τ] = λ[, τ ] foome λ K, then [, τ] = [λ, λτ ], which implies λτ = pτ + q λ = rτ + s ( ) p q foome GL(2, Z). This gives us τ = pτ+q rτ+s. Since τ, τ are both in H, ( ) p q we have SL(2, Z).

6 6 KIM, SUNGJIN These equivalences show that the map sending f(x, y) to a[, τ] induces an injection C(D) C(O). To show that the map is surjective, let a be a proper fractional O-ideal. We write a = [α, β] foome α, β K with τ = β/α lies in H. Let ax 2 + bx + c be the minimal polynomial of τ. We may assume that (a, b, c) = and a > 0. Then f(x, y) = ax 2 + bxy + cy 2 is positive definite of discriminant D, and maps to a[, τ] which is in the class of a. We thus have a bijection of sets (3.5) C(D) C(O). 4. Complex Multiplication First, we observe that orders in imaginary quadratic fields give rise to a natural class of lattices. If O is an order in a quadratic field K and a = [α, β] is a proper fractional O-ideal, then α and β are linearly independent over R. Thus a C is a lattice. Conversely, let L C be a lattice which is contained in K. Then L is a proper fractional O-ideal foome order O of K. As a consequence, we have that a and b determine the same class in the ideal class group C(O) if and only if they are homothetic as lattices in C. Moreover, this enables us to define j(a) for a proper fractional O-ideal. We defined -function for a lattice L C. In fact, any elliptic function for L is a rational function of and. Lemma 4.. Any even elliptic function for L is a rational function in (z). Proof. (a) Let f(z) be an even elliptic function which is holomorphic on C L. Then there is a polynomial A(x) such that the Laurent expansion of f(z) A( (z)) is holomorphic on C. By Liouville s theorem, f(z) A( (z)) is a constant. Thus, f(z) is a polynomial in (z). (b) Let f(z) be an even elliptic function that has a pole of order m at w C L. If 2w / L, then ( (z) (w)) m f(z) is holomorphic at w, since ( (z) (w)) has a zero at z = w. If 2w L, then m is even, since the Laurent expansion for f(z) and f(2w z) at z = w must be equal. In this case, ( (z) (w)) m/2 f(z) is holomorphic at w, since ( (z) (w)) has double zero at z = w. (c) Now we can show that for an even elliptic function f(z), there is a polynomial B(x) such that B( (z))f(z) is holomorphic on C L. Then the lemma follows by part (a). For any elliptic function f(z) for L, we have ( ) f(z) + f( z) f(z) f( z) f(z) = (z). (z) Hence, any elliptic function for L is a rational function of and. We turn into an important proposition about complex multiplication: Proposition 4.. Let L be a lattice, and let (z) be the -function for L. Then, for a number α C Z, the following statements are equivalent: (i) (αz) is a rational function in (z). (ii) αl L. (iii) There is an order O in an imaginary quadratic field K such that α O and L

7 SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC 7 is homothetic to a proper fractional O-ideal. Furthermore, if these conditions are satisfied, then (αz) can be written in the form (4.) (αz) = A( (z)) B( (z)) where A(x) and B(x) are relatively prime polynomials such that deg(a(x)) = deg(b(x)) + = [L : αl] = N(α). Proof. (i) (ii). If (αz) is a rational function in (z), then there are polynomials A(x) and B(x) such that B( (z)) (αz) = A( (z)). Comparing the order or pole at z = 0, we have deg(a(x)) = deg(b(x)) +. Now, let ω L. Then the above show that (αz) has a pole at ω, which means that (z) has a pole at αω. Since the poles of (z) are exactly at members in L, this implies αω L, and αl L follows. (ii) (i). If αl L, it follows that (αz) is meromorphic and has L as a lattice of periods. Furthermore, (αz) is an even function. By Lemma 4., we have (αz) is a rational function in (z). (ii) (iii). Suppose that αl L. Replacing L by λl fouitable λ, we can assume that L = [, τ] foome τ C R. Then αl L means that α = a + bτ and ατ = c + dτ foome integers a, b, c and d. Then we obtain, τ = c + dτ a + bτ, which implies bτ 2 + (a d)τ c = 0. Since τ is not real, we have b 0, and K = Q(τ) is an imaginary quadratic field. Thus, O = {β K βl L} = {β K β[, τ] [, τ]} = [, bτ] is an order of K for which L is a proper fractional O-ideal(by Lemma 3.2), and since α is obviously in O, we are done. (iii) (ii) is trivial. Suppose αl L = [, τ]. From the definition of discriminant (3.3), we obtain N(α) 2 disc[, τ] = disc[α, ατ] = [L : αl] 2 disc[, τ]. Thus, [L : αl] = N(α). It remains to prove that degree of A(x) is the index [L : αl]. Fix z C such that 2z / (/α)l, and consider the polynomial A(x) (αz)b(x). This polynomial has the same degree as A(x), and z can be chosen so that it has distinct roots(multiple root of A(x) (αz)b(x) is a root of A(x)B (x) A (x)b(x).) Then consider the lattice L (/α)l, and let {w i } be coset representatives of L in (/α)l. Our assumption on z implies that (z+w i ) are distinct. From (4.), we see that A( (z +w i )) = (α(z +w i ))B( (z +w i )). But αw i L, hence (α(z +w i )) = (αz). This shows that (z + w i ) are distinct roots of A(x) (αz)b(x). Let u be another root. Then we see that u = (w) foome complex number w. Then, (αz) = (αw), and w z + w i mod L foome i. Hence (z + w i ) are all roots of A(x) (αz)b(x), giving that dega(x) = [(/α)l : L] = [L : αl].

8 8 KIM, SUNGJIN Together with Laurent series of (z), this theorem allows us to compute some special values of j-function for example: j( ( ) + 7 2) = 8000 and j = To complete the proof of Theorem., we need a lemma involving the invariants g 2 (L) and g 3 (L). Lemma 4.2. Let g 2 and g 3 be given complex numbers satisfying g g Then there is a unique lattice L C such that g 2 (L) = g 2 and g 3 (L) = g 3. Proof. We can find z H such that j(z) = E 4 (z) 3 / (z) = 728g 3 2/(g g 2 3). By valence formula, this z is uniquely determined modulo Γ. If g 2 0, then we find w C such that (4.2) g 2 = 4π4 3w 4 E 4 (z). Using w if necessary, we obtain (4.3) g 3 = 8π6 27w 6 E 6 (z). If g 2 = 0, then we have g 3 0 and we find w C using (4.3). Let w 2 = zw, then L = [w, w 2 ] is the desired lattice. Suppose we have two lattices L and L with g 2 (L) = g 2 (L ) and g 3 (L) = g 3 (L ). Then, j(l) = j(l ) implies that there exists λ C {0} such that L = λl by Proposition2.. If g 2 (L) 0 and g 3 (L) 0, then (2.5) give λ 2 =. Thus, L = L. If g 2 (L) = 0, then L = λ [, w] and L = λ 2 [, w] foome λ, λ 2 C {0} with w = exp(2πi/3). But, (2,5) gives λ 6 = λ 6 2. Thus, L = L If g 3 (L) = 0, then L = λ [, i] and L = λ 2 [, i] foome λ, λ 2 C {0}. In this case, (2.5) gives λ 4 = λ 4 2. Hence, L = L. Now, we are ready to prove Theorem.. imply Theorem.. In fact, the following theorem will Theorem 4.. Let O be an order in an imaginary quadratic field, and let a be a proper fractional O-ideal. Then j(a) is an algebraic number of degree at most h(o). Proof. By Lemma2.3, we can write the Laurent expansion of (z) for the lattice a as (z) = z 2 + a n (g 2, g 3 )z 2n, where a n is a polynomial in g 2 and g 3 with rational coefficients. To emphasize the dependence on g 2 and g 3, we write (z) as (z; g 2, g 3 ). By assumption, for any α O, we have αa a. Thus, by Proposition4., (αz) is a rational function in (z). (αz; g 2, g 3 ) = α 2 z 2 + a n (g 2, g 3 )α 2n z 2n = A( (z; g 2, g 3 )) B( (z; g 2, g 3 ))

9 SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC 9 foome polynomials A(x) and B(x). We can regard this as an identity in the field of meromorphic Laurent series C((z)). Now let σ be any automorphism of C. Then σ induces an automorphism of C((z)). Applying σ, we obtain (4.4) (σ(α)z; σ(g 2 ), σ(g 3 )) = Aσ ( (z; σ(g 2 ), σ(g 3 ))) B σ ( (z; σ(g 2 ), σ(g 3 ))). We observe that g g implies σ(g 2 ) 3 27σ(g 3 ) 2 0. By Lemma4.2, there exists a lattice L such that g 2 (L) = σ(g 2 ) g 3 (L) = σ(g 3 ). Since (z; σ(g 2 ), σ(g 3 )) = (z; L), (4.4) implies that (z; L) has complex multiplication by σ(α). Let O be the ring of all complex multiplications of L, then we have proved that O = σ(o) O. Applying σ and we interchange a and L, then above argument shows O O, which shows that O is the ring of all complex multiplications of both a and L. Now consider j-invariants. Above formulas for g 2 (L) and g 3 (L) imply that j(l) = σ(j(a)). Since L has O as its ring of complex multiplications, there are only h(o) possibilities for j(l). It follows that j(a) must be an algebraic number, and the degree is at most h(o). Suppose that O is an order of discriminant D in an imaginary quadratic field, and ax 2 + bxy + cy 2 is a primitive positive definite quadratic form with discriminant D. Then, for z Q = b+ D 2a, a = [, z Q ] is a proper fractional ideal in O by Lemma3.2. Now, Theorem4. implies that j(a) = j([, z Q ]) = j(z Q ) is an algebraic number of degree at most h(o) = h(d) (by Theorem3.). This completes the proof of Theorem.. References. D. Cox, Prines of the Form x 2 + ny 2, John Wiley & Sons. Inc. 2. H. Iwaniec, Topics in Classical Automorphic Forms, AMS Providence, Rhode Island.

### HASSE-MINKOWSKI THEOREM

HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.

### CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION

CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION GWYNETH MORELAND Abstract. We state the main results of class field theory for a general number field, and then specialize to the case where

### Solutions to Complex Analysis Prelims Ben Strasser

Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,

### CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for

### Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +

Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like

### Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

### SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

### 1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.

### AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS

AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS SAMUEL MOY Abstract. Assuming some basic knowledge of groups, rings, and fields, the following investigation will introduce the reader to the theory of

### MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

### 1. 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

### ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

### Congruence Subgroups

Congruence Subgroups Undergraduate Mathematics Society, Columbia University S. M.-C. 24 June 2015 Contents 1 First Properties 1 2 The Modular Group and Elliptic Curves 3 3 Modular Forms for Congruence

### Finite Fields. Mike Reiter

1 Finite Fields Mike Reiter reiter@cs.unc.edu Based on Chapter 4 of: W. Stallings. Cryptography and Network Security, Principles and Practices. 3 rd Edition, 2003. Groups 2 A group G, is a set G of elements

### Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going

### THE DIRICHLET CLASS NUMBER FORMULA FOR IMAGINARY QUADRATIC FIELDS

THE DIRICHLET CLASS NUMBER FORMULA FOR IMAGINARY QUADRATIC FIELDS The factorizations 6 = 2 3 = (1 + 5)(1 5) show that unique factorization fails in the ring Z[ 5] = {a + b 5 : a, b Z}, because 2, 3, and

### Elliptic Curves, Group Schemes,

Elliptic Curves, Group Schemes, and Mazur s Theorem A thesis submitted by Alexander B. Schwartz to the Department of Mathematics in partial fulfillment of the honors requirements for the degree of Bachelor

### Homework 5 M 373K Mark Lindberg and Travis Schedler

Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers

### GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

### Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

### GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

### Algebra Exam Syllabus

Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

### Explicit Complex Multiplication

Explicit Complex Multiplication Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Explicit CM Eindhoven,

### 1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

### Rings and Fields Theorems

Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

### 4.2 Chain Conditions

4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.

### CHENNAI MATHEMATICAL INSTITUTE Postgraduate Programme in Mathematics MSc/PhD Entrance Examination 18 May 2015

Instructions: CHENNAI MATHEMATICAL INSTITUTE Postgraduate Programme in Mathematics MSc/PhD Entrance Examination 18 May 2015 Enter your Registration Number here: CMI PG Enter the name of the city where

### over a field F with char F 2: we define

Chapter 3 Involutions In this chapter, we define the standard involution (also called conjugation) on a quaternion algebra. In this way, we characterize division quaternion algebras as noncommutative division

### When 2 and 3 are invertible in A, L A is the scheme

8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves

### Review of Linear Algebra

Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

### Homework 4 Solutions

Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

### ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

### An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109

An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups

### Material covered: Class numbers of quadratic fields, Valuations, Completions of fields.

ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups

### 6 Ideal norms and the Dedekind-Kummer theorem

18.785 Number theory I Fall 2016 Lecture #6 09/27/2016 6 Ideal norms and the Dedekind-Kummer theorem Recall that for a ring extension B/A in which B is a free A-module of finite rank, we defined the (relative)

### Factorization of zeta-functions, reciprocity laws, non-vanishing

(January, 0 Factorization of zeta-functions, reciprocity laws, non-vanishing Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Gaussian integers o Z[i]. Eisenstein integers o Z[ω] 3.

### Some practice problems for midterm 2

Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

### A Note on Cyclotomic Integers

To the memory of Alan Thorndike, former professor of physics at the University of Puget Sound and a dear friend, teacher and mentor. A Note on Cyclotomic Integers Nicholas Phat Nguyen 1 Abstract. In this

### PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

### ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

### A SUMMARY OF THE CM THEORY OF ELLIPTIC CURVES

A SUMMARY OF THE CM THEORY OF ELLIPTIC CURVES JAYCE GETZ 1. Introduction: a few modular forms We first fix some terminology from the classical theory of modular forms over Γ := SL 2 (Z). For k 4, let E

### Algebra SEP Solutions

Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

### Complex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i

Complex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i 2 = 1 Sometimes we like to think of i = 1 We can treat

### 18 The analytic class number formula

18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic

### Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on

### 1, for s = σ + it where σ, t R and σ > 1

DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,

### A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated

### Pell Equation x 2 Dy 2 = 2, II

Irish Math Soc Bulletin 54 2004 73 89 73 Pell Equation x 2 Dy 2 2 II AHMET TEKCAN Abstract In this paper solutions of the Pell equation x 2 Dy 2 2 are formulated for a positive non-square integer D using

### Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

### TC10 / 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

### Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

### Polynomial and Rational Functions. Chapter 3

Polynomial and Rational Functions Chapter 3 Quadratic Functions and Models Section 3.1 Quadratic Functions Quadratic function: Function of the form f(x) = ax 2 + bx + c (a, b and c real numbers, a 0) -30

### On elliptic curves in characteristic 2 with wild additive reduction

ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2

### How many units can a commutative ring have?

How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

### Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

### Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

### Solutions to Homework Set 1

Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement

### A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

### Basics of binary quadratic forms and Gauss composition

Basics of binary quadratic forms and Gauss composition Andrew Granville Université de Montréal SMS summer school: Counting arithmetic objects Monday June 3rd, 014, 3:30-5:00 pm 0 Sums of two squares 1

### be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

### 18.S34 linear algebra problems (2007)

18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction

### Rational Equivariant Forms

CRM-CICMA-Concordia University Mai 1, 2011 Atkin s Memorial Lecture and Workshop This is joint work with Abdellah Sebbar. Notation Let us fix some notation: H := {z C; I(z) > 0}, H := H P 1 (Q), SL 2 (Z)

### D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

### Homework problems from Chapters IV-VI: answers and solutions

Homework problems from Chapters IV-VI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence

### Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

### Chapter 4. Fields and Galois Theory

Chapter 4 Fields and Galois Theory 63 64 CHAPTER 4. FIELDS AND GALOIS THEORY 4.1 Field Extensions 4.1.1 K[u] and K(u) Def. A field F is an extension field of a field K if F K. Obviously, F K = 1 F = 1

### Ideals: Definitions & Examples

Ideals: Definitions & Examples Defn: An ideal I of a commutative ring R is a subset of R such that for a, b I and r R we have a + b, a b, ra I Examples: All ideals of Z have form nz = (n) = {..., n, 0,

### Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

### HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.

### w T 1 w T 2. w T n 0 if i j 1 if i = j

Lyapunov Operator Let A F n n be given, and define a linear operator L A : C n n C n n as L A (X) := A X + XA Suppose A is diagonalizable (what follows can be generalized even if this is not possible -

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

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

### Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

### DONG QUAN NGOC NGUYEN

REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the

### Problem 1A. Suppose that f is a continuous real function on [0, 1]. Prove that

Problem 1A. Suppose that f is a continuous real function on [, 1]. Prove that lim α α + x α 1 f(x)dx = f(). Solution: This is obvious for f a constant, so by subtracting f() from both sides we can assume

### Néron Models of Elliptic Curves.

Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman

### DETERMINANTS. , x 2 = a 11b 2 a 21 b 1

DETERMINANTS 1 Solving linear equations The simplest type of equations are linear The equation (1) ax = b is a linear equation, in the sense that the function f(x) = ax is linear 1 and it is equated to

### Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

### Abstract Algebra: Supplementary Lecture Notes

Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

### The group law on elliptic curves

Mathematisch Instituut Universiteit Leiden Elliptic curves The theory of elliptic curves is a showpiece of modern mathematics. Elliptic curves play a key role both in the proof of Fermat s Last Theorem

### ON POSITIVE, LINEAR AND QUADRATIC BOOLEAN FUNCTIONS

Kragujevac Journal of Mathematics Volume 36 Number 2 (2012), Pages 177 187. ON POSITIVE, LINEAR AND QUADRATIC BOOLEAN FUNCTIONS SERGIU RUDEANU Abstract. In [1], [2] it was proved that a function f : {0,

### THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upper-half plane) ( d 5) q n

THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES MASANOBU KANEKO AND YUICHI SAKAI Abstract. For several congruence subgroups of low levels and their conjugates, we derive differential

### arxiv:alg-geom/ v1 7 Oct 1993

TORSION SECTIONS OF ELLIPTIC SURFACES RICK MIRANDA AND PETER STILLER arxiv:alg-geom/9310006v1 7 Oct 1993 1. Introduction In this article we discuss torsion sections of semistable elliptic surfaces defined

### Section 19 Integral domains

Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There

### TOPICS IN NUMBER THEORY - EXERCISE SHEET I. École Polytechnique Fédérale de Lausanne

TOPICS IN NUMBER THEORY - EXERCISE SHEET I École Polytechnique Fédérale de Lausanne Exercise Non-vanishing of Dirichlet L-functions on the line Rs) = ) Let q and let χ be a Dirichlet character modulo q.

### Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

### 1 Fields and vector spaces

1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

### ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0

ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 CHAD AWTREY, JAMES BEUERLE, AND MICHAEL KEENAN Abstract. Let f(x) beanirreducibledegreefourpolynomialdefinedover afieldf and

### 1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials.

Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials A rational function / is a quotient of two polynomials P, Q with 0 By Fundamental Theorem of algebra, =

### Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

### The Splitting of Primes in Division Fields of Elliptic Curves

The Splitting of Primes in Division Fields of Elliptic Curves W.Duke and Á. Tóth Introduction Dedicated to the memory of Petr Cižek Given a Galois extension L/K of number fields with Galois group G, a

### MATH RING ISOMORPHISM THEOREMS

MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

### THE p-adic VALUATION OF LUCAS SEQUENCES

THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each

### COMPLEX MULTIPLICATION: LECTURE 15

COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider

### Formal Groups. Niki Myrto Mavraki

Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal

### Igusa Class Polynomials

Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell

### ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

### THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth