Difference between revisions of "07-401/Class Notes for March 7"

From Drorbn
Jump to: navigation, search
 
 
(14 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
{{07-401/Navigation}}
 
{{07-401/Navigation}}
{{In Preparation}}
+
 
 +
==Class Plan==
 +
 
 +
Some discussion of the [[07-401/Term Test|term test]] and [[07-401/Homework Assignment 6|HW6]].
 +
 
 +
Some discussion of our general plan.
 +
 
 +
Lecture [[07-401/Notes|notes]]
 +
 
 +
===Extension Fields===
 +
 
 +
'''Definition.''' An extension field <math>E</math> of <math>F</math>.
 +
 
 +
'''Theorem.''' For every non-constant polynomial <math>f</math> in <math>F[x]</math> there is an extension <math>E</math> of <math>F</math> in which <math>f</math> has a zero.
 +
 
 +
'''Example''' <math>x^2+1</math> over <math>{\mathbb R}</math>.
 +
 
 +
'''Example''' <math>x^5+2x^2+2x+2=(x^2+1)(x^3+2x+2)</math> over <math>{\mathbb Z}/3</math>.
 +
 
 +
'''Definition.''' <math>F(a_1,\ldots,a_n)</math>.
 +
 
 +
'''Theorem.''' If <math>a</math> is a root of an irreducible polynomial <math>p\in F[x]</math>, within some extension field <math>E</math> of <math>F</math>, then <math>F(a)\cong F[x]/\langle p\rangle</math>, and <math>\{1,a,a^2,\ldots,a^{n-1}\}</math> (here <math>n=\deg p</math>) is a basis for <math>F(a)</math> over <math>F</math>.
 +
 
 +
'''Corollary.''' In this case, <math>F(a)</math> depends only on <math>p</math>.
 +
 
 +
===Splitting Fields===
 +
 
 +
'''Definition.''' <math>f\in F[x]</math> splits in <math>E/F</math>, a splitting field for <math>f</math> over <math>F</math>.
 +
 
 +
'''Theorem.''' A splitting field always exists.
 +
 
 +
'''Example.''' <math>x^4-x^2-2=(x^2-2)(x^2+1)</math> over <math>{\mathbb Q}</math>.
 +
 
 +
'''Example.''' Factor <math>x^2+x+2\in{\mathbb Z}_3[x]</math> within its splitting field <math>{\mathbb Z}_3[x]/\langle x^2+x+2\rangle</math>.
 +
 
 +
'''Theorem.''' Any two splitting fields for <math>f\in F[x]</math> over <math>F</math> are isomorphic.
 +
 
 +
'''Lemma 1.''' If <math>p\in F[x]</math> irreducible over <math>F</math>, <math>\phi:F\to F'</math> an isomorphism, <math>a</math> a root of <math>p</math> (in some <math>E/F</math>), <math>a'</math> a root of <math>\phi(p)</math> in some <math>E'/F'</math>, then <math>F(a)\cong F'(a')</math>.
 +
 
 +
'''Lemma 2.''' Isomorphisms can be extended to splitting fields.
 +
 
 +
===Zeros of Irreducible Polynomials===
 +
 
 +
(This section was not covered on March 7, parts of it will be covered later on).
 +
 
 +
'''Definition.''' The derivative of a polynomial.
 +
 
 +
'''Claim.''' The derivative operation is linear and satisfies Leibnitz's law.
 +
 
 +
'''Theorem.''' <math>f\in F[x]</math> has a multiple zero in some extension field of <math>F</math> iff <math>f</math> and <math>f'</math> have a common factor of positive degree.
 +
 
 +
'''Lemma.''' The property of "being relatively prime" is preserved under extensions.
 +
 
 +
'''Theorem.''' Let <math>f\in F[x]</math> be irreducible. If <math>\operatorname{char}F=0</math>, then <math>f</math> has no multiple zeros in any extension of <math>F</math>. If <math>\operatorname{char}F=p>0</math>, then <math>f</math> has multiple zeros (in some extension) iff it is of the form <math>g(x^p)</math> for some <math>g\in F[x]</math>.
 +
 
 +
'''Definition.''' A perfect field.
 +
 
 +
'''Theorem.''' A finite field is perfect.
 +
 
 +
'''Theorem.''' An irreducible polynomial over a perfect field has no multiple zeros (in any extension).
 +
 
 +
'''Theorem.''' Let <math>f\in F[x]</math> be irreducible and let <math>E</math> be the splitting field of <math>f</math> over <math>F</math>. Then in <math>E</math> all zeros of <math>f</math> have the same multiplicity.
 +
 
 +
'''Corollary.''' <math>f</math> as above must have the form <math>a(x-a_1)^n\cdots(x-a_k)^n</math> for some <math>a\in F</math> and <math>a_1,\ldots,a_k\in E</math>.
 +
 
 +
