{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:7cdfbe87-046b-458c-b6a3-e85e08dab959",
  "labels": {
    "zh-CN": "有限生成阿贝尔群基本定理",
    "en": "fundamental theorem of finitely generated Abelian groups"
  },
  "alternative_labels": [
    {
      "lang": "en",
      "value": "Fundamental theorem of finitely generated Abelian groups"
    }
  ],
  "scope_note": "原书定理3.2及式3.10，有限生成阿贝尔群分解为无限及有限循环群直和；完整原文假设照录，不补造额外作者条件。管理员核对的原书定义/陈述；不声明首次出现，不把Theorem环境伪作Definition编号。",
  "identity_status": "active",
  "identity_revision": "b3ab11052160f2e703d259c055271944a10b8d296b17a73ff31ef531cfbbb3ae",
  "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:7cdfbe87-046b-458c-b6a3-e85e08dab959",
      "definition_id": "urn:uuid:840766d7-c4cd-5872-8a0d-91420c2e3685",
      "definition_group": "reviewed-unit-840766d7-c4cd-5872-8a0d-91420c2e3685",
      "path": "library/concepts/source-evidence/mcp/5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5.txt",
      "range": [
        0,
        226
      ],
      "quote": "Theorem 3.2. (Fundamental theorem of finitely generated Abelian groups) Let  $G$  be a finitely generated Abelian group (not necessarily free) with  $m$  generators. Then  $G$  is isomorphic to the direct sum of cyclic groups,",
      "document_sha256": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5",
      "quote_sha256": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5",
      "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.3",
      "pdf_page_index": 115,
      "node": "a-02b7e00306618cc94a3c04b2",
      "source_node_sha256": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/6ba6db96d116960ca35e095c5d0788e717c7acc3aa3c5257270939085399f3d9.json",
        "document_sha256": "6ba6db96d116960ca35e095c5d0788e717c7acc3aa3c5257270939085399f3d9",
        "node_id": "a-02b7e00306618cc94a3c04b2",
        "node_source_sha256": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5"
      },
      "conditions": "原书定理3.2及式3.10，有限生成阿贝尔群分解为无限及有限循环群直和；完整原文假设照录，不补造额外作者条件。管理员核对的原书定义/陈述；不声明首次出现，不把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-02b7e00306618cc94a3c04b2",
          "a-3903d1542ac04aacc82c7e5c",
          "a-acfed8370f822e10f4981c3d"
        ],
        "node_hashes": {
          "a-02b7e00306618cc94a3c04b2": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5",
          "a-3903d1542ac04aacc82c7e5c": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed",
          "a-acfed8370f822e10f4981c3d": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc"
        },
        "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-02b7e00306618cc94a3c04b2",
          "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-02b7e00306618cc94a3c04b2",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:7cdfbe87-046b-458c-b6a3-e85e08dab959",
      "definition_id": "urn:uuid:840766d7-c4cd-5872-8a0d-91420c2e3685",
      "definition_group": "reviewed-unit-840766d7-c4cd-5872-8a0d-91420c2e3685",
      "path": "library/concepts/source-evidence/mcp/f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed.txt",
      "range": [
        0,
        167
      ],
      "quote": "\n$$\nG \\cong \\underbrace {\\mathbb {Z} \\oplus \\cdots \\oplus \\mathbb {Z}} _ {r} \\oplus \\mathbb {Z} _ {k _ {1}} \\oplus \\dots \\oplus \\mathbb {Z} _ {k _ {p}} \\tag {3.10}\n$$\n",
      "document_sha256": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed",
      "quote_sha256": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed",
      "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.3",
      "pdf_page_index": 115,
      "node": "a-3903d1542ac04aacc82c7e5c",
      "source_node_sha256": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/6ba6db96d116960ca35e095c5d0788e717c7acc3aa3c5257270939085399f3d9.json",
        "document_sha256": "6ba6db96d116960ca35e095c5d0788e717c7acc3aa3c5257270939085399f3d9",
        "node_id": "a-3903d1542ac04aacc82c7e5c",
        "node_source_sha256": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed"
      },
      "conditions": "原书定理3.2及式3.10，有限生成阿贝尔群分解为无限及有限循环群直和；完整原文假设照录，不补造额外作者条件。管理员核对的原书定义/陈述；不声明首次出现，不把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-02b7e00306618cc94a3c04b2",
          "a-3903d1542ac04aacc82c7e5c",
          "a-acfed8370f822e10f4981c3d"
        ],
        "node_hashes": {
          "a-02b7e00306618cc94a3c04b2": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5",
          "a-3903d1542ac04aacc82c7e5c": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed",
          "a-acfed8370f822e10f4981c3d": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc"
        },
        "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-3903d1542ac04aacc82c7e5c",
          "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-3903d1542ac04aacc82c7e5c",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:7cdfbe87-046b-458c-b6a3-e85e08dab959",
      "definition_id": "urn:uuid:840766d7-c4cd-5872-8a0d-91420c2e3685",
      "definition_group": "reviewed-unit-840766d7-c4cd-5872-8a0d-91420c2e3685",
      "path": "library/concepts/source-evidence/mcp/b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc.txt",
      "range": [
        0,
        66
      ],
      "quote": "where  $m = r + p$ . The number  $r$  is called the rank of  $G$ .",
      "document_sha256": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc",
      "quote_sha256": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc",
      "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.3",
      "pdf_page_index": 115,
      "node": "a-acfed8370f822e10f4981c3d",
      "source_node_sha256": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/6ba6db96d116960ca35e095c5d0788e717c7acc3aa3c5257270939085399f3d9.json",
        "document_sha256": "6ba6db96d116960ca35e095c5d0788e717c7acc3aa3c5257270939085399f3d9",
        "node_id": "a-acfed8370f822e10f4981c3d",
        "node_source_sha256": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc"
      },
      "conditions": "原书定理3.2及式3.10，有限生成阿贝尔群分解为无限及有限循环群直和；完整原文假设照录，不补造额外作者条件。管理员核对的原书定义/陈述；不声明首次出现，不把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-02b7e00306618cc94a3c04b2",
          "a-3903d1542ac04aacc82c7e5c",
          "a-acfed8370f822e10f4981c3d"
        ],
        "node_hashes": {
          "a-02b7e00306618cc94a3c04b2": "5da4a0011c9ecafef9946354a6841c5dbad48133b7ab0d925212c0fb5e1b4cd5",
          "a-3903d1542ac04aacc82c7e5c": "f7ec081341c84e7463b44681c9bc44c6efdfce420fdb9b8e0a420167d84b49ed",
          "a-acfed8370f822e10f4981c3d": "b4a40c281c7657222d07f8c5506821d1afddb4258fcaff0c7a1785aadfefa4bc"
        },
        "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-acfed8370f822e10f4981c3d",
          "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-acfed8370f822e10f4981c3d",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    }
  ],
  "part_of_speech": "noun",
  "base_revision": "61e357045307b871744220e76a43b750c2407359e5015a8b05db303b00e31732",
  "optional_enrichments": []
}