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: Cartan decomposition | Statement: [Élie Cartan, knownFor, Cartan decomposition]

Target entity: Cartan decomposition
Context triple: [Élie Cartan, knownFor, Cartan decomposition]

• A. Cartan structure equations
  Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
• B. Weyl group
  A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
• C. Euclidean group
  The Euclidean group is the group of all distance-preserving transformations of Euclidean space, consisting of rotations, reflections, and translations.
• D. The Classical Groups: Their Invariants and Representations
  The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
• E. Lorentz group
  The Lorentz group is the mathematical group of spacetime symmetries in special relativity, consisting of all rotations and boosts that preserve the Minkowski spacetime interval.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Cartan decomposition
Triple: [Élie Cartan, knownFor, Cartan decomposition]

Cartan decomposition is a fundamental structural result in Lie theory that expresses a Lie algebra or Lie group as a direct sum or product of subspaces or subgroups with specific symmetry properties, widely used in differential geometry and representation theory.

Target entity: Cartan decomposition
Target entity description: Cartan decomposition is a fundamental structural result in Lie theory that expresses a Lie algebra or Lie group as a direct sum or product of subspaces or subgroups with specific symmetry properties, widely used in differential geometry and representation theory.

• A. Cartan structure equations
  Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
• B. Weyl group
  A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
• C. Euclidean group
  The Euclidean group is the group of all distance-preserving transformations of Euclidean space, consisting of rotations, reflections, and translations.
• D. The Classical Groups: Their Invariants and Representations
  The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
• E. Lorentz group
  The Lorentz group is the mathematical group of spacetime symmetries in special relativity, consisting of all rotations and boosts that preserve the Minkowski spacetime interval.
• F. None of above. chosen