可換体

抽象代数学において可換体（かかんたい、仏: corps commutatif）あるいは単に体（たい、英: field）とは、零でない可換可除環、あるいは同じことだが非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。