Let $ R$ be a Noetherian normal domain, and let $ R^+$ denote the absolute integral closure of $ R$ , i.e. the directed union of all module-finite extension domains. I’m trying to understand what “separable” should mean for elements of $ R^+$ . It’s hard to say what “should mean” means, exactly, but let’sRead more