Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thank you very much for your answer. I am wondering, what if $F$ is not a Galois extension, is it possible to extend the argument, or it is not needed when considering the maximal unramified extension (for the narrow class number)?
