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

Similar documents
Math 581 Problem Set 5 Solutions

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

Homework problems from Chapters IV-VI: answers and solutions

Name: Solutions Final Exam

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

Modern Algebra 2: Midterm 2

Simplifying Rational Expressions and Functions

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Overview: The short answer is no because there are 5 th degree polynomials whose Galois group is isomorphic to S5 which is not a solvable group.

Section 33 Finite fields

Math 113 Winter 2013 Prof. Church Midterm Solutions

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

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours

Practice problems for first midterm, Spring 98

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

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

Review all the activities leading to Midterm 3. Review all the problems in the previous online homework sets (8+9+10).

Section VI.33. Finite Fields

MATH 113 FINAL EXAM December 14, 2012

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Solutions for Field Theory Problem Set 1

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

Classification of Finite Fields

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

Exam 1. (2x + 1) 2 9. lim. (rearranging) (x 1 implies x 1, thus x 1 0

Section IV.23. Factorizations of Polynomials over a Field

Homework 8 Solutions to Selected Problems

Math 581 Problem Set 6 Solutions

IUPUI Qualifying Exam Abstract Algebra

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

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

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

1 The Galois Group of a Quadratic

ALGEBRA QUALIFYING EXAM SPRING 2012

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Algebraic Cryptography Exam 2 Review

SIMPLE RADICAL EXTENSIONS

Section 31 Algebraic extensions

Page Points Possible Points. Total 200

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

NOTES ON FINITE FIELDS

Coding Theory ( Mathematical Background I)

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

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Factorization in Integral Domains II

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

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

MEMORIAL UNIVERSITY OF NEWFOUNDLAND

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

arxiv: v1 [math.gr] 3 Feb 2019

University of Ottawa

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

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

Math 581 Problem Set 3 Solutions

Algebra Exam, Spring 2017

Pencils of Quadratic Forms over Finite Fields

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

Mathematical Foundations of Cryptography

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

Part VI. Extension Fields

Public-key Cryptography: Theory and Practice

Mathematical Olympiad Training Polynomials

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

50 Algebraic Extensions

Abstract Algebra: Chapters 16 and 17

GALOIS THEORY. Contents

Graduate Preliminary Examination

Integration of Rational Functions by Partial Fractions

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

PETERSON'S TABLE OF IRREDUCIBLE POLYNOMIALS OVER GF(2)

Test 2. Monday, November 12, 2018

Topics In Algebra Elementary Algebraic Geometry

UNIIAMIFIED EXTENSIONS OF QUADRATIC NUMBER, FIELDS,

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

Math Introduction to Modern Algebra

Integration of Rational Functions by Partial Fractions

MATH 3300 Test 1. Name: Student Id:

Practice Algebra Qualifying Exam Solutions

6.1 Polynomial Functions

CSIR - Algebra Problems

SCHOOL OF BUSINESS, ECONOMICS AND MANAGEMENT BUSINESS MATHEMATICS / MATHEMATICAL ANALYSIS

Notes on Galois Theory

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

Algebra Qualifying Exam Solutions. Thomas Goller

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

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

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

Lecture 6.3: Polynomials and irreducibility

Partial Fraction Decomposition Honors Precalculus Mr. Velazquez Rm. 254

Commutative Rings and Fields

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

Solutions for Problem Set 6

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

Math 121 Homework 5 Solutions

Math 0320 Final Exam Review

Great Theoretical Ideas in Computer Science

Transcription:

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 show all work. This being a takehome test, I expect that you do the test by yourself and do not discuss the problems or your solutions with other students until after the due date. The test should be returned to me by 2:00 pm. Good Luck! 1. (15 points) Prove or disprove Q ( 3 + i ) = Q ( 3, i ). Here i = 1 and Q denotes the field of rationals. Answer: The set Q( 3, i) is given by Q( 3, i) = Q( 3)(i) = {p( 3) } p(x) Q(i)[x] { n = a k ( 3) } k ak Q(i) k=0 { } = A 1 + A 2 3 A1, A 2 Q(i) = {a + b i + c 3 + d i 3 } a, b, c, d Q Similarly, we get Q( { 3 + i) = p( 3 + i) } p(x) Q[x] { n = a k ( 3 + i) } k ak Q k=0 = {α + β i + γ 3 + δ i 3 } α, β, γ, δ Q Hence Q( 3, i) = Q( 3 + i). 2. (15 points) Find the splitting fields of the following polynomials in Q[x]: (a) f(x) = x 4 9, Answer: Since f(x) = x 4 9 can be factored as f(x) = (x 3)(x + 3)(x i 3)(x + i 3),

the splitting field of f(x) over Q is Q( 3, i). (b) f(x) = x 4 10x 2 + 1, Answer: Since f(x) = x 4 10x 2 + 1 can be factored as f(x) = (x 3 2)(x 3 + 2)(x + 3 2)(x + 3 + 2), the splitting field of f(x) over Q is Q( 3, 2). (c) f(x) = x 2 + 2x + 2, Answer: Since f(x) = x 2 + 2x + 2 can be factored as f(x) = (x + i 1)(x i + 1), the splitting field of f(x) over Q is Q(i). (d) f(x) = x 5 1 Answer: Since f(x) = x 5 1 can be factored as f(x) = (x w 0 )(x w)(x w 2 )(x w 3 )(x w 4 ) where w = e 2πi 5 (the 5 th root of unity), the splitting field of f(x) over Q is Q(w). 3. (15 points) Find the basis for each of the given vector spaces over the given field. What is the degree of each field extension? (a) Q ( 2 ) over Q Answer: The basis of the vector space Q ( 2 ) over Q is {1, 2}. The degree of extension of Q ( 2 ) over Q, that is [Q ( 2 ) : Q] = 2. (b) Q ( i 3 ) over Q Answer: The basis of the vector space Q ( i 3 ) over Q is {1, i 3}. The degree of extension of Q ( i 3 ) over Q, that is [Q ( i 3 ) : Q] = 2. (c) Q ( 3, i ) over Q Answer: The basis of the vector space Q ( 3, i ) over Q is {1, i, 3, i 3}. The degree of extension of Q ( 3, i ) over Q, that is [Q ( 3, i ) : Q] = 4.

(d) Q ( 3 + i ) over Q ( 3 ) Answer: Recall that Q ( 3 + i ) = Q ( 3, i ). The basis of the vector space Q ( 3 + i ) over Q ( 3 ) is {1, i}. The degree of extension of Q ( 3 + i ) over Q ( 3 ), that is [Q ( 3 + i ) : Q ( 3 ) ] = 2. (e) Q (π ) over Q(π 2 ) Answer: Since π is transcendental over Q, then π 2 is also transcendental over Q. Therefore Q (π ) Q ( π ) 2 Q(x). Moreover, since Q ( π ) 2 Q (π ), therefore Q ( π ) 2 = Q (π ). Hence, the basis of the vector space Q (π ) over Q ( π ) 2 is {1}. The degree of extension of Q (π ) over Q ( π ) 2, that is [Q (π ) : Q ( π ) 2 ] = 1. 4. (15 points) Which of the following polynomials are irreducible in Q[x] (You must justify your answer to receive full credit): (a) f(x) = x 3 + 4x 2 3x + 5 Answer: We will use the irreducibility test mod 2. Since f(x) = x 3 + 4x 2 3x + 5, we get f(x) = x 3 + x + 1 in Z 2 [x]. Moreover, since f(0) = 1 = f(1) and deg( f(x)) = 3, the polynomial f(x) is irreducible in Z 2 [x] and therefore f(x) is irreducible in Q[x]. (b) f(x) = 4x 4 6x 2 + 6x 12 Answer: Take p = 3 and apply Eisenstein s test to conclude f(x) is irreducible in Q[x]. (c) f(x) = x 5 + x 3 + x 2 + 1 Answer: Since f(x) = x 5 +x 3 +x 2 +1 = (x 2 +1)(x 3 +1), the polynomial f(x) is not irreducible in Q[x]. (d) f(x) = x 4 + 2x 3 6x 2 + 7x 13 Answer: We will use the irreducibility test mod 2. Since f(x) = x 4 + 2x 3 6x 2 + 7x 13, we get f(x) = x 4 + x + 1 in Z 2 [x]. Moreover, since f(0) = 1 = f(1) so f(x) has no linear factor. Since f(x) has no linear factor, therefore the possible quadratic factors are: x 2 + x + 1 and x 2 + 1. But x 4 + x + 1 (x 2 + x + 1)(x 2 + x + 1) or x 4 + x + 1 (x 2 + x + 1)(x 2 + 1) or x 4 + x + 1 (x 2 + 1)(x 2 + 1). Hence the polynomial f(x) is irreducible in Z 2 [x] and therefore f(x) is irreducible in Q[x].

5. (15 points) Draw the subfield lattice of GF ( 3 18) and of GF ( 3 30). Make sure that your lattice diagram is eye-pleasing. Answer: The subfield lattice of GF ( 3 18) and of GF ( 3 30) are shown below. 6. (15 points) Suppose F is an arbitrary field and let F 3 = {(a, b, c) a, b, c F}. Prove that {(1, 1, 0), (1, 0, 1), (0, 1, 1)} is a basis of the vector space F 3 over F provided the characteristic of F is not 2. When the characteristic of F is 2, show that the set is not a basis. Answer: Suppose char(f) 2. Let B = {(1, 1, 0), (1, 0, 1), (0, 1, 1)}. We want to show that B is a basis of the vector space F 3 over F. Suppose there exist a, b, c F such that a (1, 1, 0) + b (1, 0, 1) + c (0, 1, 1) = (0, 0, 0). From the last equation, we get (a + b, a + c, b + c) = (0, 0, 0). Solving this, we have a = b = c and 2a = 0. Since characteristic of F is not 2, therefore 2a = 0 yields a = 0 and hence we have a = b = c = 0. Thus we see that B consists of a set of linearly independent vectors.

Let (α, β, γ) F 3. Then we can find constants a, b, c F such that a (1, 1, 0) + b (1, 0, 1) + c (0, 1, 1) = (α, β, γ). Writing the above in matrix notation, we have 1 1 0 1 0 1 a b = α β. 0 1 1 c γ The determinant of the above 3 3 matrix is nonzero, therefore it is invertible and we have a b c = 2 1 1 1 1 1 1 1 1 1 1 Hence any arbitrary vector (α, β, γ) F 3 can be uniquely represented as a linear combination of vectors in B. Hence B is a basis of the vector space F 3 over F. α β γ. If char(f) = 2, then (1, 1, 0) + (1, 0, 1) = (0, 1, 1). Therefore the vectors in B are not linearly independent. 7. (15 points) Given that a belongs to some field extension of Q and that [Q(a) : Q] = 5, prove that Q(a 3 ) = Q(a). Answer: It is easy to see that Q Q(a 3 ) Q(a). Hence we have [Q(a) : Q] = [Q(a) : Q(a 3 )] [Q(a 3 ) : Q] = 5. The last equality implies that either [Q(a) : Q(a 3 )] = 1 or [Q(a 3 ) : Q] = 1. If the first case is true, we are done, so let us assume that [Q(a 3 ) : Q] = 1 that is, Q = Q(a 3 ). Then, a 3 Q and p(x) = x 3 a 3 Q[x] is such that p(a) = 0. But this implies that [Q(a) : Q] 3 which is a contradiction to the fact that [Q(a) : Q] = 5. Therefore, Q(a 3 ) = Q(a). ( ) 8. (15 points) Find a polynomial p(x) in Q[x] so that Q 1 + 2 2 i Q[x]/ p(x). is isomorphic to Answer: Let x = 1 + 2 2 i. Then squaring both sides, we get x 2 = 1 + 2 2 i. Hence x 2 1 = 2 2 i. Again squaring both sides of the last equation, we have x 4 2x 2 + 9 = 0. ( ) Therefore p(x) = x 4 2x 2 + 9 Q[x] satisfies p 1 + 2 2 i = 0. It is easy to check that p(x) = x 4 2x 2 + 9 is irreducible in Q[x].

9. (15 points) Suppose that p(x) is irreducible over F and a and a 2 are elements of some extension field of F and both are zeros of p(x). Prove that F(a) = F(a 2 ). Answer: Since a 2 F(a) we have that F(a 2 ) F(a). By the Corollary to Theorem 20.3, we obtain F(a) F(a 2 ) as fields and therefore as vector spaces over F. Thus [F(a) : F] = [F(a 2 ) : F]. From [F(a) : F] = [F(a) : F(a 2 )] [F(a 2 ) : F] we see that [F(a) : F(a 2 )] = 1. Hence we have F(a) = F(a 2 ). 10. (15 points) Construct a field of order 9 and carry out the analysis done in Example 1 (on page 383), including the conversion table. Answer: The polynomial p(x) = x 9 x has 9 distinct roots since p(x) = x 9 x and p (x) = 1 have no common factors of positive degree. The finite field GF (3 2 ) consists of these nine roots of the polynomial p(x). The polynomial p(x) = x 9 x is not irreducible in Z 3 [x]. In fact using maple command Factor(x 9 x) mod 3; we see that p(x) = x (x + 1) (x + 2) (x 2 + 1) (x 2 + x + 2) (x 2 + 2x + 2). We can check using maple command Irreduc(x 2 +2x+2) mod 3; that the factor x 2 +2x+2 is irreducible in Z 3 [x]. Similarly the factors x 2 +1 and x 2 +x+2 can be verified to be irreducible in Z 3 [x]. Each of the irreducible factor gives rise to a finite field with 3 2 elements. Hence we have the following additional finite fields Z 3 [x]/ < x 2 + 1 >, Z 3 [x]/ < x 2 + x + 2 > and Z 3 [x]/ < x 2 + 2x + 2 >. However each one is isomorphic to GF (3 2 ). Not that GF (3 2 ) Z 3 [x]/ < x 2 + 1 > but x is not a generator of GF (3 2 ) #. So we use GF (3 2 ) Z 3 [x]/ < x 2 + x + 2 >. This time x is a generator of GF (3 2 ) #. The conversion table is the given below: Conversion Table Multiplicative Additive Additive Multiplicative 1 1 1 1 x x 2 x 4 x 2 2x + 1 x x x 3 2x + 2 x + 1 x 7 x 4 2 x + 2 x 6 x 5 2x 2x x 5 x 6 x + 2 2x + 1 x 2 x 7 x + 1 2x + 2 x 3

Bonus Problem. (15 points) (a) Let β be a zero of x 3 + x + 1 in some extension field of Z 2. Show that β + 1 is a zero of x 3 + x 2 + 1. Answer: Since β is a zero of x 3 + x + 1, therefore β 3 + β + 1 = 0. We show that β + 1 is zero of p(x) = x 3 + x 2 + 1 in Z 2 [x]. Since p(β + 1) = (β + 1) 3 + (β + 1) 2 + 1 = β 3 + β 2 + β + 1 + β 2 + 1 + 1 = β 3 + β + 1 = 0, therefore β + 1 is a zero of x 3 + x 2 + 1. (b) Let K be a splitting field of x 2 + 2x + 2 over Z 3. Determine order of K (that is, the number of elements in K). Answer: Since f(x) = x 2 + 2x + 2 = (x + 1 i) (x + 1 + i). Hence K = Z 3 (i). Since Z 3 (i) = {a + b i a, b Z 3 }, therefore K = 9. (c) Let p be a any prime number. Write x p x as a product of linear factors over Z p. Answer: Since by Fermat s Little theorem, we have a p 1 1 = 0 mod p for gcd(a, p) = 1, therefore a p a = 0 mod p. Hence every element a Z p is a root of the polynomial x p x. Therefore x p x = x(x 1)(x 2)(x 3) (x (p 1)).