Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

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 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 hereanswer here for a description of some of their results. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture. Also, Bley and Boltje 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.

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 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 for a description of some of their results. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture. Also, Bley and Boltje 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.

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 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 for a description of some of their results. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture. Also, Bley and Boltje 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.

added 186 characters in body; added 64 characters in body
Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90

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 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 for a very brief overviewdescription of what they didsome of their results. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture. Also, Bley and Boltje 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.

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 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 for a very brief overview of what they did. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture.

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.

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 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 for a description of some of their results. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture. Also, Bley and Boltje 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.

Source Link
Alex B.
  • 13k
  • 4
  • 56
  • 90

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 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 for a very brief overview of what they did. In this paper I used these relations to investigate integral units as Galois modules, and in this paper 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 and here) to obtain results in the direction of the Birch and Swinnerton-Dyer conjecture.

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.