반소
특히, formula_1가 대수적으로 닫힌 경우 (formula_21), formula_22와 formula_4는 formula_6의 반소 아이디얼의 집합과 formula_25의 대수 집합의 집합 사이의 전단사 함수이며, 서로의 역함수이다. 다항식환의 소 아이디얼은 formula_9의 대수다양체(기약 대수 집합)에 일대일로 대응한다.