{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:9cd6de15-4314-4caf-b479-24e7015985ae",
  "labels": {
    "zh-CN": "同态基本定理",
    "en": "fundamental theorem of homomorphism"
  },
  "alternative_labels": [],
  "scope_note": "原书定理3.1及式3.6，群同态f的G1/ker f≅im f；不按泛化词推广到其他范畴。管理员核对的原书定义/陈述；不声明首次出现，不把Theorem环境伪作Definition编号。",
  "identity_status": "active",
  "identity_revision": "4d66a4c3fc7dbf9d753a4e57694684900965464afd219ffcdce833616b0f50aa",
  "occurrences": [],
  "registered_positions": [],
  "statements": [],
  "resolved_references": [],
  "reading_order": [],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 0,
    "located_occurrences": 0,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "reviewed_definitions": [
    {
      "concept_id": "urn:uuid:9cd6de15-4314-4caf-b479-24e7015985ae",
      "definition_id": "urn:uuid:2424af81-d2e7-54ac-8c44-163c213e1982",
      "definition_group": "reviewed-unit-2424af81-d2e7-54ac-8c44-163c213e1982",
      "path": "library/concepts/source-evidence/mcp/702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47.txt",
      "range": [
        0,
        97
      ],
      "quote": "Theorem 3.1. (Fundamental theorem of homomorphism) Let  $f: G_1 \\to G_2$  be a homomorphism. Then",
      "document_sha256": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47",
      "quote_sha256": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47",
      "book_id": "nakahara-geometry-topology-physics",
      "edition_id": "second-edition-local",
      "scope": {
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "source_id": "nakahara-mineru-bd76b709"
      },
      "section": "3.1.1",
      "pdf_page_index": 113,
      "node": "a-77081674c1b56f90a38a9c67",
      "source_node_sha256": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/a0d6e4d18fc35e893449c6a7a314c9f4134c7c92561f9cc352b243a3f4f7a785.json",
        "document_sha256": "a0d6e4d18fc35e893449c6a7a314c9f4134c7c92561f9cc352b243a3f4f7a785",
        "node_id": "a-77081674c1b56f90a38a9c67",
        "node_source_sha256": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47"
      },
      "conditions": "原书定理3.1及式3.6，群同态f的G1/ker f≅im f；不按泛化词推广到其他范畴。管理员核对的原书定义/陈述；不声明首次出现，不把Theorem环境伪作Definition编号。",
      "review_status": "librarian-original-source-reviewed",
      "source_locator": {
        "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/nakahara-3.yaml",
        "sha256": "e2ce8c10e8b2dce6ebc05d605511f1bfd7a53799e562eb681ec7c2c381fa00c4",
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "nodes": [
          "a-77081674c1b56f90a38a9c67",
          "a-d84a0ba425020125c15354d8"
        ],
        "node_hashes": {
          "a-77081674c1b56f90a38a9c67": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47",
          "a-d84a0ba425020125c15354d8": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf"
        },
        "unit_kind": "reviewed-prose-equations"
      },
      "definition_part": "reviewed-definition-unit",
      "environment_basis": {
        "path": "library/concepts/source-evidence/environment-basis/e2ce8c10e8b2dce6ebc05d605511f1bfd7a53799e562eb681ec7c2c381fa00c4.yaml.txt",
        "document_sha256": "e2ce8c10e8b2dce6ebc05d605511f1bfd7a53799e562eb681ec7c2c381fa00c4",
        "source_path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/nakahara-3.yaml"
      },
      "role": "definition",
      "first_in_book": "not-established",
      "evidence_origin": "explicit-reviewed-source-manifest",
      "definition_part_basis": "reviewed-source-unit-membership",
      "reading_links": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-03/01-section-3-1",
          "anchor": "node-a-77081674c1b56f90a38a9c67",
          "lang": "en",
          "basis": "explicit-source-anchor"
        },
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-03/01-section-3-1",
          "anchor": "node-a-77081674c1b56f90a38a9c67",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:9cd6de15-4314-4caf-b479-24e7015985ae",
      "definition_id": "urn:uuid:2424af81-d2e7-54ac-8c44-163c213e1982",
      "definition_group": "reviewed-unit-2424af81-d2e7-54ac-8c44-163c213e1982",
      "path": "library/concepts/source-evidence/mcp/9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf.txt",
      "range": [
        0,
        64
      ],
      "quote": "\n$$\nG _ {1} / \\ker f \\cong \\operatorname {i m} f. \\tag {3.6}\n$$\n",
      "document_sha256": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf",
      "quote_sha256": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf",
      "book_id": "nakahara-geometry-topology-physics",
      "edition_id": "second-edition-local",
      "scope": {
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "source_id": "nakahara-mineru-bd76b709"
      },
      "section": "3.1.1",
      "pdf_page_index": 113,
      "node": "a-d84a0ba425020125c15354d8",
      "source_node_sha256": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/a0d6e4d18fc35e893449c6a7a314c9f4134c7c92561f9cc352b243a3f4f7a785.json",
        "document_sha256": "a0d6e4d18fc35e893449c6a7a314c9f4134c7c92561f9cc352b243a3f4f7a785",
        "node_id": "a-d84a0ba425020125c15354d8",
        "node_source_sha256": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf"
      },
      "conditions": "原书定理3.1及式3.6，群同态f的G1/ker f≅im f；不按泛化词推广到其他范畴。管理员核对的原书定义/陈述；不声明首次出现，不把Theorem环境伪作Definition编号。",
      "review_status": "librarian-original-source-reviewed",
      "source_locator": {
        "path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/nakahara-3.yaml",
        "sha256": "e2ce8c10e8b2dce6ebc05d605511f1bfd7a53799e562eb681ec7c2c381fa00c4",
        "book_id": "nakahara-geometry-topology-physics",
        "edition_id": "second-edition-local",
        "nodes": [
          "a-77081674c1b56f90a38a9c67",
          "a-d84a0ba425020125c15354d8"
        ],
        "node_hashes": {
          "a-77081674c1b56f90a38a9c67": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47",
          "a-d84a0ba425020125c15354d8": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf"
        },
        "unit_kind": "reviewed-prose-equations"
      },
      "definition_part": "reviewed-definition-unit",
      "environment_basis": {
        "path": "library/concepts/source-evidence/environment-basis/e2ce8c10e8b2dce6ebc05d605511f1bfd7a53799e562eb681ec7c2c381fa00c4.yaml.txt",
        "document_sha256": "e2ce8c10e8b2dce6ebc05d605511f1bfd7a53799e562eb681ec7c2c381fa00c4",
        "source_path": "library/books/nakahara-geometry-topology-physics/second-edition-local/chapters/nakahara-3.yaml"
      },
      "role": "definition",
      "first_in_book": "not-established",
      "evidence_origin": "explicit-reviewed-source-manifest",
      "definition_part_basis": "reviewed-source-unit-membership",
      "reading_links": [
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/en/chapter-03/01-section-3-1",
          "anchor": "node-a-d84a0ba425020125c15354d8",
          "lang": "en",
          "basis": "explicit-source-anchor"
        },
        {
          "route": "books/nakahara-geometry-topology-physics/second-edition-local/zh/chapter-03/01-section-3-1",
          "anchor": "node-a-d84a0ba425020125c15354d8",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    }
  ],
  "part_of_speech": "noun",
  "base_revision": "ac4fce0cff68d8f9ac915c2d4d69bb707bf0cd50fbebebc7aa98c5984c07a0be",
  "optional_enrichments": []
}