{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:2114b0de-b7cd-4083-b0b5-884f1b96c3e0",
  "labels": {
    "zh-CN": "海森堡群，$d=1$",
    "en": "Heisenberg group, $d=1$"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "2ac86d4b4da21b4a2046cfca2aaefde1a463551355be7a737ef472392fa04a18",
  "occurrences": [
    {
      "concept_id": "urn:uuid:2114b0de-b7cd-4083-b0b5-884f1b96c3e0",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/02-the-heisenberg-group",
      "anchor": "first-15a1a2569da51ffd71da-zh",
      "chapter": "13",
      "section": "13.2",
      "offset": 1186,
      "range": [
        7562,
        7853
      ],
      "source_revision": "bc0efea142fc4deda668255645c082b656100d3340fefbe73cf3fcd2d854bfef",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "definition",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/02-the-heisenberg-group",
          "lang": "zh-CN",
          "section": "13.2",
          "signal": "named-definition",
          "label": "海森堡群，$d=1$",
          "english": "",
          "offset": 1116
        }
      },
      "label": "> [!definition] 定义（海森堡群，$d=1$）",
      "context": {
        "range": [
          7562,
          7853
        ],
        "quote": "\n\n> [!definition] 定义（海森堡群，$d=1$）\n> 海森堡群 $H_3$ 是空间 $\\mathbf R^3=\\mathbf R^2\\oplus\\mathbf R$，其群乘法为\n>\n> <span id=\"equation-13-2\" class=\"block-anchor\"></span>\n>\n> $$\n> \\left(\\binom{x}{y},z\\right)\\left(\\binom{x'}{y'},z'\\right)=\\left(\\binom{x+x'}{y+y'},z+z'+\\frac12(xy'-yx')\\right)\\tag{13.2}\n> $$\n",
        "quote_sha256": "2922c8cebe2edb6dc002fc5568831c4c12fa2fa3b7a4267a82e050a235d18f20",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-13/02-the-heisenberg-group",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-9db0018989752e8e16358926"
    },
    {
      "concept_id": "urn:uuid:2114b0de-b7cd-4083-b0b5-884f1b96c3e0",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-13/02-the-heisenberg-group",
      "anchor": "first-a3326968b0e583eb7f8e-en",
      "chapter": "13",
      "section": "13.2",
      "offset": 2092,
      "range": [
        7632,
        7983
      ],
      "source_revision": "0d802021966bb78411b103b8adc1c33eb6c16848ee8a98c423ba5dab89baf273",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "definition",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-13/02-the-heisenberg-group",
          "lang": "en",
          "section": "13.2",
          "signal": "named-definition",
          "label": "Heisenberg group, $d=1$",
          "english": "Heisenberg group, $d=1$",
          "offset": 2022
        }
      },
      "label": "> [!definition] Definition (Heisenberg group, $d=1$)",
      "context": {
        "range": [
          7632,
          7983
        ],
        "quote": "\n\n> [!definition] Definition (Heisenberg group, $d=1$)\n> The Heisenberg group $H_3$ is the space $\\mathbf R^3=\\mathbf R^2\\oplus\\mathbf R$ with the group law\n>\n> <span id=\"equation-13-2\" class=\"block-anchor\"></span>\n>\n> $$\n> \\left(\\binom{x}{y},z\\right)\\left(\\binom{x'}{y'},z'\\right)=\\left(\\binom{x+x'}{y+y'},z+z'+\\frac12(xy'-yx')\\right)\\tag{13.2}\n> $$\n",
        "quote_sha256": "ead541cf6b8078bc82cc4736ec8c791770d65cfe5c4f9a8a4dc7f183586a899f",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/02-the-heisenberg-group",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-03dfd07a5c74de6447310e58"
    }
  ],
  "registered_positions": [
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-13/02-the-heisenberg-group",
      "lang": "en",
      "section": "13.2",
      "signal": "named-definition",
      "label": "Heisenberg group, $d=1$",
      "english": "Heisenberg group, $d=1$",
      "offset": 2022
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/02-the-heisenberg-group",
      "lang": "zh-CN",
      "section": "13.2",
      "signal": "named-definition",
      "label": "海森堡群，$d=1$",
      "english": "",
      "offset": 1116
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-9db0018989752e8e16358926",
    "occ-03dfd07a5c74de6447310e58"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 2,
    "located_occurrences": 2,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "ef8b1f7544afc6233ef62c56a09c54feb0142511bd1108cbdf0029ef608b0dc1",
  "optional_enrichments": []
}