레데이 정리

반군론에서, 레데이 정리()는 유한 집합 위의 자유 가환 반군 위의 합동 관계가 오름 사슬 조건을 만족시킨다는 정리이다.

정의 
레데이 정리에 따르면, 유한 집합  위의 자유 가환 반군  위의 합동 관계들의 격자 는 오름 사슬 조건을 만족시킨다.

각 원소 을 에 대한 단항식

으로 표기하자.

 위의 임의의 합동 관계 에 대하여, 인 들로 생성된 아이디얼을 라고 하고,

임을 보이자. 는 자명하게 를 함의한다. 이제, 라고 가정하자. 그렇다면 은 유한 개의 서로 합동인 두 단항식의 차들의 합이다. 만약 이라면, 이므로 이다. 만약

인 가 존재한다면, 이다. 이제

인 가 존재한다고 하자. 그렇다면, 이며, 이다. 만약 이거나 라면, 이다. 만약 이거나 라면, 편의상 라고 하자. 그렇다면, 이므로,

이며, 따라서 이다. 이와 같은 과정을 반복하면 항상 임을 알 수 있다.

반대로, 임의의 아이디얼 에 대하여,

는 자명하게  위의 합동 관계를 이룬다.

이에 따라,  위의 합동 관계는 의 아이디얼들과 일대일 대응하며, 또한 는 의 아이디얼들의 격자와 순서 동형이다. 특히, 힐베르트 기저 정리에 따라, 는 뇌터 환이므로, 의 아이디얼들은 오름 사슬 조건을 만족시키며, 따라서  역시 오름 사슬 조건을 만족시킨다.

따름정리

유한 생성 가환 반군 위의 합동 관계 
레데이 정리에 따라, 유한 생성 가환 반군의 합동 관계들의 격자는 오름 사슬 조건을 만족시킨다. 이에 따라, 유한 생성 가환 반군의 합동 관계는 항상 유한 생성 합동 관계이다. 특히, 유한 생성 가환 반군의 반군 아이디얼은 항상 유한 생성 반군 아이디얼이다.

유한 집합 위의 자유 가환 반군의 반사슬 
자유 가환 반군은 약수 관계에 대하여 부분 순서 집합을 이룬다. 레데이 정리에 따라, 유한 집합 위의 자유 가환 반군의 반사슬은 항상 유한 집합이다.

임의의 부분 집합 에 대하여, 로 생성된 의 반군 아이디얼은 의 상폐포 이다. 레데이 정리에 따라, 는 의 유한 생성 반군 아이디얼이며, 인 유한 집합 가 존재한다.

만약 가 반사슬이라면, 임의의 에 대하여, 인 를 취하자. 그렇다면, 는 의 극소 원소이므로, 이다. 즉, 이며, 특히 는 유한 집합이다.

역사 
헝가리의 수학자 라슬로 레데이()의 이름을 땄다.

참고 문헌 
 

반군론