The group classifying equivalence classes of central simple algebras over a field (or Azumaya algebras over a scheme), often described cohomologically as H^2 of the multiplicative group in the étale or Galois context; it captures obstructions to splitting algebras and contributes to arithmetic and geometric invariants of varieties.

Principle

Algebraic division algebras and Azumaya algebras up to Morita equivalence form a torsion abelian group under tensor product, and this classification corresponds to second cohomology classes of G_m, so cohomology encodes obstruction-to-triviality information for central simple/algebra bundles.

Demonstration

Over a field K, the Brauer group Br(K) classifies central simple K-algebras up to similarity; for a number field the local-global behavior of Br(K) and its invariants (period and index) control splitting at completions and appear in obstruction calculations for rational points on varieties.

Misapplication

Interpreting every element of H^2(K,G_m) as a concrete matrix algebra without checking finiteness or Azumaya hypotheses, or ignoring the torsion nature (so treating the group as free), leads to incorrect conclusions about representability by finite-dimensional central simple algebras or about patching local data globally.

Consequence

Correct use identifies when algebra bundles split, quantifies obstructions to triviality, provides invariants (period, index) constraining possible modules and forms, and supplies coefficients used in descent, duality, and obstruction theories in arithmetic geometry.

Reversal

The opposite viewpoint would attempt to classify Brauer-equivalence via only vector-space dimensions or only splitting fields, thereby losing the cohomological obstruction content encoded in tensor product and Morita classes.

Boundary

Defined for fields and for schemes (via Azumaya algebras or étale H^2(G_m)); its classical descriptions require finiteness and local-to-global comparison tools, and it excludes naive analogues for nonassociative or infinite-dimensional algebras unless the theory is suitably extended.

Semantic Tension

Sits between explicit algebra classification and abstract cohomological description: the Brauer group can be viewed concretely through central simple algebras or abstractly as H^2, and tension arises when one expects immediate constructive representatives for arbitrary cohomology classes.

Synthesis

The Brauer group is the torsion abelian group measuring obstruction-to-splitting of central simple or Azumaya algebras: concretely it classifies Morita-equivalence classes under tensor product and, cohomologically, corresponds to H^2(G_m), linking algebraic, geometric, and arithmetic phenomena.