Faster class group computations using norm relations
Reduction to the subfields
Theorem (BFHP)
Assume GRH. Let G admitting a norm relation. The
computation of the group of S-units reduces in deterministic
polynomial time from any K with an action of G to the
corresponding subfields.