体论（）是抽象代数的分支，研究体的性质。
历史.域的概念最初被阿贝尔和伽罗瓦用于他们对方程的可解性的工作上。1871年，理查德·戴德金将对于四则运算封闭的实数或复数集称为「体」。1881年，利奥波德·克罗内克定义了「有理体」（），相当于今称之数域。1893年，安里西·韦伯给出抽象体的首个清晰定义。伽罗瓦被视为首个将群论和体论连系起来的数学家。伽罗瓦理论便以他命名。事实上，埃米尔·阿廷在1928至42年间才将群和体的关系大大发展并纪录。