/
Separability Separability

Separability - PowerPoint Presentation

pasty-toler
pasty-toler . @pasty-toler
Follow
374 views
Uploaded On 2016-07-10

Separability - PPT Presentation

Section 105 Sarah Vilardi April 12 2011 Abstract Algebra II From Thursday Let F be a field A polynomial fx in Fx of degree n is said to be separable if fx has n distinct roots in every splitting field If K is an extension field of F then an element u in K is ID: 399001

separable field polynomial extension field separable extension polynomial theorem element prove proof minimal algebraic outline characteristic splitting roots

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "Separability" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript

Slide1

Separability—Section 10.5

Sarah Vilardi

April 12, 2011

Abstract Algebra IISlide2

From Thursday…

Let F be a field. A polynomial f(x) in F[x] of degree n is said to be

separable

if f(x) has n distinct roots in every splitting field. If K is an extension field of F, then an element u in K is

separable

over F if u is algebraic over F and its minimal polynomial p(x) in F[x] is separable. The extension field K is a

separable extension

if every element of K is separable over F.

(

f+g

)’(x)=f’(x)+g’(x)

(

fg

)’(x)=f(x)g’(x)+f’(x)g(x)Slide3

Lemma 10.16

Let F be a field and f(x) be in F[x]. If f(x) and f’(x) are relatively prime in F[x], then f(x) is separable.Slide4

Definition

A field F is said to have

characteristic 0

if n1

F

≠ 0

F

for every positive n.Slide5

Theorem 10.17

Let F be a field of characteristic 0. then every irreducible polynomial in F[x] is separable, and every algebraic extension field K of F is a separable extension.Slide6

Theorem 10.18

If K is a finitely generated separable extension field of F, then K = F(u) for some u in K.

This proof is a beast…an outline will help us!Slide7

Theorem 10.18 Outline

By hypothesis, K = F(u

1

,…,u

n

). Proof is by induction on n.

Work with n = 2 case, where K = F(v, w).

Establish preliminary assumptions (min. polys, roots, splitting fields, etc.).

Claim: K = F(u). Prove that w is an element of F(u).

Let r(x) be the minimal polynomial of

w

over F(u).

Show that r(x) is linear.

Prove that K = F(v, w) = F(u).