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: PSL(2,7) | Statement: [PSL(2,7), derivedSubgroup, PSL(2,7)]

Target entity: PSL(2,7)
Context triple: [PSL(2,7), derivedSubgroup, PSL(2,7)]

• A. PSL(2,7) chosen
  PSL(2,7) is a finite simple group of order 168, notable as the full automorphism group of the Klein quartic and as a key example in the theory of projective linear groups over finite fields.
• B. PGL(2,7)
  PGL(2,7) is the projective general linear group of 2×2 invertible matrices over the finite field with 7 elements, a finite group of order 336 that acts as the full collineation group of the projective line over that field.
• C. SL(2,7)
  SL(2,7) is the special linear group of 2×2 matrices with determinant 1 over the finite field with 7 elements, a non-abelian finite group of order 336 that plays an important role in group theory and geometry.
• D. PSL(2,ℤ/Nℤ)
  PSL(2,ℤ/Nℤ) is the projective special linear group of 2×2 matrices with entries in the ring of integers modulo N, modulo scalar matrices, forming a fundamental example of a finite (or, for composite N, generally non-simple) group in algebra and number theory.
• E. modular group PSL(2,Z)
  The modular group PSL(2,ℤ) is a fundamental discrete group of 2×2 integer matrices modulo sign, acting by fractional linear transformations on the upper half-plane and playing a central role in number theory, geometry, and the theory of modular forms.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: derivedSubgroup
Context triple: [PSL(2,7), derivedSubgroup, PSL(2,7)]

• A. isClosedSubgroupOf
  Indicates that one group is a subgroup of another and is closed in the topological sense within that larger group.
• B. derivedBy
  Indicates that one entity is obtained, produced, or inferred from another through some transformation, process, or reasoning.
• C. subgroupCategory
  Indicates that one category functions as a more specific subgroup within the scope of another, broader category.
• D. notableSubgroup
  Indicates that one group forms a particularly significant or noteworthy subset within a larger group.
• E. isMaximalSubgroupOf
  Indicates that one group is a proper subgroup of another that is not contained in any larger proper subgroup of that group.
• F. None of above. chosen