arxiv: v1 [math.nt] 4 Jun 2018
|
|
- Bryce Short
- 6 years ago
- Views:
Transcription
1 On the orbit of a post-critically finite polynomial of the form x d +c arxiv: v1 [math.nt] 4 Jun 2018 Vefa Goksel Department of Mathematics University of Wisconsin Madison, WI 53706, USA goksel@math.wisc.edu Abstract In this paper, we study the critical orbit of a post-critically finite polynomial of the form f (x) = x d +c C[x]. We discover that in many cases the orbit elements satisfy some strong arithmetic properties. It is well known that the c values for which f has tail size m and period n are the roots of a polynomial G d (m,n) Z[x], and the irreducibility or not of G d (m,n) has been a great mystery. As a consequence of our work, we establish the irreducibility of these G d (m,n) polynomials for infinitely many triples (d,m,n). We also prove that all the iterates of f are irreducible over Q(c) if d is a prime and f has a fixed point in its post-critical orbit. 1 Introduction Let f(x) C[x] be a polynomial of degree at least 2. We denote by f n (x) the nth iterate of f(x). Given a C, one fundamental object in dynamics is the orbit O a (f) = {f(a),f 2 (a),...} of a under f. When this orbit is finite for all critical points of f, we call f postcritically finite (PCF). In this paper, we study a special case, namely the PCF polynomials of the form f (x) = x d +c C[x] for d 2. 0 is the unique critical point of f. Suppose f is PCF, i.e., there exist m,n Z with m n and f m (0) = fm+n (0). We say f has exact type (m,n) if f m (0) = f m+n (0) and f k (0) f k+n (0) for any k < m. When m 0, a number c 0 for which f c0,d has exact period (m,n) is called a Misiurewicz point with period (m,n). It is known that Misiurewicz points with period (m,n) are the roots of 2010 Mathematics Subject Classification: Primary 11R09, 37P15 Key words and phrases: Misiurewicz point, post-critically finite, rigid divisibility sequence 1
2 2 V.Goksel a monic polynomial G d (m,n) Z[x]. In particular, c 0 is always an algebraic integer. ([6], Corollary 3.4). To explain how the polynomial G d (m,n) is defined, we will follow the notation in ([6]): Let Φ f,n (x) = (f k (x) x) µ(n/k) k n be the standard dynatomic polynomial, and define the generalized dynatomic polynomial Φ f,m,n by Φ f,m,n (x) = Φ f,n (fm (x)) Φ f,n (fm 1 (x)). Then, the polynomial G d (m,n) is defined by G d (m,n) = { Φ f,m,n (0) Φ f,0,n (0)d 1 Φ f,m,n if m 0 and n (m 1) (0) otherwise. Having defined the polynomials G d (m,n), it would be natural to ask: Which triples (d,m,n) make G d (m,n) irreducible? For instance, it has been widely believed that in the special case d = 2, m = 0, G 2 (0,n) would always be irreducible, although proving this appears to be a quite difficult problem. To the author s knowledge, there is not a single infinite family of (d,m,n) for which G d (m,n) was proven to be irreducible. In this direction, the following corollary to our main theorems gives the first such infinite families of (d,m,n). Corollary 1.1. G d (m,n) is irreducible in the following cases: (i) m 0, n = 1, d is any prime. (ii) m 0, n = 2, d = 2. Before giving the next corollary to our main theorems, we recall a definition from the theory of polynomial iteration: Let F be a field, and f(x) F[x] be a polynomial over F. We say that f is stable over F if f n (x) is irreducible over F for all n 1. Corollary 1.2. Let d be a prime, and suppose f (x) = x d + c has exact type (m,1) for some m 0. Set K = Q(c). Then, f is stable over K. Note that the simpliest example of Corollary 1.2 is the polynomial f 2,2 (x) = x 2 2 Q[x], which is already well-known to be stable. Thus, Corollary 1.2 can be thought of as a generalization of this well-known example. Both of these corollaries will follow from the next theorem, which establishes that the critical orbit elements for the PCF polynomials f satisfy suprisingly
3 On the orbit of post-critically finite polynomials of the form x d +c 3 strong properties when d is a prime. We first fix the following notation, which we will also use throughout the paper: Let K be a number field, and O K its ring of integers. Take a O K. Throughout, we will use (a) to denote the ideal ao K. Also, for f with exact type (m,n), we will use O f = {a 1,a 2,...,a m+n 1 } to denote the critical orbit, where we set a i = f i (0). Whenever we use a i for some i > m+n 1, we again obtain it by setting a i = f i (0) and using periodicity of f. Theorem 1.3. Let d be any prime, and f (x) = x d + c Q[x] be a PCF polynomial with exact type (m,n). Suppose m 0. Set K = Q(c), and let O f = {a 1,a 2,...,a m+n 1 } O K be the critical orbit of f. Then, we have the following: (1) If n (m 1): (a i ) dm 1 (d 1) = (d) for all n i, and a i is a unit otherwise. (2) If n (m 1): (a i ) (dm 1 1)(d 1) = (d) for all n i, and a i is a unit otherwise. In our next theorem, we are able to get rid of the condition that d is a prime. However, it comes with the price that we do not get as much information as in Theorem 1.3. Theorem 1.4. Let f (x) = x d +c Q[x] be a PCF polynomial with exact type (m,n). Suppose m 0. Set K = Q(c), and let O f = {a 1,a 2,...,a m+n 1 } O K be the critical orbit of f. Then, (a i ) (d) for all 1 i k. 2 Proofs of Main Results We first start by stating the following lemma, which we will use throughout the paper. Although it is simple, it becomes suprisingly useful. Lemma 2.1. Let f (x) = x d +c Q[x] be a PCF polynomial with exact type (m,n). Set K = Q(c), and let O f = {a 1,a 2,...,a m+n 1 } O K be the critical orbit of f. Then, for any 1 i,j m+n 1, there exists a polynomial P i,j (t) Z[t] such that f i (a j) = a di j + a d j P i,j (c) + a k, where k is the integer satisfying 1 k j and k i(mod j). Moreover, if d is a prime, we have P i,j(t) d Z[t]. Proof. Note that the consant term of f i (t) Z[t] is a i, and all the other terms are divisible by t d. Write (2.1) f i (t) = tdi +t d F(t)+a i
4 4 V.Goksel for some F(t) Z[t]. Plugging a j into (2.1), get (2.2) f i (a j) = a di j +a d j F(a j)+a i. If i j, then (2.2) already proves the statement. Suppose i > j. Let i = jr +k for r 1 and 1 k j. By the definitions of a i and a j, we have (2.3) a i = f i j (a j) = a d j G(c)+a k for some G(t) Z[t]. Combining this with (2.2), the first part of the statement directly follows. To prove the last statement: Note that by the definition of f and using binomial expansion repeatedly, some ( d l) for 1 l d 1 will appear in each coefficient of P i,j (t), which proves the result, since d ( d l) when d is a prime. Next, we state another lemma which will be one of the ingredients in the proof of Theorem 1.3. We first need to recall rigid divisibility sequences: Definition 2.2. ([5]) Let A = {a i } i 1 be a sequence in a field K. We say A is a rigid divisibility sequence over K if for each non-archimedean absolute value. on K, the following hold: (1) If a n < 1, then a n = a kn for any k 1. (2) If a n < 1 and a j < 1, then a gcd(n,j) < 1. Remark 2.3. Let K be a number field, and O K be its ring of integers. Suppose {a i } i 1 O K is a rigid divisibility sequence. Then, the following is a straightforward consequence of Definition 2.3: (i) (a i ) (a ki ) for all k 1. (ii) ((a i ),(a j )) = (a (i,j) ). Lemma 2.4. Let f (x) = x d +c Q[x] be a PCF polynomial with exact type (m,n). Set K = Q(c), and let O f = {a 1,a 2,...,a m+n 1 } O K be the critical orbit of f. Then, (a i ) = (a j ) for all i,j with (i,n) = (j,n). Proof. First note that the sequence {a i } is a rigid divisibility sequence (For a proof of this fact, see ([5], Lemma 12)). We will now prove the lemma by showing that (a i ) = (a (i,n) ) for all i. Since the period is n, we can choose large enough integer k such that a i+nik = a i+n(ik+1). Using the second part of Remark 2.3, we have (2.4) ((a i+nik ),(a i+n(ik+1) )) = (a (i+nik,i+n(ik+1)) ) = (a (i,n) ).
5 On the orbit of post-critically finite polynomials of the form x d +c 5 Hence, we get (2.5) (a i+nik ) = (a i+n(ik+1) ) = (a (i,n) ). Using the first part of Remark 2.3, the equalities in (2.5) give (a i+nik ) = (a (i,n) ) (a i ), since (i,n) i. On the other hand, we also have i i+nik, thus (a i ) (a i+nik ) = (a (i,n) ). Combining these two, we get (a i ) = (a (i,n) ), which finishes the proof. We can finally prove Theorem 1.3: Proof of Theorem 1.3. We will prove (1) and (2) simultaneously. First suppose n i. Using Lemma 2.4, we can find m j m+n 1 such that (a i ) = (a j ). So, it is enough to prove the statement for a j. Since the exact period is n, each a k for m k m+n 1 is a root of the polynomial φ(x) = f n (x) x Z[c][x]. The constant term of φ(x) is a n. There exists a polynomial P(x) Q[c][x] satisfying m+n 1 (2.6) φ(x) = ( (x a i ))P(x). k=m In fact, P(x) lies in Z[c][x] by Gauss lemma, so in particular P(0) Z[c]. We also have m+n 1 (2.7) (( 1) n i=m a i )P(0) = a n. Note that there exists a unique m k m+n 1 such that n k, and applying Lemma 2.4 to this k we have (a k ) = (a n ). Hence, dividing both sides of the last equation by a k, right-hand side becomes a unit, which implies a j is a unit (since it appears on the left-hand side), thus a i is a unit. Now, suppose n i. Using Lemma 2.4, there exists an integer k such that m m + n 1 and (a i ) = (a ). So, it is enough to prove the statement for (a ). Note that since f has exact type (m,n), we have (2.8) f m+ (0) = f m (0). We also have f m+ (0) = f m(a ), so we obtain (2.9) f m (a ) = f m (0). (2.10) [f m 1 (a )] d +c = [f m 1 (0)] d +c. (2.11) (f m 1 (a ) f m 1 d 1 (0))( [f m 1 (a )] i [f m 1 (0)] d 1 i ) = 0.
6 6 V.Goksel Because f has exact type (m,n), we get (2.12) [f m 1 (a )] i [f m 1 (0)] d 1 i = 0. Using Lemma 2.1, since d is a prime, we can find a polynomial P(t) Z[t] satisfying (2.13) f m 1 (a ) = a dm 1 +da d P(c)+a m 1. Putting this into (2.12), we get (2.14) (a dm 1 +da d P(c)+a m 1) i a d 1 i m 1 = 0. Using (2.14), we can find a polynomial Q(t) Z[t] such that (2.15) (2.16) (a dm 1 i ( +a m 1 ) i a d 1 i m 1 +da d Q(c) = 0. ( ) i j a i j m 1 )ad 1 i m 1 +da d Q(c) = 0. (2.17) ( i=j ( ) i j ) m 1 +da d Q(c) = 0. Using the Hockey-Stick identity, (2.17) becomes (2.18) (2.19) a dm 1 (d 1) m 1 +da d Q(c) = 0. d 2 +da d 1 m 1 + j=1 m 1 +da d Q(c) = 0. Note that (2.20) d 2 j=1 m 1 +da d Q(c) 0(mod dad ), since m 2 and ( d j+1) is divisible by d for all 1 j d 2 (Recall that d is a prime). Hence, there exists a polynomial R(t) Z[t] such that (2.21) d 2 j=1 m 1 +da d Q(c) = dad R(c).
7 On the orbit of post-critically finite polynomials of the form x d +c 7 Using this in (2.19), we get (2.22) a dm 1 (d 1) +da d 1 m 1 +dad R(c) = 0. (2.23) a dm 1 (d 1) = d(a d 1 m 1 +ad R(c)). If n (m 1), from the first part of the proof a m 1 is a unit, hence we get (2.24) (a d R(c)+ad 1 m 1,adm 1 (d 1) ) = 1, which directly implies (a ) dm 1 (d 1) = (d). If n (m 1), by the Lemma 2.4 we have (a m 1 ) = (a ), so dividing both sides of (2.23) by a d 1, we get (2.25) a (dm 1 1)(d 1) where u is a unit. Noting that = d(u+a R(c)), (2.26) (u+a R(c),a (dm 1 1)(d 1) ) = 1, we get (a ) (dm 1 1)(d 1) = (d), as desired. Remark 2.5. The fact that a i is unit for n i is true when d is not a prime too, since the first part of our proof does not use the primeness assumption. We will now prove the Corollary 1.1 and Corollary 1.2. We first need to recall a basic fact from algebraic number theory: Let L be a finite extension of a number field K. Let p be a prime ideal in K. Suppose that p factors in L as e po L = P 1 e 1...P g g. Set f i = O L /P i for 1 i g, and n = [L : K]. Then, we have (2.27) g e i f i = n. i=1 Proof of Corollary 1.1. (1) Set K = Q(c), and let N = [K : Q]. For n = 1, by ([6], Corollary 3.3), G d (m,n) has degree (d m 1 1)(d 1). Thus, we have N (d m 1 1)(d 1). On the other hand, second part of Theorem 1.3 gives (a i ) (dm 1 1)(d 1) = (d) for any i. Factor (a i ) into prime factors as e (a i ) = P 1 e 1...P g g.
8 8 V.Goksel Taking the (d m 1)(d 1)th power of each side, we get (d (d) = P m 1 1)(d 1)e 1 (d 1...P m 1 1)(d 1)e g g. Using (2.27), we get g (d m 1 1)(d 1)e i f i = N, i=1 which implies N (d m 1 1)(d 1). Hence, we obtain N = (d m 1 1)(d 1), which shows G d (m,n) is irreducible. (2) Let N be as in the first part of the proof. For n = 2, d = 2, by ([6], Corollary 3.3), G d (m,n) has degree 2 m 1 1 if 2 m 1, and has degree 2 m 1 if 2 m 1. On the other hand, using the first part of Theorem 1.3, we have (a i ) 2m 1 1 = (2) for any 2 i if m is odd, and (a i ) 2m 1 = (2) for any 2 i if m is even. Similar to the first part, for both cases N becomes equal to the degree of G d (m,n), which proves that G d (m,n) is irreducible. Remark 2.6. In (1), d is totally ramified in K, and for all i, (a i ) is the unique prime ideal of O K that divides (d). In (2), 2 totally ramified in K, and for all i even, (a i ) is the unique prime ideal of O K that divides (2). Proof of Corollary 1.2. By ([5], Theorem 8), it suffices to show that there is no ±dth power in the orbit. By the first part of Remark 2.6, a i is a prime element of O K for all i. Hence, a i can never be ±dth power in O K for d 2, which finishes the proof. Slight modifications in the proof of Theorem 1.3 would be enough to prove Theorem 1.4. We write it out for the convenience of the reader: Proof of Theorem 1.4. From Remark 2.5, we already have that a i is a unit when n i, which gives (a i ) (d). So, we only need to show (a i ) (d) for n i. There exists a unique k such that m m+n 1, i.e., a is periodic underf. By Lemma 2.4, it is enough to prove the statement for a. This is the same situation as in the second part of the proof of Theorem 1.3. We rewrite the equation (2.12): [f m 1 (a )] i [f m 1 (0)] d 1 i = 0. Using Lemma (2.1), we can find P(t) Z[t] such that (2.28) f m 1 (a ) = a dm 1 +a d P(c)+a m 1.
9 On the orbit of post-critically finite polynomials of the form x d +c 9 Putting this in the above equation, we get (2.29) (a dm 1 +a d P(c)+a m 1) i a d 1 i m 1 = 0. Using (2.29), we can find a polynomial Q(t) Z[t] such that (2.30) (2.31) (a dm 1 i ( +a m 1 ) i a d 1 i m 1 +a d Q(c) = 0. ( ) i j a i j m 1 )ad 1 i m 1 +a d Q(c) = 0. (2.32) ( i=j ( ) i j ) m 1 +a d Q(c) = 0. Using the Hockey-Stick identity, (2.32) becomes (2.33) (2.34) a dm 1 (d 1) m 1 +a d Q(c) = 0. d 2 +da d 1 m 1 + j=1 There exists a polynomial R(t) Z[t] such that (2.35) d 2 j=1 Using this in (2.34), we get (2.36) a dm 1 (d 1) m 1 +a d Q(c) = 0. m 1 +a d Q(c) = ad R(c). +da d 1 m 1 +ad R(c) = 0. (2.37) a d (adm 1 (d 1) d +R(c)) = da d 1 m 1. If n (m 1), then a m 1 is a unit (by Theorem 1.3), hence we directly get (a ) (d). If n (m 1), then by Lemma 2.4 we have (a m 1 ) = (a ). Dividing both sides of (2.37) by a d 1, we get (2.38) a (a dm 1 (d 1) d +R(c)) = du, where u is a unit, which again gives (a ) (d), as desired.
10 10 V.Goksel Theorem 1.4 has an application to the Galois theory of polynomial iterates, which we will give in the next corollary. Corollary 2.7. Let f (x) = x d +c Q[x] be a PCF polynomial with exact type (m,n). Suppose m 0. Set K = Q(c), let K n be the splitting field of f n (x) over K. If a prime p of K ramifies in K n, then p (d). Proof. Recall that if a prime p of K is ramified in K n, then it must divide Disc(f n ). Set n = Disc(f n ). By ([8], Lemma 2.6), we have the relation (2.39) n = ± n 1 d dn a n. Proceeding inductively, (2.39) shows that if a prime p of K ramifies in K n, then p divides (d) or (a i ) for some i. By Theorem 1.4, this directly implies p (d), as desired. 3 Periodic case We finish the paper by giving a simple observation about the case m = 0. Lemma 3.1. Let f (x) = x d +c Q[x] be a PCF polynomial with exact type (0,n). Set K = Q(c), and let O f = {a 1,a 2,...,a n = 0} O K be the critical orbit of f. Then, a i is a unit in O K for all 1 i n 1. Proof. By periodicity, we have f n (a i) = a i. By expanding f n (t), it follows that there exists g(t) Z[t] such that (3.1) f n (t) = td g(t)+a n. Plugging in a i, we get (3.2) f n (a i) = a i = a d i g(a i)+a n. Since a n = 0, this gives (3.3) a i = a d ig(c). (3.4) 1 = a d 1 i g(c), which shows that a i is a unit.
11 On the orbit of post-critically finite polynomials of the form x d +c 11 References [1] Matthew Baker and Laura DeMarco. Special curves and postcritically-finite polynomials. Forum of Mathematics, Pi, 1, [2] A.S. Chen, T.A. Gassert, K.E. Stange, Index divisibility in dynamical sequences and cyclic orbits modulo p, New York J. Math. 23 (2017) [3] Danielson, L. and B. Fein (2002). Onthe irreducibility of theiterates of x n b. Proc. Amer. Math. Soc. 130(6), (electronic). [4] Adam Epstein. Integrality and rigidity for postcritically finite polynomials. Bull. Lond. Math. Soc., 44(1):3946, With an appendix by Epstein and Bjorn Poonen. [5] Hamblen, Spencer; Jones, Rafe; Madhu, Kalyani. The density of primes inorbits of z d +c. Int. Math. Res. Not. IMRN (2015), no. 7, [6] Hutz, Benjamin; Towsley, Adam. Misiurewicz points for polynomial maps and transversality. New York J. Math. 21 (2015), [7] P. Ingram, A finiteness result for post-critically finite polynomials, International Mathematics Research Notices 3 (2012), [8] Jones, R. (2008). The density of prime divisors in the arithmetic dynamics of quadratic polynomials. J. Lond. Math. Soc. (2) 78(2), [9] Holly Krieger. Primitive prime divisors in the critical orbit of z d + c. Int. Math. Res. Not. 2012; doi: /imrn/rns213. [10] Serge Lang. Algebraic Number Theory, volume 110 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, [11] G. Pastor, M. Romera, and F. Montoya. Misiurewicz points in onedimensional quadratic maps. Phys. A, 232(1-2):517535, [12] Joseph H. Silverman. The arithmetic of dynamical systems, volume 241 of Graduate Texts in Mathematics. Springer, New York, 2007.
Rigid Divisibility Sequences Generated by Polynomial Iteration
Rigid Divisibility Sequences Generated by Polynomial Iteration Brian Rice Nicholas Pippenger, Advisor Christopher Towse, Reader May, 2008 Department of Mathematics Copyright c 2008 Brian Rice. The author
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationIRREDUCIBILITY TESTS IN Q[T ]
IRREDUCIBILITY TESTS IN Q[T ] KEITH CONRAD 1. Introduction For a general field F there is no simple way to determine if an arbitrary polynomial in F [T ] is irreducible. Here we will focus on the case
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationArboreal Galois Representations
Carleton college November 9, 2014 UNC-Greensboro Outline I. (Dynamical) : introduction II. III. IV.. Arboreal Galois representations Let K be a number field with absolute Galois group G K. An arboreal
More informationSection VI.33. Finite Fields
VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,
More information#A9 INTEGERS 12 (2012) PRIMITIVE PRIME DIVISORS IN ZERO ORBITS OF POLYNOMIALS
#A9 INTEGERS 12 (2012) PRIMITIVE PRIME DIVISORS IN ZERO ORBITS OF POLYNOMIALS Kevin Doerksen Department of Mathematics, Simon Fraser University, Burnaby, BC, Canada kdoerkse@gmail.com Anna Haensch Department
More informationSection X.55. Cyclotomic Extensions
X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered
More informationON THE NUMBER OF PLACES OF CONVERGENCE FOR NEWTON S METHOD OVER NUMBER FIELDS
ON THE NUMBER OF PLACES OF CONVERGENCE FOR NEWTON S METHOD OVER NUMBER FIELDS XANDER FABER AND JOSÉ FELIPE VOLOCH Abstract. Let f be a polynomial of degree at least 2 with coefficients in a number field
More informationCHAPTER 10: POLYNOMIALS (DRAFT)
CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously
More informationArithmetic properties of periodic points of quadratic maps, II
ACTA ARITHMETICA LXXXVII.2 (1998) Arithmetic properties of periodic points of quadratic maps, II by Patrick Morton (Wellesley, Mass.) 1. Introduction. In this paper we prove that the quadratic map x f(x)
More informationSIMPLE RADICAL EXTENSIONS
SIMPLE RADICAL EXTENSIONS KEITH CONRAD 1. Introduction A field extension L/K is called simple radical if L = K(α) where α n = a for some n 1 and a K. Examples of simple radical extensions of Q are Q( 2),
More informationarxiv: v1 [math.nt] 28 Feb 2018
ON QUADRATIC CURVES OVER FINITE FIELDS VAGN LUNDSGAARD HANSEN AND ANDREAS AABRANDT arxiv:180.10486v1 [math.nt] 8 Feb 018 Abstract. The geometry of algebraic curves over finite fields is a rich area of
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationg(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.
6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral
More informationarxiv: v1 [math.nt] 3 Jun 2016
Absolute real root separation arxiv:1606.01131v1 [math.nt] 3 Jun 2016 Yann Bugeaud, Andrej Dujella, Tomislav Pejković, and Bruno Salvy Abstract While the separation(the minimal nonzero distance) between
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More informationA 4 -SEXTIC FIELDS WITH A POWER BASIS. Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams
A 4 -SEXTIC FIELDS WITH A POWER BASIS Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams Abstract. An infinite family of monogenic sextic fields with Galois group A 4 is exhibited. 1. Introduction.
More informationMath 210B: Algebra, Homework 6
Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :
More informationRUDIMENTARY GALOIS THEORY
RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationarxiv: v1 [math.ds] 27 Jan 2015
PREPERIODIC PORTRAITS FOR UNICRITICAL POLYNOMIALS JOHN R. DOYLE arxiv:1501.06821v1 [math.ds] 27 Jan 2015 Abstract. Let K be an algebraically closed field of characteristic zero, and for c K and an integer
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
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 informationSection IV.23. Factorizations of Polynomials over a Field
IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent
More informationCOUNTING SEPARABLE POLYNOMIALS IN Z/n[x]
COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationLecture 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 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationMATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION
MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0
More informationTHE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p
THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationA Note on Powers in Finite Fields
Downloaded from orbit.dtu.dk on: Jul 11, 2018 A Note on Powers in Finite Fields Aabrandt, Andreas; Hansen, Vagn Lundsgaard Published in: International Journal of Mathematical Education in Science and Technology
More informationSTRINGS OF CONSECUTIVE PRIMES IN FUNCTION FIELDS NOAM TANNER
STRINGS OF CONSECUTIVE PRIMES IN FUNCTION FIELDS NOAM TANNER Abstract In a recent paper, Thorne [5] proved the existence of arbitrarily long strings of consecutive primes in arithmetic progressions in
More informationThe p-adic Numbers. Akhil Mathew
The p-adic Numbers Akhil Mathew ABSTRACT These are notes for the presentation I am giving today, which itself is intended to conclude the independent study on algebraic number theory I took with Professor
More informationDONG 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
More informationx mv = 1, v v M K IxI v = 1,
18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source
More informationIRREDUCIBLES AND PRIMES IN COMPUTABLE INTEGRAL DOMAINS
IRREDUCIBLES AND PRIMES IN COMPUTABLE INTEGRAL DOMAINS LEIGH EVRON, JOSEPH R. MILETI, AND ETHAN RATLIFF-CRAIN Abstract. A computable ring is a ring equipped with mechanical procedure to add and multiply
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationHomework 9 Solutions to Selected Problems
Homework 9 Solutions to Selected Problems June 11, 2012 1 Chapter 17, Problem 12 Since x 2 + x + 4 has degree 2 and Z 11 is a eld, we may use Theorem 17.1 and show that f(x) is irreducible because it has
More informationGalois groups of polynomials and the construction of finite fields
Pure and Applied Mathematics Journal 01; 1(1) : 10-16 Published online December 0, 01 (http://wwwsciencepublishinggroupcom/j/pamj) doi: 1011648/jpamj0101011 Galois groups of polynomials and the construction
More informationThe p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti
The p-adic Numbers Akhil Mathew Math 155, Professor Alan Candiotti 4 May 2009 Akhil Mathew (Math 155, Professor Alan Candiotti) The p-adic Numbers 4 May 2009 1 / 17 The standard absolute value on R: A
More informationA 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
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS
ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationarxiv: v1 [math.nt] 8 Jan 2014
A NOTE ON p-adic VALUATIONS OF THE SCHENKER SUMS PIOTR MISKA arxiv:1401.1717v1 [math.nt] 8 Jan 2014 Abstract. A prime number p is called a Schenker prime if there exists such n N + that p nandp a n, wherea
More informationUNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY
UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationHILBERT l-class FIELD TOWERS OF. Hwanyup Jung
Korean J. Math. 20 (2012), No. 4, pp. 477 483 http://dx.doi.org/10.11568/kjm.2012.20.4.477 HILBERT l-class FIELD TOWERS OF IMAGINARY l-cyclic FUNCTION FIELDS Hwanyup Jung Abstract. In this paper we study
More informationMath 547, Exam 2 Information.
Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More informationGALOIS 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
More informationMATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6
MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,
More informationPolynomials. Chapter 4
Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationChapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups
Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationIntegral bases and monogenity of pure fields
arxiv:1809.10084v1 [math.nt] 26 Sep 2018 Integral bases and monogenity of pure fields István Gaál, and László Remete University of Debrecen, Mathematical Institute H 4002 Debrecen Pf.400., Hungary e mail:
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationRECOGNIZING GALOIS GROUPS S n AND A n
RECOGNIZING GALOIS GROUPS S n AND A n KEITH CONRAD 1. Introduction If f(x) K[X] is a separable irreducible polynomial of degree n and G f is its Galois group over K (the Galois group of the splitting field
More informationSECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C
p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationAbstract Algebra: Chapters 16 and 17
Study polynomials, their factorization, and the construction of fields. Chapter 16 Polynomial Rings Notation Let R be a commutative ring. The ring of polynomials over R in the indeterminate x is the set
More informationarxiv: v3 [math.nt] 15 Dec 2016
Lehmer s totient problem over F q [x] arxiv:1312.3107v3 [math.nt] 15 Dec 2016 Qingzhong Ji and Hourong Qin Department of Mathematics, Nanjing University, Nanjing 210093, P.R.China Abstract: In this paper,
More informationSPLITTING FIELDS AND PERIODS OF FIBONACCI SEQUENCES MODULO PRIMES
SPLITTING FIELDS AND PERIODS OF FIBONACCI SEQUENCES MODULO PRIMES SANJAI GUPTA, PAROUSIA ROCKSTROH, AND FRANCIS EDWARD SU 1. Introduction The Fibonacci sequence defined by F 0 = 0, F 1 = 1, F n+1 = F n
More informationAlgebraic proofs of Dirichlet s theorem on arithmetic progressions
Charles University in Prague Faculty of Mathematics and Physics BACHELOR THESIS Martin Čech Algebraic proofs of Dirichlet s theorem on arithmetic progressions Department of Algebra Supervisor of the bachelor
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More informationPrime Decomposition. Adam Gamzon. 1 Introduction
Prime Decomposition Adam Gamzon 1 Introduction Let K be a number field, let O K be its ring of integers, and let p Z be a prime. Since every prime of O K lies over a prime in Z, understanding how primes
More informationSOME FIFTH ROOTS THAT ARE CONSTRUCTIBLE BY MARKED RULER AND COMPASS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 3, 2016 SOME FIFTH ROOTS THAT ARE CONSTRUCTIBLE BY MARKED RULER AND COMPASS ELLIOT BENJAMIN AND C. SNYDER ABSTRACT. We show that there are cubic
More informationCAYLEY NUMBERS WITH ARBITRARILY MANY DISTINCT PRIME FACTORS arxiv: v1 [math.co] 17 Sep 2015
CAYLEY NUMBERS WITH ARBITRARILY MANY DISTINCT PRIME FACTORS arxiv:1509.05221v1 [math.co] 17 Sep 2015 TED DOBSON AND PABLO SPIGA Abstract. A positive integer n is a Cayley number if every vertex-transitive
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationDiscrete Math, Second Problem Set (June 24)
Discrete Math, Second Problem Set (June 24) REU 2003 Instructor: Laszlo Babai Scribe: D Jeremy Copeland 1 Number Theory Remark 11 For an arithmetic progression, a 0, a 1 = a 0 +d, a 2 = a 0 +2d, to have
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 informationPolynomials over UFD s
Polynomials over UFD s Let R be a UFD and let K be the field of fractions of R. Our goal is to compare arithmetic in the rings R[x] and K[x]. We introduce the following notion. Definition 1. A non-constant
More informationQUOTIENTS OF FIBONACCI NUMBERS
QUOTIENTS OF FIBONACCI NUMBERS STEPHAN RAMON GARCIA AND FLORIAN LUCA Abstract. There have been many articles in the Monthly on quotient sets over the years. We take a first step here into the p-adic setting,
More informationClassification of Finite Fields
Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.
More informationFebruary 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions
February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the
More informationarxiv: v1 [math.nt] 2 Jul 2009
About certain prime numbers Diana Savin Ovidius University, Constanţa, Romania arxiv:0907.0315v1 [math.nt] 2 Jul 2009 ABSTRACT We give a necessary condition for the existence of solutions of the Diophantine
More informationarxiv: v1 [math.gm] 12 Feb 2018
1. COMPLETE SETS arxiv:1802.05124v1 [math.gm] 12 Feb 2018 THEOPHILUS AGAMA Abstract. In this paper we introduce the concept of completeness of sets. We study this property on the set of integers. We examine
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationM381 Number Theory 2004 Page 1
M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +
More informationExample: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x)
Math 4010/5530 Factorization Theory January 2016 Let R be an integral domain. Recall that s, t R are called associates if they differ by a unit (i.e. there is some c R such that s = ct). Let R be a commutative
More information55 Separable Extensions
55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple
More informationFive peculiar theorems on simultaneous representation of primes by quadratic forms
Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More information1 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
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationDIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS
DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS GREG OMAN Abstract. Some time ago, Laszlo Fuchs asked the following question: which abelian groups can be realized as the multiplicative group of (nonzero elements
More information