カタラン予想の議論でというのがありました。 tsujimotter.hatenablog.com これって実は円分多項式の既約性判定の議論とまったく同じだということに気づきました。 既約性判定の議論を思い出すと としてとなります。ここで の係数は 次の係数が で割り切れて…

tsujimotter.hatenablog.comこの記事でザリスキー接空間を扱ったのだが、そのときは余接空間 の双対空間として定義した。もう少し直接的に接空間をできるらしいと聞いたので、考えてみたいと思う。環準同型から始めたいと思う。 として、点 における局所環 …