{"http:\/\/dx.doi.org\/10.14288\/1.0305048":{"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool":[{"value":"Irving K. Barber School of Arts and Sciences (Okanagan)","type":"literal","lang":"en"},{"value":"Computer Science, Mathematics, Physics and Statistics, Department of (Okanagan)","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider":[{"value":"DSpace","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeCampus":[{"value":"UBCO","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/creator":[{"value":"Yoo, Jeewon","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/issued":[{"value":"2016-06-20T19:56:34Z","type":"literal","lang":"*"},{"value":"2016","type":"literal","lang":"en"}],"http:\/\/vivoweb.org\/ontology\/core#relatedDegree":[{"value":"Master of Science - MSc","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeGrantor":[{"value":"University of British Columbia","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/description":[{"value":"Determining whether a number field admits a power integral basis is a classical problem in algebraic number theory. It is well known that every quadratic number field is monogenic, that is they admit power bases. However, when we talk about cubic or higher degree number fields we may discover fields without power integral bases. In 1878, Dedekind gave the first example of a cubic field without a power integral basis. It is known that a number field is monogenic if and only if the minimal index is one. In 1937, Hall proved that the minimal index of pure cubic fields can be arbitrarily large. We extend this result by showing that the minimal index of a family of infinitely many pure cubic fields have an element of index n but no element of index less than n for a positive integer n.","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO":[{"value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/58308?expand=metadata","type":"literal","lang":"en"}],"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note":[{"value":"Minimal Indices of Pure Cubic FieldsbyJeewon YooB.Sc., The University of British Columbia, 2014A THESIS SUBMITTED IN PARTIAL FULFILLMENTOF THE REQUIREMENTS FOR THE DEGREE OFMaster of ScienceinTHE COLLEGE OF GRADUATE STUDIES(Mathematics)The University of British Columbia(Okanagan)May 2016c\u00a9 Jeewon Yoo, 2016 The undersigned certify that they have read, and recommend to the College of Graduate Studies for acceptance, a thesis entitled: Minimal Indices of Pure Cubic Fields submitted by Jeewon Yoo in partial fulfilment of the requirements of the degree of Master of Science in Mathematics. Blair Spearman, Faculty of Mathematics, UBC Supervisor, Professor (please print name and faculty\/school above the line) Qiduan Yang, Faculty of Mathematics, UBC Supervisory Committee Member, Professor (please print name and faculty\/school in the line above) Edward Butz, Faculty of Mathematics, UBC Supervisory Committee Member, Professor (please print name and faculty\/school in the line above) Jim Robinson, Faculty of Philosophy, UBC University Examiner, Professor (please print name and faculty\/school in the line above) Bernard Bauer, Faculty of Earth and Environmental Sciences, UBC External Examiner, Professor (please print name and university in the line above) May 26, 2016 (Date Submitted to Grad Studies) ii AbstractDetermining whether a number field admits a power integral basis is a classicalproblem in algebraic number theory. It is well known that every quadratic numberfield is monogenic, that is they admit power bases. However, when we talk aboutcubic or higher degree number fields we may discover fields without power integralbases. In 1878, Dedekind gave the first example of a cubic field without a powerintegral basis. It is known that a number field is monogenic if and only if theminimal index is one. In 1937, Hall proved that the minimal index of pure cubicfields can be arbitrarily large. We extend this result by showing that the minimalindex of a family of infinitely many pure cubic fields have an element of index nbut no element of index less than n for a positive integer n.iiiPrefaceThe main result in this thesis is written in the paper [16] accepted on August 30,2015. All authors of [16] contributed equally.ivContentsAbstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiiPreface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ivContents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vList of Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viiList of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viiiList of Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ixAcknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x1 Introduction and Historical Remarks . . . . . . . . . . . . . . . . . 12 Number Theory Preliminaries . . . . . . . . . . . . . . . . . . . . . 32.1 Elementary Number Theory . . . . . . . . . . . . . . . . . . . . 32.2 Abstract Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . 82.2.1 Group Theory . . . . . . . . . . . . . . . . . . . . . . . . 82.2.2 Ring Theory and Fields . . . . . . . . . . . . . . . . . . . 153 Algebraic Number Theory . . . . . . . . . . . . . . . . . . . . . . . 173.1 Algebraic Number Fields . . . . . . . . . . . . . . . . . . . . . . 173.2 The Set OK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213.3 Discriminants . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22v3.4 Integral Basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233.5 Index Forms and Minimal Indices . . . . . . . . . . . . . . . . . 314 Galois Groups and Chebotarev Density Theorem . . . . . . . . . . . 364.1 Galois Groups of Cubics . . . . . . . . . . . . . . . . . . . . . . 364.2 The Chebotarev Density Theorem . . . . . . . . . . . . . . . . . 455 Minimal Indices in Pure Cubic Fields . . . . . . . . . . . . . . . . . 525.1 Pure Cubic Fields . . . . . . . . . . . . . . . . . . . . . . . . . . 525.2 Computing Index Forms . . . . . . . . . . . . . . . . . . . . . . 555.3 Hall\u2019s Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 585.4 Main Result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606 Conclusion and Future Work . . . . . . . . . . . . . . . . . . . . . . 666.1 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 666.2 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70viList of TablesTable 2.1 The values of \u03c6(n) for 1\u2264 n\u2264 12 . . . . . . . . . . . . . . . . 5Table 2.2 The cubic residues mod 11 . . . . . . . . . . . . . . . . . . . 6Table 2.3 The cubic residues mod 13 . . . . . . . . . . . . . . . . . . . 6Table 2.4 C2 : a set of cubic non-residues mod 13 . . . . . . . . . . . . . 7Table 2.5 C3 : a set of cubic non-residues mod 13 . . . . . . . . . . . . . 7Table 2.6 Group table for Z3 under addition . . . . . . . . . . . . . . . . 8Table 2.7 Elements of S3 . . . . . . . . . . . . . . . . . . . . . . . . . . 11Table 2.8 Group table for S3 . . . . . . . . . . . . . . . . . . . . . . . . 12Table 3.1 Computing Integral Bases . . . . . . . . . . . . . . . . . . . . 26Table 3.2 Examining \u03b1\u2217 \u2208 OK . . . . . . . . . . . . . . . . . . . . . . . 28Table 3.3 Examining \u03b8 \u2217 \u2208 OK . . . . . . . . . . . . . . . . . . . . . . . 29Table 3.4 Examining \u03b8 \u2217 \u2208 OK . . . . . . . . . . . . . . . . . . . . . . . 30Table 4.1 The elements in the Galois group of S3 . . . . . . . . . . . . . 43Table 4.2 Cycle types in S3 . . . . . . . . . . . . . . . . . . . . . . . . . 46Table 4.3 Polynomial factorization over Fp . . . . . . . . . . . . . . . . 46Table 4.4 Cycle types in D4 . . . . . . . . . . . . . . . . . . . . . . . . 48Table 4.5 Polynomial factorization over Qp . . . . . . . . . . . . . . . . 48viiList of FiguresFigure 2.1 The lattice of subgroups diagram of S3 . . . . . . . . . . . . . 13Figure 4.1 The lattice of subfields diagram of Q(\u03b1,\u03c9) :Q . . . . . . . . 44Figure 4.2 The lattice of subgroups diagram of Gal(Q(\u03b1,\u03c9) :Q) . . . . 44viiiList of SymbolsN Set of natural numbersZ Set of integersQ Field of rational numbersR Field of real numbersC Field of complex numbers\u03c6(n) Euler \u03c6 functionSn Symmetric group of order nZ+Zi Set of Gaussian integersZ[x] Set of polynomials with integer coefficientsQ[x] Set of polynomials with rational coefficients\u3008 f (x)\u3009 Ideal generated by the polynomial f (x)[K :Q] Degree of K over Qdisc( f (x)) Discriminant of the polynomial f (x)D(\u03b1) Discriminant of the element \u03b1 in an algebraic number fieldd(K) Field discriminantN(\u03b1) Norm of the element \u03b1 in an algebraic number field KTr(\u03b1) Trace of the element \u03b1 in an algebraic number field Kind\u03b1 The index of an element \u03b1i(K) Index of an algebraic number field Km(K) Minimal index of an algebraic number field KGal(K :Q) Galois group of K over QGal( f (x)) Galois group of the polynomial f (x)ixAcknowledgmentsI am a blessed one to meet my supervisor Dr. Blair Spearman. Without his support,I would not be able to accomplish this work and complete my graduate studies as aMaster\u2019s student. Thanks for replying to my email and arranged a meeting with mefour years ago when I was afraid of taking first step towards a mathematics student.My life changed gradually since our very first meeting.Thanks to Dr. Qiduan Yang for teaching me the core courses that are indispens-able to this achievement. I really appreciate your valuable comments and advicesthroughout my studies.Thanks to my colleagues Chad Davies, Lindsey Reinholz, and Paul Lee forhelping me throughout my undergraduate and graduate life. Your advices and ex-periences became a valuable model to follow.Thanks to Cindy Bourne, the manger in the Math and Science Centre, for giv-ing me opportunities to work as a tutor and as a SL leader. I learned the respon-sibility as a member of an organization and as a leader of students. Thanks forproofreading this paper.Also, I would like to thank Mr. and Mrs. Mitsouras for treating me as yourreal grandchild although I am from totally different nation. Your life experiencesand advices helped me a lot when I was left all alone in Canada since when I wasa young kid.xLastly, I would like to give a special thanks to my parents and my sister for theendless support and love.xiChapter 1Introduction and HistoricalRemarksThree positive integers a,b, and c do not satisfy the equationan+bn = cn for any integer value of n greater than two.\u2014 Pierre de Fermat (1637)Algebraic number theory has been widely studied since 500 BC when the Pythagoreantheorem was first introduced. It was developed in two different ways. One for theFermat equations, and the other for class field theory. In either way, we have thesame purpose: solving Diophantine equations. A Diophantine equation (named af-ter Diophantus of Alexandria) is a polynomial equation in two or more unknowns,such that only the integer solutions are studied. One of the easiest Diophantineequations we have isX2+Y 2 = Z2which is related to the Pythagorean theorem. Infinitely many integral solutionshave been found for this equation such as(3,4,5),(5,12,13),(8,15,17), ...which we call them Pythagorean triples. One of the most famous and interesting1Diophantine equations in the history of mathematics isxn+ yn = znwhere n is a positive integer. Pierre de Fermat claimed that there are no integralsolutions to the Diophantine equation above when n \u2265 3. This is called the \u201cFer-mat\u2019s Last Theorem.\u201d This theorem was first conjectured in 1637. Fermat claimedthat he had a proof, but he did not show it to the public. This problem was left un-solved for more than 350 years until the first successful proof was released in 1994by Andrew Wiles. Hence Fermat\u2019s Last Theorem shows that solving a Diophan-tine equation can be extremely difficult. The best possible situation for solvingDiophantine equations is when we work over a unique factorization domain. Thecomplexity of calculation is simpler than the equations without unique factoriza-tion domains. However, this only means that the calculation is simpler than theother; it still can be extremely difficult.We say an algebraic number field is a monogenic field if it posesses a powerintegral basis, denoted by {1,\u03b8 ,\u03b8 2, ...,\u03b8 n\u22121}, where \u03b8 is a root of a minimal poly-nomial of degree n. It is well known that every number field has an integral basis.The next question then might be \u201chow can we decide whether a field is mono-genic?\u201d It is known that a field is monogenic if and only if the absolute value of theindex |I| = 1 is solvable, where I denotes the index form of the field. Using this,one can get a measure of how far away from being monogenic the number field is.Also, it is proven that the values of |I| can be arbitrarily large. In [1], Hall provedthat the minimal index of pure cubic fields can be arbitrarily large. The main aimof this thesis is to develop Hall\u2019s result so that we may construct an infinite familyof pure cubic fields with an element of index equal to a particular positive integern and we show the impossibility of the index being equal to any positive integersless than n.2Chapter 2Number Theory PreliminariesIn this chapter, we review some of the basic definitions and theorems in elementarynumber theory and abstract algebra courses. In particular, we focus on primes, con-gruences, and cubic residues that are building blocks to the main result in chapter5.2.1 Elementary Number TheoryDefinition 2.1.1. If a and b are integers with a 6= 0, we say that a divides b if thereis an integer c such that b = ac, and we write a | b. If a does not divide b, we writea - b.Definition 2.1.2. (Greatest Common Divisor) The greatest common divisor of twointegers a and b, which are not both 0, is the largest positive integer that dividesboth a and b. It is written as gcd(a,b).Definition 2.1.3. (Relatively Prime) The integers a and b, with a,b 6= 0, are rela-tively prime if gcd(a,b) = 1.Theorem 2.1.1. (Euclid) There are infinitely many primes.Theorem 2.1.2. (Dirichlet\u2019s Theorem on Primes in Arithmetic Progressions) Sup-pose that a and b are relatively prime positive integers. Then the arithmetic pro-gression an+b, n = 1,2,3....., contains infinitely many positive primes.3Definition 2.1.4. Let m be a positive integer. If a and b are integers, we say that ais congruent to b modulo m, denoted a \u2261 b (mod m) if m | (a\u2212b).Example 2.1.1. We have 5 \u2261 2 (mod 3), since 3 | (5\u2212 2). However, 8 6\u2261 2(mod 5) since 5 - (8\u22122).Theorem 2.1.3. If a,b,c, and m are integers, with m> 0, such that a \u2261 b (mod m),then(i) a+ c \u2261 b+ c (mod m),(ii) a\u2212 c \u2261 b\u2212 c (mod m),(iii) ac \u2261 bc (mod m).Theorem 2.1.4. If a \u2261 b (mod m1),a \u2261 b (mod m2), ...,a \u2261 b (mod mk),where a,b,m1,m2, ...,mk are integers with m1,m2, ...,mk positive, thena \u2261 b (mod [m1,m2, ...,mk]),where [m1,m2, ...mk] denotes the least common multiple of m1,m2, ...,mk.Theorem 2.1.5. (The Chinese Remainder Theorem) Let m1,m2, ...,mr be pairwiserelative prime positive integers. Then the system of congruencesx \u2261 a1 (mod m1)x \u2261 a2 (mod m2)...x \u2261 ar (mod mr)has a unique solution modulo M = m1m2 \u00b7 \u00b7 \u00b7mr.Example 2.1.2. We solve the following system of congruences.x \u2261 1 (mod 3)x \u2261 2 (mod 5)x \u2261 3 (mod 7)4Let M = 3 \u00b75 \u00b77= 105, and M1 =M\/3= 35,M2 =M\/5= 21, and M3 =M\/7= 15.Now, we find y1,y2, and y3 such thatx\u2261 y1M1+2y2M2+3y3M3 (mod 3 \u00b75 \u00b77).To do this, we set up a congruence like following. M1y1 = 35y1 \u2261 1 (mod 3).Then we get 2y1 \u2261 1 (mod 3) by the replacement principle. Then, it is easy to seethat y1 \u2261 2 (mod 3). Similarly, y2 \u2261 1 (mod 5), and y3 \u2261 1 (mod 7). Hence,x \u2261 1 \u00b735 \u00b72+2 \u00b721 \u00b71+3 \u00b715 \u00b71 \u2261 157 \u2261 52 (mod 3 \u00b75 \u00b77).Lastly, we check if 52 satisfies the desired congruences. Indeed, 52\u2261 1 (mod 3),52\u22612 (mod 5), and 52 \u2261 3 (mod 7). Therefore, we found the desired solution to thesystem of congruences above.Definition 2.1.5. (Euler \u03c6 function) Let n be a positive integer. The Euler phi-function \u03c6(n) is defined to be the number of positive integers not exceeding n thatare relatively prime to n.Example 2.1.3. Consider \u03c6(n) for 1\u2264 n\u2264 12.Table 2.1: The values of \u03c6(n) for 1\u2264 n\u2264 12n 1 2 3 4 5 6 7 8 9 10 11 12\u03c6(n) 1 1 2 2 4 2 6 4 6 4 10 4Theorem 2.1.6. (Euler\u2019s Theorem) If m is a positive integer and a is an integerwith (a,m) = 1, thena\u03c6(m) \u2261 1 (mod m).We proceed to the notion of cubic residues since this concept will be needed toprove Hall\u2019s results [1].Definition 2.1.6. Let p be a prime and let q be an integer not divisible by p. Ifthere is an integer x such that x3 \u2261 q (mod p), then q is said to be a cubic residuemodulo p. If not, q is said to be a cubic non residue modulo p.5Definition 2.1.7. Two integers a,b are equivalent mod p ifax3 \u2261 b (mod p)\u21d0\u21d2 y3 \u2261 a2b (mod p)is solvable.Theorem 2.1.7. Let p be a prime with p \u2261 2 (mod 3). Then every integer is acube modulo p.Proof. Suppose p \u2261 2 (mod 3). Set p = 3e+2 for some e \u2208 Z. Clearly, p \u2261 0(mod p). Consider the integers x, where x \u2208 {1, ..., p\u22121}.By Theorem 2.1.6,xp\u22121 = x3e+1 \u2261 1 (mod p).Thus,x = 1 \u00b7 x \u2261 x3e+1x3e+2 \u2261 x6e+3 \u2261 (x2e+1)3 (mod p)This shows that every integer is a cube mod p.The following example illustrates Theorem 2.1.7.Example 2.1.4. Consider p = 11 \u2261 2 (mod 3).Table 2.2: The cubic residues mod 11x 1 2 3 4 5 6 7 8 9 10x3 (mod 11) 1 8 5 9 4 7 2 6 3 10But, choosing p \u2261 1 (mod 3) gives totally different result.Example 2.1.5. Consider p = 13 \u2261 1 (mod 3).Table 2.3: The cubic residues mod 13x 1 2 3 4 5 6 7 8 9 10 11 12x3 (mod 13) 1 8 1 12 8 8 5 5 1 12 5 126We only obtained four integers mod 13 that are cubes mod 13. Let C1 be theset of integers mod 13 that are cubes mod 13. In this case,C1 = {1,5,8,12}Define the set of integers cubic non residues mod 13 byCNR = {2,3,4,6,7,8,10,11}.CNR can be further divided into two sets C2 and C3. To do this, pick any elementin CNR, say 2. Then, calculate 2x3 (mod 13).Table 2.4: C2 : a set of cubic non-residues mod 13x 1 2 3 4 5 6 7 8 9 10 11 122x3 (mod 13) 2 3 2 11 3 3 10 10 2 11 10 11Then setC2 = {2,3,10,11}We define C3, pick any element in CNR excluding C1 and C2, say 4. Then,calculate 4x3 (mod 13).Table 2.5: C3 : a set of cubic non-residues mod 13x 1 2 3 4 5 6 7 8 9 10 11 124x3 (mod 13) 4 6 4 9 6 6 7 7 4 9 7 9By Table 2.5, we find thatC3 = {4,6,7,9}Observe that C1\u222aC2\u222aC3 gives every integer mod 13. By Definition 2.1.7, if we7pick elements a,b where a \u2208Ci and b \u2208C j where i 6= j, then the modular equationax3 \u2261 b (mod p)is insolvable. Hall uses this argument in his main result, which will be discussedin Chapter 6.2.2 Abstract AlgebraIn this section, we introduce basic definitions and theorems from abstract algebra.2.2.1 Group TheoryDefinition 2.2.1. (Group) A group \u3008G,\u2217\u3009 is a set G, closed under a binary opera-tion \u2217, such that the following axioms are satisfied:For all a,b,c \u2208 G, we have1. (a\u2217b)\u2217 c = a\u2217 (b\u2217 c) associativity of \u22172. there exists e \u2208 G, such that for all x \u2208 G, e\u2217 x = x\u2217 e = x identity element e3. For each a \u2208 G, there exists a\u2032 \u2208 G such that a\u2217a\u2032 = a\u2032 \u2217a = e inverse a\u2032Example 2.2.1. The integers modulo 3, denoted Z3 form a group under addition,which is readily verified. We can describe all the elements in this group via agroup table as follows. Later, we see that more complicated groups admit moreTable 2.6: Group table for Z3 under addition+ 0 1 20 0 1 21 1 2 02 2 0 1complicated group tables.Definition 2.2.2. (Subgroup) A subset H of a group G, (denote H \u2264 G) is a sub-group of G if and only if1. H is closed under the binary operation of G,82. the identity element e of G is in H.3. for all a \u2208 H it is true that a\u22121 \u2208 H also.Definition 2.2.3. A group (G,\u2217) is called abelian (or commutative) if a\u2217b = b\u2217afor all a,b \u2208 G.Definition 2.2.4. Let G be a group. The order of G is its cardinality. That is, thenumber of elements in G. The order of an element a \u2208 G, is the smallest positiveinteger m such that am = e, where e denotes the identity element in G. If no such mexists, then a is said to have infinite order.Definition 2.2.5. A permutation of a set X is a function \u03c6 : X \u2192 X that is both oneto one and onto.Definition 2.2.6. Let X be a set. SX := { f : X 7\u2192X | f is a bijection}. Multiplicationis compositionSX \u00d7SX 7\u2192 SX( f ,g) 7\u2192 g\u25e6 f .In case X = {1,2, ...,n} for some n\u2208N,write Sn for SX (called a symmetric group).If G\u2264 Sn for some n \u2208 N, G is a permutation group of degree n.Note that the order of Sn is n! = n \u00b7 (n\u22121) \u00b7 \u00b7 \u00b72 \u00b71.Definition 2.2.7. A given binary relation \u223c on a set X is said to be an equivalencerelation if and only if it is reflexive, symmetric and transitive. That is, for all a,band c in X ,\u2022 a\u223c b\u21d2 b\u223c a. (Reflexivity)\u2022 a\u223c b. (Symmetry)\u2022 If a\u223c b and b\u223c c then a\u223c c. (Transitivity)Lemma 2.2.1. Let \u03c3 be a permutation of a set A. For a,b \u2208 A, we have a \u223c b ifand only if b= \u03c3n(a) for some integer n. Here, \u223c denotes an equivalence relation.Definition 2.2.8. Let \u03c3 be a permutation of a set A. The equivalence classes in Adetermined by the equivalence relation in Definition 2.2.7 are the orbits of \u03c3 .9Definition 2.2.9. A permutation \u03c3 \u2208 Sn is a cycle if it has at most one orbit con-taining more than one element. The length of a cycle is the number of elements inits largest orbit.Theorem 2.2.2. Every permutation \u03c3 of a finite set is a product of disjoing cycles.Definition 2.2.10. A cycle of length 2 is a transposition.Example 2.2.2. Consider the following permutation in S8.\u03c3 =(1 2 3 4 5 6 7 83 8 6 7 4 1 5 2)First, we find the orbit containing 1. Applying \u03c3 repeatedly, we see that1\u2192 3\u2192 6\u2192 1\u2192 3\u2192 6\u2192 1\u2192 \u00b7\u00b7\u00b7 .This shows the orbit containing 1 is {1,3,6}. We now choose an integer from 1to 8 not in the set {1,3,6}, say 2, and similarly find that the orbit containing 2is {2,8}. Finally, we find that the orbit containing 4 is {4,7,5}. Since these threeorbits include all integers from 1 to 8, we see that the complete list of orbits of \u03c3 is{1,3,6}, {2,8}, {4,5,7}.Notice that the permutations corresponding to these three sets are cycles sincethey contain more than one element and we write these cycles as (1 3 6),(2 8) and(4 5 7) respectively. Since \u03c3 is a permutation in the finite set S8, Theorem 2.2.1shows that it can be written as a product of disjoint cycles:\u03c3 = (1 3 6)(2 8)(4 7 5).Clearly, {1,3,6}\u2229{2,8}\u2229{4,7,5}= \/0. Moreover, (2 8) is a transposition by Def-inition 2.2.10.Note that the sign of a permutation \u03c3 can be defined its decomposition into theproduct of transpositions assgn(\u03c3) = (\u22121)m,10where m is the number of transpositions in the decomposition. If sgn(\u03c3) = +1,then \u03c3 is even. If sgn(\u03c3) =\u22121, then \u03c3 is odd.Example 2.2.3. Consider the symmetric group on 3 letters, S3. Note that Sn has n!elements. That means S3 = 3! = 6 elements. Table 2.7 shows all the elements inS3. Note that the abbreviation \u201cCCW\u201d stands for counterclockwise.Table 2.7: Elements of S3Elements Standard Notation Mapping\u03c10(1 2 31 2 3)Identity\u03c11(1 2 32 3 1)Rotation by 120\u25e6 CCW\u03c12(1 2 33 1 2)Rotation by 240\u25e6 CCW\u00b51(1 2 31 3 2)Reflection by fixing 1\u00b52(1 2 33 2 1)Reflection by fixing 2\u00b53(1 2 32 1 3)Reflection by fixing 3Now, we calculate a few compositions of permutations in S3.\u00b51 \u25e6\u03c11 =(1 2 31 3 2)(1 2 32 3 1)= \u00b52\u03c11 \u25e6\u00b51 =(1 2 32 3 1)(1 2 31 3 2)= \u00b53This reveals that S3 is not abelian. In other words, the elements in S3 do notcommute except for one special case, which will be discussed later. Continuingwith the similar calculations for all other compositions in the group, we obtain thegroup table for S3 given below.11Table 2.8: Group table for S3\u25e6 \u03c10 \u03c11 \u03c12 \u00b51 \u00b52 \u00b53\u03c10 \u03c10 \u03c11 \u03c12 \u00b51 \u00b52 \u00b53\u03c11 \u03c11 \u03c12 \u03c10 \u00b53 \u00b51 \u00b52\u03c12 \u03c12 \u03c10 \u03c11 \u00b52 \u00b53 \u00b51\u00b51 \u00b51 \u00b52 \u00b53 \u03c10 \u03c11 \u03c12\u00b52 \u00b52 \u00b53 \u00b51 \u03c12 \u03c10 \u03c11\u00b53 \u00b53 \u00b51 \u00b52 \u03c11 \u03c12 \u03c10Theorem 2.2.3. If n\u2265 2, then the collection of all even permutations of {1,2,3, ...,n}forms a subgroup of order n!\/2 of the symmetric group Sn.Definition 2.2.11. The subgroup of Sn consisting of the even permutations of nletters is the alternating group An on n letters.By Theorem 2.2.3, the order of An is n!\/2, and we say An has index 2 in Snbecause intuitively \u201chalf\u201d of the elements of Sn lie in An.Example 2.2.4. Going back to Table 2.7,\u03c10 = (1)(2)(3), Even\u03c11 = (1 2 3), Even\u03c12 = (1 3 2), Even\u00b51 = (1)(2 3), Odd\u00b52 = (1 3)(2), Odd\u00b53 = (1 2)(3), OddBy Example 2.2.3, we showed that S3 is not abelian except in one special case.That is, the elements \u03c10,\u03c11,\u03c12 are commutative and these elements have an evennumber of transpositions. Thus, by Definition 2.2.11, A3 = {\u03c10,\u03c11,\u03c12}. The sub-group diagram for S3 is constructed below in Figure 2.1. The number representingeach lines joining each subgroups is the order of the corresponding subgroups. Forexample, the order of (1 2 3) is 3, where as the index of A3 in S3 is 2..12Figure 2.1: The lattice of subgroups diagram of S3S3\u30082 3\u3009A3 =\u30081 2 3\u3009 \u30081 2\u3009 \u30081 3\u3009{1}32 3 33 2 2 2Definition 2.2.12. In a group G, two elements g and h are called conjugate ifh = xgx\u22121for some x \u2208 G.Definition 2.2.13. For an element g of a group G, its conjugacy class is the set ofelementsCg = {xgx\u22121 | x \u2208 G}.We know thatS3 = {(1),(1 2),(1 3),(2 3),(1 2 3),(1 3 2)}Example 2.2.5. It is easy to see that g = (1) results in its own conjugacy class.Thus, we set the first trivial conjugacy class asC1 = {1}.13\u03c3 \u03c3 (1 2)\u03c3\u22121 Cycle length(1) (1 2) 2(1 2) (1 2) 2(1 3) (2 3) 2(2 3) (1 3) 2(1 2 3) (2 3) 2(1 3 2) (1 3) 2Thus, the conjugates of (1 2) are (1 2),(1 3), and (2 3). We define the secondconjugacy class of S3 asC2 = {(1 2),(1 3),(2 3)}.Similarly,\u03c3 \u03c3 (1 2 3)\u03c3\u22121 Cycle length(1) (1 2 3) 3(1 2) (1 3 2) 3(1 3) (1 3 2) 3(2 3) (1 3 2) 3(1 2 3) (1 2 3) 3(1 3 2) (1 2 3) 3and we define the final conjugacy class of C3 asC3 = {(1 2 3),(1 3 2)}.Definition 2.2.14. (Cosets) Let H be a subgroup of a group G written multiplica-tively. The subset aH = {ah | h \u2208H} of G is the left coset of H containing a, whilethe subset Ha = {ha | h \u2208 H} is the right coset of H containing a.Theorem 2.2.4. (Theorem of Lagrange) Let H be a subgroup of a finite group G.Then the order of H is a divisior of the order of G.Definition 2.2.15. (Homomorphism) A map \u03c6 : G\u2192 G\u2032, where (G,\u2217) and (G\u2032,\u2217\u2032)are groups is called a group homomorphism if\u03c6(a\u2217b) = \u03c6(a)\u2217\u2032 \u03c6(b)14for all a,b \u2208 G.Definition 2.2.16. (Normal Subgroup) A subgroup H of a group G is normal ifgH = Hg for all g \u2208 G.Theorem 2.2.5. (Factor Group) Let \u03c6 : G\u2192 G\u2032 be a group homomorphism withkernel H. Then the cosets of H form a group called the factor group and denotedG\/H, where the group operation \u2217 is given by (aH)\u2217 (bH) = (ab)H.2.2.2 Ring Theory and FieldsDefinition 2.2.17. (Rings) A ring \u3008R,+, \u00b7\u3009 is a set R together with two binary op-erations + and \u00b7, which we call addition and multiplication, defined on R such thatthe following axioms are satisfied:1. \u3008R,+\u3009 is an abelian group. That is, a+b = b+a for all a,b \u2208 R.2. For all a,b,c \u2208 R, (a \u00b7b) \u00b7 c = a \u00b7 (b \u00b7 c).3. For all a,b,c \u2208 R, a \u00b7 (b+c) = (a \u00b7b)+(a \u00b7c) and (a+b) \u00b7c= (a \u00b7c)+(b \u00b7c)hold.If a \u00b7b = b \u00b7a for all a,b \u2208 R, we say R is commutative.From here, we consider commutative rings with unity. That is, we only look atcommutative rings with multiplicative identity, 1R.Example 2.2.6. Z,nZ,Zn,Z+Z\u221ad, where d is squarefree integer, and Z+Zi areexamples of rings.Definition 2.2.18. (Zero Divisors and Units) Let R be a ring.1. A element a 6= 0 in R is called a zero divisor in R, if there exists b 6= 0 in R,such that ab = 0.2. Let R be a ring with the multiplicative identity 1. An element u \u2208 R is calleda unit in R, if there exists v \u2208 R such that uv = 1 = vu.Definition 2.2.19. (Integral Domain) An integral domain is a commutative ringthat has a multiplicative identity 1, and has no divisors of zero.15Example 2.2.7. Z,Q,R,Z+ Zi,Z+ Z\u03c9, where \u03c9 = \u22121+\u221a\u221232 , and Z+ Z\u221am,where m is a square free integer are examples of integral domain.Definition 2.2.20. (Irreducible) A nonzero, nonunit element a of an integral do-main D is called an irreducible, or said to be irreducible, if a= bc, where b,c \u2208D,implies that either b or c is a unit.Definition 2.2.21. (Prime) A nonzero, nonunit element p of an integral domain Dis called a prime if p | ab, where a,b \u2208 D, implies that p | a or p | b.Definition 2.2.22. (Fields) Let R be a ring with unity 1 6= 0. If every nonzero el-ement of R is a unit, then R is a division ring. A field is a commutative divisionring.Example 2.2.8. Q,R,C and Zp, p is a prime are examples of fields.Example 2.2.9. The ring Zn is of characteristic n, while Z,Q,R, and C all havecharacteristic 0.Definition 2.2.23. (Unique Factorization Domain) Let D be a factorization do-main. Suppose that every nonzero, nonunit element a of D has a unique factoriza-tion as a product of irreducible elements of D. Then D is called a unique factor-ization domain.16Chapter 3Algebraic Number TheoryIn this chapter, we start by introducing algebraic elements and algebraic integers.Then we define the ring of algebraic integers in an algebraic number field. InSection 3.2 and 3.4, we study integral bases of cubic fields. Further, we find ex-pressions for the index forms of cubic fields in Section 3.5. Using the index formof a number field, we are able to determine whether the field is monogenic or not.3.1 Algebraic Number FieldsDefinition 3.1.1. (Algebraic Numbers) An element \u03b1 \u2208 C is an algebraic numberif f (\u03b1) = 0 for some polynomial f (x) with rational coefficients.Definition 3.1.2. (Algebraic Integers) An element \u03b1 \u2208 C is an algebraic integerif f (\u03b1) = 0 for some monic polynomial f (x) with integer coefficients. A monicpolynomial is a polynomial in which the leading coefficient (the nonzero coefficientof highest degree) is equal to 1.Consider the following example.Example 3.1.1. \u03b1 =\u221a3\u2212\u221a5 is an algebraic number as \u03b1 is a root of the poly-nomial f (x) = x4\u22126x2+4 \u2208Q[x]. Moreover, \u03b1 is also an algebraic integer sincef (x) \u2208 Z[x] is a monic polynomial.Example 3.1.2. Let f (x) = x3\u2212 p2x\u22122p2, where p is an odd prime. We show that17if \u03b8 is a root of f (x), \u03b82p is an algebraic integer. Since \u03b8 is a root of f (x),f (\u03b8) = \u03b8 3\u2212 p2\u03b8 \u22122p2 = 0,\u03b8 3 = p2\u03b8 +2p2. (3.1)Let \u03b1 = \u03b82p . We show that\u03b13+A\u03b12+B\u03b1+C = 0,where A,B,C \u2208 Z. By (3.1), we can simplify the following expressions for \u03b13,\u03b12.\u03b13 =(\u03b8 2p)3=\u03b8 6p3=\u03b8 3\u03b8 3p3=(p2\u03b8 +2p2)(p2\u03b8 +2p2)p3= p(\u03b8 2+4\u03b8 +4),and\u03b12 =(\u03b8 2p)2=\u03b8 3p2=\u03b8\u03b8 3p2=\u03b8(p2\u03b8 +2p2)p2=p2(\u03b8 2+2\u03b8)p2= \u03b8 2+2\u03b8 .Thus,\u03b13+A\u03b12+B\u03b1+C = 0is equivalent top(\u03b8 2+4\u03b8 +4)+A(\u03b8 2+2\u03b8)+B(\u03b8 2p)+C = 0.Rearranging terms,(A+Bp+ p)\u03b8 2+(2A+4p)\u03b8 +(4p+C) = 0.Since {1,\u03b8 ,\u03b8 2} is linearly independent overQ, each coefficient must vanish. ThusA+ Bp + p = 02A+4p = 04p+C = 018Three equations give C = \u22124p \u2208 Z,A = \u22122p \u2208 Z,B = p2 \u2208 Z. Thus, we have apolynomial g(x) = x3\u22122px2+ p2x\u22124p such that g(\u03b1) = 0. Since g(x) is a monicpolynomial with integer coefficients, Definition 3.1.2 tells us that \u03b1 is an algebraicinteger.We claim that C is a field. It is enough to say that for all z \u2208 C, there existsz\u22121 = z\/|z|2 \u2208 C such that zz\u22121 = 1 = z\u22121z \u2208 C. We now define field extensionsand algebraic number fields that are stated on pages 98 and 109, [2].Definition 3.1.3. (Field Extension) Let K be a subfield of C and let \u03b1 \u2208 C. LetK(\u03b1) =\u22c2F\u03b1\u2208FK\u2286F\u2286CF,where the intersection is taken over all subfields F of C, which contain both Kand \u03b1. The intersection is nonempty as C is such a field. Since the intersection ofsubfields of C is again a subfield of C,K(\u03b1) is the smallest field containing both Kand \u03b1. We say that K(\u03b1) is formed from K by adjoining a single element \u03b1. K(\u03b1)is called a simple extension of K. If \u03b11, ...,\u03b1k \u2208 C for k \u2265 2, K(\u03b11, ...,\u03b1k) is thesmallest subfield of C that contains both K and \u03b11, ...,\u03b1k, and is called a multipleextension of K.Definition 3.1.4. (Algebraic Number Field) An algebraic number field is a subfieldof C of the form Q(\u03b11, ...,\u03b1n), where \u03b11, ...,\u03b1n are algebraic numbers.Definition 3.1.5. (Irreducible Polynomials) Let K be a subfield of C. A non-constant polynomial f (x) \u2208 K[x] is irreducible over K if it cannot be factored intothe product of two nonconstant polynomials g(x) \u2208 K[x] and h(x) \u2208 K[x], wheredeg(g(x)),deg(h(x))< deg( f (x)).Theorem 3.1.1. (Eisenstein\u2019s Irreducibility Criterion) Letf (x) = anxn+an\u22121xn\u22121+ \u00b7 \u00b7 \u00b7+a1x+a0 \u2208 Z[x].If there exists a prime number p such that1. p | ai, i = 0,1, ...,n\u22121192. p - an,3. p2 - a0then f (x) is irreducible over the rational numbers.Example 3.1.3. Continue with Example 3.1.2. We show that the polynomial f (x)=x3\u2212 p2x\u2212 2p2 is irreducible over Q. We begin by finding the reverse polynomialg(x) of f (x). Considerf(1x)=(1x)3\u2212 p2(1x)\u22122p2.Then, multiply both sides by x3. We getx3 f(1x)= x3(1x)3\u2212 p2(1x)x3\u22122p2x3.Then, the reverse polynomial of f (x) isg(x) = 1\u2212 p2x2\u22122p2x3.Now, set y = xp. Then,g(yp)= \u22122p2(yp)3\u2212 p2( yp)2+1=\u22122y3p\u2212 y2+1.Finally, multiplying both sides by p givesh(y) =\u22122y3\u2212 py2+ p.Since p does not divide \u22122, and p2 - p by Theorem 3.1.1, h(y) is irreducibleover Q. Because h(y) is related to g(x) by a linear change of variables, h(y) isirreducible over Q implies that g(x) is also irreducible over Q. Note that if f (x)has a nonzero constant coefficient, then f (x) is irreducible if and only if its reversepolynomial is irreducible. This statement shows that f (x) is irreducible over Q.20Theorem 3.1.2. (Minimal polynomial of \u03b8 over K) Let \u03b8 be an algebraic integer.Then there exists a monic polynomial f (x) \u2208 Z[x] of least degree such that f (\u03b8) =0. f (x) is called the minimal polynomial of \u03b8 with the following properties:1. If g(x) \u2208Q[x], then g(\u03b8) = 0 if and only if f (x) divides g(x).2. f (x) is the unique monic irreducible polynomial such that f (\u03b8) = 0.Note that the degree of K is equal to the degree of f (x), and denoted by[K :Q] = deg( f (x)).Definition 3.1.6. (Conjugates of \u03b1 over K) Let \u03b1 \u2208C be algebraic over a subfieldK of C. The conjugates of \u03b1 over K are the roots in C of the minimal polynomialof \u03b1 over K.3.2 The Set OKDefinition 3.2.1. (The set OK) The set of all algebraic integers that lie in an alge-braic number field K is denoted by OK , that is,OK =\u2126\u2229Kwhere \u2126 is the set of all algebraic integers in C. OK is called the ring of integersof the algebraic number field K.Theorem 3.2.1. Let K be an algebraic number field. Then OK is an integral do-main.Theorem 3.2.2. Let K be a quadratic field. Then there exists a unique squarefreeinteger m such that K =Q(\u221am).Theorem 3.2.3. Let K be a quadratic field. Let m be the unique squarefree integersuch that K =Q(\u221am). Then the set OK of algebraic integers is given byOK =\uf8f1\uf8f4\uf8f2\uf8f4\uf8f3Z+Z\u221am, if m 6\u2261 1 (mod 4)Z+Z(1+\u221am2), if m \u2261 1 (mod 4).21Example 3.2.1. Consider \u03b1 = 3\u221a5 \u2208 C. Let K = Q( 3\u221a5). Then K is an algebraicnumber field. Note that \u03b1 is a root of the irreducible polynomial x3\u2212 5, hence, itis an algebraic integer. The set OK for K contains elements of the form:a+b\u03b1+ c\u03b12,where a,b,c \u2208 Z. We will show this in Section 3.4.3.3 DiscriminantsFrom high school, we know that the discriminant of a quadratic equation ax2 +bx+ c is b2\u2212 4ac. The discriminant of a polynomial of degree n is defined in thefollowing way.Definition 3.3.1. (Discriminant of a polynomial)Let f (x) = anxn + an\u22121xn\u22121 + \u00b7 \u00b7 \u00b7+ a1x+ a0 \u2208 C[x], where n \u2208 N and an 6= 0. Let\u03b81, ...,\u03b8n \u2208 C be the roots of f (x). The discriminant of f (x) is the quantitydisc( f (x)) = a2n\u22122n \u220f1\u2264i< j\u2264n(\u03b8i\u2212\u03b8 j)2.Example 3.3.1. Consider f (x) = x2 + bx+ c, where b,c \u2208 Z. Let \u03b81,\u03b82 \u2208 C bethe roots of f (x). Then, f (x) = (x\u2212 \u03b81)(x\u2212 \u03b82) = x2 \u2212 (\u03b81 + \u03b82)x+ \u03b81\u03b82. Setb=\u2212(\u03b81+\u03b82), and c= \u03b81\u03b82. By Definition 3.3.1, (\u03b81\u2212\u03b82)2 = \u03b8 21 \u22122\u03b81\u03b82+\u03b8 22 =\u03b8 21 +2\u03b81\u03b82+\u03b8 22 \u22124\u03b81\u03b82 = (\u03b81+\u03b82)2\u22124\u03b81\u03b82 = b2\u22124c, which confirms the dis-criminant of a quadratic equation.Definition 3.3.2. Let K be an algebraic number field of degree n. Let \u03c91, ...,\u03c9n ben elements of K. Let \u03c3k (k = 1,2, ...,n) denote the n distinct monomorphisms ofK in C. For i = 1, ...,n, let\u03c9(1)i = \u03c31(\u03c9i) = \u03c9i,\u03c9(2)i = \u03c32(\u03c9i), \u00b7 \u00b7 \u00b7 ,\u03c9(n)i = \u03c3n(\u03c9i)22denote the conjugates of \u03c9i. Then the discriminant of {\u03c91, ...,\u03c9n} isD(\u03c91, ...,\u03c9n) =\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u03c9(1)1 \u03c9(1)2 \u00b7 \u00b7 \u00b7 \u03c9(1)n\u03c9(2)1 \u03c9(2)2 \u00b7 \u00b7 \u00b7 \u03c9(2)n...... \u00b7 \u00b7 \u00b7 ...\u03c9(n)1 \u03c9(n)2 \u00b7 \u00b7 \u00b7 \u03c9(n)n\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u22232.It is known that if \u03c91, ...,\u03c9n are all algebraic integers then D(\u03c91, ...,\u03c9n) is arational integer.Definition 3.3.3. (Discriminant of an element \u03b1) Let K be an algebraic numberfield of degree n. Let \u03b1 \u2208 K. Then we define the discriminant D(\u03b1) of \u03b1 byD(\u03b1) = \u220f1\u2264i< j\u2264n(\u03b1(i)\u2212\u03b1( j))2,where \u03b1(1) = \u03b1,\u03b1(2), ...,\u03b1(n) are the conjugates of \u03b1 . Note that if \u03b1 is an alge-braic integer in K, then the discriminant of \u03b1 is the discriminant of the minimalpolynomial of \u03b1 over K.Example 3.3.2. Let K = Q(\u221a2). The minimal polynomial of\u221a2 over Q is givenbyf (x) = x2\u22122.It is easy to check that the discriminant of f (x) is 8. We may also confirm this usingDefinition 3.3.3. Since \u00b1\u221a2 are the roots of f (x),D(\u221a2) = (\u221a2+\u221a2)2= (2\u221a2)2= 8.3.4 Integral BasisIn section 3.2, we fully generalized the elements in the set OK for quadratic fields.Recall Theorem 3.2.3, if K is a quadratic field, and m is a squarefree integer suchthat K =Q(\u221am), then the set OK is described by23OK =\uf8f1\uf8f4\uf8f2\uf8f4\uf8f3Z+Z\u221am, if m 6\u2261 1 (mod 4)Z+Z(1+\u221am2), if m \u2261 1 (mod 4).That is, every element in OK is an integer linear combination of the elementsin the following two sets.{1,\u221am}, if m 6\u2261 1 (mod 4){1,(1+\u221am2)}, if m \u2261 1 (mod 4).For K = Q(\u221a2), since 2 6\u2261 1 (mod 4), the above observation implies that OKcan be generated by integral linear combinations of {1,\u221a2}. For L = Q( 2\u221a5) inExample 3.2.1, we claimed that the elements in OL can be expressed as integerlinear combinations of {1, 3\u221a5,( 3\u221a5)2}. This phenomenon leads us to the notion ofan integral basis.Definition 3.4.1. (Integral Basis) Let K be an algebraic number field of degree nwith ring of integers OK . An integral basis for OK is a set of n elements {\u03b71,\u03b72, ...,\u03b7n}of OK such that for any algebraic integer \u03b1 \u2208 OK ,\u03b1 =C1\u03b71+C2\u03b72+ \u00b7 \u00b7 \u00b7+Cn\u03b7nwhere C1,C2, ...,Cn \u2208 Z.Theorem 3.4.1. Every number field K has an integral basis.Theorem 3.4.2. Suppose {\u03b11,\u03b12, ...,\u03b1n} is a Q\u2212basis for a number field K. IfD(\u03b11, ...,\u03b1n) is squarefree, then {\u03b11, ...,\u03b1n} is an integral basis.Definition 3.4.2. Let K be a number field, with degree n and the ring of integersOK . If OK =Z[\u03b1] for some \u03b1 \u2208OK , the set {1,\u03b1, ...,\u03b1n\u22121} is called a power basis.Theorem 3.4.2 provides a sufficient condition for a set to be an integral basis.But, the problem is this situation does not come up very often. It is also known thatevery integral basis has the same discriminant. Maple will calculate an integral24basis for a number field, but we will present an algorithm one can carry out byhand that will give an integral basis. First, we need to define the norm and trace ofan element.Definition 3.4.3. Let K be a number field of degree n. The norm of an element\u03b1 \u2208 K is given byN(\u03b1) =n\u220fi=1\u03b1(i),and the trace is given byTr(\u03b1) =n\u2211i=1\u03b1(i),where \u03b1 = \u03b1(1),\u03b1(2), ...,\u03b1(n) are the conjugates of \u03b1. Note that N(\u03b1),Tr(\u03b1) \u2208 Zfor any algebraic integer \u03b1.Theorem 3.4.3. Let K be an algebraic number field of degree n. Let \u03b1,\u03b2 \u2208 K.ThenTr(\u03b1+\u03b2 ) = Tr(\u03b1)+Tr(\u03b2 ) and N(\u03b1\u03b2 ) = N(\u03b1)N(\u03b2 ).Theorem 3.4.4. Suppose that {\u03b11, ...,\u03b1n} is a Q\u2212basis for K consisting of alge-braic integers, and let p be a prime such that p2 divides D(\u03b11, ...,\u03b1n). Then thereis an algebraic integer of the form1p(\u03bb1\u03b11+ \u00b7 \u00b7 \u00b7+\u03bbn\u03b1n),where 0\u2264 \u03bbi \u2264 p\u22121, \u03bbi \u2208 Z.Now, we adapt the algorithm from Cook [18] to compute integral bases.Let K =Q(\u03b1) be an algebraic number field.25Table 3.1: Computing Integral BasesSteps Description Mathematical Description1 Set up a Q\u2212basis for K.{\u03b11,\u03b12, ...,\u03b1n}.2 Calculate the discriminant of the set inStep 1. If it is squarefree, then by Theo-rem 3.4.2, process complete.D(\u03b11,\u03b12, ...,\u03b1n).3 Find all primes p such that p2 divides thediscriminant in Step 2. p2 | D(\u03b11,\u03b12, ...,\u03b1n).4 Select one of the primes found in Step 3.Define a new algebraic integer in the formdescribed in Theorem 3.4.4. Then com-pute the trace of the element.\u03b1\u2217=1p(\u03bb1\u03b11+ \u00b7 \u00b7 \u00b7+\u03bbn\u03b1n), Find Tr(\u03b1\u2217).5 Find the norm of \u03b1\u2217.N(\u03b1\u2217).6 Using the fact that the norm of an alge-braic integer is a rational integer, check allthe cases of \u03bbi to see if \u03b1\u2217 is the algebraicinteger for the given prime.See the examples below.7 If all \u03bbis do not satisfy the conditions inStep 6, then \u03b1\u2217 is not an algebraic integer.Return to Step 3 and repeat the same pro-cess by selecting the other primes. Other-wise, proceed to Step 8.See the examples below.8 At this stage, \u03b1\u2217 is tested to be an alge-braic integer in K. Adjoin the new alge-braic integer to the basis in step 1. {\u03b11,\u03b12, ...,\u03b1n,\u03b1\u2217}\u2192 {\u03b21,\u03b22, ...,\u03b2n}.9 Calculate the discriminant of the new ba-sis in Step 8. If it is not squarefree, repeatthe same process from Step 3 until no newalgebraic integers are found.D(\u03b21,\u03b22, ...,\u03b2n).26Example 3.4.1. Let K =Q( 3\u221a5).Step 1. A natural guess for a Q\u2212basis for K. That is, {1, 3\u221a5,( 3\u221a5)2}.Step 2. Calculate the discriminant of the set in Step 1.D(1, 3\u221a5,( 3\u221a5)2) =\u22123352.Step 3. Find all primes p such that p2 divides the discriminant in Step 2. Hence,p = 3,5.Step 4. Select one of the primes found in Step 3. Define a new algebraic integerin the form described in Theorem 3.4.4. Then compute the trace of theelement. As\u03b1\u2217 =15(\u03bb1+\u03bb23\u221a5+\u03bb3(3\u221a5)2),Tr(\u03b1\u2217) =(15) 3\u2211i=1\u03b1(i) =3\u03bb15,where 0\u2264 \u03bbi \u2264 4, and since 3\u03bb15 \u2208 Z, it follows that \u03bb1 = 0.Step 5. Find the norm of \u03b1\u2217.N(\u03b1\u2217) =3\u220fi=1\u03b1(i) =\u03bb 32 +5\u03bb3325.Step 6. Using the fact that the norm of an algebraic integer is a rational integer,check all the cases of \u03bbi to see if \u03b1\u2217 is the algebraic integer for the givenprime. See Table 3.2.Step 7. The algebraic integer \u03b1\u2217 in Step 6 is not in OK . Return to Step 3.Step 8. Choose the other prime, which is p = 3. Repeating Steps 4 - 6, there isno algebraic integers to be added in the basis described in Step 1. Theintegral basis is{1, 3\u221a5,( 3\u221a5)2}.27Table 3.2: Examining \u03b1\u2217 \u2208 OK\u03bb2 \u03bb3 Divisible by 25? YES\/NO0 1 5 NO0 2 40 NO0 3 135 NO0 4 320 NO1 0 1 NO1 1 6 NO1 2 41 NO1 3 136 NO1 4 321 NO2 0 8 NO2 1 13 NO2 2 48 NO2 3 143 NO2 4 328 NO3 0 27 NO3 1 32 NO3 2 67 NO3 3 162 NO3 4 347 NO4 0 64 NO4 1 69 NO4 2 104 NO4 3 199 NO4 4 384 NOExample 3.4.1 is one where our natural guess of the integral basis turns outto be the correct one. We now give an example due to Dedekind which is not assimple as the previous one.Example 3.4.2. Let K = Q(\u03b8) where \u03b8 is a root of the polynomial f (x) = x3\u2212x2\u22122x\u22128 \u2208Q[x]. We find the integral basis for K.Step 1. A natural guess for a Q\u2212basis for K. That is, {1,\u03b8 ,\u03b8 2}.Step 2. Calculate the discriminant of the set in Step 1.D(1,\u03b8 ,\u03b8 2) =\u2212(2)2(503).28Step 3. Find all primes p such that p2 divides the discriminant in Step 2. Hence,p = 2.Step 4. Select one of the primes found in Step 3. Define a new algebraic integerin the form described in Theorem 3.4.4. Then compute the trace of theelement. As\u03b8 \u2217 =12(\u03bb1+\u03bb2\u03b8 +\u03bb3\u03b8 2),Tr(\u03b8 \u2217) =(12) 3\u2211i=1\u03b1(i) =3\u03bb1+\u03bb2+5\u03bb32,where 0\u2264 \u03bbi \u2264 1.Table 3.3: Examining \u03b8 \u2217 \u2208 OK\u03bb1 \u03bb2 \u03bb3 3\u03bb1 +\u03bb2 +5\u03bb3 Divisible by 2?0 0 1 5 NO0 1 0 1 NO0 1 1 6 YES1 0 0 3 NO1 0 1 8 YES1 1 0 4 YES1 1 1 9 NOThe table above shows that we only need to test(\u03bb1,\u03bb2,\u03bb3) = (0,1,1),(1,0,1) and (1,1,0).Step 5. Find the norm of \u03b8 \u2217N(\u03b8 \u2217) =18\u220f3i=1\u03b1(i)=\u03bb 31 +8\u03bb32 +64\u03bb33 \u22122\u03bb1\u03bb 22 \u221212\u03bb1\u03bb 23 \u221216\u03bb2\u03bb 23 +\u03bb 21 \u03bb2+5\u03bb 21 \u03bb3+8\u03bb 22 \u03bb3\u221226\u03bb1\u03bb2\u03bb38.Step 6. Check all the cases of \u03bbi to see if \u03b8 \u2217 is the algebraic integer for the givenprime.29Table 3.4: Examining \u03b8 \u2217 \u2208 OK\u03bb1 \u03bb2 \u03bb3 \u03bb 31 +8\u03bb32 +64\u03bb33 \u22122\u03bb1\u03bb 22 \u221212\u03bb1\u03bb 23 \u221216\u03bb2\u03bb 23 +\u03bb 21 \u03bb2 +5\u03bb 21 \u03bb3 +8\u03bb 22 \u03bb3\u221226\u03bb1\u03bb2\u03bb3 Divisible by 8?0 1 1 64 YES1 0 1 58 NO1 1 0 8 YESStep 7. Two algebraic elements are survived.1+\u03b82,\u03b8 +\u03b8 22.The minimal polynomial of each elements are 4x3\u22128x2+3x\u22124 and x3\u22123x2\u2212 10x\u2212 8 respectively. Since the first one is not a monic polynomial,(1+\u03b8)\/2 is not an integer in K.Step 8. Adjoin any new algebraic integers to the original basis in Step 1.{1,\u03b8 ,\u03b8 2,\u03b8 +\u03b8 22}.Observe that\u03b8 2 = 2(\u03b8 +\u03b8 22)\u2212\u03b8 ,hence the Z\u2212linearly independent basis is{1,\u03b8 ,\u03b8 +\u03b8 22}.Step 9. Calculate the discriminant of the new basis.D(1,\u03b8 ,\u03b8 +\u03b8 22)= 503.Since the discriminant D(1,\u03b8 ,(\u03b8 +\u03b8 2)\/2)is square free, we have found an inte-gral basis for K. Therefore, we terminate this algorithm. The integral basis for Kis {1,\u03b8 ,\u03b8 +\u03b8 22}.30In Section 3.3, we discussed various kinds of discriminants. However, therewas one type of discriminant we didn\u2019t mention, which we now define.Definition 3.4.4. (Field Discriminant) Let K be an algebraic number field of de-gree n. Let {\u03b71, ...,\u03b7n} be an integral basis for K. Then D(\u03b71, ...,\u03b7n) is called thediscriminant of K and is denoted by d(K).The field discriminant is used to derive index forms. To compute the fielddiscriminant d(K) for a number field K, we obtain a integral basis for K first.Then, use the determinant equation expressed in Definition 3.3.2.The number field in Example 3.4.1 possesses a power basis, whereas the onein Example 3.4.2 does not. Determining whether a number field admits a powerintegral basis is a classical problem in algebraic number theory. Example 3.4.2was the first example given of an algebraic number field without a power integralbasis. If number fields admit power bases, we call them monogenic fields. Numbertheorists discovered a tool to measure how far a number field can be away frombeing monogenic. We use indices of number fields to determine whether they aremonogenic or not. These will be discussed in the next section.3.5 Index Forms and Minimal IndicesThe minimal index of a number field measures how close it is to being monogenic.If the minimal index is 1, then the corresponding number field is monogenic. Wewill discuss how to find minimal indices in this section, but first we need a defini-tion.Definition 3.5.1. (Index of \u03b1) Let K be an algebraic number field. Let \u03b1 \u2208 OKbe such that K = Q(\u03b1). Then the index of \u03b1, written ind\u03b1 , is the positive integergiven byD(\u03b1) = (ind\u03b1)2d(K),where D(\u03b1) is the discriminant of \u03b1 defined in Definition 3.3.3, and d(K) is thefield discriminant defined in Definition 3.4.4. Equivalently, we may use the follow-ing expression for the index of an element in K.31ind\u03b1 =\u221aD(\u03b1)d(K).Now we will calculate indices in some number fields, beginning with an ar-bitrary quadratic field. In Theorem 3.2.3, we stated that the general elements inthe ring of integers of a quadratic field can be described by Z+Z\u221am if m 6\u2261 1(mod 4), or Z+Z(1+\u221am)\/2 if m \u2261 1 (mod 4). By Alaca [2], we state anotherimportant result about the field discriminant of a quadratic field.Theorem 3.5.1. Let K be a quadratic field. Let m be the unique squarefree integersuch that K =Q(\u221am). Then the field discriminant d(K) of K is given byd(K) =\uf8f1\uf8f2\uf8f34m, if m 6\u2261 1 (mod 4),m, if m \u2261 1 (mod 4).Using this result, we are ready to compute the index of \u03b1 \u2208 OK for somequadratic field K.Example 3.5.1. Let K be a quadratic field. Then by Theorem 3.2.2, there exists aunique squarefree integer m such that K =Q(\u221am). First, we assume that m \u2261 1(mod 4). Then, the corresponding integral basis is{1, 1+\u221am2}, with d(K) = m.Pick \u03b1 \u2208 OK . Then\u03b1 = a+b(1+\u221am2), a,b \u2208 Z.Now, by Definition 3.3.2, we getD(\u03b1) =\u2223\u2223\u2223\u2223\u2223\u22231 a+b(1+\u221am2)1 a+b(1\u2212\u221am2)\u2223\u2223\u2223\u2223\u2223\u22232= (\u2212b\u221am)2 = b2m.Thus,ind\u03b1 =\u221aD(\u03b1)d(K)=\u221ab2mm= |b|.Now, if m 6\u2261 1 (mod 4), then the integral basis is {1,\u221am} and d(K) = 4m. Fol-lowing a similar process as the first case, we pick \u03b1 \u2208 OK . Then \u03b1 = a+ b\u221am,32where a,b \u2208 Z. Then,D(\u03b1) =\u2223\u2223\u2223\u2223\u22231 a+b\u221am1 a\u2212b\u221am\u2223\u2223\u2223\u2223\u22232= (\u22122b\u221am)2 = 4b2m.Thus,ind\u03b1 =\u221aD(\u03b1)d(K)=\u221a4b2m4m= |b|.Here, the equation I(a,b) = ind\u03b1 = |b| is called the index form of the quadraticfield K in the previous example. This is the simplest index form we get for analgebraic number field. The results in Example 3.5.1 show that the index formof any quadratic field can be described by the positive integer |b|. Therefore, theminimum of ind(\u03b1) is 1 for some \u03b1 \u2208 OK . Now, we consider finding the indexform of a cubic polynomial.Example 3.5.2. Consider K = Q(\u03b8), where \u03b8 is a root of f (x) = x3\u22123x+9. Wecompute the index form, field index, and the minimal index of the field K.An integral basis for K is{1,\u03b8 , \u03b823}. Then,OK ={a+b\u03b8 + c(\u03b8 23)| a,b,c \u2208 Z}.Let \u03b1 \u2208 OK . Then \u03b1 = a+ b\u03b8 + c(\u03b8 23), where a,b,c \u2208 Z. The conjugates of \u03b1over K are described below:\u03b1 \u2032 = a+b\u03b8 \u2032+ c(\u03b8 \u203223),\u03b1 \u2032\u2032 = a+b\u03b8 \u2032\u2032+ c(\u03b8 \u2032\u203223).Obeserve that f (x) = x3\u22123x+9 = (x\u2212\u03b8)(x\u2212\u03b8 \u2032)(x\u2212\u03b8 \u2032\u2032), where, \u03b8 \u2032 and \u03b8 \u2032\u2032 arethe other roots of f (x). Expanding and simplifying gives x3\u2212 (\u03b8 + \u03b8 \u2032+ \u03b8 \u2032\u2032)x2 +(\u03b8\u03b8 \u2032+\u03b8\u03b8 \u2032\u2032+\u03b8 \u2032\u03b8 \u2032\u2032)x\u2212\u03b8\u03b8 \u2032\u03b8 \u2032\u2032 Since the coefficient of x2 is zero, we have \u03b8 +\u03b8 \u2032+\u03b8 \u2032\u2032 = 0, and so we obtain \u03b1\u2212\u03b1 \u2032, \u03b1\u2212\u03b1 \u2032\u2032, and \u03b1 \u2032\u2212\u03b1 \u2032\u2032 as follws:\u03b1\u2212\u03b1 \u2032 = (\u03b8 \u2212\u03b8 \u2032)(b+c3(\u03b8 +\u03b8 \u2032))= (\u03b8 \u2212\u03b8 \u2032)(b\u2212 c3\u03b8 \u2032\u2032),33\u03b1\u2212\u03b1 \u2032\u2032 = (\u03b8 \u2212\u03b8 \u2032)(b+c3(\u03b8 +\u03b8 \u2032\u2032))= (\u03b8 \u2212\u03b8 \u2032\u2032)(b\u2212 c3\u03b8 \u2032),\u03b1 \u2032\u2212\u03b1 \u2032\u2032 = (\u03b8 \u2032\u2212\u03b8 \u2032\u2032)(b+c3(\u03b8 \u2032+\u03b8 \u2032\u2032))= (\u03b8 \u2032\u2212\u03b8 \u2032\u2032)(b\u2212 c3\u03b8).Hence, by Definition 3.3.3,D(\u03b1) = (\u03b1\u2212\u03b1 \u2032)2(\u03b1\u2212\u03b1 \u2032\u2032)2(\u03b1 \u2032\u2212\u03b1 \u2032\u2032)2= (\u03b8 \u2212\u03b8 \u2032)2(\u03b8 \u2212\u03b8 \u2032\u2032)2(\u03b8 \u2032\u2212\u03b8 \u2032\u2032)2 (b\u2212 c3\u03b8)2 (b\u2212 c3\u03b8 \u2032)2 (b\u2212 c3\u03b8 \u2032\u2032)2= D(\u03b8){( c3)3f(3bc)}2=\u221233 \u00b77 \u00b711(b3\u2212 bc23+c33)2=\u22123 \u00b77 \u00b711(3b3\u2212bc2+ c3)2.Therefore, the index form of the field K isind\u03b1 =\u221aD(\u03b1)d(K)=\u221a\u22123 \u00b77 \u00b711(3b3\u2212bc2+ c3)2\u22123 \u00b77 \u00b711 = |3b3\u2212bc2+ c3|.Now, we are ready to give two new definitions about the index forms.Let K be an algebraic number field of degree n.Definition 3.5.2. (Index of a field) The index of the field K isi(K) = gcd{ind\u03b1 | \u03b1 \u2208 OK}.Definition 3.5.3. (Minimal index of a field) The minimal index of K ism(K) = min{ind\u03b1 | \u03b1 \u2208 OK}.It is well known that the field index of a cubic field is either 1 or 2 (see [5]).Referring back to Example 3.5.2, the field index of K is 1 as we have ind\u03b1 =|3b3\u2212bc2+c3|= 1 if (b,c) = (1,\u22121). Hence, m(K) = 1. Similarly, we found thatthe index form of any quadratic field can be expressed by |b|,b \u2208 Z\\{0}. Thus,the field and minimal index of any quadratic field is equal to 1. There is a closerelationship between the minimal index and the integral basis.34Theorem 3.5.2. Let K be an algebraic number field, Then m(K) = 1 if and only ifK possesses a power basis.Proof. (\u21d2) Suppose m(K) = 1. Then there exists a generator \u03b1 of K such thatind \u03b1 = 1.Hence, D(1,\u03b1, ...,\u03b1n\u22121)=D(\u03b1)= (ind \u03b1)2d(K)= d(K) so that {1,\u03b1, ...,\u03b1n\u22121}is an integral basis for K. Hence, K possesses a power basis.(\u21d0) Conversely, suppose K possesses a power basis, say {1,\u03b1, ...,\u03b1n\u22121}. Then{1,\u03b1, ...,\u03b1n\u22121} is an integral basis for K and so D(1,\u03b1, ...,\u03b1n\u22121) = d(K). But,D(1,\u03b1, ...,\u03b1n\u22121) = D(\u03b1) = (ind \u03b1)2d(K),which forces ind \u03b1 = 1 and hence m(K) = 1.35Chapter 4Galois Groups and ChebotarevDensity TheoremFor our discussion on Galois theory, we will restrict our attention to cubic polyno-mials.4.1 Galois Groups of CubicsIn Theorem 3.1.1, we introduced Eisenstein\u2019s Irreducibility Criterion to test if apolynomial is irreducible. There are more techniques for testing irreducibility ofpolynomials. We begin this section by providing a few other techniques for irre-ducibility.Theorem 4.1.1. (Rational Root Theorem) Letf (x) = anxn+an\u22121xn\u22121+ \u00b7 \u00b7 \u00b7+a1x+a0 = 0 \u2208 Z[x],where an,a0 6= 0. Then, each rational solution x, when written as a fraction x= p\/qwith gcd(p,q) = 1, satisfies\u2022 p is an integer factor of the constant term a0, and\u2022 q is an integer factor of the leading coefficient an.36Theorem 4.1.2. (Gauss) Let f be a polynomial over Z which is irreducible overZ. Then f , considered as a polynomial over Q, is also irreducible over Q.We demonstrate Gauss\u2019s Lemma in the following example.Example 4.1.1. Considerf (x) = x2+ x+1 \u2208 Z[x].Since f (\u00b11) 6= 0, f (x) is irreducible by the Rational Root Theorem. Hence, byTheorem 4.1.2, f (x) is irreducible over Q.Another type of irreducibility test is called the modulo p test. Let p be a primeand suppose that f (x) = anxn+an\u22121xn\u22121+ \u00b7 \u00b7 \u00b7+a1x+a0 \u2208 Z[x] with the degree off (x), n\u2265 1, and p - an. Let f (x) be the polynomial in Zp[x] obtained by reducingthe coefficients of f modulo p.Theorem 4.1.3. If f is irreducible overZp and the degree of f (x) equals the degreeof f (x), then f (x) is irreducible over Q.Proof. By way of contradiction, suppose f (x) = g(x)h(x), where g,h \u2208 Z[x], with1\u2264 deg(g)\u2264 deg( f ) and 1\u2264 deg(h)\u2264 deg( f ). Define\u03a6p : Z[x]\u2192 Zp[x]byf (x) =n\u2211k=0akxk 7\u2212\u2192n\u2211k=0akxk = f (x),where ak = ak + pZ. Note that \u03a6p is a ring homomorphism. Apply \u03a6p to bothsides of the equation f (x) = g(x)h(x). Then we obtainf (x) = g(x)h(x)By the assumption, deg( f ) = deg( f ) which means p - an. Letg(x) = brxr + (lowest terms)h(x) = csxs+ (lowest terms)37Then, an = brcs. Since p is a prime such that p - brcs, by Euclid\u2019s Lemma, p - brand p - cs. This means deg(g) = deg(g), and deg(h) = deg(h). Hence, f (x) isreducible over Zp. This is a contradiction to the assumption on f irreducible overZp. The irreducibility over Zp implies irreducibility over Z. By Gauss\u2019 Lemma,f (x) is irreducible over Q.Symmetries of roots of polynomials is the main idea behind Galois theory. Weconsider the following general cubic polynomial:f (x) = x3+a2x2+a1x+a0.Suppose that \u03b81,\u03b82, and \u03b83 are the roots of f (x). Then,f (x) = (x\u2212\u03b81)(x\u2212\u03b82)(x\u2212\u03b83)= x3\u2212 (\u03b81+\u03b82+\u03b83)x2+(\u03b81\u03b82+\u03b82\u03b83+\u03b81\u03b83)x\u2212\u03b81\u03b82\u03b83.For i = 1,2,3, define si(x1,x2,x3) as follows:s1 = x1+ x2+ x3s2 = x1x2+ x1x3+ x2x3s3 = x1x2x3.Then we see that evaluating each si at each of the roots of f gives us exactly thethree coefficients of f . Consider the symmetric group on 3 lettersS3 = {1,(1,2),(1,3),(2,3),(1,2,3),(1,3,2)}.Let \u03c3 \u2208 S3. Then, we can easily compute that \u03c3(si) = si for all i = 1,2,3. Forexample, if \u03c3 = (1 2 3),\u03c3(s1) = s1(x3,x1,x2) = x3+ x1+ x2 = s1\u03c3(s2) = s2(x3,x1,x2) = x3x1+ x3x2+ x1x2 = s2\u03c3(s3) = s3(x3,x1,x2) = x3x1x2 = s3Thus, \u03c3(si) = si for all i = 1,2,3. Repeating the similar process for all \u03c3 \u2208 S3,we find that \u03c3(si) = si for i = 1,2,3.38Definition 4.1.1. h(x1,x2, ..,xn)\u2208K[x1,x2, ...,xn] is called a symmetric polynomialfor x1,x2, ..,xn if for any \u03c3 in the symmetric group Sn,\u03c3(h) = h.Definition 4.1.2. The elementary symmetric polynomials in n variables x1, ...,xn,written ek(x1, ...,xn) for k = 0, ...,n, are defined bye0(x1,x2, ...,xn) = 1,e1(x1,x2, ...,xn) = \u22111\u2264 j\u2264n x j,e2(x1,x2, ...,xn) = \u22111\u2264 j n.Theorem 4.1.4. (Fundamental Theorem of Symmetric Polynomials) Every sym-metric polynomial f (x1,x2, ...,xn)\u2208K[x1, ...,xn] is a polynomial of elementary sym-metric polynomials.In section 5.1, we will use a symmetric polynomial to derive the discriminantof a cubic polynomial.Next, we state a series of definitions and theorems regarding field extensions,automorphisms, splitting fields, separability, and normality.In Theorem 3.1.2, we mentioned that the degree of the field K over the groundfield Q can be expressed as [K :Q] . In general, if K is a subfield of a field L, thedegree of L over K can be written as [L : K] .Theorem 4.1.5. (Tower Law) Let K \u2264 L\u2264M be field extensions. Then[M : K] = [M : L][L : K].Definition 4.1.3. L : K is called finite extension, if [L : K]< \u221e.Definition 4.1.4. L : K is called an algebraic extension if for all \u03bb \u2208 L,\u03bb is a rootof some nonzero polynomial in K[x].39Definition 4.1.5. An isomorphism \u03c3 is both one-to-one and onto map of a field Kwith itself is called an automorphism of K. The collection of automorphisms of Kis denoted byAut(K) = {\u03c3 : K\u2192 K | \u03c3 is an automorphism}.Definition 4.1.6. An automorphism \u03c3 \u2208 Aut(K) is said to fix an element \u03b1 \u2208 Kif \u03c3(\u03b1) = \u03b1. If F \u2286 K then an automorphism \u03c3 is said to fix F if it fixes all theelements in F. That is, \u03c3(\u03b1) = \u03b1 for all \u03b1 \u2208 F.Observe that Aut(L) is a group under composition. It is easy to see that if\u03c3 ,\u03c4 \u2208 Aut(L),\u03c4 \u25e6\u03c3 \u2208 Aut(L). Since \u03c3 is both one-to-one and onto, its inverse \u03c3\u22121is in Aut(L).Definition 4.1.7. If K is a field and f is a polynomial over K, then f splits in K ifit can be expressed as a product of linear factorsf (x) = k(x\u2212\u03b11) \u00b7 \u00b7 \u00b7(x\u2212\u03b1n),where k,\u03b11,\u03b12, ...,\u03b1n \u2208 K.Definition 4.1.8. (Splitting Fields) The field \u03a3 is a splitting field for the polynomialf over the field K if K \u2286 \u03a3 and1. f splits over \u03a3,2. \u03a3= K(\u03b11,\u03b12, ...,\u03b1n), where \u03b11,\u03b12, ...,\u03b1n are the roots of f .Definition 4.1.9. (Normality) An algebraic extension L : K is normal if every irre-ducible polynomial f over K which has at least one zero in L splits in L.Definition 4.1.10. (Separability) An irreducible polynomial f over a field K isseparable over K if it has no multiple zeros in a splitting field for K.Definition 4.1.11. Let K be a field and let f (x),g(x) \u2208 K[x]. A common divisor off (x) and g(x) is a polynomial c(x) \u2208 K[x] such that c(x) | f (x) and c(x) | g(x). Thegreatest common divisor (gcd) is a monic common divisor of the highest degree.40Corollary 4.1.6. If L is the splitting field over Q of a separable polynomial f (x),then L is normal.Note that a Galois extension is an algebraic field extension K \u2264 L that is normaland separable. If K \u2264 L is a Galois extension, then Aut(L\/K) is called the Galoisgroup of L over K, and write Gal(L : K).Let K \u2264 L be a finite Galois extension with Galois group G, which consists ofall K-automorphisms of L. LetF be the set of intermediate fields, that is, subfieldsM such that K \u2286 M \u2286 L, and let G be the set of all subgroups H of G. We havedefined two maps:\u2217 : F \u2192 G\u2021 : G \u2192Fas follows: if M \u2208F , then M\u2217 is the group of all M-automorphisms of L. If H \u2208 G ,then H\u2021 is the fixed field of H. We have observed that the maps \u2217 and \u2021 reverseinclusions, that is, M \u2286M\u2217\u2021 and H \u2286 H\u2021\u2217. Now, we are ready to state the Funda-mental Theorem of Galois Theory from [6].Theorem 4.1.7. (Fundamental Theorem of Galois Theory) If L : K is a finite nor-mal field extension inside C, with Galois group G, and if F ,G ,\u2217,\u2021 are defined asabove, then:1. The Galois group G has order [L : K].2. The maps \u2217 and \u2021 are mutual inverses, and set up an order-reversing one-to-one correspondence betweenF and G .3. If M is an intermediate field, then[L : M] = |M\u2217| [M : K] = |G|\/|M\u2217|4. An intermediate field M is a normal extension of K if and only if M\u2217 is anormal subgroup of G.5. If an intermediate field M is a normal extension of K, then the Galois groupof M : K is isomorphic to the quotient group G\/M\u2217.41Theorem 4.1.8. Let K \u2264 L be a field extension, where L is the splitting field of aseparable polynomial f \u2208 K[x]. Then Gal(L : K) has order [L : K].It is well-known that the Galois group Gal(L : Q) is a subgroup of the sym-metric group Sn where n is the degree of an irreducible polynomial over Q. By theLagrange Theorem,|Gal(L :Q)| | |Sn|We now calculate the Galois group of some algebraic extensions. We considertwo examples in this section.Example 4.1.2. Let \u03b1 = 3\u221a2. The minimal polynomial m(x) of \u03b1 ism(x) = x3\u22122 \u2208Q[x].The roots of m(x) are \u03b1,\u03c9\u03b1,\u03c92\u03b1, where \u03c9 = cos 2pi3 + isin2pi3 , and \u03c92 = cos 4pi3 +isin 4pi3 . The splitting field of m(x) is Q(\u03b1,\u03c9). Now, we investigate the number ofelements in the Galois group Gal(Q(\u03b1,\u03c9) : Q). Observe that the field Q(\u03b1,\u03c9) isnormal by Corollary 4.1.6. Also, since m(x) is an irreducible polynomial over Q,we have [Q(\u03b1) :Q] = 3. Similarly, since \u03c9 is a root of the irreducible polynomialx2+ x+1 over Q(\u03b1), we have [Q(\u03b1,\u03c9) :Q(\u03b1)] = 2. By the Tower law describedin Theorem 4.1.5, we obtain the following[Q(\u03b1,\u03c9) :Q] = [Q(\u03b1,\u03c9) :Q(\u03b1)] \u00b7 [Q(\u03b1) :Q] = 6.Since the fieldQ(\u03b1,\u03c9) is the splitting field of a separable polynomial m(x)\u2208Q[x],Q(\u03b1,\u03c9) is normal. Thus,|Gal(Q(\u03b1,\u03c9) :Q)|= 6Hence, Gal(Q(\u03b1,\u03c9) :Q)' S3. Now, we explore the elements in Gal(Q(\u03b1,\u03c9) :Q).42Define\u03c3 : Q(\u03b1,\u03c9) \u2212\u2192 Q(\u03b1,\u03c9)\u03b1 7\u2212\u2192 \u03c9\u03b1\u03c9 7\u2212\u2192 \u03c9\u03c4 : Q(\u03b1,\u03c9) \u2212\u2192 Q(\u03b1,\u03c9)\u03c9\u03b1 7\u2212\u2192 \u03c92\u03b1\u03b1 7\u2212\u2192 \u03b1Now, consider the following table.Table 4.1: The elements in the Galois group of S3Elements \u03b1 \u03c9\u03b1 \u03c92\u03b1 order1 \u03b1 \u03c9\u03b1 \u03c92\u03b1 1\u03c3 \u03c9\u03b1 \u03c92\u03b1 \u03b1 3\u03c32 \u03c92\u03b1 \u03b1 \u03c9\u03b1 3\u03c4 \u03b1 \u03c92\u03b1 \u03c9\u03b1 2\u03c3\u03c4 \u03c9\u03b1 \u03b1 \u03c92\u03b1 2\u03c32\u03c4 \u03c92\u03b1 \u03c9\u03b1 \u03b1 2Hence, Gal(Q(\u03b1,\u03c9) : Q) = {1,\u03c3 ,\u03c32,\u03c4,\u03c3\u03c4,\u03c32\u03c4}. Lastly, we relate the sub-group diagram in Figure 2.2 as follows:43Figure 4.1: The lattice of subfields diagram of Q(\u03b1,\u03c9) :QQ(\u03b1,\u03c9)Q(\u03b1)Q(\u03c9) Q(\u03c9\u03b1) Q(\u03c92\u03b1)Q23 2 22 3 3 3Figure 4.2: The lattice of subgroups diagram of Gal(Q(\u03b1,\u03c9) :Q){1}\u3008\u03c4\u3009\u3008\u03c3\u3009 \u3008\u03c32\u03c4\u3009 \u3008\u03c3\u03c4\u3009G ' S323 2 22 3 3 3Example 4.1.3. Consider the following polynomialf (x) = x3\u22126717x\u2212203749.By Theorem 3.1.1, f (x) irreducible over Q as f (x) is 2239-Eisenstein. Let \u03b11 be a44root of f (x). The discriminant of f (x) is\u2206[1,\u03b1,\u03b12] = (3)6(5)2(2239)2 > 0,which means all the roots \u03b11,\u03b12, and \u03b13 of f (x) are real and distinct. Then, thesplitting field K =Q(\u03b11,\u03b12,\u03b13) is normal. By Theorem 4.1.8,|Gal(K :Q)|= [K :Q] = 3.This implies that the Galois group is isomorphic to Z3.4.2 The Chebotarev Density TheoremLet f (x) be monic and irreducible polynomial over Q. Let p be a prime such thatp does not divide the discriminant of f (x). Using Galois theory, we investigate thefactorization of polynomials in finite fields Fp that is related to the elements of theGalois group. Again, we restrict ourselves to the cubic and quartic polynomials inthis section. Consider the following example.Example 4.2.1. Let f (x) = x3\u22125. Note that f (x) is irreducible over Q because itis 5-Eisenstein. Let \u03b8 = 3\u221a5 be a root of f (x). The discriminant\u2206[1,\u03b8 ,\u03b8 2] =\u2212675 =\u2212(3)3(5)2.The splitting field of f (x) isL =Q(\u03b8 ,\u03c9),where \u03c9 is a root of the polynomial x2 + x+ 1 = 0. We know that Gal(L : Q) isisomorphic to a subgroup of S3. In fact,Gal(L :Q)' S3as [L :Q] = 6. We categorize the subgroups of Gal(L :Q) as follows.45Table 4.2: Cycle types in S3Cycle Type # ElementsType 1 (1 2 3), (1 3 2)Type 2 (1 2)(3), (1 3)(2), (1)(2 3)Type 3 (1)(2)(3)Now, choose primes p such that p - \u2206[1,\u03b8 ,\u03b8 2] = \u2212(3)3(5)2. We choose p =2,7,11,13,17,19, and check the factorization over the finite fields Fp with Maple.Table 4.3: Polynomial factorization over Fpp Factorization over Fp Cycle Type Type #2 (x+1)(x2+ x+1) (1)(2 3) 27 x3+2 (1 2 3) 111 (x2+3x+9)(x+8) (1 2)(3) 213 (x+2)(x+5)(x+6) (1)(2)(3) 317 (x2+11x+2)(x+6) (1 2)(3) 219 x3+14 (1 2 3) 1We notice that there are three types of factorizations of x3 \u2212 5 over Fp forthe first 6 primes that do not divide the discriminant of f . If we associate eachtype of factorization to a certain cycle type in S3, we see that the number of eachfactorization type is equal to the number of each cycle type in S3.Maybe this observation was merely a fluke. Let\u2019s see what happens when wetry another polynomial, which gives Galois group of D4. The dihedral group Dn isthe symmetry group of an n-sided regular polygon for n > 1. The group order ofDn is 2n. Dihedral groups Dn are non-abelian permutation groups for n > 2. Theelements in D4 can be expressed as follows.D4 = {1,\u03c3 ,\u03c32,\u03c33,\u03c4,\u03c3\u03c4,\u03c32\u03c4,\u03c33\u03c4}, |D4|= 8,46satisfying the following property:\u03c34 = \u03c42 = 1,\u03c4\u03c3 = \u03c3\u22121\u03c4.Example 4.2.2. Let f (x) = x4\u22125. Clearly, f (x) is irreducible overQ. Let \u03b8 = 4\u221a5be a root of f (x). The discriminant\u2206[1,\u03b8 ,\u03b8 2,\u03b8 3] =\u221232000 =\u2212(2)8(5)3.The roots of f (x) are \u03b8 = 4\u221a5,\u2212 4\u221a5, i 4\u221a5,\u2212i 4\u221a5. The splitting field of f (x) is L =Q(\u03b8 , i). By Theorem 4.1.8, L is Galois, and so|Gal(L :Q)|= [L :Q] = 8.Define\u03c3 : Q(\u03b8 , i) \u2212\u2192 Q(\u03b8 , i)\u03b8 7\u2212\u2192 i\u03b8i 7\u2212\u2192 i\u03c4 : Q(\u03b8 , i) \u2212\u2192 Q(\u03b8 , i)i\u03b8 7\u2212\u2192 \u2212i\u03b8\u03b8 7\u2212\u2192 \u03b8It is easy to verify that \u03c33\u03c4 = \u03c4\u03c3 ,\u03c4\u03c32 = \u03c32\u03c4, and \u03c4\u03c33 = \u03c3\u03c4. Hence,Gal(L :Q)' D4.We obtain the following cycle notations that are categorized in four differenttypes shown in Table 4.4.47Table 4.4: Cycle types in D4Cycle Type # Elements1 (1 2 3 4), (1 4 3 2)2 (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)3 (1)(2 4)(3), (1 3)(2)(4)4 (1)(2)(3)(4)Now, choose primes that do not divide both 2 and 5. Say,p = 3,7,11,13,17,19,23, and 29.Table 4.5: Polynomial factorization over Qpp Factorization over Qp Cycle Type Type #3 (x2+2x+2)(x2+ x+2) (1 2)(3 4) 27 (x2+6x+4)(x2+ x+4) (1 2)(3 4) 211 (x+2)(x2+4)(x+9) (1)(2 4)(3) 313 x4+8 (1 2 3 4) 117 x4+12 (1 2 3 4) 119 (x+3)(x2+9)(x+16) (1)(2 4)(3) 323 (x2+4x+8)(x2+19x+8) (1 2)(3 4) 229 (x2+18)(x2+11) (1 2)(3 4) 2We obtain 2\/|D4| chances of the type 1, 4\/|D4| chances of the type 2, 2\/|D4|chances of the type 3, and no chance of the type 4. To verify this phenomenon, weused MAPLE to calculate the factorizations for a large number of primes p and weachieved the following results.48Cycle Pattern # of occurrences(1 2 3 4) \u2248 2\/8(1 2)(3 4) \u2248 3\/8(1)(2 4)(3) \u2248 2\/8(1)(2)(3)(4) \u2248 1\/8Thus, there seems to be a close relationship between the factorization of poly-nomials in finite fields and elements in their corresponding Galois groups. In [9],Lenstra computes this behaviour for polynomials f1(X) = X4\u2212X2\u22121 \u2208 Z[x], andf2(X) = X4\u2212X \u22121 \u2208 Z[x]. He finds 1000 primes that do not divide the discrimi-nant of each polynomials f1 and f2. The details of this is shown below.fi(X) p0 \u2206( fi) # of p\u2264 p0 s.t. p - \u2206( fi)X4\u2212X2\u22121 7933 \u221224 \u00b752 1000X2\u2212X\u22121 7927 \u2212283 1000Then, he finds how often each factorization occurs among all primes up to p0.fi(X) 4 1,3 2,2 1,1,2 1,1,1,1X4\u2212X2\u22121 254 0 379 251 116X4\u2212X\u22121 258 337 117 253 35The numbers in the header of the table above represent the factorization pattern.For example, there are 254 primes p up to 7933 such that f = X4\u2212X2\u22121 remainsirreducible modulo p. The pattern 1, 1, 2 represents that f splits into two linear andone quadratic factors for 251 primes.Note that Gal( f1(X))' D4 and Gal( f2(X))' S4. Thus, the probability of get-ting each factorization matches with our results in the previous two examples. Itturns out that the elements in each type of cycle notation are related to one anothervia conjugation in Sn. In Example 2.2.5, we showed that the elements in S3 can becategorized in different conjugacy classes. We will make this result more preciseby considering the conjugacy classes of S3 and show that these exactly match withthe cycle types from Example 4.2.1.Before we provide the Chebotarev Density Theorem, we summarize the previ-ous result. Let f be a monic polynomial with integer coefficients with degree n.49Write K =Q(\u03b11,\u03b12, ...,\u03b1n), where \u03b11, ...,\u03b1n are the roots of f . The Galois groupG of f is the group of field automorphisms of K. We know that G is a subgroupof Sn. Writing an element \u03c3 \u2208 G as a product of disjoint cycles (including cyclesof length 1), we obtain the cycle pattern of \u03c3 , which is a partition n1,n2, ...,nt ofn. If p is a prime number not dividing \u2206( f ), then we can write f modulo p asa product of distinct irreducible factors over Fp. The degrees of these irreduciblefactors form the decomposition type of f modulo p. The following theorem tellsus that the number of primes with a given decomposition type is proportional tothe number of \u03c3 \u2208 G with the same cycle pattern.Theorem 4.2.1. The density of the set of primes p for which f has a given decom-position type n1,n2, ...,nt exists, and it is equal to 1\/#G times the number of \u03c3 \u2208Gwith cycle pattern n1,n2, ...,nt .We verify Theorem 4.2.1 by looking at the following example.Example 4.2.3. Recall Example 4.2.1. We showed that the Galois group G of thepolynomial f (x) = x3\u2212 5 is isomorphic to S3. The order of G is 6. Each of thefollowing subsetsC1 = {(1)(2)(3)}C2 = {(1 2)(3), (1 3)(2), (1)(2 3)}C3 = {(1 2 3), (1 3 2)}form a different conjugacy classes. First, consider the cycle pattern with ni = 1for i = 1,2,3. Only the identity permutation has this cycle pattern, which is inC1. Hence, by Theorem 4.2.1, the set of primes p for which f modulo p splitscompletely into three distinct linear factors has density 1\/#G = 1\/6. Similarly, thecycle pattern with n1 = 2,n2 = 1 or n1 = 1,n2 = 2 corresponds to the elements inC2. Again, using Theorem 4.2.1, the set of primes p for which f modulo p splitsinto linear-quadratic factors has density (1\/#G)\u00d7 #C2 = 3\/6. Similarly the setof primes p for which f remains irreducible modulo p has density 2\/6. Thesestatistics are also confirmed with our experiment in Table 4.3.Theorem 4.2.2. (Chebotarev Density Theorem) Let K be an algebraic number fieldof degree n over Q. Let C \u2282G = Gal(K :Q) be a conjugacy class. Then, the set of50primes not dividing \u2206(K :Q) has density #C\/#G.As a consequence of Chebotarev density theorem, for some polynomials, thereexist infinitely many primes p so that the polynomial does not factor over the finitefields Fp.Theorem 4.2.3. If n is an integer which is not a cube, then for f (x) = x3\u2212n,1. f (x) is irreducible over Q.2. Gal( f )' S3Theorem 4.2.4. (Cauchy\u2019s Theorem) Let p be a prime. Let G be a finite group andlet p divide |G|. Then G has an element of order p and, consequently, a subgroupof order p.Theorem 4.2.5. Let f (x) \u2208 Z[x] be a monic polynomial, irreducible over Q, andhaving prime degree p. Then there exists a prime q such that f (x) is irreduciblemod qProof. Let deg( f (x)) = p, where p is a prime. Let L be a splitting field of f (x). Itis clear thatp | |Gal(L :Q)|By Theorem 4.2.4, Gal(L : Q) has an element (a1,a2, ...,ap) of order p and con-sequently, a subgroup of order p. This shows that there exists a prime q such thatf (x) is irreducible modulo q.We immediately obtain the following corollary.Corollary 4.2.6. Let n be an integer which is not a cube in Z. Then there existsinfinitely many primes q such thatf (x) = x3\u2212nis irreducible mod q.51Chapter 5Minimal Indices in Pure CubicFieldsIn this Chapter, we will focus on analyzing pure cubic fields. In the first threesections, we define pure cubic fields, and calculate an integral basis for them withindex forms. Then using the index form we prove the unboundedness of its minimalindex via Hall[1]. Furthermore, we construct infinitely many families of pure cubicfields whose index equals a particular positive integer.5.1 Pure Cubic FieldsWe begin with the definition of pure cubic fields.Definition 5.1.1. (Pure cubic field) A field K is said to be pure cubic field if thereexists a rational integer d, which is not a perfect cube, such that K =Q( 3\u221ad).Generally, we write pure cubic fields as K = Q( 3\u221aab2), where a,b are square-free, and gcd(a,b) = 1. It is easy to see ab2 is cubefree, and that the minimalpolynomial of 3\u221aab2 is m(x) = x3\u2212ab2 \u2208 Z[x] so that 3\u221aab2 is an algebraic integer.Let a= 2, and b= 1. Then, we have the pure cubic field K =Q( 3\u221a2). Let \u03b1 = 3\u221a2.Then, its minimal polynomial m(x) ism(x) = x3\u22122 \u2208 Z[x].52Alaca (pg. 175, [2]) shows that K = Q(\u03b1) = Q(\u03b8), where \u03b8 \u2208 R is a root of theirreducible polynomial given byf (x) = x3+6x+2.This shows the existence of pure cubic fields of the form K = Q(\u03b8), where \u03b8 3 +a\u03b8 + b = 0, a,b \u2208 Z. We end this section by showing that the discriminant ofany polynomial of the form f (x) = x3 + px+ q is \u22124p3\u2212 27q2, where p,q \u2208 Z.Furthermore, we show that if K =Q(\u03b8), where \u03b8 is a root of f (x), is a pure cubicfield, then the discriminant of f (x) equals \u22123c2 for some positive integer c.Example 5.1.1. We show that the discriminant of f (x) = x3+ px+q is\u22124p3\u221227q2.Let \u03b1,\u03b2 ,\u03b3 be the three roots of f (x). Then,f (x) = (x\u2212\u03b1)(x\u2212\u03b2 )(x\u2212 \u03b3),where,\u03b1+\u03b2 + \u03b3 = 0\u03b1\u03b2 +\u03b2\u03b3+\u03b1\u03b3 = p\u03b1\u03b2\u03b3 = \u2212q.This is equivalent tof (x) = x3\u2212 (\u03b1+\u03b2 + \u03b3)x2+(\u03b1\u03b2 +\u03b2\u03b3+\u03b1\u03b3)x\u2212\u03b1\u03b2\u03b3.By Definition 3.3.1, the discriminant of the polynomial is\u2206( f ) = (\u03b1\u2212\u03b2 )2(\u03b2 \u2212 \u03b3)2(\u03b1\u2212 \u03b3)2\u221a\u2206( f ) = (\u03b1\u2212\u03b2 )(\u03b2 \u2212 \u03b3)(\u03b1\u2212 \u03b3).Note that\u221a\u2206( f ) can be computed by using the determinant of the following Van-53dermonde matrix:M =\uf8ee\uf8ef\uf8f0 1 1 1\u03b1 \u03b2 \u03b3\u03b12 \u03b2 2 \u03b32\uf8f9\uf8fa\uf8fb .Thus, \u2206( f ) is equal to the determinant of MMT , where MT is the transpose of M.That is,det(MMT ) =\u2223\u2223\u2223\u2223\u2223\u2223\u22231 1 1\u03b1 \u03b2 \u03b3\u03b12 \u03b2 2 \u03b32\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u2223\u22231 \u03b1 \u03b121 \u03b2 \u03b2 21 \u03b3 \u03b32\u2223\u2223\u2223\u2223\u2223\u2223\u2223 .In Section 4.1, we discussed symmetric polynomials of a cubic polynomial. Wedefines1 = \u03b1+\u03b2 + \u03b3s2 = \u03b1\u03b2 +\u03b1\u03b3+\u03b2\u03b3s3 = \u03b1\u03b2\u03b3.We already mentioned that \u03b1 + \u03b2 + \u03b3 = 0 in the previous page. Thus, s1 = 0.Similarly, we have s2 = p and s3 = \u2212q. Using Newton\u2019s identities, MMT can beexpressed as followsMMT =\uf8ee\uf8ef\uf8f03 a ba b cb c d\uf8f9\uf8fa\uf8fb ,wherea = s1 = 0b = s21\u22122s2 =\u22122pc = s1b\u2212 s2a+3s3 =\u22123qd = s1c\u2212 s2b+ s3a = 2p2.Therefore, the determinant of MMT isdet(MMT ) =\u2223\u2223\u2223\u2223\u2223\u2223\u22233 0 \u22122p0 \u22122p \u22123q\u22122p \u22123q 2p2\u2223\u2223\u2223\u2223\u2223\u2223\u2223=\u22124p3\u221227q2.54Now, we prove that if \u03b8 is a root of f (t), and K = Q(\u03b8) is a pure cubic field,then its discriminant is \u22123c2 for some positive integer c.Proof. Assume L = Q(\u03b8) is a pure cubic field. Then there exist relatively primeintegers h,k such that K =Q( 3\u221ahk2). By Definition 3.5.1, we get the following twoexpressions for d(K).d(K) =\u22124p3\u221227q2(ind(\u03b8))2,d(L) =\u221227(hk2)2(ind( 3\u221ahk2))2.Since the two fields are equal, we obtain the following equality.\u22124p3\u221227q2(ind(\u03b8))2=\u221227(hk2)2(ind( 3\u221ahk2))2,it follows that\u22124p3\u221227q2 = \u221227(hk2)2(ind(\u03b8))2(ind( 3\u221ahk2))2= \u22123(3ind(\u03b8)(hk2)ind( 3\u221ahk2))2.Using a result of Dedekind (see [10]), the index of 3\u221ahk2 is either 1,k, or 3k. In anycase, we takec =3ind(\u03b8)(hk2)ind( 3\u221ahk2)\u2208 Z,which completes the proof.5.2 Computing Index FormsIn 1900, Dedekind [10] was the first one to generalize the integral basis for the purecubic field K =Q( 3\u221aab2).Theorem 5.2.1. Let d be a cubefree integer. Set d = ab2, where a,b are squarefreeintegers and gcd(a,b) = 1. Let \u03b8 = 3\u221ad and K =Q(\u03b8). Then an integral basis for55K is {1,\u03b8 ,\u03b8 2b}, if d2 6\u2261 1 (mod 9){1,\u03b8 ,b2\u00b1b2\u03b8 +\u03b8 23b}, if d \u2261\u00b11 (mod 9)..The field discriminant d(K) of K is given byd(K) =\uf8f1\uf8f2\uf8f3\u221227a2b2, if d2 6\u2261 1 (mod 9)\u22123a2b2, if d \u2261\u00b11 (mod 9).Using this result, we derive the index form of pure cubic fields due to Hall.Note that \u03b8 is a root of an irreducible monic polynomial x3\u2212 ab2 \u2208 Z[x]. Also,by Theorem 2.1.6 (Euler\u2019s Theorem), a2 6\u2261 b2 (mod 9) corresponds to d2 6\u2261 1(mod 9). We obtain the following equations.\u03b8 +\u03b8 \u2032+\u03b8 \u2032\u2032 = 0\u03b8\u03b8 \u2032+\u03b8\u03b8 \u2032\u2032+\u03b8 \u2032\u03b8 \u2032\u2032 = 0 (\u2217)\u03b8\u03b8 \u2032\u03b8 \u2032\u2032 = ab2.Consider the case a2 6\u2261 b2 (mod 9). Let \u03b1 \u2208 OK be such that\u03b1 = x+ y\u03b8 + z\u03b8 2b\u03b1 \u2032 = x+ y\u03b8 \u2032+ z\u03b8 \u20322b\u03b1 \u2032\u2032 = x+ y\u03b8 \u2032\u2032+ z\u03b8 \u2032\u20322b,where x,y,z \u2208 Z, and \u03b1,\u03b1 \u2032,\u03b1 \u2032\u2032 are the conjugates of \u03b1 with respect to K. Note that\u03b1\u2212\u03b1 \u2032 = (\u03b8 \u2212\u03b8 \u2032)(y\u2212 z\u03b8\u2032\u2032b)\u03b1\u2212\u03b1 \u2032\u2032 = (\u03b8 \u2212\u03b8 \u2032)(y\u2212 z\u03b8\u2032b)\u03b1 \u2032\u2212\u03b1 \u2032\u2032 = (\u03b8 \u2212\u03b8 \u2032)(y\u2212 z\u03b8b).56By Definition 3.3.3, the discriminant of \u03b1 is given byD(\u03b1) = (\u03b1\u2212\u03b1 \u2032)2(\u03b1\u2212\u03b1 \u2032\u2032)2(\u03b1 \u2032\u2212\u03b1 \u2032\u2032)2=[(\u03b8 \u2212\u03b8 \u2032)(y\u2212 z\u03b8\u2032\u2032b)(\u03b8 \u2212\u03b8 \u2032)(y\u2212 z\u03b8\u2032b)(\u03b8 \u2212\u03b8 \u2032)(y\u2212 z\u03b8b)]2= D(\u03b8)[(y\u2212 z\u03b8\u2032\u2032b)(y\u2212 z\u03b8\u2032b)(y\u2212 z\u03b8b)]2= D(\u03b8)[y3\u2212 y2zb(\u03b8 +\u03b8 \u2032+\u03b8 \u2032\u2032)+yz2b(\u03b8\u03b8 \u2032+\u03b8\u03b8 \u2032\u2032+\u03b8 \u2032\u03b8 \u2032\u2032)\u2212 z3\u03b8\u03b8\u2032\u03b8 \u2032\u2032b]2= D(\u03b8)[y3\u2212 z3 ab2b3]2=D(\u03b8)b2(by3\u2212az3)2.From Definition 3.5.1, we know thatind\u03b1 =\u221aD(\u03b1)d(K).The field discriminant d(K) is \u221227a2k2. The index of \u03b1 isind\u03b1 =\u221a\u221227a2b4\u221227a2b4 (by3\u2212az3)2=\u2223\u2223az3\u2212by3\u2223\u2223 .We may denote the index form of the field K as I(x,y)I(x,y) =\u2223\u2223ax3\u2212by3\u2223\u2223for x,y\u2208Z. Repeating the similar process for the case a2 \u2261 b2 (mod 9), we obtainthe corresponding index form as follows.I(x,y) =\u2223\u2223\u2223\u2223ax3\u2212by39\u2223\u2223\u2223\u2223 .575.3 Hall\u2019s TheoremWe begin by considering a few examples.Example 5.3.1. Let K = Q( 3\u221aab2) be a pure cubic field. Let a = 5,b = 1. Since52 6\u2261 12 (mod 9), the index form of this field isI(x,y) = |2x3\u2212 y3|.Choose x= 0,y=\u00b11. The minimal index m(K)= 1. Then by Theorem 3.5.2, K pos-sesses a power basis, {1, 3\u221a5,( 3\u221a5)2}, which verifies the result in Example 3.4.1.The next example shows that the minimal index can be greater than 1.Example 5.3.2. Let K =Q( 3\u221a3 \u00b7112). Since 32 6\u2261 112 (mod 9), the correspondingindex form of K isI(x,y) = |3x3\u221211y3|.Clearly, the minimal index m(K) = 3 6= 1.In fact, the minimal index of a pure cubic field can be arbitrarily large. Thefollowing is a theorem due to Hall (see [1]).Theorem 5.3.1. Given a large positive integer n, it is possible to find a cubic fieldK =Q( 3\u221aab2) in which every integer has an index greater than n.Proof. Let \u03b8 = 3\u221aab2, where a,b are relatively prime and squarefree. By Theorem5.2.1, an integral basis for K is{1,\u03b8 ,\u03b8 2b}, if a2 6\u2261 b2 (mod 9){1,\u03b8 ,b2\u00b1b2\u03b8 +\u03b8 23b}, if a2 \u2261 b2 (mod 9).The corresponding index forms areI(x,y) =\uf8f1\uf8f4\uf8f4\uf8f2\uf8f4\uf8f4\uf8f3\u2223\u2223ax3\u2212by3\u2223\u2223 , if a2 6\u2261 b2 (mod 9)|ax3\u2212by3|9, if a2 \u2261 b2 (mod 9).58It is sufficient to show that I(x,y)> 9n. Considera\u2261 2 (mod 7) and b\u2261 0 (mod 7).ThenI \u2261 2x3 \u2261 0,\u00b12 (mod 7).This shows that I(x,y) 6=\u00b11. We eliminate the possibility of I(x,y) =\u00b12 by choos-inga\u2261 1 (mod 13) and b\u2261 0 (mod 13).ThenI(x,y) \u2261 x3 \u2261 0,\u00b11,\u00b15 (mod 13).This shows that I(x,y) 6=\u00b12,\u00b13,\u00b14. We eliminate the possibility of I(x,y) =\u00b15by choosinga\u2261 1 (mod 19) and b\u2261 0 (mod 19).ThenI(x,y) \u2261 x3 \u2261 0,\u00b11,\u00b17,\u00b18 (mod 19).This shows that I(x,y) 6=\u00b15,\u00b16. Continuing this process, the index is unbounded.Take a sequence of primesp1, p2, ..., p9nof the form 3k+ 1, where k \u2208 Z. Due to the choice of these primes, we chooseintegers a1, ...,a9n so that ai and n are not equivalent modulo pi as described inDefinition 2.1.7. That is,a1x3 6\u2261 n (mod p1)a2x3 6\u2261 n (mod p2).........a9nx3 6\u2261 n (mod p9n).Defineb = p1 p2 \u00b7 \u00b7 \u00b7 p9n.59We may find a by solving the following system of modular equations using theChinese Remainder Theorem.a \u2261 a1 (mod p1)a \u2261 a2 (mod p2)...a \u2261 a9n (mod p9N).Then, I(x,y) 6= \u00b1N for all 1 \u2264 n \u2264 9N. Thus, the minimal index of a pure cubicfield can be arbitrarily large.5.4 Main ResultMotivated by Hall, we evaluate the minimal index for infinitely many pure cubicfields. Before we state the main result, we may borrow a theorem from Erdo\u00a8s[11].Let f (x) be a polynomial having integer coefficients with greatest common divisor1. We assume that the coefficient of the leading term in f (x) is positive.Theorem 5.4.1. If n\u2265 3 and f (x) satisfies the conditions stated above, then thereare infinitely many positive integers x for which f (x) is (n\u22121)-th power free.Example 5.4.1. Let p be a prime of the form 3k+ 1, where k is an integer and nbe an integer not divisible by p. We show thatf (x) = 27px3+27px2+9px+(p+9n)is squarefree for infinitely many positive integers x.Since gcd(27p,27p,9p, p+ 9n) = 1, and 27p is positive, we conclude that thereare infinitely many positive integers x for which f (x) is squarefree by Theorem5.4.1.We use the result from Section 5.2 about integral bases and the index form ofpure cubic fields except we give a small restriction on a,b. When we consider thecase a2 \u2261 b2 (mod 9), we choose the signs of a and b so that a\u2261 b\u2261 1 (mod 3).60Then the corresponding integral basis is:{1,\u03b8 ,\u03b8 2+ab2\u03b8 +b23b}.Consequently, the index form in this case is:I(x,y) =a(3x+ y)3\u2212by39.We are now ready to state and prove the main result.Theorem 5.4.2. Let n be a cubefree positive integer. Then there exist infinitelymany pure cubic fields with minimal index equal to n.Proof. Let K = Q( 3\u221aab2) be a pure cubic field, where a, and b are squarefreeand such that gcd(a,b) = 1. Let \u03b8 = 3\u221aab2. Recall the index form I(x,y) for K. Ifa2 6\u2261 b2 (mod 9), thenI(x,y) = ax3\u2212by3. (5.1)If a2 \u2261 b2 (mod 9), thenI(x,y) =a(3x+ y)3\u2212by39. (5.2)Suppose that n = 1. Choose a = 3p for any prime p > 3. Then the family of purecubic fieldsK =Q( 3\u221a3p)has minimal index m(K) = 1 since the index form of K isI(x,y) = 3px3\u2212 y3,so thatI(0,\u22121) = 1.Now, suppose that n > 1 and cubefree. It is easy to see that the sequencen2k for k = 1,2, ...,n\u22121,61does not contain a perfect cube. Thus the cubic polynomialsfk(x) = x3\u2212n2k, k = 1,2, ...,n\u22121,are irreducible over Q. The Galois groups of the cubic polynomials fk(x) containan element of order 3 so that by the Chebotarev Density Theorem [9] and Theorem4.2.5, we may select prime numbers pk, k = 1,2, ...,n\u2212 1 such that fk(x) is irre-ducible modulo pk. Suppose pk = 3. Then, fk(x) is clearly reducible over F3. Nowsuppose, pk are of the form 3e+2, where e is an integer. ThenX3 \u2261 n2k (mod pk)is solvable by Theorem 2.1.7, which contradicts our choice of pk. Thus, pk areof the form 3e+ 1. Define the positive integer b to be the product of the distinctprimes in the sequencep1, p2, ..., pn\u22121.By the choice of pk, gcd(n,b) = 1, and b is squarefree. Further, we haveb \u2261 1 (mod 3).Let z be an integer. We define the integer a = a(z) bya(z) = b(3z+1)3+9n. (5.3)We have shown that there are infinitely many integers z for which a is squarefreein Example 5.4.1. We now have a family of pure cubic fieldsK =Q( 3\u221aab2).We will show that these fields have the property that m(K) = n. By (5.3), it is easyto see thata \u2261 b (mod 9),from which we deduce that we are using the index form given by equation (5.2).62As b \u2261 1 mod 3, we clearly have a \u2261 1 (mod 3), so that we use the index formI(x,y) =(b(3z+1)+9n)(3x+ y)3\u2212by39.A calculation shows thatI(\u2212z,3z+1) = n.If any of the equationsI(x,y) =\u00b1k, k = 1,2, ...,n\u22121are solvable for integers x,y then at least one of the congruencesI(x,y) \u2261 \u00b1k (mod pk), k = 1,2, ...,n\u22121is solvable. These congruences reduce ton(3x+ y)3 \u2261 \u00b1k (mod pk),implying that the congruenceX3 \u2261 \u00b1n2k (mod pk)is solvable for X modulo pk for some k, which contradicts the choice of the pk.Thus each of the infinitely many pure cubic fields K in this case satisfym(K) = n,completing the proof.We now give examples illustrating our main result.Example 5.4.2. We show there exists infinitely many pure cubic fields K withm(K) = 4.63Begin by choosing primes pk, k = 1,2,3 such that the cubic polynomialsfk(x) = x3\u221242k, k = 1,2,3are irreducible modulo pk. We find that we may choose p1 = p2 = 7 and p3 = 13.Thus b = 7 \u00b713. Next we choose a positive integer z so that7 \u00b713 \u00b7 (3z+1)3+4 \u00b79is squarefree. We find the value z = 0 yields the squarefree integer 127. As in theproof of our theorem, we havea = 127 and b = 91.The pure cubic fieldQ(3\u221a127 \u00b7912)has index formI(x,y) =127(3x+ y)3\u221291y39.The cubic index form equationsI(x,y) =\u00b1k, k = 1,2,3are insolvable by construction, butI(0,1) = 4,so thatm(K) = 4.Next we consider an example which is not covered by our theorem.Example 5.4.3. We give a pure cubic field K with m(K) = 8. SetK =Q(3\u221a23 \u00b7152).64The index form for K isI(x,y) = 23x3\u221215y3.Using Magma, we find that the cubic index form equationsI(x,y) =\u00b1k, k = 1,2, ...,7are all insolvable. HoweverI(1,1) = 8,so thatm(K) = 8.65Chapter 6Conclusion and Future Work6.1 ConclusionThis thesis extends Hall\u2019s idea on the unboundedness of minimal indices of purecubic fields. Our main goal was to construct a family of infinitely many pure cubicfields with the minimal index equal an arbitrary cubefree integer n. ChebotarevDensity Theorem held an important role in performing this construction. In fact,we needed to choose proper primes so that we find the appropriate expressions forthe index forms for these fields and show that the solvability of the index I(x,y) =1,2, ...,n\u22121 is impossible.In Chapter 4, we observed that there was a special relationship between theconjugacy class of a Galois group G and the factorization of polynomials over somefinite fields. By the Chebotarev Density Theorem, it turns out that the factorizationof polynomials of the form f (x) = x3\u2212ab2 depends on the density |C|\/|G| whereC is a conjugacy class of G. Further, the irreducibility of the polynomials f (x) overFp occurred for some primes of the form p = 3k+1.In Chapter 5, we first introduced Dedekind\u2019s result on integral bases of pure cu-bic fields. Once the index forms were set up, we showed that the minimal indicesof pure cubic fields are unbounded by Hall [1]. In section 5.4, We have constructedinfinitely many pure cubic fields with minimal index equal to one. Then, we usedErdo\u00a8s\u2019 theorem on squarefree integers to set up appropriate expressions for eachparameters a,b of the standard form K = Q( 3\u221aab2). Finally, we used the Cheb-66otarev Density Theorem to show that the index form does not equal any positiveintegers less than the arbitrary cubefree integer n.6.2 Future WorkWe can apply our result to different algebraic number fields. Dummit and Kisilevsky[7] and Huard [8] showed that the minimal indices of cyclic cubic fields are un-bounded. Funakura[12] computed integral bases of pure quartic fields. Gaa\u00b4l, andPetra\u00b4nyl [13] calculated the elements of minimal index in an infinite parametricfamily of simplest quartic fields. Nakahara [14, 15] proved that the minimal indexis unbounded for bicyclic and cyclic quartic fields. The idea presented in this the-sis can still be applied to these fields mentioned above. Our next goal is to extendour result to some of these fields mentioned above. We finish our discussion withproviding some examples of the minimal indices of pure quartic and cyclic cubicfields.Example 6.2.1. Let K = Q( 4\u221a2). Then \u03b8 = 4\u221a2 is a root of the monic polynomialf (x) = x4\u22122. The discriminant of \u03b8 isD(\u03b8) =\u22122048.By the result in Funakura [12], an integral basis for K is{1,\u03b8 ,\u03b8 2,\u03b8 3}.Thus, the most general element \u03b1 in the ring of integers OK is expressed by\u03b1 = a+b\u03b8 + c\u03b8 2+d\u03b8 4, where a,b,c,d \u2208 Z.By using Maple, we find thatD(\u03b1) =\u22122048{(\u22122d2+b2)(4d4\u221216bc2d+8c4+b4+4b2d2)}2.The Diophantine equation(\u22122d2+b2)(4d4\u221216bc2d+8c4+b4+4b2d2) = 167is solvable if (b,c,d) = (1,0,0). Hence, the minimal index m(K) = 1. Therefore, Kis a monogenic field.Example 6.2.1 considers one particular pure quartic field, which possesses apower basis. We immediately recognize that the index form is more complicatedcompared to the case of pure cubic fields even though we are considering the sim-plest pure quartic field. Finding a family of infinitely many of these fields withminimal index equal to an arbitrary integer can be a challenging work. The firststep towards this problem would be to generalize the index forms of pure quarticfields by considering all the necessary cases for integral basis computed by Fu-nakura [12]. Lastly, we look at an example of cyclic cubic fields.Example 6.2.2. Let K =Q(c,d) be a cyclic cubic field. We need to choose appro-priate integers c and d so that every representation of4m = c2+27d2characterizes a unique cyclic cubic field, where m is a product of distinct primes ofthe form 3k+1. Let \u03b8 be a root of f (x) = x3\u22126717x\u2212203749. An integral basisfor K is {1,2+\u03b83,37+7\u03b8 +\u03b8 245}.By Example 4.1.3, we have shown thatGal(K\/Q)' Z3as expected. The index form of K isI(x,y) = 5x3\u2212371y3+7x2y\u2212146xy2.Magma shows that there is no integers x,y such that I(x,y) = 1,2,3, or 4. Sincethe equation I(1,0) = 5,m(K) = 5.We made decent progress on constructing a family of infinitely many cycliccubic fields of index equal to n. Example 6.2.2 only shows one particular cyclic68cubic field with the case n = 5 to confirm the progress. A lot of work has beendone with algebraic number fields of degree 3. However, there is a lot of workwaiting for us for higher degree number fields as mentioned above. There is hugeresearch potential exploring the minimal indices of these number fields.69Bibliography[1] M. Hall, Indices in cubic fields, Bull. Amer. Math. Soc., 43, pp. 104-108,(1937) \u2192 pages 2, 5, 52, 58, 66[2] S. Alaca and K. S. Williams, Introductory Algebraic Number Theory, Cam-bridge University Press, New York (2004) \u2192 pages 19, 32, 53[3] J. B. Fraleigh, A First Course in Abstract Algebra, Pearson, New York, 7th Ed,(2002) \u2192 pages[4] K. H. Rosen, Elementary Number Theory and Its Application, Pearson,Boston, 6th Ed, (2010) \u2192 pages[5] H. T. Engstrom, On the common index divisors of an algebraic field, Transac-tions of the American Mathematical Society, vol. 32, pp. 223-237, (1930) \u2192pages 34[6] I. Stewart, Galois Theory, Chapman and Hall, New York, 2nd Ed, (1989) \u2192pages 41[7] D. S. Dummit and H. Kisilevsky, Indices in cyclic cubic fields, Number Theoryand Algebra, Academic Press, New York, pp. 29-42, (1977) \u2192 pages 67[8] J. G. Huard, Index Forms and power bases for cyclic cubic fields, Ph. D. Thesis,The Pennsylvania State University, University Park, Pennsylvania, (1978) \u2192pages 67[9] H. W. Lenstra and P. Stevenhagen, Chebotare\u00a8v and his density theorem, TheMathematical Intelligencer, 18, pp. 26-37, (1996) \u2192 pages 49, 6270[10] R. Dedekind, U\u00a8ber die Anzahl der Idealklassen in reinen kubischenZahlko\u00a8rpern, J. reine angew. Math. 121, pp. 40-123, (1900) \u2192 pages 55[11] P. Erdo\u00a8s, Arithmetic properties of polynomials, J. London Math. Soc. 28, pp.416-425 (1953) \u2192 pages 60[12] T. Funakura, On integral basis of pure quartic fields, Math. J. Okayama Univ.26, pp. 27-41, (1984) \u2192 pages 67, 68[13] I. Gaa\u00b4l, G. Petra\u00b4nyl, Debrecen Calculating all elements of minimal index inthe infinite parametric family of simplest quartic fields, Czechoslovak Mathe-matical Journal, 64, pp. 465-475, (2014) \u2192 pages 67[14] T. Nakahara, On the indices and integral bases of non-cyclic but abelian bi-quadratic fields, Arch. Math. (Basel) 41, pp. 504-508, (1983) \u2192 pages 67[15] T. Nakahara, On the minimum index of a cyclic quartic field, Arch. Math.(Basel) 48, pp. 322-325, (1987) \u2192 pages 67[16] B. K. Spearman, Q. Yang, and J. Yoo, Minimal indices of pure cubic fields,Archiv der Mathematik, 106, Issue 1, pp. 35-40, (2015) \u2192 pages iv[17] D. A. Marcus, Number Fields, Springer-Verlag, New York, (1977) \u2192 pages[18] J. P. Cook, Computing integral bases,http:\/\/math.ou.edu\/ jcook\/LaTeX\/integralbases.pdf(Feb. 2010) \u2192 pages 2571","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/hasType":[{"value":"Thesis\/Dissertation","type":"literal","lang":"en"}],"http:\/\/vivoweb.org\/ontology\/core#dateIssued":[{"value":"2016-09","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt":[{"value":"10.14288\/1.0305048","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/language":[{"value":"eng","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline":[{"value":"Mathematics","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/provider":[{"value":"Vancouver : University of British Columbia Library","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/publisher":[{"value":"University of British Columbia","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/rights":[{"value":"Attribution-NonCommercial-NoDerivatives 4.0 International","type":"literal","lang":"*"}],"https:\/\/open.library.ubc.ca\/terms#rightsURI":[{"value":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/","type":"literal","lang":"*"}],"https:\/\/open.library.ubc.ca\/terms#scholarLevel":[{"value":"Graduate","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/title":[{"value":"Minimal indices of pure cubic fields","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/type":[{"value":"Text","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#identifierURI":[{"value":"http:\/\/hdl.handle.net\/2429\/58308","type":"literal","lang":"en"}]}}