Idelklassenfaktorensysteme und verallgemeinerte Theorie der verschränkten Produkte (Q2650276): Difference between revisions

Let \(\Omega\) be an algebraic number field and \(K\) its Galois extension. A system \(\tilde{A}^* = \{A_{\mathfrak p}^*\}\) of local algebras \(A_{\mathfrak p}^*\) over \(\Omega_{\mathfrak p}\) is called an imbedding algebra-idèle for a central simple algebra \(A\) over \(K\), when \(A_{\mathfrak p} = A \times {}_{\Omega}\Omega_\mathfrak p\) can, for each \(\mathfrak p\), be imbedded in \(A_{\mathfrak p}^*\) so that \(A_{\mathfrak p}\) is the commuter of \(K_{\mathfrak p}\) in \(A_{\mathfrak p}^*\). In such \(A\) we obtain \textit{O. Teichmüller}'s [Deutsche Math. 5, 138--149 (1940; Zbl 0023.19805)] semi-factor-set \(\Theta\) (on the Galois group of \(K/\Omega)\) (with Teichmüller's 3-cocycle as its (semi-) coboundary). Then there are, for each \(p\), a splitting semi-factor-set \(\Theta^{(\mathfrak p)}\) in \(A^*\) and a 2-cochain \(a^{(\mathfrak p)}\) in \(K_{\mathfrak p}\) such that \(\Theta = \Theta^{(\mathfrak p)}a^{(\mathfrak p)}\). Then \(\{a^{(\mathfrak p)}\}\) gives rise to an idèle-class factor-set, in \(K/\Omega\), whose class is determined uniquely by the (locally explained) class of \(\tilde{A}^*\). Among the idèle-class 2-cohomology classes for \(K/\Omega\) obtained in this manner, there is a canonical one, derived from \(A^*\) with \(\sum (A_{\mathfrak p}^*/\mathfrak p) = 1/(K:\Omega)\) which is a generator of the group of such [as a matter of fact, of all [cf. \textit{G. Hochschild} and \textit{T. Nakayama}, Ann. Math. (2) 55, 348--366 (1952; Zbl 0047.03801)] idèle-class 2-cohomology classes and which is indeed (inverse to, in some formulation) the one derived by \textit{A. Weil} [J. Math. Soc. Japan 3, 1--35 (1951; Zbl 0044.02901)] and the reviewer [Ann. Math. (2) 55, 73--84 (1952; Zbl 0046.03802)] by different methods. This canonical 2-cohomology class is used then, partly paralleling with Nakayama (loc. cit.) to derive the Artin-Chevalley reciprocity. It is observed that the present construction uses, arithmetically, only Hasse's sum formula (while the reviewer's one used the cyclotomic, cyclic case of the reciprocity too). Its another advantage is that it gives at the same time the relationship to the Teichmüller-MacLane group [\textit{S. MacLane}, Bull. Am. Math. Soc. 54, 328--333 (1948; Zbl 0032.10801)] and class [cf. Hochschild-Nakayama (loc. cit.) and the reviewer [Ann. Math. (2) 57, 1--14 (1953; Zbl 0053.35601)]; the latter is particularly closely related to the present paper (although the cohomology theory seems to be more effective in certain other respects; cf. \textit{J. Tate}, Ann. Math. (2) 56, 294--297 (1952; Zbl 0047.03703)]). Finally Hasse's Widerspiegelungsproblem [\textit{H. Hasse}, Abh. Deutsch. Akad. Wiss. Berlin, Math.-Naturw. Kl. 1947, No. 8, 56 p. (1949; Zbl 0033.15802)] is settled by the use of the canonical class.