For a monic irreducible `H` over `K` whose root field is `K`-isomorphic to the root field of a monic irreducible `g` over `Kδ` (with finite `Oδ`-closure), the factor invariant of `H` is that of `g` wi

Initializing...

For a monic irreducible `H` over `K` whose root field is `K`-isomorphic to the root field of a monic irreducible `g` over `Kδ` (with finite `Oδ`-closure), the factor invariant of `H` is that of `g` wi · Prove2Me