'''Example.''' <math>x^2-t\in{\mathbb Z}_2(t)[x]</math> is irreducible and has a single zero of multiplicity 2 within its splitting field over <math>{\mathbb Z}_2(t)[x]</math>.
 +
 
 +
==Lecture Notes==
 +
 
 +
===Page 1===
 +
 
 +
07-401 March 7 NOTES
 +
[[Image:07-401 Mar.07.07 0001.jpg|400px]]
 +
 
 +
===Page 2===
 +
 
 +
07-401 March 7 NOTES
 +
[[Image:07-401 Mar.07.07 0002.jpg|400px]]
 +
 
 +
===Page 3===
 +
 
 +
07-401 March 7 NOTES
 +
[[Image:07-401 Mar.07.07 0003.jpg|400px]]
 +
 
 +
===Page 4===
 +
 
 +
07-401 March 7 NOTES
 +
[[Image:07-401 Mar.07.07 0004.jpg|400px]]
 +
 
 +
===Page 5===
 +
 
 +
07-401 March 7 NOTES
 +
[[Image:07-401 Mar.07.07 0005.jpg|400px]]
 +
 
 +
===Page 6===
 +
 
 +
07-401 March 7 NOTES
 +
[[Image:07-401 Mar.07.07 0006.jpg|400px]]

Latest revision as of 11:38, 22 April 2007


Contents

Class Plan

Some discussion of the term test and HW6.

Some discussion of our general plan.

Lecture notes

Extension Fields

Definition. An extension field E of F.

Theorem. For every non-constant polynomial f in F[x] there is an extension E of F in which f has a zero.

Example x^2+1 over {\mathbb R}.

Example x^5+2x^2+2x+2=(x^2+1)(x^3+2x+2) over {\mathbb Z}/3.

Definition. F(a_1,\ldots,a_n).

Theorem. If a is a root of an irreducible polynomial p\in F[x], within some extension field E of F, then F(a)\cong F[x]/\langle p\rangle, and \{1,a,a^2,\ldots,a^{n-1}\} (here n=\deg p) is a basis for F(a) over F.

Corollary. In this case, F(a) depends only on p.

Splitting Fields

Definition. f\in F[x] splits in E/F, a splitting field for f over F.

Theorem. A splitting field always exists.

Example. x^4-x^2-2=(x^2-2)(x^2+1) over {\mathbb Q}.

Example. Factor x^2+x+2\in{\mathbb Z}_3[x] within its splitting field {\mathbb Z}_3[x]/\langle x^2+x+2\rangle.

Theorem. Any two splitting fields for f\in F[x] over F are isomorphic.

Lemma 1. If p\in F[x] irreducible over F, \phi:F\to F' an isomorphism, a a root of p (in some E/F), a' a root of \phi(p) in some E'/F', then F(a)\cong F'(a').

Lemma 2. Isomorphisms can be extended to splitting fields.

Zeros of Irreducible Polynomials

(This section was not covered on March 7, parts of it will be covered later on).

Definition. The derivative of a polynomial.

Claim. The derivative operation is linear and satisfies Leibnitz's law.

Theorem. f\in F[x] has a multiple zero in some extension field of F iff f and f' have a common factor of positive degree.

Lemma. The property of "being relatively prime" is preserved under extensions.

Theorem. Let f\in F[x] be irreducible. If \operatorname{char}F=0, then f has no multiple zeros in any extension of F. If \operatorname{char}F=p>0, then f has multiple zeros (in some extension) iff it is of the form g(x^p) for some g\in F[x].

Definition. A perfect field.

Theorem. A finite field is perfect.

Theorem. An irreducible polynomial over a perfect field has no multiple zeros (in any extension).

Theorem. Let f\in F[x] be irreducible and let E be the splitting field of f over F. Then in E all zeros of f have the same multiplicity.

Corollary. f as above must have the form a(x-a_1)^n\cdots(x-a_k)^n for some a\in F and a_1,\ldots,a_k\in E.

Example. x^2-t\in{\mathbb Z}_2(t)[x] is irreducible and has a single zero of multiplicity 2 within its splitting field over {\mathbb Z}_2(t)[x].

Lecture Notes

Page 1

07-401 March 7 NOTES 07-401 Mar.07.07 0001.jpg

Page 2

07-401 March 7 NOTES 07-401 Mar.07.07 0002.jpg

Page 3

07-401 March 7 NOTES 07-401 Mar.07.07 0003.jpg

Page 4

07-401 March 7 NOTES 07-401 Mar.07.07 0004.jpg

Page 5

07-401 March 7 NOTES 07-401 Mar.07.07 0005.jpg

Page 6

07-401 March 7 NOTES 07-401 Mar.07.07 0006.jpg