위키피디아에서 Noether normalization lemma보고있는데
저게 Eisenbud버전의 따름정리거든
근데 Eisenbud버전 안쓰고도 Noether오리지널버전으로도 증명이 되긴 됨
좀 해보니까 증명이 유도되긴 하더라
근데 문젠 going up이랑 going down둘다써야함;;
오리지널버전을 살리면서 최대한 짧게 증명하는 다른 방법이 없을까
아님 아예 Noether안쓰고도 증명할 수 있는 더더욱 짧고 쉬운 방법이 있으면 더좋고
이게 자세히 말하긴 좀 그런데 저 corollary 증명과정을 처음부터 끝까지 생으로 다 써야 하는 상황이거든( 이대로 가면 Noether lemma증명 포함해서 going up/down증명도 다 적어야 함)
그래서 가급적 쉬운 걸 사용해서 증명할수록 좋은 상황
무슨분야임? commutative algebra나 대수기하 같은건가
ㅇㅇ 가환대수인데 대수기하에서도 씀
수업에 쓰는거면 다른 변수에 한 변수의 파워를 더하는 방식으로 하는게 가장 쉬운데 그렇게 길던가?
짧게 써야하는데 고잉다운까지 쓰는건 진짜 에반데
혹시 그 방식 어디서 볼 수 있는지 알려주실 수 있나요...부탁쓰