元ネタ：代数曲線入門 梶原健問題 問1 非特異の定義を述べよ。 答1 問2 は の閉部分多様体 における の極大イデアルを 、 の極大イデアルを とする。 、 を 線形空間とみる。 この道具立てで以下を示せ。(0) (1) は を基底とする 次元 線形空間。 ただし、 …