Brauer Group and Class Field Theory
The notion of Brauer group plays an important role in the modern formulation of the class field theory. If Kv is a non-archimedean local field, there is a canonical isomorphism invv: Br(Kv) → Q/Z constructed in local class field theory. An element of the Brauer group of order n can be represented by a cyclic division algebra of dimension n2.
The case of a global field K is addressed by the global class field theory. If D is a central simple algebra over K and v is a valuation then D ⊗ Kv is a central simple algebra over Kv, the local completion of K at v. This defines a homomorphism from the Brauer group of K into the Brauer group of Kv. A given central simple algebra D splits for all but finitely many v, so that the image of D under almost all such homomorphisms is 0. The Brauer group Br(K) fits into an exact sequence
where S is the set of all valuations of K and the right arrow is the direct sum of the local invariants and the Brauer group of the real numbers is identified with (1/2)Z/Z. The injectivity of the left arrow is the content of the Albert–Brauer–Hasse–Noether theorem. Exactness in the middle term is a deep fact from the global class field theory. The group Q/Z on the right may be interpreted as the "Brauer group" of the class formation of idele classes associated to K.
Read more about this topic: Brauer Group
Famous quotes containing the words group, class, field and/or theory:
“Jury—A group of twelve men who, having lied to the judge about their hearing, health, and business engagements, have failed to fool him.”
—H.L. (Henry Lewis)
“Think of what our Nation stands for,
Books from Boots’ and country lanes,
Free speech, free passes, class distinction,
Democracy and proper drains.”
—Sir John Betjeman (1906–1984)
“And they wonder, as waiting the long years through
In the dust of that little chair,
What has become of our Little Boy Blue,
Since he kissed them and put them there.”
—Eugene Field (1850–1895)
“There never comes a point where a theory can be said to be true. The most that one can claim for any theory is that it has shared the successes of all its rivals and that it has passed at least one test which they have failed.”
—A.J. (Alfred Jules)