Solutions for Field Theory Problem Set 1

Size: px
Start display at page:

Download "Solutions for Field Theory Problem Set 1"

Transcription

1 Solutions for Field Theory Problem Set 1 FROM THE TEXT: Page 355, 2a. ThefieldisK = Q( 3, 6). NotethatK containsqand 3and = 2. Thus, K contains the field Q( 2, 3). In fact, those two fields are the same. To see this, it suffices to prove that Q( 2, 3) contains K. This is true because Q( 2, 3) is a field containing Q and 3 and 2 3 = 6. Thus, we have K = Q( 3, 2) = Q( 3)( 2) = F( 2), where F = Q( 3). Note that the minimal polynomial for 3 over Q is x 2 3. Hence [F : Q] = 2 and a basis for F over Q is {1, 3 }. Furthermore, the minimal polynomial for 2 over F is x 2 2. This is so because 2 is a root of the polynomial x 2 2, but that polynomial has no roots in F (as proven in problem D below). Thus, we have [F( 2) : F] = 2 and a basis for K = F( 2) over F is { 1, 2 }. Since [K : F] = 2 and [F : Q] = 2, it follows that [K : Q] = [K : F][F : Q] = 2 2 = 4. A basis for K over Q is { 1 1, 1 2, 3 1, 3 2 } = { 1, 2, 3, 6 }. 355, 2e. This question concerns the field K = Q( 2, 3 2) = F( 3 2), where F = Q( 2). We know that [F : Q] = 2. Furthermore, 3 2 F. To verify this, assume to the contrary that 3 2 F. Then we would have Q( 3 2) F. However, as discussed in class, [Q( 3 2 : Q] = 3. Thus, Q( 3 2) is a 3-dimensional vector space over Q and cannot be a subspace of F because F is a 2-dimensional vector space over Q. Therefore, 3 2 F. The other roots of x 3 2 cannot be in F because those roots are not in R whereas F is a subfield of R. It follows that x 3 2 has no roots in F, and since its degree is 3, that polynomial is irreducible over F. Therefore, x 3 2 is the minimal polynomial for 3 2 over F. It follows that [F( 3 2) : F] = 2. That is, [K : F] = 3. A basis for F over Q is {1, 2}. A basis for K over F is {1, 3 2, }. It follows that a basis for K over Q is We have [K : Q] = 6. { 1 1, 1 3 2, , 2 1, 2 3 2, }.

2 Page 355, 2f. Note that 8 = 2 2. It is clear that 8 Q( 2) and hence Q( 8) Q( 2). Furthermore, 2 = Q( 8) and hence we have Q( 2) Q( 8). It follows that Q( 8) = Q( 2). In particular, [Q( 8) : Q( 2)] = 1. A basis for Q( 8) over Q( 2) is {1}. Page 355, 2h. Let F = Q( 5). Let K = Q( 2+ 5). We first point out that F K. To verify this, note that ( 2+ 5)( 2 5) = = 2 5 = 3 It follows that 2 5 = ( 3) ( 2+ 5) 1 K and therefore 5 = 1 2( ( 2 5) ( 2 + 5) ) is also in K. Therefore, Q( 5) K. Thus, we have F K as stated. Furthermore,notethatK = F( 2+ 5). OneseeseasilythatK = F( 2). Furthermore, 2 F = Q( 5). This statement can be verified in a similar way to the proof that 2 Q( 3) given in problem D below. We omit that verification. It follows that the minimal polynomial for 2 over F is x 2 2. Consequently, we have [K : F] = 2 and a basis for K over F is { 1, 2 }. Page 355, 3a. We have x 4 10x = (x 2 3)(x 2 7). The four roots are ± 3, ± 7. The splitting field for that polynomial over Q is Q(± 3, ± 7) = Q( 3, 7). Page 355, 3b. If η is a root of x 4 +1 in C, then η 4 = 1 and hence η 8 = 1. Therefore, η is an 8th root of unity, but not a 4th root of unity. Note that η 3 has the same properties, and so η 3 is also a root of the polynomial x Also, η 5 and η 7 are roots of x 4 +1 in C. The four roots of x 4 +1 in C are η,η 3,η 5,η 7. Therefore, the splitting field for x 4 +1 over Q is Q(η, η 3, η 5, η 7 ). Note that the field Q(η) actually contains all powers of η. Hence η 3, η 5, and η 7 are in Q(η). Therefore, the splitting field for x 4 +1 over Q can be specified more simply as Q(η). One can take η = i.

3 Page 355, 3c. Let F = Z/3Z. We write the elements of F as ã = a + 3Z, where a {0, 1, 2}. Let g(x) = 1x 3 + 2x+ 2, an element in F[x] of degree 3. One checks easily that g(x) has no roots in F. Since g(x) has degree 3, it follows that g(x) is irreducible over F. Let K = F[x]/M, where M = ( g(x) ). Since M is a maximal ideal in F[x], it follows that K is a field. As discussed in class, we can regard F as a subfield of K. We do this by identifying an element ã in F with the element ã+m in K. Furthermore, as discussed in class, we have K = F[β], where β = x+m. Also, β is a root of g(x). It follows that g(x) has at least one root in K, namely β. The field K is generated by β over F. As explained in class, the map ϕ : K K defined by ϕ(k) = k 3 for all k K is an automorphism of the field K and ϕ F is the identity map for F. It follows that ϕ(β) = β 3 is also a root of g(x) in K. We have ϕ(β) = β 3 = (x+m) 3 = x 3 +M = x 3 g(x)+m = 2x 2 = 1x+ 1+M = β+ 1 Thus, β + 1 is another root of g(x) in K. We can apply ϕ to this root, obtaining ϕ(β + 1) = ϕ(β)+ϕ( 1) = (β + 1) + 1 = β + 2 Thus, β, β + 1, and β + 2 are roots of g(x) and are all in the field K. We have K = F(β) = F(β, β + 1, β + 2) and hence K is indeed a splitting field for g(x) over F. Page 355, 3d. Let ω = i, which is a cube root of unity. The roots of x3 3 are 3 3, ω 3 3, and ω The splitting field for x 3 3 over Q is Q( 3 3, ω 3 3, ω ). This field can be specified more simply as Q( 3 3, ω). Page 355, problem 5. Let F = Z/2Z. The elements of F are 0 = 0+2Z and 1 = 1+2Z. Let g(x) = 1x 3 + 1x+ 1. Let M = ( g(x) ). Since g(x) has degree 3 and has no roots in F, it follows that g(x) is irreducible over F and that M is a maximal ideal in F[x]. Let K = F[x]/M. Then K is a field and K has 8 elements because [K : F] = 3. Let β = x+m. The elements of K are of the form e+fβ+gβ 2, where e,f,g F. Furthermore, we have β 3 +β + 1 = 0 and hence β 3 = β 1 = 1+β.

4 The group U(K) consists of the nonzero elements of K and has 7 elements. This group must be cyclic because 7 is a prime. The identity element is 1. Any other element will be a generator. Thus, β is a generator. We have β 0 = 1, β 1 = β, β 2 = β 2, β 3 = 1+β, β 4 = ββ 3 = β +β 2, β 5 = ββ 4 = β 2 +β 3 = 1+β +β 2, β 6 = ββ 5 = β +β 2 +β 3 = β +β β = 1+β 2. Thus, the distinct elements of U(K) are { β j 0 j 6 }. One uses the law of exponents to multiply those powers of β. Thus, the above equations give the multiplication table for U(K). ADDITIONAL PROBLEMS: A: Let p = (which happens to be a prime number). Let a = 571+pZ, a nonzero element in the field F = Z/pZ. Find the additive and multiplicative inverses of a in the field F. You should express your answers in the form r+pz, where 0 r < p. SOLUTION. We take p = The additive inverse of 571+pZ in the field Z/pZ can be found as follows. 571+pZ = p 571+pZ = pZ The multiplicative inverse can be found by the Euclidean algorithm. Therefore, we have = , 571 = , 364 = = , 157 = , 50 = = = 50 7 ( ) = = 22 ( ) = = ( ) = = 51 ( ) = = ( ) = Thus, (mod p) and hence (571+pZ) 1 = 1571+pZ.

5 B: Let F = Q[θ], where θ = 3 2 is the unique cube root of 2 in R. Find the multiplicative inverse of f = 2+3θ θ 2 in F. Express your answer in the form f 1 = a+bθ+cθ 2, where a,b,c Q. SOLUTION. We will use the Euclidean algorithm to find f 1. As explained in class, the minimal polynomial for θ over Q is p(x) = x 3 2. Let f(x) = 2 + 3x x 2 Q[x]. Then f(θ) = f. Since f 0, the polynomial f(x) is not divisible by p(x) in Q[x]. The two polynomials are relatively prime in Q[x]. The Euclidean algorithm will lead to polynomials m(x), n(x) Q[x] such that m(x)f(x)+n(x)p(x) = 1. It then follows that m(θ)f(θ) = 1. Hence m(θ) = f 1. We have p(x) = ( 3 x)f(x) x, f(x) = and therefore = f(x) = ( 1 ) ( 4+11x) Therefore, we can take m(x) to be ( 1 m(x) = That is, we can take It follows that = f(x) ) (3+x ) ) f(x) ) ( 4+11x) ) (3+x ) ) = m(x) = x x2. ) ( p(x) ( 3 x)f(x)) ) f 1 = m(θ) = θ θ2. p(x). ( x+ 1 ) 2 C: Let F be the same field as in question B. Suppose that ϕ is an automorphism of F. Carefully prove that ϕ(α) = α for all α F.

