類体とは、『素イデアルの分解の仕方が、合同イデアル類群によって判る』ようなアーベル拡大体のことである。