Math 454 Spring 2017, PSet 5

1

Problem Set 5: Math 454 Spring 2017 Due Thursday February 16

January 6, 2017

Do the problems below. Please write neatly, especially your name! Show all your work and justify all your steps. Write in complete, coherent sentences. I expect and openly encourage you to collaborate on this problem set. I will insist that you list your collaborators on the handed in solutions (list them on the top of your first page). Problem 1. Let E/F be an extension of fields and β ∈ E be algebraic. Prove that if P ∈ F[t] is a non-zero polynomial such that P(β ) = 0, then the minimal polynomial Pβ of β over F divides P. In particular, the minimal polynomial of β is irreducible. Problem 2. Let E/F be a finite extension and L : E → M(n, F) be an injective F–algebra homomorphism with n = [E : F]. (a) Prove that if cL(β ) is the characteristic polynomial of L(β ), then Pβ divides cL(β ) . (b) Prove that there exists an F–basis {β1 , . . . , βn } of E such that for each β ∈ E, if we define the n by n matrix (Aβ ) to have (i, j) coefficient (αi, j ) where αi, j is defined by n

β β j = ∑ αi, j βi , i=1

then L(β ) = Aβ . Problem 3. Let E/F be a finite extension of degree n and m ∈ N with m < n. Prove that there cannot be an injective F–algebra homomorphism L : E → M(m, F). Problem 4. Let P1 , P2 ∈ F[t]. Prove that if P ∈ F[t] divides gcd(P1 , P2 ), then there exists an α ∈ F such that P = α gcd(P1 , P2 ). Problem 5. Let P1 , P2 ∈ F[t]. Prove that hP1 i hP2 i = hgcd(P1 , P2 )i. Problem 6. Let m1 , . . . , mn ∈ N and assume that gcd(mi , m j ) = 1 for all i 6= j. (a) Prove that

n \

mi Z = (m1 . . . mn )Z.

i=1

(b) Prove that

n

Z/ hm1 . . . mn i ∼ = ∏ Z/mi Z. i=1

(c) Prove that if s1 , . . . , sn ∈ N, then

n \ i=1

si Z = lcm(s1 , . . . , sn )Z.

Math 454 Spring 2017, PSet 5

2

(d) Prove that if s,t ∈ N and s divides t, then there exists a surjective ring homomorphism ψs,t : Z/tZ → Z/sZ. (e) If s = lcm(s1 , . . . , sn ), prove that there exists an injective homomorphism n

ψ : Z/sZ → ∏ Z/si Z i=1

such that the index of ψ(Z/ lcm(s1 , . . . , sn )Z) in ∏ni=1 Z/si Z is gcd(s1 , . . . , sn ). (f) Deduce that if s1 , . . . , sn ∈ N, then s1 . . . sn = lcm(s1 , . . . , sn ) gcd(s1 , . . . , sn ). Problem 7. Let P1 , . . . , Pn ∈ F[t] and assume that gcd(Pi , Pj ) = 1F for i 6= j. (a) Prove that

n \

hPi i = hP1 . . . Pn i .

i=1

(b) Prove that

n

F[t]/ hP1 . . . Pn i ∼ = ∏ F[t]/ hPi i . i=1

Problem 8. Let F be a field and a be a non-zero, proper ideal in F[t]. Prove that if P1 , P2 ∈ a have minimal degree (among the non-zero elements), then there exists α ∈ F such that αP1 = P2 . In particular, if P1 , P2 ∈ a have minimal degree, then a = hP1 i = hP2 i. Deduce that for each non-zero ideal a, there exists a unique monic polynomial P of minimal degree and hPi = a. Problem 9. Let P1 , . . . , Pn ∈ F[t] and hPi =

n \

hPi i .

i=1

(a) Prove that if Q ∈ F[t] and Pi divides Q for i = 1, . . . , n, then P divides Q. Moreover, there is a unique monic polynomial P with this property. We call such a P the least common multiple of P1 , . . . , Pn and we denote it by lcm(P1 , . . . , Pn ). (b) Prove that there exists α ∈ F such that P1 . . . Pn = α lcm(P1 , . . . , Pn ) gcd(P1 , . . . , Pn ). Problem 10. Let P ∈ F[t]. Define def

dP(t) =

m

∑ iαit i−1

i=1

where

m

P(t) = ∑ αit i . i=0

(a) Prove that D : F[t] → F[t] defined by D(P) = dP is an F–linear function. (b) Prove that P ∈ F[t] is separable if and only if gcd(P, dP) = 1F . (c) Prove that if char(F) = 0, then every irreducible polynomial P ∈ F[t] is separable. [Hint: Use (b)] (d) Prove that if F is a field with char(F) = p 6= 0 and P ∈ F[t] is irreducible and not separable, then there exists Q ∈ F[t] such that P(t) = Q(t p ). [Hint: Use (b)]

Problem Set 5: Math 454 Spring 2017 Due Thursday ...

Jan 6, 2017 - Problem 2. Let E/F be a finite extension and L: E → M(n,F) be an injective F–algebra homomorphism with n = [E : F]. (a) Prove that if cL(β) is the characteristic polynomial of L(β), then Pβ divides cL(β). (b) Prove that there exists an F–basis {β1,...,βn} of E such that for each β ∈ E, if we define the n by n matrix.

