Unramified extension
= Unramified extension
{wiki=Unramified_extension}
A finite extension of local fields is unramified when its ramification index is one and its residue-field degree equals the field degree. A local field has a unique unramified extension of each positive degree inside a fixed algebraic closure.