6 SOLUTION. We will prove that ϕ(θ) = θ. This is sufficient because if α F, then we have α = a+bθ+cθ 2, where a,b,c Q. As explained in class, we have ϕ(r) = r for all r Q. Therefore, assuming that ϕ(θ) = θ, we obtain ϕ(α) = ϕ(a+bθ +cθ 2 ) = ϕ(a)+ϕ(b)ϕ(θ)+ϕ(c)ϕ(θ) 2 = a+bθ +cθ 2 = α as we wanted to prove. To prove that ϕ(θ) = θ, note that θ is a root of the polynomial p(x) = x 3 2 Q[x]. As proven in class, ϕ(θ) must also be a root of p(x). Since θ R, F is a subfield of R. The polynomial p(x) has only one root in R, namely θ. Hence θ is the only root of p(x) in F. Since ϕ(θ) F and ϕ(θ) is a root of p(x), we must indeed have ϕ(θ) = θ. This proves that ϕ(α) = α for all α F. That is, ϕ is the trivial automorphism of F. D: Let F = Q[ 2]. Let K = Q[ 3]. Both F and K are subfields of R. Carefully prove that F and K are not isomorphic. SOLUTION. Let θ = 2. Then θ F and θ is a root of the polynomial x 2 2. That is, θ 2 = 2. Suppose that a field isomorphism ϕ : F K does exist. We will derive a contradiction. As explained in class, ϕ(r) = r for all r Q. Let γ = ϕ(θ). Then γ K. Also θ 2 = 2 = ϕ(θ 2 ) = ϕ(2) = ϕ(θ) 2 = 2 = γ 2 = 2 and therefore K contains an element γ satisfying γ 2 = 2 We can write γ as γ = a+b 3, where a,b Q. Now and if γ 2 = 2, then we have γ 2 = (a 2 +3b 2 )+2ab 3 2ab 3 = 2 (a 2 +3b 2 ). That equation implies that 3 = ( 2 (a 2 +3b 2 ) )/ 2ab if ab 0. It would then follows that 3 Q since a,b Q. However we know that 3 is an irrational number. We can therefore conclude that ab = 0 and hence either a = 0 or b = 0. If a = 0, then γ = b 3 and γ 2 = 3b 2 = 2. This implies that b is a rational root of the polynomial 3x 2 2. Hence the denominator of b divides 3 and the numerator of b divides

