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