ローラン級数
さらに "K" が体であるならば、"K" 上の形式冪級数環 "K""x" は整域であるからその商体が考えられるが、それは "K"(("x")) に一致する。すなわち、体 "K" 上で定義された "K"(("x")) は多元体であり、これを形式ローラン級数体あるいは単にローラン級数体と呼ぶ。特に有限体上のローラン級数体は局所体の重要な例である。