{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:e4bb126e-1744-448e-9d08-82950ecb4c77",
  "labels": {
    "zh-CN": "模子群的等价",
    "en": "equivalence modulo a subgroup"
  },
  "alternative_labels": [
    {
      "lang": "en",
      "value": "$x \\sim y$"
    },
    {
      "lang": "en",
      "value": "equivalent"
    }
  ],
  "scope_note": "本章阿贝尔群G及子群H上x~y当且仅当x-y∈H；原文定义关系，不能仅因旧中文短语而判无概念。与任意等价关系不同。管理员核对的原书定义/陈述；不声明首次出现，不把Theorem环境伪作Definition编号。",
  "identity_status": "active",
  "identity_revision": "a825816646d96e7dc87a7257f0bd05682289a6c4c4d7e63644e00eaddc8cb4f9",
  "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:e4bb126e-1744-448e-9d08-82950ecb4c77",
      "definition_id": "urn:uuid:063273de-52b3-5ca8-a345-4675a2bd1438",
      "definition_group": "reviewed-unit-063273de-52b3-5ca8-a345-4675a2bd1438",
      "path": "library/concepts/source-evidence/mcp/61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1.txt",
      "range": [
        0,
        73
      ],
      "quote": "Let  $H$  be a subgroup of  $G$ . We say  $x, y \\in G$  are equivalent if",
      "document_sha256": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1",
      "quote_sha256": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1",
      "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": 112,
      "node": "a-ae0684601747650370938ebd",
      "source_node_sha256": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/dbc65a099a1854788be29cb6fe94fe0a56afcf8d45dfae95c6fcdd918ff8aba1.json",
        "document_sha256": "dbc65a099a1854788be29cb6fe94fe0a56afcf8d45dfae95c6fcdd918ff8aba1",
        "node_id": "a-ae0684601747650370938ebd",
        "node_source_sha256": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1"
      },
      "conditions": "本章阿贝尔群G及子群H上x~y当且仅当x-y∈H；原文定义关系，不能仅因旧中文短语而判无概念。与任意等价关系不同。管理员核对的原书定义/陈述；不声明首次出现，不把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-ae0684601747650370938ebd",
          "a-cd52844a284170b9336a9796",
          "a-083ca65e754ca1a2d99f283e"
        ],
        "node_hashes": {
          "a-ae0684601747650370938ebd": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1",
          "a-cd52844a284170b9336a9796": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2",
          "a-083ca65e754ca1a2d99f283e": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f"
        },
        "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-ae0684601747650370938ebd",
          "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-ae0684601747650370938ebd",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:e4bb126e-1744-448e-9d08-82950ecb4c77",
      "definition_id": "urn:uuid:063273de-52b3-5ca8-a345-4675a2bd1438",
      "definition_group": "reviewed-unit-063273de-52b3-5ca8-a345-4675a2bd1438",
      "path": "library/concepts/source-evidence/mcp/7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2.txt",
      "range": [
        0,
        30
      ],
      "quote": "\n$$\nx - y \\in H \\tag {3.2}\n$$\n",
      "document_sha256": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2",
      "quote_sha256": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2",
      "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": 112,
      "node": "a-cd52844a284170b9336a9796",
      "source_node_sha256": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/dbc65a099a1854788be29cb6fe94fe0a56afcf8d45dfae95c6fcdd918ff8aba1.json",
        "document_sha256": "dbc65a099a1854788be29cb6fe94fe0a56afcf8d45dfae95c6fcdd918ff8aba1",
        "node_id": "a-cd52844a284170b9336a9796",
        "node_source_sha256": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2"
      },
      "conditions": "本章阿贝尔群G及子群H上x~y当且仅当x-y∈H；原文定义关系，不能仅因旧中文短语而判无概念。与任意等价关系不同。管理员核对的原书定义/陈述；不声明首次出现，不把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-ae0684601747650370938ebd",
          "a-cd52844a284170b9336a9796",
          "a-083ca65e754ca1a2d99f283e"
        ],
        "node_hashes": {
          "a-ae0684601747650370938ebd": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1",
          "a-cd52844a284170b9336a9796": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2",
          "a-083ca65e754ca1a2d99f283e": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f"
        },
        "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-cd52844a284170b9336a9796",
          "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-cd52844a284170b9336a9796",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    },
    {
      "concept_id": "urn:uuid:e4bb126e-1744-448e-9d08-82950ecb4c77",
      "definition_id": "urn:uuid:063273de-52b3-5ca8-a345-4675a2bd1438",
      "definition_group": "reviewed-unit-063273de-52b3-5ca8-a345-4675a2bd1438",
      "path": "library/concepts/source-evidence/mcp/59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f.txt",
      "range": [
        0,
        268
      ],
      "quote": "and write  $x \\sim y$ . Clearly  $\\sim$  is an equivalence relation. The equivalence class to which  $x$  belongs is denoted by  $[x]$ . Let  $G / H$  be the quotient space. The group operation  $+$  in  $G$  naturally induces the group operation  $+$  in  $G / H$  by",
      "document_sha256": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f",
      "quote_sha256": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f",
      "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": 112,
      "node": "a-083ca65e754ca1a2d99f283e",
      "source_node_sha256": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f",
      "upstream": {
        "path": "library/concepts/source-evidence/mcp/dbc65a099a1854788be29cb6fe94fe0a56afcf8d45dfae95c6fcdd918ff8aba1.json",
        "document_sha256": "dbc65a099a1854788be29cb6fe94fe0a56afcf8d45dfae95c6fcdd918ff8aba1",
        "node_id": "a-083ca65e754ca1a2d99f283e",
        "node_source_sha256": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f"
      },
      "conditions": "本章阿贝尔群G及子群H上x~y当且仅当x-y∈H；原文定义关系，不能仅因旧中文短语而判无概念。与任意等价关系不同。管理员核对的原书定义/陈述；不声明首次出现，不把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-ae0684601747650370938ebd",
          "a-cd52844a284170b9336a9796",
          "a-083ca65e754ca1a2d99f283e"
        ],
        "node_hashes": {
          "a-ae0684601747650370938ebd": "61b10701334ee5de73043f251b78e1775f46701e1b12f598fb509e107ddd8cc1",
          "a-cd52844a284170b9336a9796": "7204ea3840504f3c070d4169d5e6d0fc727d29b9548c2566be3ee6bfc9fa00d2",
          "a-083ca65e754ca1a2d99f283e": "59a0da47b83352a7f19c1fb3f9bb340c09aa85d0b47155af2358388cd0c6776f"
        },
        "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-083ca65e754ca1a2d99f283e",
          "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-083ca65e754ca1a2d99f283e",
          "lang": "zh-CN",
          "basis": "explicit-source-anchor"
        }
      ]
    }
  ],
  "part_of_speech": "noun",
  "base_revision": "626bec3c6ba88adbd9998d33f85768602a5a0aacd6c563883b4f85a6e8b1d53e",
  "optional_enrichments": []
}