7 2. One checks all the possibilities easily and finds that no such rational number b can exist. On the other hand, if b = 0, then γ = a Q and γ 2 = a 2 = 2. But this is also impossible because the polynomial x 2 2 has no root in Q. Therefore, we must have a 0 and b 0. We now have a contradiction. Hence no such field isomorphism ϕ : F K can exist. E: Is Q[x] / (x 4 +4) a field? Justify your answer carefully. SOLUTION. Let R = Q[x]/I, where I = ( x ). In fact, R is not a field. To prove that R is not a field, it suffices to show that I is not a maximal ideal of Q[x]. To show that I is not maximal, it is sufficient to show that x 4 +4 is a reducible polynomial over Q. Here is the verification of that fact: x 4 +4 = x 4 +4x x 2 = (x 2 +2) 2 (2x) 2 = (x x)(x x) = (x 2 +2x+2)(x 2 2x+2). Thus, it follows that x 4 +4 is reducible over Q and hence I is not a maximal ideal of Q[x]. F: Show that there exists a field with 64 elements. (HINT: The field in problem 5 on page 355 may be helpful. That field has 8 elements. ) SOLUTION. Let K be the field in problem 5 on page 355. Then K is a field with 8 elements. Suppose that we can find a polynomial g(x) in K[x] such that g(x) has degree 2 and such that g(x) is irreducible over K. Then K[x] /( g(x) ) will be a field containing K and will have degree 2 over K. Thus, it will be a field with 8 2 = 64 elements. It is enough to prove the existence of such a polynomial g(x). Consider all the polynomials of the form x 2 +ax+b, where a,b K. Obviously, there are 64 such polynomials. Now if x 2 +ax+b is reducible over K, then we have x 2 +ax+b = (x c)(x d) for some c,d K. There are 64 possible choices for c and d. However, if c d, then (x c)(x d) = (x d)(x c). The number of distinct polynomials of the form (x c)(x d) where c,d K and c = d is 8. The number of distinct polynomials (x c)(x d) where c,d K and c d is 8 7/2 = 28. Hence there are only 36 distinct polynomials of the form (x c)(x d), where c,d K. Therefore, the number of irreducible polynomials of the form x 2 + ax + b, where a,b K is = 28. Therefore, such irreducible polynomials do indeed exist. Hence a field with 64 elements does exist.

