{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "holder-composition-factor-isomorphism-invariance-1889",
    "title": "Hölder: invariant simple factor groups in finite-group composition series",
    "summary": "Hölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions.",
    "boundary": "Finite groups and finite composition series are the group-theoretic scope. The theorem does not make the subgroup chains unique or determine a group from its multiset of factors: extension problems remain. The algebraic application assumes distinct roots and the explicitly changing rationality fields; this record does not assert a modern inseparable or arbitrary-characteristic extension. The chief-series direct-product statement in Section 11 is expressly given without proof and is not certified here. Jordan's earlier numerical composition-factor invariance, Galois foundations, Dyck's quotient-group precedents and Netto's proof simplifications are retained as antecedents.",
    "area": "Finite groups, quotient groups and Galois theory",
    "topic": "Mathematics",
    "year": 1889,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "holder-composition-factor-isomorphism-invariance-1889",
    "target": {
      "record_id": "urn:uuid:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
      "version": 1,
      "content_hash": "sha256:925c394999470292bb9322fd97986db9ce955f878b13be9d07dacc36dd050404"
    },
    "humans": [
      "Otto Hölder"
    ],
    "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-holder-composition-factors-1889",
        "title": "Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0034/LOG_0008.pdf",
        "date": "1889"
      }
    ],
    "points": "230000",
    "published_grade": {
      "id": "holder-composition-factor-isomorphism-invariance-1889",
      "entry_id": "holder-composition-factor-isomorphism-invariance-1889",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
        "version": 1,
        "content_hash": "sha256:925c394999470292bb9322fd97986db9ce955f878b13be9d07dacc36dd050404"
      },
      "what_changed": "Hölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions.",
      "scope": "Hölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions. Finite groups and finite composition series are the group-theoretic scope. The theorem does not make the subgroup chains unique or determine a group from its multiset of factors: extension problems remain. The algebraic application assumes distinct roots and the explicitly changing rationality fields; this record does not assert a modern inseparable or arbitrary-characteristic extension. The chief-series direct-product statement in Section 11 is expressly given without proof and is not certified here. Jordan's earlier numerical composition-factor invariance, Galois foundations, Dyck's quotient-group precedents and Netto's proof simplifications are retained as antecedents.",
      "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:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
        "version": 1,
        "content_hash": "sha256:925c394999470292bb9322fd97986db9ce955f878b13be9d07dacc36dd050404"
      },
      "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": "Otto Hölder",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0034/LOG_0008.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0034/LOG_0008.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Finite groups and finite composition series are the group-theoretic scope. The theorem does not make the subgroup chains unique or determine a group from its multiset of factors: extension problems remain. The algebraic application assumes distinct roots and the explicitly changing rationality fields; this record does not assert a modern inseparable or arbitrary-characteristic extension. The chief-series direct-product statement in Section 11 is expressly given without proof and is not certified here. Jordan's earlier numerical composition-factor invariance, Galois foundations, Dyck's quotient-group precedents and Netto's proof simplifications are retained as antecedents.",
        "domain": "Finite groups, quotient groups and Galois theory"
      },
      "sources": [
        {
          "citation": "Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen",
          "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0034/LOG_0008.pdf"
        }
      ],
      "statement": "# Hölder: invariant simple factor groups in finite-group composition series\n\nHölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions.\n\n## Scientific scope\n\nFinite groups and finite composition series are the group-theoretic scope. The theorem does not make the subgroup chains unique or determine a group from its multiset of factors: extension problems remain. The algebraic application assumes distinct roots and the explicitly changing rationality fields; this record does not assert a modern inseparable or arbitrary-characteristic extension. The chief-series direct-product statement in Section 11 is expressly given without proof and is not certified here. Jordan's earlier numerical composition-factor invariance, Galois foundations, Dyck's quotient-group precedents and Netto's proof simplifications are retained as antecedents.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nOtto Hölder\n\nSource-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.\n\n\n\n## Original sources\n\n- [Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen](https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0034/LOG_0008.pdf)\n",
      "summary": "Hölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions.",
      "title": "Hölder: invariant simple factor groups in finite-group composition series"
    },
    "record_id": "urn:uuid:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
      "version": 1,
      "content_hash": "sha256:925c394999470292bb9322fd97986db9ce955f878b13be9d07dacc36dd050404"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:ec91f98ea5802f08fb92b3e1302aa454d4f3d7267828acd3bbbdcb89f07a0ce3"
  },
  "target": {
    "record_id": "urn:uuid:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
    "version": 1,
    "content_hash": "sha256:925c394999470292bb9322fd97986db9ce955f878b13be9d07dacc36dd050404"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "holder-composition-factor-isomorphism-invariance-1889",
    "entry_id": "holder-composition-factor-isomorphism-invariance-1889",
    "revision": 1,
    "title": "Hölder: invariant simple factor groups in finite-group composition series",
    "context": "Finite groups, quotient groups and Galois theory",
    "track": "Exact theorem and reusable mathematical method",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Hölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions.",
    "scope": "Hölder proved that any two composition series of a finite group yield the same simple quotient groups up to isomorphism, order and multiplicity. He replaced the earlier invariance of numerical factor orders by invariance of the factor groups themselves, using quotient groups and an induction through intersections of distinct maximal normal subgroups. Applied to algebraic-equation chains, these simple factor groups give unavoidable constituents of the auxiliary equation groups, even when auxiliary irrationalities beyond the original roots are admitted under the paper's rationality-field conventions. Finite groups and finite composition series are the group-theoretic scope. The theorem does not make the subgroup chains unique or determine a group from its multiset of factors: extension problems remain. The algebraic application assumes distinct roots and the explicitly changing rationality fields; this record does not assert a modern inseparable or arbitrary-characteristic extension. The chief-series direct-product statement in Section 11 is expressly given without proof and is not certified here. Jordan's earlier numerical composition-factor invariance, Galois foundations, Dyck's quotient-group precedents and Netto's proof simplifications are retained as antecedents.",
    "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. Finite groups and finite composition series are the group-theoretic scope. The theorem does not make the subgroup chains unique or determine a group from its multiset of factors: extension problems remain. The algebraic application assumes distinct roots and the explicitly changing rationality fields; this record does not assert a modern inseparable or arbitrary-characteristic extension. The chief-series direct-product statement in Section 11 is expressly given without proof and is not certified here. Jordan's earlier numerical composition-factor invariance, Galois foundations, Dyck's quotient-group precedents and Netto's proof simplifications are retained as antecedents.",
    "references": [
      {
        "title": "Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0034/LOG_0008.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:b75e6157-7e81-4e1c-a724-3c4efa5157d2",
      "version": 1,
      "content_hash": "sha256:925c394999470292bb9322fd97986db9ce955f878b13be9d07dacc36dd050404"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "230000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}