定義
K を必ずしも可換とは限らない体とする。
K の要素の個数が有限のとき K を有限体と言う。