Solutions for Problem Set 6

Solutions for Problem Set 6 Solutions for Problem Set 6 A: Find all subfields of Q(ζ 8 ). SOLUTION. All subfields of K must automatically contain Q. Thus, this problem concerns the intermediate fields for the extension K/Q. In a

More information

Solutions for Field Theory Problem Set 5

Solutions for Field Theory Problem Set 5 Solutions for Field Theory Problem Set 5 A. Let β = 2 + 2 2 2 i. Let K = Q(β). Find all subfields of K. Justify your answer carefully. SOLUTION. All subfields of K must automatically contain Q. Thus, this

More information

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together

More information

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1 GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

Simplifying Rational Expressions and Functions

Simplifying Rational Expressions and Functions Department of Mathematics Grossmont College October 15, 2012 Recall: The Number Types Definition The set of whole numbers, ={0, 1, 2, 3, 4,...} is the set of natural numbers unioned with zero, written

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Section 8.3 Partial Fraction Decomposition

Section 8.3 Partial Fraction Decomposition Section 8.6 Lecture Notes Page 1 of 10 Section 8.3 Partial Fraction Decomposition Partial fraction decomposition involves decomposing a rational function, or reversing the process of combining two or more

More information

b n x n + b n 1 x n b 1 x + b 0

b n x n + b n 1 x n b 1 x + b 0 Math Partial Fractions Stewart 7.4 Integrating basic rational functions. For a function f(x), we have examined several algebraic methods for finding its indefinite integral (antiderivative) F (x) = f(x)

