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: Jordan–Hölder theorem for finite length objects in abelian categories | Statement: [Jordan–Hölder theorem, hasVersion, Jordan–Hölder theorem for finite length objects in abelian categories]

Target entity: Jordan–Hölder theorem for finite length objects in abelian categories
Context triple: [Jordan–Hölder theorem, hasVersion, Jordan–Hölder theorem for finite length objects in abelian categories]

• A. Jordan–Hölder theorem chosen
  The Jordan–Hölder theorem is a fundamental result in group theory stating that any two composition series of a finite group have the same length and the same (up to order and isomorphism) simple factor groups.
• B. “Abelian Categories: An Introduction to the Theory of Functors”
  “Abelian Categories: An Introduction to the Theory of Functors” is a foundational monograph in category theory that systematically develops the theory of abelian categories and functors, significantly shaping modern homological algebra.
• C. Freyd–Mitchell embedding theorem
  The Freyd–Mitchell embedding theorem is a fundamental result in category theory stating that every small abelian category can be faithfully represented as a full subcategory of a module category, thereby allowing the use of element-wise methods in abstract settings.
• D. Krull–Gabriel dimension
  Krull–Gabriel dimension is a refinement of Krull dimension used in the representation theory of rings and abelian categories to measure the complexity of their subobject lattices and module categories.
• E. Grothendieck category
  A Grothendieck category is an abelian category with exact filtered colimits and a generator, providing a highly general framework that extends the properties of module and sheaf categories in homological algebra.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.