Shafarevich–Weil theorem

In algebraic number theory, the Shafarevich–Weil theorem relates the fundamental class of a Galois extension of local or global fields to an extension of Galois groups. It was introduced by Shafarevich (1946) for local fields and by Weil (1951) for global fields.

Statement

Suppose that F is a global field, K is a normal extension of F, and L is an abelian extension of K. Then the Galois group Gal(L/F) is an extension of the group Gal(K/F) by the abelian group Gal(L/K), and this extension corresponds to an element of the cohomology group H2(Gal(K/F), Gal(L/K)). On the other hand, class field theory gives a fundamental class in H2(Gal(K/F),IK) and a reciprocity law map from IK to Gal(L/K). The Shafarevich–Weil theorem states that the class of the extension Gal(L/F) is the image of the fundamental class under the homomorphism of cohomology groups induced by the reciprocity law map (Artin & Tate 2009, p.246).

Shafarevich stated his theorem for local fields in terms of division algebras rather than the fundamental class (Weil 1967). In this case, with L the maximal abelian extension of K, the extension Gal(L/F) corresponds under the reciprocity map to the normalizer of K in a division algebra of degree [K:F] over F, and Shafarevich's theorem states that the Hasse invariant of this division algebra is 1/[K:F]. The relation to the previous version of the theorem is that division algebras correspond to elements of a second cohomology group (the Brauer group) and under this correspondence the division algebra with Hasse invariant 1/[K:F] corresponds to the fundamental class.

gollark: So any system using them is susceptible to spoofing.
gollark: IDs aren't an intrinsic part of the networking stack for CC.
gollark: Same principle.
gollark: ID spoofing is trivial because the IDs in rednet packets are literally just numbers it puts there.
gollark: Why is it in an "OS"?

References
  • Artin, Emil; Tate, John (2009) [1952], Class field theory, AMS Chelsea Publishing, Providence, RI, ISBN 978-0-8218-4426-7, MR 0223335
  • Shafarevich, I. R. (1946), "On Galois groups of p-adic fields.", C. R. (Doklady) Acad. Sci. URSS (N.S.), 53: 15–16, MR 0018170 Reprinted in his collected works, pages 4–5
  • Weil, André (1951), "Sur la theorie du corps de classes", Journal of the Mathematical Society of Japan, 3: 1–35, doi:10.2969/jmsj/00310001, ISSN 0025-5645, MR 0044569, reprinted in volume I of his collected papers, ISBN 0-387-90330-5
  • Weil, André (1967), "Appendix III:Shafarevitch's theorem", Basic number theory., Die Grundlehren der mathematischen Wissenschaften, 144, Springer-Verlag New York, Inc., New York, pp. 301–307, ISBN 3-540-58655-5, MR 0234930
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.