局所体

局所体(きょくしょたい、英: local field)とは、離散付値に対して完備であり、剰余体が有限体である付値体のことである。局所体の定義としては、上に挙げたもの以外にもいくつかあり、そのうちの代表的なものを挙げる。