The Spectre of Math

October 30, 2008

So it turns out I can’t get rid of this damn radical in my theorem, so it’s more like a proposition now.  I have to replace “factorial” with “prefactorial” (i.e. every prime ideal of height one is a radical of a principal ideal).  The trouble is, very few people know what prefactorial is, and I have no clue how large the class of germs of varieties with ${\mathcal O}_{X,0}$ being normal and prefactorial is.  It seems to be larger than factorial and smaller than normal.