Faster class group computations using norm relations
Using automorphisms
Question : assume K has a nontrivial group G of
automorphisms. Can we use this to compute Cl(K) faster?
I Use action of G to get extra relations for free.
I Use structure of module over the group ring for faster linear
algebra?
I By Galois theory, K has many subfields...