Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose we have an algebraic group $G$ defined over a field $k$. Suppose we consider the fraction field of $k[G]$. Is it possible to get a situation where this field is not a separable extension of $k$? An example would be very helpful.

share|improve this question

2 Answers 2

up vote 3 down vote accepted

The answer depends on what you mean by "algebraic group". If you mean algebraic group in the sense of Borel/Humphreys/Springer, the field of fractions of $k[G]$ is always separably generated, more-or-less by definition. If you mean algebraic group scheme, which must be integral for the question to make sense, then it doesn't have to be separably generated, as shown by Tom's example.

share|improve this answer

Yes, this is possible. (Notice that your question implicitly requires $k[G]$ to be an integral domain, otherwise you cannot take its fraction field.)

Let $k$ be a non-perfect field of characteristic $p$, and let $a \in k \setminus k^p$. Consider the algebraic group defined as a functor from $k$-algebras to groups via $$ G(R) = \{(r,r') \in R^2 \mid r^p = a{r'}^p \} $$ for all $R \in k\mathrm{-alg}$.

Then $k[G] \cong k[t,t']/(t^p-a{t'}^p)$, which is a domain whose fraction field $k(a^{1/p})(t)$ is visibly not separable over $k$.

share|improve this answer
    
I am curious: how is this a group? It looks like a $\mu_p$-torsor that is fppf-but-not-étale trivializable. –  S. Carnahan May 7 at 8:17
    
@S.Carnahan: The mistakes in the original version of this answer have been fixed. –  user76758 May 7 at 8:50
    
@user76758: Thanks for the correction! –  Tom De Medts May 7 at 12:02
    
A thickened line of slope $a^{-1/p}$, very nice! –  S. Carnahan May 7 at 12:31

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.