Timeline for purely non-algebraic extension that is not separable

6 events

when toggle format	what		by	license	comment
Jun 25, 2013 at 3:02	review	First posts
Jun 25, 2013 at 11:21
May 26, 2013 at 15:53	comment	added	user29283		Let $k$ of char. $p>0$ have $[k:k^p] > p$; $a, b$ in a $p$-basis. Let $f=x^p+ay^p+b z^p$. Over $\overline{k}$, $f$ is the $p$th power of $x+a^{1/p}y+b^{1/p}z$, so $A=k[x,y,z]/(f)$ is a domain, normal by Serre's criterion; ${\rm{Spec}}(A)$ is geometrically irreducible, nowhere smooth over $k$. Thus, $K={\rm{Frac}}(A)$ isn't separable over $k$, $k$ is separably closed in $K$. To show $K\cap k^{1/p}=k$, if not we get $c\in k - k^p$ with $k(c^{1/p})\subset K$, so $k(c^{1/p})\subset A$ (normality!). Then $A\otimes_k k(c^{1/p})$ is non-reduced, so $a^{1/p},b^{1/p}\in k(c^{1/p})$, contradiction.
May 26, 2013 at 12:27	comment	added	anonymous		If you think that's not a research question, then you are free to vote to close, but first please give me reference for the answer.
May 26, 2013 at 12:02	comment	added	Julien Puydt		Not a research question -- did you read the first question of the faq before asking?
May 26, 2013 at 11:27	history	edited	anonymous	CC BY-SA 3.0	edited body
May 26, 2013 at 11:19	history	asked	anonymous	CC BY-SA 3.0