A morphism \(f: B\to A\) of rings is unramified iff it is finite type and the sheaf of relative differentials \(\Omega_{A/B}\)vanishes.