Triple

Target class: defining relation in Milnor K-theory
Context triple: [Steinberg relations, instanceOf, defining relation in Milnor K-theory]

• A. result in K-theory
  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. cohomological invariant
  A cohomological invariant is a rule that assigns to each object in a given class (such as algebraic varieties, groups, or topological spaces) an element of a cohomology group in a way that is functorial and captures structural or classification information about those objects.
• C. homological invariant
  A homological invariant is a quantity or structure derived from homology theory that remains unchanged under specified transformations, used to distinguish and classify mathematical objects up to an appropriate notion of equivalence.
• 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. object in invariant theory
  An object in invariant theory is a mathematical entity, such as a vector space, polynomial ring, or group action, whose structure and symmetries are studied through the functions or quantities that remain unchanged under a specified group of transformations.
• F. None of above. chosen