DOCSLIB.ORG

— Number Fields —

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
— Number Fields — Part II | Number Fields | Year 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2021 73 Paper 1, Section II 20G Number Fields Let K = Q(α), where α3 = 5α 8. − (a) Show that [K : Q] = 3. (b) Let β = (α + α2)/2. By considering the matrix of β acting on K by multiplication, or otherwise, show that β is an algebraic integer, and that (1, α, β) is 3 a Z-basis for K .[The discriminant of T 5T + 8 is 4 307, and 307 is prime.] O − − · (c) Compute the prime factorisation of the ideal (3) in . Is (2) a prime ideal of OK ? Justify your answer. OK Paper 2, Section II 20G Number Fields Let K be a field containing Q. What does it mean to say that an element of K is algebraic? Show that if α K is algebraic and non-zero, then there exists β Z[α] such ∈ ∈ that αβ is a non-zero (rational) integer. Now let K be a number field, with ring of integers . Let R be a subring of OK OK whose field of fractions equals K. Show that every element of K can be written as r/m, where r R and m is a positive integer. ∈ Prove that R is a free abelian group of rank [K : Q], and that R has finite index in . Show also that for every nonzero ideal I of R, the index (R : I) of I in R is finite, OK and that for some positive integer m, m is an ideal of R. OK Suppose that for every pair of non-zero ideals I, J R, we have ⊂ (R : IJ) = (R : I)(R : J) . Show that R = . OK [You may assume without proof that K is a free abelian group of rank [K : Q]. ] O Part II, 2021 List of Questions [TURN OVER] 2021 74 Paper 4, Section II 20G Number Fields (a) Compute the class group of K = Q(√30). Find also the fundamental unit of K, stating clearly any general results you use. [The Minkowski bound for a real quadratic field is d 1/2/2. ] | K | (b) Let K = Q(√d) be real quadratic, with embeddings σ1, σ2 , R. An element → α K is totally positive if σ (α) > 0 and σ (α) > 0. Show that the totally positive ∈ 1 2 elements of K form a subgroup of the multiplicative group K∗ of index 4. Let I, J be non-zero ideals. We say that I is narrowly equivalent to J if ⊂ OK there exists a totally positive element α of K such that I = αJ. Show that this is an equivalence relation, and that the equivalence classes form a group under multiplication. Show also that the order of this group equals the class number h of K if the fundamental unit of K has norm 1, K − (2hK otherwise. Part II, 2021 List of Questions 2020 67 Paper 1, Section II 20G Number Fields State Minkowski’s theorem. Let K = Q(√ d), where d is a square-free positive integer, not congruent to 3 − (mod 4). Show that every nonzero ideal I contains an element α with ⊂ OK 4√d 0 < N (α) N(I). K/Q 6 π Deduce the finiteness of the class group of K . Compute the class group of Q(√ 22). Hence show that the equation y3 = x2 + 22 − has no integer solutions. Paper 2, Section II 20G Number Fields (a) Let K be a number field of degree n. Define the discriminant disc(α1, . , αn) of an n-tuple of elements αi of K, and show that it is nonzero if and only if α1, . , αn is a Q-basis for K. (b) Let K = Q(α) where α has minimal polynomial n 1 n − j T + ajT , aj Z ∈ Xj=0 and assume that p is a prime such that, for every j, a 0 (mod p), but a 0 (mod p2). j ≡ 0 6≡ (i) Show that P = (p, α) is a prime ideal, that P n = (p) and that α / P 2. [Do not ∈ assume that K = Z[α].] O (ii) Show that the index of Z[α] in K is prime to p. O 3 (iii) If K = Q(α) with α + 3α + 3 = 0, show that K = Z[α]. [You may assume O without proof that the discriminant of T 3 + aT + b is 4a3 27b2.] − − Paper 4, Section II 20G Number Fields Let K be a number field of degree n, and let σi : K, C be the set of complex { → } embeddings of K. Show that if α satisfies σ (α) = 1 for every i, then α is a root ∈ OK | i | of unity. Prove also that there exists c > 1 such that if α and σ (α) < c for all i, ∈ OK | i | then α is a root of unity. State Dirichlet’s Unit theorem. Let K R be a real quadratic field. Assuming Dirichlet’s Unit theorem, show that ⊂ the set of units of K which are greater than 1 has a smallest element , and that the group of units of K is then n n Z . Determine for Q(√11), justifying your result. [If {± | ∈ } you use the continued fraction algorithm, you must prove it in full.] Part II, 2020 List of Questions [TURN OVER] 2019 68 Paper 4, Section II 20G Number Fields (a) Let L be a number field, and suppose there exists α L such that L = Z[α]. ∈ O O Let f(X) Z[X] denote the minimal polynomial of α, and let p be a prime. Let ∈ f(X) (Z/pZ)[X] denote the reduction modulo p of f(X), and let ∈ f(X)= g (X)e1 g (X)er 1 · · · r denote the factorisation of f(X) in (Z/pZ)[X] as a product of powers of distinct monic irreducible polynomials g1(X),..., gr(X), where e1,...,er are all positive integers. For each i = 1, . , r, let gi(X) Z[X] be any polynomial with reduction modulo p ∈ equal to g (X), and let P = (p, g (α)) . Show that P ,...,P are distinct, non-zero i i i ⊂ OL 1 r prime ideals of , and that there is a factorisation OL p = P e1 P er , OL 1 · · · r deg g (X) and that N(Pi)= p i . (b) Let K be a number field of degree n = [K : Q], and let p be a prime. Suppose that there is a factorisation p = Q Q , OK 1 · · · s where Q ,...,Q are distinct, non-zero prime ideals of with N(Q ) = p for each i = 1 s OK i 1,...,s. Use the result of part (a) to show that if n>p then there is no α such that ∈ OK K = Z[α]. O Paper 2, Section II 20G Number Fields (a) Let L be a number field. State Minkowski’s upper bound for the norm of a representative for a given class of the ideal class group Cl( ). OL (b) Now let K = Q(√ 47) and ω = 1 (1 + √ 47). Using Dedekind’s criterion, or − 2 − otherwise, factorise the ideals (ω) and (2+ ω) as products of non-zero prime ideals of . OK (c) Show that Cl( ) is cyclic, and determine its order. OK [You may assume that K = Z[ω].] O Part II, 2019 List of Questions 2019 69 Paper 1, Section II 20G Number Fields Let K = Q(√2). (a) Write down the ring of integers . OK (b) State Dirichlet’s unit theorem, and use it to determine all elements of the group of units × . OK (c) Let P denote the ideal generated by 3 + √2. Show that the group ⊂ OK G = α × α 1 mod P { ∈ OK | ≡ } is cyclic, and find a generator. Part II, 2019 List of Questions [TURN OVER 2018 67 Paper 2, Section II 20G Number Fields Let p 1 mod 4 be a prime, and let ω = e2πi/p. Let L = Q(ω). ≡ (a) Show that [L : Q]= p 1. − 2 p 2 (b) Calculate disc(1,ω,ω ,...,ω − ). Deduce that √p L. ∈ a 1 √5 b (c) Now suppose p = 5. Prove that × = ω ( + ) a, b Z . [You may use OL {± 2 2 | ∈ } any general result without proof, provided that you state it precisely.] Paper 4, Section II 20G Number Fields Let m 2 be a square-free integer, and let n 2 be an integer. Let L = Q( √n m). (a) By considering the factorisation of (m) into prime ideals, show that [L : Q]= n. (b) Let T : L L Q be the bilinear form defined by T (x,y) = trL/Q(xy). Let n i × → βi = √m , i = 0,...,n 1. Calculate the dual basis β0∗,...,βn∗ 1 of L with respect to T , −1 n − and deduce that L Z[ √m ]. O ⊂ nm p (c) Show that if p is a prime and n = m = p, then L = Z[√p ]. O Paper 1, Section II 20G Number Fields (a) Let m 2 be an integer such that p = 4m 1 is prime. Suppose that the ideal − class group of L = Q(√ p) is trivial. Show that if n 0 is an integer and n2 +n+m<m2, − then n2 + n + m is prime. (b) Show that the ideal class group of Q(√ 163) is trivial. − Part II, 2018 List of Questions [TURN OVER 2017 68 Paper 2, Section II 18H Number Fields (a) Let L be a number field, the ring of integers in L, the units in , r the OL OL∗ OL number of real embeddings of L, and s the number of pairs of complex embeddings of L.
Load more

Recommended publications
  • Local-Global Methods in Algebraic Number Theory
    LOCAL-GLOBAL METHODS IN ALGEBRAIC NUMBER THEORY ZACHARY KIRSCHE Abstract. This paper seeks to develop the key ideas behind some local-global methods in algebraic number theory. To this end, we first develop the theory of local fields associated to an algebraic number field. We then describe the Hilbert reciprocity law and show how it can be used to develop a proof of the classical Hasse-Minkowski theorem about quadratic forms over algebraic number fields. We also discuss the ramification theory of places and develop the theory of quaternion algebras to show how local-global methods can also be applied in this case. Contents 1. Local fields 1 1.1. Absolute values and completions 2 1.2. Classifying absolute values 3 1.3. Global fields 4 2. The p-adic numbers 5 2.1. The Chevalley-Warning theorem 5 2.2. The p-adic integers 6 2.3. Hensel's lemma 7 3. The Hasse-Minkowski theorem 8 3.1. The Hilbert symbol 8 3.2. The Hasse-Minkowski theorem 9 3.3. Applications and further results 9 4. Other local-global principles 10 4.1. The ramification theory of places 10 4.2. Quaternion algebras 12 Acknowledgments 13 References 13 1. Local fields In this section, we will develop the theory of local fields. We will first introduce local fields in the special case of algebraic number fields. This special case will be the main focus of the remainder of the paper, though at the end of this section we will include some remarks about more general global fields and connections to algebraic geometry.
    [Show full text]
  • Algebraic Number Theory
    Algebraic Number Theory William B. Hart Warwick Mathematics Institute Abstract. We give a short introduction to algebraic number theory. Algebraic number theory is the study of extension fields Q(α1; α2; : : : ; αn) of the rational numbers, known as algebraic number fields (sometimes number fields for short), in which each of the adjoined complex numbers αi is algebraic, i.e. the root of a polynomial with rational coefficients. Throughout this set of notes we use the notation Z[α1; α2; : : : ; αn] to denote the ring generated by the values αi. It is the smallest ring containing the integers Z and each of the αi. It can be described as the ring of all polynomial expressions in the αi with integer coefficients, i.e. the ring of all expressions built up from elements of Z and the complex numbers αi by finitely many applications of the arithmetic operations of addition and multiplication. The notation Q(α1; α2; : : : ; αn) denotes the field of all quotients of elements of Z[α1; α2; : : : ; αn] with nonzero denominator, i.e. the field of rational functions in the αi, with rational coefficients. It is the smallest field containing the rational numbers Q and all of the αi. It can be thought of as the field of all expressions built up from elements of Z and the numbers αi by finitely many applications of the arithmetic operations of addition, multiplication and division (excepting of course, divide by zero). 1 Algebraic numbers and integers A number α 2 C is called algebraic if it is the root of a monic polynomial n n−1 n−2 f(x) = x + an−1x + an−2x + ::: + a1x + a0 = 0 with rational coefficients ai.
    [Show full text]
  • Class Group Computations in Number Fields and Applications to Cryptology Alexandre Gélin
    Class group computations in number fields and applications to cryptology Alexandre Gélin To cite this version: Alexandre Gélin. Class group computations in number fields and applications to cryptology. Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2017. English. NNT : 2017PA066398. tel-01696470v2 HAL Id: tel-01696470 https://tel.archives-ouvertes.fr/tel-01696470v2 Submitted on 29 Mar 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THÈSE DE DOCTORAT DE L’UNIVERSITÉ PIERRE ET MARIE CURIE Spécialité Informatique École Doctorale Informatique, Télécommunications et Électronique (Paris) Présentée par Alexandre GÉLIN Pour obtenir le grade de DOCTEUR de l’UNIVERSITÉ PIERRE ET MARIE CURIE Calcul de Groupes de Classes d’un Corps de Nombres et Applications à la Cryptologie Thèse dirigée par Antoine JOUX et Arjen LENSTRA soutenue le vendredi 22 septembre 2017 après avis des rapporteurs : M. Andreas ENGE Directeur de Recherche, Inria Bordeaux-Sud-Ouest & IMB M. Claus FIEKER Professeur, Université de Kaiserslautern devant le jury composé de : M. Karim BELABAS Professeur, Université de Bordeaux M. Andreas ENGE Directeur de Recherche, Inria Bordeaux-Sud-Ouest & IMB M. Claus FIEKER Professeur, Université de Kaiserslautern M.
    [Show full text]
  • 6 Ideal Norms and the Dedekind-Kummer Theorem
    18.785 Number theory I Fall 2017 Lecture #6 09/25/2017 6 Ideal norms and the Dedekind-Kummer theorem In order to better understand how ideals split in Dedekind extensions we want to extend our definition of the norm map to ideals. Recall that for a ring extension B=A in which B is a free A-module of finite rank, we defined the norm map NB=A : B ! A as ×b NB=A(b) := det(B −! B); the determinant of the multiplication-by-b map with respect to an A-basis for B. If B is a free A-module we could define the norm of a B-ideal to be the A-ideal generated by the norms of its elements, but in the case we are most interested in (our \AKLB" setup) B is typically not a free A-module (even though it is finitely generated as an A-module). To get around this limitation, we introduce the notion of the module index, which we will use to define the norm of an ideal. In the special case where B is a free A-module, the norm of a B-ideal will be equal to the A-ideal generated by the norms of elements. 6.1 The module index Our strategy is to define the norm of a B-ideal as the intersection of the norms of its localizations at maximal ideals of A (note that B is an A-module, so we can view any ideal of B as an A-module). Recall that by Proposition 2.6 any A-module M in a K-vector space is equal to the intersection of its localizations at primes of A; this applies, in particular, to ideals (and fractional ideals) of A and B.
    [Show full text]
  • Algebraic Number Theory Summary of Notes
    Algebraic Number Theory summary of notes Robin Chapman 3 May 2000, revised 28 March 2004, corrected 4 January 2005 This is a summary of the 1999–2000 course on algebraic number the- ory. Proofs will generally be sketched rather than presented in detail. Also, examples will be very thin on the ground. I first learnt algebraic number theory from Stewart and Tall’s textbook Algebraic Number Theory (Chapman & Hall, 1979) (latest edition retitled Algebraic Number Theory and Fermat’s Last Theorem (A. K. Peters, 2002)) and these notes owe much to this book. I am indebted to Artur Costa Steiner for pointing out an error in an earlier version. 1 Algebraic numbers and integers We say that α ∈ C is an algebraic number if f(α) = 0 for some monic polynomial f ∈ Q[X]. We say that β ∈ C is an algebraic integer if g(α) = 0 for some monic polynomial g ∈ Z[X]. We let A and B denote the sets of algebraic numbers and algebraic integers respectively. Clearly B ⊆ A, Z ⊆ B and Q ⊆ A. Lemma 1.1 Let α ∈ A. Then there is β ∈ B and a nonzero m ∈ Z with α = β/m. Proof There is a monic polynomial f ∈ Q[X] with f(α) = 0. Let m be the product of the denominators of the coefficients of f. Then g = mf ∈ Z[X]. Pn j Write g = j=0 ajX . Then an = m. Now n n−1 X n−1+j j h(X) = m g(X/m) = m ajX j=0 1 is monic with integer coefficients (the only slightly problematical coefficient n −1 n−1 is that of X which equals m Am = 1).
    [Show full text]
  • Cah˙It Arf's Contribution to Algebraic Number Theory
    Tr. J. of Mathematics 22 (1998) , 1 – 14. c TUB¨ ITAK˙ CAHIT˙ ARF’S CONTRIBUTION TO ALGEBRAIC NUMBER THEORY AND RELATED FIELDS by Masatoshi G. Ikeda∗ Dedicated to the memory of Professor Cahit ARF 1. Introduction Since 1939 Cahit Arf has published number of papers on various subjects in Pure Mathematics. In this note I shall try to give a brief survey of his works in Algebraic Number Theory and related fields. The papers covered in this survey are: two papers on the structure of local fields ([1], [5]), a paper on the Riemann-Roch theorem for algebraic number fields ([6]), two papers on quadratic forms ([2], [3]), and a paper on multiplicity sequences of algebraic braches ([4]). The number of the papers cited above is rather few, but the results obtained in these papers as well as his ideas and methods developed in them constitute really essential contributions to the fields. I am firmly convinced that these papers still contain many valuable suggestions and hidden possibilities for further investigations on these subjects. I believe, it is the task of Turkish mathematicians working in these fields to undertake and continue further study along the lines developed by Cahit Arf who doubtless is the most gifted mathematician Turkey ever had. In doing this survey, I did not follow the chronological order of the publications, but rather divided them into four groups according to the subjects: Structure of local fields, Riemann-Roch theorem for algebraic number fields, quadratic forms, and multiplicity sequences of algebraic braches. My aim is not to reproduce every technical detail of Cahit Arf’s works, but to make his idea in each work as clear as possible, and at the same time to locate them in the main stream of Mathematics.
    [Show full text]
  • Valuation Theory Algebraic Number Fields: Let Α Be an Algebraic Number
    Valuation Theory Algebraic number fields: Let α be an algebraic number with degree n and let P be the minimal polynomial for α (the minimal polynomial P n for α is the unique polynomial P = a0x + ··· + an with a0 > 0 and that a0, . , an are integers and are relatively prime). By the conjugate of α, we mean the zeros α1, . , αn of P . The algebraic number field k generated by α over the rational Q is defined the set of numbers Q(α) where Q(x) is a any polynomial with rational coefficinets; the set can be regarded as being embedded in the complex number field C and thus the elements are subject to the usual operations of addition and multiplication. To see k is actually a field, let P be the minimal polynomial for α, then P, Q are relative prime, so PS + QR = 1, then R(α) = 1/Q(α). The field has degree n over Q, and one denote [k : Q] = n.A number field is a finite extension of the field of rational numbers. Algebraic integers: An algebraic number is said to be an algebraic integer if the coefficient of the highesy power of x in the minimal polynomial P is 1. The algebraic integers in an algebraic number field form a ring R. The ring has an integral basis, that is, there exist elements ω1, . , ωn in R such that every element in R can be expressed uniquely in the form u1ω1 + ··· + unωn for some rational integers u1, . , un. UFD: One calls R is UFD if every element of R can be expressed uniquely as a product of irreducible elements.
    [Show full text]
  • NORM GROUPS with TAME RAMIFICATION 11 Is a Homomorphism, Which Is Equivalent to the first Equation of Bimultiplicativity (The Other Follows by Symmetry)
    LECTURE 3 Norm Groups with Tame Ramification Let K be a field with char(K) 6= 2. Then × × 2 K =(K ) ' fcontinuous homomorphisms Gal(K) ! Z=2Zg ' fdegree 2 étale algebras over Kg which is dual to our original statement in Claim 1.8 (this result is a baby instance of Kummer theory). Npo te that an étale algebra over K is either K × K or a quadratic extension K( d)=K; the former corresponds to the trivial coset of squares in K×=(K×)2, and the latter to the coset defined by d 2 K× . If K is local, then lcft says that Galab(K) ' Kd× canonically. Combined (as such homomorphisms certainly factor through Galab(K)), we obtain that K×=(K×)2 is finite and canonically self-dual. This is equivalent to asserting that there exists a “suÿciently nice” pairing (·; ·): K×=(K×)2 × K×=(K×)2 ! f1; −1g; that is, one which is bimultiplicative, satisfying (a; bc) = (a; b)(a; c); (ab; c) = (a; c)(b; c); and non-degenerate, satisfying the condition if (a; b) = 1 for all b; then a 2 (K×)2 : We were able to give an easy definition of this pairing, namely, (a; b) = 1 () ax2 + by2 = 1 has a solution in K: Note that it is clear from this definition that (a; b) = (b; a), but unfortunately neither bimultiplicativity nor non-degeneracy is obvious, though we will prove that they hold in this lecture in many cases. We have shown in Claim 2.11 that a less symmetric definition of the Hilbert symbol holds, namely that for all a, p (a; b) = 1 () b is a norm in K( a)=K = K[t]=(t2 − a); which if a is a square, is simply isomorphic to K × K and everything is a norm.
    [Show full text]
  • Electromagnetic Time Reversal Electromagnetic Time Reversal
    Electromagnetic Time Reversal Electromagnetic Time Reversal Application to Electromagnetic Compatibility and Power Systems Edited by Farhad Rachidi Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland Marcos Rubinstein University of Applied Sciences of Western Switzerland, Yverdon, Switzerland Mario Paolone Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland This edition first published 2017 © 2017 John Wiley & Sons, Ltd All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by law. Advice on how to obtain permission to reuse material from this title is available at http://www.wiley.com/go/permissions. The right of Farhad Rachidi, Marcos Rubinstein, and Mario Paolone to be identified asthe authors of the editorial material in this work has been asserted in accordance with law. Registered Offices John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, USA John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK Editorial Office The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK For details of our global editorial offices, customer services, and more information about Wiley products visit us at www.wiley.com. Wiley also publishes its books in a variety of electronic formats and by print-on-demand. Some content that appears in standard print versions of this book may not be available in other formats. Limit of Liability/Disclaimer of Warranty The publisher and the authors make no representations or warranties with respect tothe accuracy or completeness of the contents of this work and specifically disclaim all warranties, including without limitation any implied warranties of fitness for a particular purpose.
    [Show full text]
  • Algorithms in Algebraic Number Theory
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICALSOCIETY Volume 26, Number 2, April 1992 ALGORITHMS IN ALGEBRAIC NUMBER THEORY H. W. LENSTRA, JR. Abstract. In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has been done and, more importantly, what remains to be done in the area. We hope to show that the study of algorithms not only increases our understanding of algebraic number fields but also stimulates our curiosity about them. The discussion is concentrated of three topics: the determination of Galois groups, the determination of the ring of integers of an algebraic number field, and the computation of the group of units and the class group of that ring of integers. 1. Introduction The main interest of algorithms in algebraic number theory is that they pro- vide number theorists with a means of satisfying their professional curiosity. The praise of numerical experimentation in number theoretic research is as widely sung as purely numerological investigations are indulged in, and for both activities good algorithms are indispensable. What makes an algorithm good unfortunately defies definition—too many extra-mathematical factors af- fect its practical performance, such as the skill of the person responsible for its execution and the characteristics of the machine that may be used. The present paper addresses itself not to the researcher who is looking for a collection of well-tested computational methods for use on his recently acquired personal computer.
    [Show full text]
  • Ideals and Class Groups of Number Fields
    Ideals and class groups of number fields A thesis submitted To Kent State University in partial Fulfillment of the requirements for the Degree of Master of Science by Minjiao Yang August, 2018 ○C Copyright All rights reserved Except for previously published materials Thesis written by Minjiao Yang B.S., Kent State University, 2015 M.S., Kent State University, 2018 Approved by Gang Yu , Advisor Andrew Tonge , Chair, Department of Mathematics Science James L. Blank , Dean, College of Arts and Science TABLE OF CONTENTS…………………………………………………………...….…...iii ACKNOWLEDGEMENTS…………………………………………………………....…...iv CHAPTER I. Introduction…………………………………………………………………......1 II. Algebraic Numbers and Integers……………………………………………......3 III. Rings of Integers…………………………………………………………….......9 Some basic properties…………………………………………………………...9 Factorization of algebraic integers and the unit group………………….……....13 Quadratic integers……………………………………………………………….17 IV. Ideals……..………………………………………………………………….......21 A review of ideals of commutative……………………………………………...21 Ideal theory of integer ring 풪푘…………………………………………………..22 V. Ideal class group and class number………………………………………….......28 Finiteness of 퐶푙푘………………………………………………………………....29 The Minkowski bound…………………………………………………………...32 Further remarks…………………………………………………………………..34 BIBLIOGRAPHY…………………………………………………………….………….......36 iii ACKNOWLEDGEMENTS I want to thank my advisor Dr. Gang Yu who has been very supportive, patient and encouraging throughout this tremendous and enchanting experience. Also, I want to thank my thesis committee members Dr. Ulrike Vorhauer and Dr. Stephen Gagola who help me correct mistakes I made in my thesis and provided many helpful advices. iv Chapter 1. Introduction Algebraic number theory is a branch of number theory which leads the way in the world of mathematics. It uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Concepts and results in algebraic number theory are very important in learning mathematics.
    [Show full text]
  • Some Aspects of Semirings
    Appendix A Some Aspects of Semirings Semirings considered as a common generalization of associative rings and dis- tributive lattices provide important tools in different branches of computer science. Hence structural results on semirings are interesting and are a basic concept. Semi- rings appear in different mathematical areas, such as ideals of a ring, as positive cones of partially ordered rings and fields, vector bundles, in the context of topolog- ical considerations and in the foundation of arithmetic etc. In this appendix some algebraic concepts are introduced in order to generalize the corresponding concepts of semirings N of non-negative integers and their algebraic theory is discussed. A.1 Introductory Concepts H.S. Vandiver gave the first formal definition of a semiring and developed the the- ory of a special class of semirings in 1934. A semiring S is defined as an algebra (S, +, ·) such that (S, +) and (S, ·) are semigroups connected by a(b+c) = ab+ac and (b+c)a = ba+ca for all a,b,c ∈ S.ThesetN of all non-negative integers with usual addition and multiplication of integers is an example of a semiring, called the semiring of non-negative integers. A semiring S may have an additive zero ◦ defined by ◦+a = a +◦=a for all a ∈ S or a multiplicative zero 0 defined by 0a = a0 = 0 for all a ∈ S. S may contain both ◦ and 0 but they may not coincide. Consider the semiring (N, +, ·), where N is the set of all non-negative integers; a + b ={lcm of a and b, when a = 0,b= 0}; = 0, otherwise; and a · b = usual product of a and b.
    [Show full text]