13.07.2015 Views

Lectures on the Algebraic Theory of Fields - Tata Institute of ...

Lectures on the Algebraic Theory of Fields - Tata Institute of ...

Lectures on the Algebraic Theory of Fields - Tata Institute of ...

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4. Separability 27f (x). Thenφ(y) is irreducible in k[y] andφ(y) has no repeated roots.Letβ 1 ,...,β t be <strong>the</strong> roots <strong>of</strong>φ(y) inΩ. Thenf (x)=(x pe −β 1 )···(x pe −β t ).Thus n=t· p e . The polynomial x Pe −β i has inΩall roots identicalto <strong>on</strong>e <strong>of</strong> <strong>the</strong>m sayα i . Thenx Pe −β i = x Pe −∆α pei= (x−α i ) peThusf (x)={(x−α 1 )···(x−α t )} peMoreover sinceβ 1 ...β t are distinct, α 1 ,...,α t are also distinct.Hence9) Over a field <strong>of</strong> characteristic po, <strong>the</strong> roots <strong>of</strong> an irreducible polynomialare repeated equally <strong>of</strong>ten, <strong>the</strong> multiplicity <strong>of</strong> a root being p e ,e≥o.It is important to note that (x−α 1 )...(x−α t ) is not a polynomial in 32k[x] and t is not necessarily prime to p.We call t <strong>the</strong> reduced degree <strong>of</strong> f (x) (or <strong>of</strong> any <strong>of</strong> its roots ) and p e ,its degree <strong>of</strong> inseparability. ThusDegree <strong>of</strong>: Reduced degree X-degree <strong>of</strong> inseparabilityIfω∈Ω <strong>the</strong>n we had seen earlier that k(ω)/k has as many distinctisomorphisms inΩas <strong>the</strong>re are distinct roots inΩ<strong>of</strong> <strong>the</strong> minimumpolynomial <strong>of</strong>ωover k. If we call <strong>the</strong> reduced degree <strong>of</strong> k(ω) as <strong>the</strong>kreduced degree <strong>of</strong>ω we have10) Reduced degree <strong>of</strong>ω = Number <strong>of</strong> distinct roots <strong>of</strong> <strong>the</strong> minimumpolynomial <strong>of</strong>ωover k.We may now call a polynomial separable if and <strong>on</strong>ly if every root <strong>of</strong>it inΩis separable. In particular if f (x)∈k[x] is irreducible <strong>the</strong>nf (x) is separable if <strong>on</strong>e root <strong>of</strong> it is separable.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!