可換体
代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は(ゼロ除算を除いて)除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x = 1 は整数において解を持たない。また、体における乗法演算は可換でなければならない。可換性を仮定しない除法の可能な環は可除環、斜体、あるいは体と呼ばれる。
環として、体は整域の特別なタイプとして分類でき、以下のようなクラスの包含の鎖がある。
可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解整域 ⊃ 主イデアル整域 ⊃ ユークリッド整域 ⊃ 体 ⊃ 有限体
体をアルファベットで表すときは、K (続いて L, M 等)を用いる慣例がある。これは体がドイツ語で "Körper" だからである。英語の "field" の頭文字をとって F が用いられることもある。F の次の文字 G は群と紛らわしいから、前の文字 E も用いられる。