4
$\begingroup$

Well, it is hard to find a good references on The field of Laurent series on finite fields. Let $F_q$ be any finite field, and denote $F_q((t))$ is the field of Laurent series on $F_q$. Please show me, how to define it, operations, absolute value and prove that its absolute value is non-Archimedian.

Please give me useful links or references. Thanks ~

$\endgroup$
  • 1
    $\begingroup$ Have you seen Formal Laurent series? $\endgroup$ – lhf May 14 '11 at 2:32
  • 1
    $\begingroup$ @lhf: yes I have, but I need more informations than that. $\endgroup$ – Jie Fan May 14 '11 at 2:40
  • 8
    $\begingroup$ What are you having trouble with? $\endgroup$ – Qiaochu Yuan May 14 '11 at 2:55
  • 1
    $\begingroup$ We can define the valuation and this valuation is non-Archimedian . Specially Laurent series are local field. What are you looking for? $\endgroup$ – Babak Miraftab Jun 7 '12 at 8:06
6
$\begingroup$
  1. $F_q((x)):=\left\{\sum_{n=k}^{\infty}a_nz^n:\ \text{for } n\in\mathbb{N},\text{ and }a_n\in F_q,\ n=k,k+1,\ldots\right\}$

  2. For $F:=\sum a_nz^n, G:=\sum b_nz^n\in F_q((z))$ and $a\in F_q$ we have

    1. $F+G:=\sum (a_n+b_n)z^n$
    2. $aF:=\sum aa_nz^n$
    3. $FG:=\sum c_nz^n$, with $c_n:=\sum_k a_nb_{n-k}$
  3. For $F:=\sum_{n=k}^{\infty}a_nz^n$, with $a_k\neq0$ we define $|F|:=q^{-k}$

The absolute value of $3$ is non-Archimedean. In fact, in general, we have

$$|F+G|\leq\max\left(|F|,|G|\right).$$

In particular $|z|=q^{-1}$ and therefore $|n\cdot z|=|z+z+\ldots+z|\leq\max(|z|,\ldots,|z|)=q^{-1}$. On the other hand we have $|1|=q^0=1$. Therefore we can never make $|n\cdot z|>1$ for any $n\in\mathbb{N}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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