Thread Closed

The degree of a particular purely inseparable extension

 
Share Thread Thread Tools
Mar28-10, 08:54 AM   #1
eof
 

The degree of a particular purely inseparable extension


This one step in a long problem (an example in algebraic geometry cast in another language) that I've condensed below (p is the characteristic):

Let [tex]\overline{k}[/tex] be an algebraic closure of [tex]k[/tex] and let [tex]L=\overline{k}(Y)[/tex]. Consider the monic polynomial

[tex]
H(x)=x^s-(Y^p+Y^{-t})
[/tex]

in [tex]L[x][/tex]. Write [tex]s=p^ms'[/tex] for some integer [tex]s'[/tex] prime to [tex]p[/tex] and some [tex]m\geq 0[/tex]. Let [tex]x_0[/tex] be a root of [tex]H(x)[/tex] in an algebraic closure [tex]\overline{L}[/tex] of [tex]L[/tex]. Show that the field [tex]L(x_0)[/tex] is an inseparable degree [tex]p^m[/tex] extension of [tex]L(x_1)[/tex] where [tex]x_1=x_0^{p^m}[/tex].

Ok, so proving that the extension is inseparable is trivial. It then follows that the minimal polynomial of [tex]x_0[/tex] over [tex]x_1[/tex] has to be of the form [tex](X-x_0)^{p^n}=X^{p^n}-x_0^{p^n}[/tex]. This shows that [tex]x_0^{p^n}\in L(x_1)[/tex]. Unfortunately, this only gives that [tex]n\leq m[/tex], but it does not show equality. Does anyone have any ideas on how to approach this (I spent about 2 hours yesterday thinking about this...).
 
PhysOrg.com
PhysOrg
science news on PhysOrg.com

>> Hong Kong launches first electric taxis
>> Morocco to harness the wind in energy hunt
>> Galaxy's Ring of Fire
Thread Closed
Thread Tools


Similar Threads for: The degree of a particular purely inseparable extension
Thread Forum Replies
impedance matching/purely resistive Electrical Engineering 2
Degree of Extension Linear & Abstract Algebra 4
It's not electrical, it's purely mathematical! Math & Science Software 1
A purely terminological question Linear & Abstract Algebra 14
Purely mathematical Math & Science Software 5