Maximal Totally Ramified Extension

115 Views Asked by At

enter image description here

Hi,

The lemma above is from Iwasawa's Local Class Field Theory.

Could you explain, why M = F' ?

Thank you