正則局所環
代数多様体の非特異点に対応する環
takataninote.com