Totally ramified extension
= Totally ramified extension
{wiki}
A finite extension of local fields is totally ramified when its <residue-field degree> is one, equivalently when its <ramification index> equals its field degree.
= Totally ramified extension
{wiki}
A finite extension of local fields is totally ramified when its <residue-field degree> is one, equivalently when its <ramification index> equals its field degree.