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

What do I do if I have to solve the usual quadratic equation $X^2+bX+c=0$ where $b,c$ are in a field of characteristic 2? As pointed in the comments, it can be reduced to $X^2+X+c=0$ with $c\neq 0$.

Usual completion of square breaks. For a finite field there is Chen Formula that roughly looks like $X=\sum_{m} c^{4^m}$. I am more interested in the local field $F((z))$ or actually an arbitrary field of characteristic 2.

share|improve this question
    
What's your method that works for finite fields? –  André Henriques Nov 18 '10 at 17:03
2  
I think you should add "in characteristic 2" to the title –  Ewan Delanoy Nov 18 '10 at 17:05
11  
Actually, over any field, either $b=0$ or the quadratic reduces to an Artin-Schreier equation $x^2+x+c=0$. If the field is finite, it is soluble if and only the trace of $c$ to ${\mathbb F}_2$ is 0, if I remember correctly. –  Tim Dokchitser Nov 18 '10 at 17:44
    
@ Tim Sure, let $Y=X/b$ then you get $Y^2+Y+c/b^2=0$. How do I solve this one now? –  Bugs Bunny Nov 18 '10 at 20:58
2  
Dear Bugs: Is your aim a criterion (for interesting $K$ of characteristic $p > 0$, at least for $p = 2$) which detects when $x^p - x - a \in K[x]$ is irreducible or not? For local function fields there's a criterion using residues of 1-forms (in Artin-Tate). For global function fields there's an adelic analogue (in Artin-Tate). If $Y$ is a normal affine variety (geom. conn'd) over a finite field $k$ and $a \in k[Y]$, then $x^p - x - a$ is reducible over $k(Y)$ iff has solution in $k(y)$ for closed pts $y$ off a proper closed subset (prove using Lang-Weil). Is it useful for you? –  BCnrd Nov 19 '10 at 1:00
show 3 more comments

2 Answers

up vote 13 down vote accepted

I think this solves $X^2+X+c=0$ over $F((t))$:

I want to assume that $c\in F[[t]]$. If not, say $c=at^{-m}+...$, then the quadratic has no solutions when $m$ is odd or $a$ is not a square, and otherwise the substitution $X\mapsto X+\sqrt{a}t^{-m/2}$ gives a new equation with smaller $m$. So, after finitely many steps $c=c_0+c_1t+...$ is integral.

Because $X^2+X+c$ has derivative $1$, by Hensel's lemma the equation has a solution if and only the constant term $c_0$ is of the form $d^2+d$ for some $d$ in $F$. And if it is, Hensel's approximations are obtained by starting with an approximate solution $x_0=d$ and recursively computing $x_{m+1}=x_m-f(x_m)/f'(x_m)=x_m^2+c$. This gives $$ x = d + \sum_{n=0}^\infty (c-c_0)^{2^n} $$ as the solution (the partial sums are the $x_m$). Actually, the approach seems to work over any complete field, reducing the problem to the residue field. Hope this helps.

share|improve this answer
add comment

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.