6

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 ~

Jie Fan
  • 1,886

1 Answers1

6

  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}$.

OR.
  • 5,941