Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Chinese remainder theorem for ideals | Statement: [Chinese remainder theorem, hasGeneralization, Chinese remainder theorem for ideals]

Target entity: Chinese remainder theorem for ideals
Context triple: [Chinese remainder theorem, hasGeneralization, Chinese remainder theorem for ideals]

• A. Chinese remainder theorem chosen
  The Chinese remainder theorem is a fundamental result in number theory that provides conditions and a method for solving systems of simultaneous congruences with pairwise coprime moduli.
• B. Gauss’s lemma in number theory
  Gauss’s lemma in number theory is a result that relates the Legendre symbol to the number of sign changes in a certain sequence of multiples, providing a practical criterion for determining quadratic residues modulo an odd prime.
• C. Hilbert’s Nullstellensatz
  Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
• D. Lasker–Noether theorem on primary decomposition
  The Lasker–Noether theorem on primary decomposition is a fundamental result in commutative algebra stating that every ideal in a Noetherian ring can be expressed as a finite intersection of primary ideals, generalizing the factorization of integers into prime powers.
• E. Shimura reciprocity law
  The Shimura reciprocity law is a fundamental result in number theory that generalizes classical reciprocity laws by describing how values of modular functions at complex multiplication (CM) points transform under the action of Galois groups.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.