Reducedness of formally unramified algebras over fields

Alapan Mukhopadhyay, Karen E. Smith

We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that…