I saw the following nice formula in an unpublished paper of H. Cohen. Let $L$ be a quartic field, whose Galois closure $\widetilde{L}$ has Galois group $S\_4$. Denote the cubic resolvent field of $L$ by $K\_3$, and let $K\_6$ be the Galois closure of $K\_3$.


Then, we have the following relation among Dedekind zeta functions:


$$\zeta\_L(s) = \frac{ \zeta(s) \zeta\_{K\_6}(s) }{\zeta\_{K\_3} (s)}.$$


This is proved using the formalism of Artin $L$-functions, and reflects the relation


$$ Ind\_{G\_L} 1 = 1 + Ind\_{G\_{K\_6}} 1 - Ind\_{G\_{K\_3}} 1$$


between the characters of $S\_4$ induced from the trivial characters of the subgroups of $\mathrm{Gal}(\widetilde{L}/\mathbb{Q})$ fixing $G\_L$, $G\_{K\_6}$, $G\_{K\_3}$ respectively. So essentially this is a calculation in group representation theory.


One nice consequence is the simple relation $D\_L = D\_{K\_6} / D\_{K\_3}$ between the discriminants of these number fields. (This may be proved by comparing the conductors in the functional equation.)


I imagine this is old hat, but this formula really struck me. Two questions:


(1) Are there other similarly nice relations between other families of Dedekind zeta functions?


(2) Have this or related formulas seen other interesting applications in number theory?



Generalizations/applications of a formula for the Dedekind zeta function?
As Keith says, such relations between permutation representations are often called Brauer relations, because Brauer was the first one to note that such isomorphisms of permutation representations give rise to relations between zeta functions (Kuroda noticed the same phenomenon at the same time). Any non-cyclic group has Brauer relations, so in any $G$-extension of number fields with $G$ non-cyclic, you will get relations between zeta functions of the intermediate fields. Moreover, the space of Brauer relations is a finitely generated abelian group, and its rank is equal to the number of conjugacy classes of non-cyclic subgroups of $G$ (this is a consequence of Artin's induction theorem, together with the fact that the number of irreducible rational representations of $G$ is equal to the number of conjugacy classes of cyclic subgroups). So that's precisely the number of essentially different relations between zeta functions that you get this way in any given Galois extension of number fields. The Brauer relations in an arbitrary finite group are completely classified in [this joint work](http://arxiv.org/abs/1103.2047) of mine with Tim Dokchitser.


Such relations have lots of applications. For example numerous papers by Bart de Smit, Perlis, and others investigated relations that only consist of two groups. See my [answer here](https://mathoverflow.net/questions/80403/number-fields-with-same-zeta-function/80439#80439) for a description of some of their results. In [this paper](http://arxiv.org/abs/0904.2416) I used these relations to investigate integral units as Galois modules, and in [this paper](http://arxiv.org/abs/1105.3876) Bart and I generalised those findings.


In that paper with Bart we make use of the fact that you also get similar relations between other $L$-functions, e.g. $L$-functions of elliptic curves. This had been used to great effect by Tim and Vladimir Dokchitser (see [here](http://arxiv.org/abs/math/0610290) and [here](http://arxiv.org/abs/0709.2852)) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture. Also, [Bley and Boltje](http://math.ucsc.edu/~boltje/publications/p01z.pdf) have used Brauer relations to obtain relations between $p$-parts of class number, of Tate-Shafarevich groups, and of other interesting number theoretic invariants.


A final remark: to get the relations between discriminants from Brauer relations, you do not need zeta functions. They follow immediately from the conductor-discriminant formula.


The references to the original papers by Brauer and Kuroda are:


R. Brauer, *Beziehungen zwischen Klassenzahlen von Teilkörpern eines Galoisschen Körpers*, Math. Nachr. **4** (1951), 158–174 and


S. Kuroda, *Über die Klassenzahlen algebraischer Zahlkörper*, Nagoya Math. J. **1** (1950), 1–10.


If you search for forward citations, you will find lots of literature.


