Lois de réciprocité primitives. (Primitive reciprocity laws) (Q1178744)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lois de réciprocité primitives. (Primitive reciprocity laws) |
scientific article |
Statements
Lois de réciprocité primitives. (Primitive reciprocity laws) (English)
0 references
26 June 1992
0 references
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.
0 references
reciprocity law
0 references
Hilbert symbols
0 references
primitive reciprocity law
0 references
generators
0 references
relations
0 references
Galois group
0 references
maximal pro \(p\)-extension
0 references