>>670の修正

定義
K を可換体とする。
K の要素の個数が有限のとき K を有限体と言う。