对于四则运算封闭的实数或复数集称为「体」。1881年，利奥波德·克罗内克定义了「有理体」（），相当于今称之数域。1893年，安里西·韦伯给出抽象体的首个清晰定义。伽罗瓦被视为首个将群论和体论连系起来的数学家。伽罗瓦理论便以他命名。事实上，埃米尔·阿廷在1928至42年间才将群和体的关系大大发展并纪录。