More information

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

Section IV.23. Factorizations of Polynomials over a Field

Section IV.23. Factorizations of Polynomials over a Field IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

Homework problems from Chapters IV-VI: answers and solutions

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

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

Chapter 4. Remember: F will always stand for a field.

Chapter 4. Remember: F will always stand for a field. Chapter 4 Remember: F will always stand for a field. 4.1 10. Take f(x) = x F [x]. Could there be a polynomial g(x) F [x] such that f(x)g(x) = 1 F? Could f(x) be a unit? 19. Compare with Problem #21(c).

More information

AN INTRODUCTION TO GALOIS THEORY

AN INTRODUCTION TO GALOIS THEORY AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is

More information

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004 MAT 444 Test 4 Instructor: Helene Barcelo April 19, 004 Name: You can take up to hours for completing this exam. Close book, notes and calculator. Do not use your own scratch paper. Write each solution

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

CYCLOTOMIC POLYNOMIALS

CYCLOTOMIC POLYNOMIALS CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

7.4: Integration of rational functions

7.4: Integration of rational functions A rational function is a function of the form: f (x) = P(x) Q(x), where P(x) and Q(x) are polynomials in x. P(x) = a n x n + a n 1 x n 1 + + a 0. Q(x) = b m x m + b m 1 x m 1 + + b 0. How to express a

More information

Abstract Algebra: Chapters 16 and 17

Abstract Algebra: Chapters 16 and 17 Study polynomials, their factorization, and the construction of fields. Chapter 16 Polynomial Rings Notation Let R be a commutative ring. The ring of polynomials over R in the indeterminate x is the set

More information

University of Ottawa

University of Ottawa University of Ottawa Department of Mathematics and Statistics MAT3143: Ring Theory Professor: Hadi Salmasian Final Exam April 21, 2015 Surname First Name Instructions: (a) You have 3 hours to complete

More information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can

More information

CYCLOTOMIC POLYNOMIALS

CYCLOTOMIC POLYNOMIALS CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where

More information

Direction: You are required to complete this test by Monday (April 24, 2006). In order to

Direction: You are required to complete this test by Monday (April 24, 2006). In order to Test 4 April 20, 2006 Name Math 522 Student Number Direction: You are required to complete this test by Monday (April 24, 2006). In order to receive full credit, answer each problem completely and must

More information

Section September 6, If n = 3, 4, 5,..., the polynomial is called a cubic, quartic, quintic, etc.

Section September 6, If n = 3, 4, 5,..., the polynomial is called a cubic, quartic, quintic, etc. Section 2.1-2.2 September 6, 2017 1 Polynomials Definition. A polynomial is an expression of the form a n x n + a n 1 x n 1 + + a 1 x + a 0 where each a 0, a 1,, a n are real numbers, a n 0, and n is a

More information

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

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

More information

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr MATHEMATICS Introduction to Modern Algebra II Review. (1) Give an example of a non-commutative ring; a ring without unit; a division ring which is not a eld and a ring which is not a domain. (2) Show that

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Rings and Special Kinds of Rings Let R be a (nonempty) set. R is a ring if there are two binary operations + and such that (A) (R, +) is an abelian group.

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

ϕ : Z F : ϕ(t) = t 1 =

ϕ : Z F : ϕ(t) = t 1 = 1. Finite Fields The first examples of finite fields are quotient fields of the ring of integers Z: let t > 1 and define Z /t = Z/(tZ) to be the ring of congruence classes of integers modulo t: in practical

More information

Math 109 HW 9 Solutions

Math 109 HW 9 Solutions Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we

More information

