完全体
代数学において、体 "k" は以下の同値な条件の1つが成り立つときに完全（）と呼ばれる。
そうでなければ、"k" は不完全（）と呼ばれる。
とくに、標数 0 のすべての体とすべての有限体は完全である。
完全体は重要である、なぜならば完全体上のガロワ理論は単純になるからだ、というのも体拡大が分離的であるという一般的なガロワの仮定はこれらの体では自動的に満たされるからである（上の3つ目の条件を見よ）。
より一般的に、標数が素数 "p" の環はフロベニウス自己準同型が自己同型のときに完全と呼ばれる。（これは整域上で上の条件「"k" のすべての元は "p"ベキである」と同値である。）