https://123dok.net/document/qmj5gnj7-galois-module-structure-ideals-ramified-extensions-mathjax-formula.html