(a) 가 S의 maximal 라는걸 납득하고 싶은데 아무리 생각해도 (a1)을 포함하는 S의 ideals 로 만들어진 체인에서의 maximal 밖에 안되는것같음.. (a1)을 포함하지 않는 ideal은 S 에 포함되지 않는다 같은 중간다리가 있으면 좋겠는데.. - dc official App
그냥 Zorn's lemma 아님? - dc App
내가 maximal을 잘못 생각했삼 - dc App
본문을 글자 그대로 읽으면 꼭 maximal이어야 할 필요는 없고, 애초부터 an들을 잡을 때 maximal이 아니라고 가정한 다음 an보다 더 큰 ideal이 있으면 그걸 다시 a(n+1)로 가져오고, … 하는 과정을 거쳐서 잡아야 maximal이 됨