2. THE EUCLIDEAN ALGORITHM More ring essentials

2. THE EUCLIDEAN ALGORITHM More ring essentials 2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there

More information

Some practice problems for midterm 2

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

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

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

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

More information

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

More information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

More information

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup

More information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Math 581 Problem Set 3 Solutions

Math 581 Problem Set 3 Solutions Math 581 Problem Set 3 Solutions 1. Prove that complex conjugation is a isomorphism from C to C. Proof: First we prove that it is a homomorphism. Define : C C by (z) = z. Note that (1) = 1. The other properties

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

Math 4310 Solutions to homework 7 Due 10/27/16

Math 4310 Solutions to homework 7 Due 10/27/16 Math 4310 Solutions to homework 7 Due 10/27/16 1. Find the gcd of x 3 + x 2 + x + 1 and x 5 + 2x 3 + x 2 + x + 1 in Rx. Use the Euclidean algorithm: x 5 + 2x 3 + x 2 + x + 1 = (x 3 + x 2 + x + 1)(x 2 x

More information

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under

More information

King Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2)

King Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2) Math 001 - Term 161 Recitation (R1, R) Question 1: How many rational and irrational numbers are possible between 0 and 1? (a) 1 (b) Finite (c) 0 (d) Infinite (e) Question : A will contain how many elements

More information

ALGEBRA AND NUMBER THEORY II: Solutions 3 (Michaelmas term 2008)

ALGEBRA AND NUMBER THEORY II: Solutions 3 (Michaelmas term 2008) ALGEBRA AND NUMBER THEORY II: Solutions 3 Michaelmas term 28 A A C B B D 61 i If ϕ : R R is the indicated map, then ϕf + g = f + ga = fa + ga = ϕf + ϕg, and ϕfg = f ga = faga = ϕfϕg. ii Clearly g lies

More information

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

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved

More information

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

More information

U + V = (U V ) (V U), UV = U V.

U + V = (U V ) (V U), UV = U V. Solution of Some Homework Problems (3.1) Prove that a commutative ring R has a unique 1. Proof: Let 1 R and 1 R be two multiplicative identities of R. Then since 1 R is an identity, 1 R = 1 R 1 R. Since

More information

August 2015 Qualifying Examination Solutions

August 2015 Qualifying Examination Solutions August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,

More information

Functions and Equations

Functions and Equations Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario Euclid eworkshop # Functions and Equations c 006 CANADIAN

More information

Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

Information Theory. Lecture 7

Information Theory. Lecture 7 Information Theory Lecture 7 Finite fields continued: R3 and R7 the field GF(p m ),... Cyclic Codes Intro. to cyclic codes: R8.1 3 Mikael Skoglund, Information Theory 1/17 The Field GF(p m ) π(x) irreducible

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

More information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 3 Introduction to Galois Theory 41 3.1 Field Extensions and the Tower Law..............

More information

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

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Section 0.2 & 0.3 Worksheet. Types of Functions

Section 0.2 & 0.3 Worksheet. Types of Functions MATH 1142 NAME Section 0.2 & 0.3 Worksheet Types of Functions Now that we have discussed what functions are and some of their characteristics, we will explore different types of functions. Section 0.2

More information

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

4.5 Hilbert s Nullstellensatz (Zeros Theorem) 4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x

More information

Abstract Algebra. Chapter 13 - Field Theory David S. Dummit & Richard M. Foote. Solutions by positrón0802

Abstract Algebra. Chapter 13 - Field Theory David S. Dummit & Richard M. Foote. Solutions by positrón0802 Abstract Algebra Chapter 13 - Field Theory David S. Dummit & Richard M. Foote Solutions by positrón080 positron080@mail.com March 31, 018 Contents 13 Field Theory 1 13.1 Basic Theory and Field Extensions...........................

More information

Coding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013

