「イデアル類群　素イデアル」／note.com/unramified/　の記事　／　解答してみた

１. ”maximal unramified extension”　さんの文章。Noteの記事から。 イデアル類群｜maximal unramified extension (note.com) § （証明） 素イデアルを$${\mathfrak p }$$と表す。 まず確認事項 ・　R_K/$${\mathfrak p }$$ は有限体 さて、 有理整数環 Z が部分集合なので包含写像 Z　→　R_K　が定義できる。 さらに Z/$${\mathfrak p }$