Skip to main content
1 of 2
user44191
  • 5k
  • 6
  • 31
  • 51

A few things:

  1. The usual notation for the field of rational functions over a field is to use parentheses, so the field you're looking for is denoted $\mathbb{F}_p(x)$.

  2. The field of rational functions isn't the extension of $\mathbb{F}_p[x]$ you probably want, as it includes $x^{-1}$, which can't be limited to in your sense; the extension you want probably should be $\mathbb{F}_p[[x]]$, the ring of formal power series $\sum_i a_i x^i$ over $\mathbb{F}_p$. This ring has a valuation, allowing the concept of limits to make sense. The term you may want would be "valuation ring". And in this ring, $(1-x) \sum x^i = 1$. There is a field $\mathbb{F}_p((x))$ extending both.

user44191
  • 5k
  • 6
  • 31
  • 51