☆役立つし良い定理見つけた。代数体の整数環Ｏ_Kにノルムｐ＾ｎの素イデアルがあるならば、それによる剰余はＯ_Kから𝔽ｐ＾ｎへの全射環準同型となる。では逆に、𝔽ｐ＾ｎへの全射準同型が存在するのはいつもこのようなときに限るだろうか？その全射準同型の核…