{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "cayley-matrix-algebra-framework-1858",
    "title": "Cayley: systematic square and rectangular matrix algebra",
    "summary": "Cayley developed matrix addition, associative noncommutative composition, identity, inverses for nonzero determinant and transpose rules, and extended compatible composition to rectangular matrices. He stated the characteristic equation for arbitrary square order, explicitly demonstrated the two-by-two identity and reported verification in order three, using it to organize matrix powers and low-order examples.",
    "boundary": "The 1858 memoir explicitly omits a formal proof of the characteristic equation in general order; this entry does not certify that missing proof. Inverses require nonsingularity. Historical claims about all commuting matrices being polynomials in one matrix, and unqualified fractional powers, are not exported as universal valid theorems. No sole-priority claim for all matrix operations or the later Cayley–Hamilton theorem is made.",
    "area": "Linear algebra",
    "topic": "Mathematics",
    "year": 1858,
    "lane": "HUMAN",
    "result": "THEORY",
    "package_id": "cayley-matrix-algebra-framework-1858",
    "target": {
      "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
      "version": 1,
      "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
    },
    "humans": [
      "Arthur Cayley"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-cayley-matrices-1858",
        "title": "A Memoir on the Theory of Matrices",
        "url": "https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf",
        "date": "1858"
      }
    ],
    "points": "420000",
    "published_grade": {
      "id": "cayley-matrix-algebra-framework-1858",
      "entry_id": "cayley-matrix-algebra-framework-1858",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
        "version": 1,
        "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
      },
      "what_changed": "Cayley developed matrix addition, associative noncommutative composition, identity, inverses for nonzero determinant and transpose rules, and extended compatible composition to rectangular matrices. He stated the characteristic equation for arbitrary square order, explicitly demonstrated the two-by-two identity and reported verification in order three, using it to organize matrix powers and low-order examples.",
      "scope": "Cayley developed matrix addition, associative noncommutative composition, identity, inverses for nonzero determinant and transpose rules, and extended compatible composition to rectangular matrices. He stated the characteristic equation for arbitrary square order, explicitly demonstrated the two-by-two identity and reported verification in order three, using it to organize matrix powers and low-order examples. The 1858 memoir explicitly omits a formal proof of the characteristic equation in general order; this entry does not certify that missing proof. Inverses require nonsingularity. Historical claims about all commuting matrices being polynomials in one matrix, and unqualified fractional powers, are not exported as universal valid theorems. No sole-priority claim for all matrix operations or the later Cayley–Hamilton theorem is made.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
        "version": 1,
        "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Arthur Cayley",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "A Memoir on the Theory of Matrices",
            "url": "https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "A Memoir on the Theory of Matrices",
            "url": "https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The 1858 memoir explicitly omits a formal proof of the characteristic equation in general order; this entry does not certify that missing proof. Inverses require nonsingularity. Historical claims about all commuting matrices being polynomials in one matrix, and unqualified fractional powers, are not exported as universal valid theorems. No sole-priority claim for all matrix operations or the later Cayley–Hamilton theorem is made.",
        "domain": "Linear algebra"
      },
      "sources": [
        {
          "citation": "A Memoir on the Theory of Matrices",
          "url": "https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf"
        }
      ],
      "statement": "# Cayley: systematic square and rectangular matrix algebra\n\n## Why the order of two simple moves matters\n\nImagine stretching a drawing horizontally and then shearing it sideways. Reverse those two moves and the final picture can change. A matrix records a linear transformation as a rectangular table of numbers. Cayley's contribution was to treat such tables as mathematical objects with their own algebra, connecting equations, composition and powers. Determinants and linear systems already had a history; this was a framework built from those foundations.\n\n## Try two coordinates\n\nHere is an invented classroom example. Begin at the point (1, 1). A shear replaces (x, y) with (x + y, y), so the point becomes (2, 1). A horizontal stretch then doubles the first coordinate, giving (4, 1). Now reverse the moves: stretching first gives (2, 1), and shearing afterward gives (3, 1). The two answers differ even though the component moves are identical.\n\n## An algebra that does not behave like ordinary numbers\n\nComposition means applying one transformation after another. Matrix multiplication represents this composition, with the order specified by convention. The example shows why swapping two factors need not preserve the product. Associativity is a different property: grouping three successive transformations differently does preserve the composite transformation. Noncommutativity therefore does not mean that every familiar algebraic rule fails. Identity transformations and compatible rectangular compositions also belong to the framework.\n\n## An inverse needs a condition\n\nA transformation that flattens the whole plane onto a line loses information. Several starting points can lead to the same final point, so no inverse can recover every original input. A square matrix has an inverse when its determinant is nonzero. The 1858 memoir also discusses characteristic equations and matrix powers, but explicitly omits a general-order characteristic-equation proof. That omission remains visible instead of becoming a claim that the general theorem was fully proved there.\n\n## A useful small exercise\n\nWrite down two more starting points and repeat both move orders. Then try a stretch followed by its inverse: halving the first coordinate should recover the starting point. This finite exercise teaches the operations; it does not prove every matrix identity. A good source-checking contribution could distinguish the memoir's demonstrated low-order cases, its broader stated claims and later proofs, while keeping the exact historical version clear.\n\n## Scientific scope\n\nThe 1858 memoir explicitly omits a formal proof of the characteristic equation in general order; this entry does not certify that missing proof. Inverses require nonsingularity. Historical claims about all commuting matrices being polynomials in one matrix, and unqualified fractional powers, are not exported as universal valid theorems. No sole-priority claim for all matrix operations or the later Cayley–Hamilton theorem is made.\n\n## Sources for this explanation\n\n- [A Memoir on the Theory of Matrices](https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Cayley developed matrix addition, associative noncommutative composition, identity, inverses for nonzero determinant and transpose rules, and extended compatible composition to rectangular matrices. He stated the characteristic equation for arbitrary square order, explicitly demonstrated the two-by-two identity and reported verification in order three, using it to organize matrix powers and low-order examples.",
      "title": "Cayley: systematic square and rectangular matrix algebra"
    },
    "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
      "version": 1,
      "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:b53df79565db0f65f21c2818d476b91f147eeecacfed7a341225044d3a8f9582"
  },
  "target": {
    "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
    "version": 1,
    "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "cayley-matrix-algebra-framework-1858",
    "entry_id": "cayley-matrix-algebra-framework-1858",
    "revision": 1,
    "title": "Cayley: systematic square and rectangular matrix algebra",
    "context": "Linear algebra",
    "track": "Reusable scientific method, experimental result or historical framework",
    "band": "S",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Cayley developed matrix addition, associative noncommutative composition, identity, inverses for nonzero determinant and transpose rules, and extended compatible composition to rectangular matrices. He stated the characteristic equation for arbitrary square order, explicitly demonstrated the two-by-two identity and reported verification in order three, using it to organize matrix powers and low-order examples.",
    "scope": "Cayley developed matrix addition, associative noncommutative composition, identity, inverses for nonzero determinant and transpose rules, and extended compatible composition to rectangular matrices. He stated the characteristic equation for arbitrary square order, explicitly demonstrated the two-by-two identity and reported verification in order three, using it to organize matrix powers and low-order examples. The 1858 memoir explicitly omits a formal proof of the characteristic equation in general order; this entry does not certify that missing proof. Inverses require nonsingularity. Historical claims about all commuting matrices being polynomials in one matrix, and unqualified fractional powers, are not exported as universal valid theorems. No sole-priority claim for all matrix operations or the later Cayley–Hamilton theorem is made.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The 1858 memoir explicitly omits a formal proof of the characteristic equation in general order; this entry does not certify that missing proof. Inverses require nonsingularity. Historical claims about all commuting matrices being polynomials in one matrix, and unqualified fractional powers, are not exported as universal valid theorems. No sole-priority claim for all matrix operations or the later Cayley–Hamilton theorem is made.",
    "references": [
      {
        "title": "A Memoir on the Theory of Matrices",
        "url": "https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
      "version": 1,
      "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "420000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "cayley-matrix-algebra-framework-1858",
    "target": {
      "record_id": "urn:uuid:8609dfd6-20aa-4ff9-aa44-31c02e5c221a",
      "version": 1,
      "content_hash": "sha256:67df996c440a18c2c167bccc5588785c3bd1a43eadf8cd01d425e21bd7479808"
    },
    "sections": [
      {
        "title": "Why the order of two simple moves matters",
        "text": "Imagine stretching a drawing horizontally and then shearing it sideways. Reverse those two moves and the final picture can change. A matrix records a linear transformation as a rectangular table of numbers. Cayley's contribution was to treat such tables as mathematical objects with their own algebra, connecting equations, composition and powers. Determinants and linear systems already had a history; this was a framework built from those foundations."
      },
      {
        "title": "Try two coordinates",
        "text": "Here is an invented classroom example. Begin at the point (1, 1). A shear replaces (x, y) with (x + y, y), so the point becomes (2, 1). A horizontal stretch then doubles the first coordinate, giving (4, 1). Now reverse the moves: stretching first gives (2, 1), and shearing afterward gives (3, 1). The two answers differ even though the component moves are identical."
      },
      {
        "title": "An algebra that does not behave like ordinary numbers",
        "text": "Composition means applying one transformation after another. Matrix multiplication represents this composition, with the order specified by convention. The example shows why swapping two factors need not preserve the product. Associativity is a different property: grouping three successive transformations differently does preserve the composite transformation. Noncommutativity therefore does not mean that every familiar algebraic rule fails. Identity transformations and compatible rectangular compositions also belong to the framework."
      },
      {
        "title": "An inverse needs a condition",
        "text": "A transformation that flattens the whole plane onto a line loses information. Several starting points can lead to the same final point, so no inverse can recover every original input. A square matrix has an inverse when its determinant is nonzero. The 1858 memoir also discusses characteristic equations and matrix powers, but explicitly omits a general-order characteristic-equation proof. That omission remains visible instead of becoming a claim that the general theorem was fully proved there."
      },
      {
        "title": "A useful small exercise",
        "text": "Write down two more starting points and repeat both move orders. Then try a stretch followed by its inverse: halving the first coordinate should recover the starting point. This finite exercise teaches the operations; it does not prove every matrix identity. A good source-checking contribution could distinguish the memoir's demonstrated low-order cases, its broader stated claims and later proofs, while keeping the exact historical version clear."
      }
    ],
    "references": [
      {
        "title": "A Memoir on the Theory of Matrices",
        "url": "https://upload.wikimedia.org/wikipedia/commons/1/1a/A_Memoir_on_the_Theory_of_Matrices_%28IA_jstor-108649%29.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}