더밋풋 326페이지인데 중간에 밑줄치고 물음표 친 부분이 이해가 안가서 올림
minimal groebner basis를 reduced basis로 만드는 과정을 설명하는 것 같은데 밑줄친 부분이 맞으려면 G에서 g_i를 제외한 basis도 Groebner basis가 되야 하지 않음? 근데 이게 내 생각에는 틀린것같음;
같은 챕터에 있는 연습문제중 19(a)에는 사진에 있는 G가 reduced groebner basis라고 하거든 근데 여기서 f_4를 빼면 groebner basis가 되지 않는 것 같음
왜냐면 S(f_2,f_3)이 polynomial division 을 통해 f_1, f_2, f_3으로 나타낼 수가 없기 때문인데.. 내가 뭔가 착각하고 있는걸까? 살려주셈 ㅠ
- dc official App
by the other polynomials in G라 써있잖
두번째는 뭘 묻는건지 모르겠넴 f1,f2,f3,f4가 그뢰브너기저인데 왜 f4를 제외함
위에서 밑줄친 부분이 말하는거는 나머지가 polynomial들의 순서에 상관하지 않는 이유가 thm 23 (2) 때문이라는 건데 거기서 말하는거는 generators가 그뢰브너 기저면 나머지가 polynomial들의 순서에 상관하지 않는다는 거거든 - dc App
근데 밑에서 minimal basis에서 원소를 하나 빼니까 그뢰브너 basis가 되지 않는 예시를 찾은것같아서 물어보는거임 위에서는 마치 원소 하나를 빼도 그뢰브너 basis가 되서 순서에 상관하지 않는 것 처럼 말하니깐 - dc App
님 말이 맞는듯
결국 저 시점에서는 remainder가 다른 polynomial들의 순서에 상관하는지 아닌지 알 수 없는거지? 결국 reduced basis는 유일하니까 상관하지 않게 되더라도 저 시점에서 증명한건 아니니깐 - dc App
ㅇㅇ 대충읽어서 눈치못챘는데 저 부분은 논리비약인듯
ㄱㅅㄱㅅ 시발 하루동안 존내 고민함;; - dc App