Coding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013 Coding Theory and Applications Solved Exercises and Problems of Cyclic Codes Enes Pasalic University of Primorska Koper, 2013 Contents 1 Preface 3 2 Problems 4 2 1 Preface This is a collection of solved

More information

Integration of Rational Functions by Partial Fractions

Integration of Rational Functions by Partial Fractions Title Integration of Rational Functions by MATH 1700 MATH 1700 1 / 11 Readings Readings Readings: Section 7.4 MATH 1700 2 / 11 Rational functions A rational function is one of the form where P and Q are

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

Partial Fractions. Calculus 2 Lia Vas

Partial Fractions. Calculus 2 Lia Vas Calculus Lia Vas Partial Fractions rational function is a quotient of two polynomial functions The method of partial fractions is a general method for evaluating integrals of rational function The idea

More information

2-4 Zeros of Polynomial Functions

2-4 Zeros of Polynomial Functions Write a polynomial function of least degree with real coefficients in standard form that has the given zeros. 33. 2, 4, 3, 5 Using the Linear Factorization Theorem and the zeros 2, 4, 3, and 5, write f

More information

Selected Math 553 Homework Solutions

Selected Math 553 Homework Solutions Selected Math 553 Homework Solutions HW6, 1. Let α and β be rational numbers, with α 1/2, and let m > 0 be an integer such that α 2 mβ 2 = 1 δ where 0 δ < 1. Set ǫ:= 1 if α 0 and 1 if α < 0. Show that

More information

Homework 9 Solutions to Selected Problems

Homework 9 Solutions to Selected Problems Homework 9 Solutions to Selected Problems June 11, 2012 1 Chapter 17, Problem 12 Since x 2 + x + 4 has degree 2 and Z 11 is a eld, we may use Theorem 17.1 and show that f(x) is irreducible because it has

More information

Integration of Rational Functions by Partial Fractions

Integration of Rational Functions by Partial Fractions Title Integration of Rational Functions by Partial Fractions MATH 1700 December 6, 2016 MATH 1700 Partial Fractions December 6, 2016 1 / 11 Readings Readings Readings: Section 7.4 MATH 1700 Partial Fractions

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

Mathematics 136 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 19 and 21, 2016

Mathematics 136 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 19 and 21, 2016 Mathematics 36 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 9 and 2, 206 Every rational function (quotient of polynomials) can be written as a polynomial

More information

9. Finite fields. 1. Uniqueness

9. Finite fields. 1. Uniqueness 9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

, a 1. , a 2. ,..., a n

, a 1. , a 2. ,..., a n CHAPTER Points to Remember :. Let x be a variable, n be a positive integer and a 0, a, a,..., a n be constants. Then n f ( x) a x a x... a x a, is called a polynomial in variable x. n n n 0 POLNOMIALS.

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

Math 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2

Math 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2 Math 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2 April 11, 2016 Chapter 10 Section 1: Addition and Subtraction of Polynomials A monomial is

More information

Test 2. Monday, November 12, 2018

Test 2. Monday, November 12, 2018 Test 2 Monday, November 12, 2018 Instructions. The only aids allowed are a hand-held calculator and one cheat sheet, i.e. an 8.5 11 sheet with information written on one side in your own handwriting. No

More information

1 Spring 2002 Galois Theory

1 Spring 2002 Galois Theory 1 Spring 2002 Galois Theory Problem 1.1. Let F 7 be the field with 7 elements and let L be the splitting field of the polynomial X 171 1 = 0 over F 7. Determine the degree of L over F 7, explaining carefully

More information

Polynomial Review Problems

Polynomial Review Problems Polynomial Review Problems 1. Find polynomial function formulas that could fit each of these graphs. Remember that you will need to determine the value of the leading coefficient. The point (0,-3) is on

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials Outline MSRI-UP 2009 Coding Theory Seminar, Week 2 John B. Little Department of Mathematics and Computer Science College of the Holy Cross Cyclic Codes Polynomial Algebra More on cyclic codes Finite fields

More information

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b, MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information