BrauerGroup — Mathlib

English

Brauer group of K is the quotient of CSA(K) by Brauer equivalence.

Русский

Группа Браура над K — это факторгруппа центрально простых алгебр по отношению эквивалентности Браура.

LaTeX

$$BrauerGroup(K) := Quotient(Brauer.CSA_Setoid(K))$$

Lean4

/-- `BrauerGroup` is the set of all finite-dimensional central simple algebras quotient
  by Brauer Equivalence. -/
abbrev BrauerGroup :=
  Quotient (Brauer.CSA_Setoid K)

Похожие утверждения