1: \begin{abstract}

2:   For a finite group $G$, we introduce a generalization of norm relations in the group algebra $\Q[G]$.

3:   We give necessary and sufficient criteria for the existence of such relations

4:   and apply them to obtain relations between the arithmetic invariants of the subfields

5:   of a normal extension of algebraic number fields with Galois group $G$.

6:   On the algorithmic side this leads to subfield based algorithms for computing rings of integers,

7:   $S$-unit groups and class groups.

8:   For the $S$-unit group computation this yields a polynomial time

9:   reduction to the corresponding problem in subfields.

10:   We compute class groups of large number fields under GRH, and new

11:   unconditional values of class numbers of cyclotomic fields.

12: \end{abstract}

13: