Grauert-Remmert normality criterion via test ideals and endomorphism rings Hom_A(J,J) ≅ (gJ :_A J)

Class:
Algorithm