Brauer group functor

The Brauer group Br⁡(K)\Br(K) of a field KK consists of equivalence classes of central simple algebras over KK, where A∼BA \sim B iff A⊗KMn(K)≅B⊗KMn(K)A \otimes_K M_n(K) \cong B \otimes_K M_n(K) for some n≥0n \geq 0. The group structure is given by [A]⋅[B]:=[A⊗KB][A] \cdot [B] := [A \otimes_K B], 1:=[K]1 := [K] and [A]−1:=[Aop][A]^{-1} := [A^{\op}]. A homomorphism K→LK \to L induces the homomorphism Br⁡(K)→Br⁡(L)\Br(K) \to \Br(L) defined by [A]↦[A⊗KL][A] \mapsto [A \otimes_K L].

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—

Comments

  • For the image of the functor Br⁡:Fld→Ab\Br : \Fld \to \Ab, see MO/130778.