{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:443f3561-4bb5-4d5b-b021-e674d7a47664",
  "labels": {
    "zh-CN": "海森堡群",
    "en": "Heisenberg group"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "1d6fc5cc6bc46621cac940c9ec40b275e223c57e83891aca68587c57a7fe505d",
  "occurrences": [
    {
      "concept_id": "urn:uuid:443f3561-4bb5-4d5b-b021-e674d7a47664",
      "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-f3d51f414b7a22726f66-zh",
      "chapter": "13",
      "section": "13.2",
      "offset": 2021,
      "range": [
        8397,
        8770
      ],
      "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": "海森堡群",
          "english": "",
          "offset": 1880
        }
      },
      "label": "> [!definition] 定义（海森堡群）",
      "context": {
        "range": [
          8397,
          8770
        ],
        "quote": "\n\n> [!definition] 定义（海森堡群）\n> 海森堡群 $H_{2d+1}$ 是空间 $\\mathbf R^{2d+1}$，其群乘法为\n>\n> $$\n> \\left(\\binom{\\mathbf x}{\\mathbf y},z\\right)\\left(\\binom{\\mathbf x'}{\\mathbf y'},z'\\right)=\\left(\\binom{\\mathbf x+\\mathbf x'}{\\mathbf y+\\mathbf y'},z+z'+\\frac12(\\mathbf x\\cdot\\mathbf y'-\\mathbf y\\cdot\\mathbf x')\\right)\n> $$\n>\n> 其中 $\\mathbf x,\\mathbf x',\\mathbf y,\\mathbf y'\\in\\mathbf R^d$。'\n",
        "quote_sha256": "dd6bf28bcbce05d8e87d491072e0bc5b24b72b60bf5e12ebf1a455eb7ebe8c6e",
        "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-8fba776426b35afd111bc256"
    },
    {
      "concept_id": "urn:uuid:443f3561-4bb5-4d5b-b021-e674d7a47664",
      "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-a33e9908cbadee10bb61-en",
      "chapter": "13",
      "section": "13.2",
      "offset": 3290,
      "range": [
        8830,
        9265
      ],
      "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",
          "english": "Heisenberg group",
          "offset": 3149
        }
      },
      "label": "> [!definition] Definition (Heisenberg group)",
      "context": {
        "range": [
          8830,
          9265
        ],
        "quote": "\n\n> [!definition] Definition (Heisenberg group)\n> The Heisenberg group $H_{2d+1}$ is the space $\\mathbf R^{2d+1}$ with the group law\n>\n> $$\n> \\left(\\binom{\\mathbf x}{\\mathbf y},z\\right)\\left(\\binom{\\mathbf x'}{\\mathbf y'},z'\\right)=\\left(\\binom{\\mathbf x+\\mathbf x'}{\\mathbf y+\\mathbf y'},z+z'+\\frac12(\\mathbf x\\cdot\\mathbf y'-\\mathbf y\\cdot\\mathbf x')\\right)\n> $$\n>\n> where $\\mathbf x,\\mathbf x',\\mathbf y,\\mathbf y'\\in\\mathbf R^d$.'\n",
        "quote_sha256": "f4fbab6411b9f2c66adf46c7b3952b38f2c0a70589d80a294950afb2e2f7c616",
        "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-42963ad977e4d720ace03c91"
    }
  ],
  "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",
      "english": "Heisenberg group",
      "offset": 3149
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-13/02-the-heisenberg-group",
      "lang": "zh-CN",
      "section": "13.2",
      "signal": "named-definition",
      "label": "海森堡群",
      "english": "",
      "offset": 1880
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-8fba776426b35afd111bc256",
    "occ-42963ad977e4d720ace03c91"
  ],
  "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": "44c08ddd9aa005f11c7e2e203f3c5b734a41f10a75eca54afb8b4148c7fef2be",
  "optional_enrichments": []
}