An unramified extension is a field extension where no prime ideal of the base field's ring of integers becomes ramified in the extension. This means that every prime ideal in the base field's ring of integers either remains prime or splits into distinct prime ideals in the extension's ring of integers, preserving the notion of 'smoothness' in algebraic geometry and number theory.