質問: 局所体って、何ですか?
回答: 有理数体や代数体には付値といって絶対値の拡張したものが定義できる そこから距離がはいる。その距離について完備な体を局所体 付値による完備化が局所体になる 位相的にはたしか局所コンパクトになるはず わかりやすい例は実数体、複素数体、p進有理数体など