81KB Sizes 1 Downloads 159 Views

Recommend Documents

Problem Set 5: Forensics
on cloud.cs50.net as well as filling out a Web-‐based form (the latter of which will be ..... If you feel like SFTPing that file to your desktop and double-‐ ..... There's nothing hidden in smiley.bmp, but feel free to test your program out on it

Problem Set 5: Forensics
on cloud.cs50.net as well as filling out a Web-‐based form (the latter of which will be available after lecture on Wed 10/20), which may ... As this output implies, most of your work for this problem set will be organized within two subdirectories.

Problem Set 5: Forensics - CS50 CDN
21 Actual credit for photos goes to ACM, Dan Armendariz, Eliza Grinnell, Harvard Crimson, Harvard Gazette, NVIDIA, SEAS, Titus. Zhang, et al. 22 This one's ...

Math 109b - Homework 2 Due: 27 January 2017
Jan 27, 2017 - Show that there are only two (equivalence classes of) orientations on any connected orientable smooth surface. 8. Let φ : S1 → S2 be a ...

Math 109b - Homework 2 Due: 27 January 2017
Jan 27, 2017 - Let φ : S2 → R3 be the map given by φ : (x, y, z) ↦→ (3x,2y, z). ... orientable if and only if there is a smooth vector field X along φ(S) so that.

Download Spring 5 Recipes: A Problem-Solution ...
with big data and the cloud using Hadoop and MongoDB. Finally, Spring web ... building enterprise Java applications. What You ll. LearnGet re-usable code.

Due Thursday February 16th at 1pm
Its Turing degree a = [α]T is the class of total functions β : N → N such that α is computable with respect to α and vice versa. The Turing jump a of a is the Turing ...

Problem Set 1: C
Sep 17, 2010 - Simply email [email protected] to inquire; be sure to mention your full name, your ..... Now let's add those products' digits (i.e., not the products themselves) .... http://code.google.com/apis/chart/docs/gallery/bar_charts.html.

Problem Set 0: Scratch
Sep 10, 2010 - appropriateness of some discussion, contact the course's instructor. ... phone at 617-495-9000, in person in Science Center B-14, or via email ...

Problem Set 1: C
Sep 17, 2010 - on cloud.cs50.net as well as filling out a Web-‐based form, which may take a ... virtual terminal room) or lifting material from a book, website, or.

Problem Set 1: C
Problem Set 1: C due by 7:00pm on Fri 9/17. Per the directions at this document's end, submitting this problem set involves submitting source code.

Problem Set 6: Mispellings
Oct 22, 2010 - summary: This is Problem Set 6's distribution code. Notice that the log is sorted, from top to bottom, in reverse chronological order. And notice that the earliest commit (i.e., changeset) is identified labeled with 0:13d2516423d8. Tha

Problem Set 0: Scratch
Sep 10, 2010 - phone at 617-495-9000, in person in Science Center B-14, or via email ... If you're running Windows (particularly a 64-bit version thereof) and ...

Problem Set 1: C
Sep 17, 2010 - Nor may you provide or make available solutions to problem sets to individuals who .... Simply email [email protected] to inquire; be sure to mention your full name, your ..... 21 http://www.nist.gov/dads/HTML/greedyalgo.html .... Anyhow,

Problem Set 6: Mispellings
Oct 22, 2010 - -rw-r--r-- 1 jharvard students 990 Oct 22 18:59 dictionary.h. -rw-r--r-- 1 jharvard students 0 Oct 22 18:59 questions.txt. -r--r--r-- 1 jharvard students 5205 Oct 22 18:59 speller.c lrwxrwxrwx 1 jharvard students 32 Oct 22 18:59 texts

Problem Set 0: Scratch
Sep 10, 2010 - appropriateness of some discussion, contact the course's instructor. ... phone at 617-‐495-‐9000, in person in Science Center B-‐14, or via ...

Problem Set 0: Scratch
Sep 10, 2010 - form that may take a few minutes, so best not to wait until the very last ... you with an email address of the form [email protected], ...

Problem Set 0: Scratch
Sep 10, 2010 - dishonesty: you may not submit the same or similar work to this course that you have submitted or will submit to another. Nor may you provide or make available solutions to problem sets to individuals who .... a bit simpler than we exp

Problem Set 0: Scratch
Sep 10, 2010 - All work that you do toward fulfillment of this course's expectations .... For clues on a Mac, select About This Mac from your Apple menu and ...

The Isoperimetric Problem - Penn Math
Mar 1, 2012 - with the assumption that a solution exists, that is, that there is a simple ... points of C which lies entirely (except for its endpoints) outside of C .

Problem Set 04
also has the absolute advantage in the production of the good. E) cannot have an absolute advantage in the production of the good. Table 1. Tobacco. Sugar. Razil. 20. 40 ... Table 1 shows Razil's and Uba's production costs in terms of labor-hours per

Problem Set 8: CS50 Shuttle
Nov 12, 2010 - Then cd to ~/public_html/pset8/. (Remember how?) Then run ls. You should see the below. buildings.js math3d.js passengers.js service.js index.html passengers service.css shuttle.js. All of the work that you do for this problem set will