有限体
有限体(ゆうげんたい、英語:finite field)とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアに因んでガロア体あるいはガロア域(ガロアいき、Galois field)などとも呼ぶ。
有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理
「有限斜体は可換体である」
が成り立つことが知られている。別の言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。