Triple

Target class: statement in algebraic K-theory
Context triple: [Bloch–Kato conjecture, instanceOf, statement in algebraic K-theory]

• A. result in K-theory chosen
  A result in K-theory is a theorem or proposition describing how algebraic K-groups behave or relate to other invariants, often revealing deep structural or categorical properties of rings, schemes, or topological spaces.
• B. defining relation in Milnor K-theory
  The defining relation in Milnor K-theory is the Steinberg relation, which states that for any field \(F\) and any \(a, b \in F^\times\) with \(a + b = 1\), the symbol \(\{a, b\}\) vanishes in \(K_2^M(F)\), and more generally \(\{a, 1 - a\} = 0\) generates the ideal of relations in the tensor algebra defining \(K_*^M(F)\).
• C. theory in homological algebra
  A theory in homological algebra is a systematic framework that studies algebraic structures via chain complexes, exact sequences, and derived functors to capture and analyze their underlying relationships and invariants.
• D. object of algebraic number theory
  An object of algebraic number theory is a mathematical structure—such as a number field, ring of integers, ideal, or Galois group—studied to understand the arithmetic and algebraic properties of algebraic numbers and their extensions.
• E. construction in homological algebra
  A construction in homological algebra is a systematic process (such as forming chain complexes, derived functors, or spectral sequences) that builds new algebraic objects from given ones to study and encode their homological and cohomological properties.
• F. None of above.