Ban Zhao
여기서 formula_5는 formula_1의 소 아이디얼들의 집합이다. 양쪽 아이디얼의 소근기는 이는 항상 반소 아이디얼이며, formula_7를 포함하는 최소의 반소 아이디얼이다. (이 개념은 가군의 근기와 다른 개념이다.)