Artin's L-functions and one-dimensional characters (Q877917): Difference between revisions

For a finite Galois extension \(K/{\mathbb Q}\), let \(\chi_1,\dots, \chi_r\) be the irreducible non-trivial characters of \(G=\text{Gal}(K/{\mathbb Q})\). Let \({\mathcal A}\) denote the \({\mathbb C}\)-algebra generated by the Artin L-functions \(L(s,\chi_1),\dots,L(s,\chi_r)\) and let \({\mathcal B}\) be the subalgebra generated by the L-functions corresponding to the characters induced by non-trivial one-dimensional characters of subgroups of \(G\). Then \({\mathcal B} \subseteq {\mathcal A} \cap {\mathcal O}({\mathbb C})\), where \({\mathcal O}({\mathbb C})\) denotes the \({\mathbb C}\)-algebra of all functions holomorphic in \({\mathbb C}\). Artin's conjecture predicts that \({\mathcal A} \subseteq {\mathcal O}({\mathbb C})\). To study this question one may ask how ``large'' \({\mathcal B}\) can be. The author proves: \({\mathcal B}\) is of Krull dimension \(r\) and has the same quotient field as \({\mathcal A}\); \({\mathcal B} = {\mathcal A}\) iff \(G\) is \(M\)-group; the integral closure of \({\mathcal B}\) in \({\mathcal A}\) equals \({\mathcal A}\) iff \(G\) is quasi-\(M\)-group. By definition, \(G\) is quasi-\(M\)-group if every irreducible character of \(G\) multiplied by some integer \(k\geq 1\) is induced by a one-dimensional character of a subgroup; and \(G\) is \(M\)-group if the same always holds for \(k=1\).