定義
必ずしも可換とは限らない非離散局所コンパクト体を局所体と言う。