Lois de réciprocité primitives. (Primitive reciprocity laws) (Q1178744): Difference between revisions

Let \(p\) be a prime number, and let \(m\) be a positive integer. Let \(K\) be an algebraic number field of finite degree containing a primitive \(p^ m\)-th root of unity. Let \(S_ p\) denote the set of primes of \(K\) dividing \(p\), and let \(S\) be a finite set of primes of \(K\) containing \(S_ p\). Let \(\mu_ S^{(p^ m)}\) and \(\sigma_ S^{(p^ m)}\) be the natural homomorphisms from \(E_ S/E_ S^{p^ m}\) to \(\prod_{w\in S\backslash S_ p}K^*_ w/K_ w^{*p^ m}\) and \(\prod_{v\in S_ p}K^*_ v/K_ v^{*p^ m}\), respectively, where \(E_ S\) denotes the \(S\)-units of \(K\) and \(K_ w\) the completion of \(K\) by a prime \(w\) of \(K\). In this paper it is said that \(K\) admits a primitive reciprocity law with respect to \(S\) and \(p^ m\) if there exists a homomorphism \(\rho_ S^{(p^ m)}:\prod_{v\in S_ p}K^*_ v/K_ v^{*p^ m}\to \prod_{w\in S\backslash S_ p}K^*_ w/K_ w^{*p^ m}\) such that \(\rho_ S^{(p^ m)}\circ \sigma_ S^{(p^ m)}=\mu_ S^{(p^ m)}\). If such \(\rho_ S^{(p^ m)}\) exists, then by the product formula and the surjectivity of \(\sigma_ S^{(p^ m)}\) the wild Hilbert symbols of order \(p^ m\) are expressed by tame Hilbert symbols. The purpose of this paper is to study this primitive reciprocity law and it gives some sufficient conditions for such existence. As an application, under some conditions, a description by generators and relations of the Galois group of the maximal pro \(p\)-extension of \(K\) unramified outside \(S\) is also obtained.