{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:24e2efa3-553e-461a-9117-448a9406db0f",
  "labels": {
    "zh-CN": "保向欧氏群",
    "en": "proper Euclidean group"
  },
  "alternative_labels": [
    {
      "lang": "en",
      "value": "Euclidean group"
    },
    {
      "lang": "zh-CN",
      "value": "欧氏群"
    }
  ],
  "scope_note": "§18.1 explicitly uses R^d semidirect SO(d); reflections are not included.",
  "identity_status": "active",
  "identity_revision": "888ede7d15219468662c559f76a63089d3ed139b73053d6faf78f234b5499a58",
  "occurrences": [
    {
      "concept_id": "urn:uuid:24e2efa3-553e-461a-9117-448a9406db0f",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-18/01-an-example-the-euclidean-group",
      "anchor": "first-5845b2591058532eccee-zh",
      "chapter": "18",
      "section": "18.1",
      "offset": 1842,
      "range": [
        8135,
        8404
      ],
      "source_revision": "fdf975fbf4a6842921c005b9931b6639e16bbc6d825bd08fc8cd2323c495bf09",
      "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-18/01-an-example-the-euclidean-group",
          "lang": "zh-CN",
          "section": "18.1",
          "signal": "named-definition",
          "label": "欧氏群",
          "english": "",
          "offset": 1772
        }
      },
      "label": "> [!definition] 定义（欧氏群）",
      "context": {
        "range": [
          8135,
          8404
        ],
        "quote": "\n\n> [!definition] 定义（欧氏群）\n> 维数 $d$ 中的欧氏群 $E ( d )$（有时写作 $I S O ( d )$，表示“非齐次”旋转群）作为集合是 $\\mathbf { R } ^ { d }$ 的平移群与旋转群的乘积，其乘法法则为\n>\n> $$\n> (\\mathbf {a} _ {1}, R _ {1}) (\\mathbf {a} _ {2}, R _ {2}) = (\\mathbf {a} _ {1} + R _ {1} \\mathbf {a} _ {2}, R _ {1} R _ {2})\n> $$\n",
        "quote_sha256": "674cc0ed528fb2868c4abe6cf515cb2f720967f435468fbdc4fc665679cb7b3a",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-18/01-an-example-the-euclidean-group",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-4e071b6598564e6e85987c08"
    },
    {
      "concept_id": "urn:uuid:24e2efa3-553e-461a-9117-448a9406db0f",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-18/01-an-example-the-euclidean-group",
      "anchor": "first-ddffe0abff15f1c0a4dd-en",
      "chapter": "18",
      "section": "18.1",
      "offset": 2535,
      "range": [
        7989,
        8408
      ],
      "source_revision": "ca91c2080b2247ff60450f179673afb5bbfa6c4cc5041ddd049a0df1964dc38a",
      "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-18/01-an-example-the-euclidean-group",
          "lang": "en",
          "section": "18.1",
          "signal": "named-definition",
          "label": "Euclidean group",
          "english": "Euclidean group",
          "offset": 2465
        }
      },
      "label": "> [!definition] Definition (Euclidean group)",
      "context": {
        "range": [
          7989,
          8408
        ],
        "quote": "\n\n> [!definition] Definition (Euclidean group)\n> The Euclidean group $E ( d )$ (sometimes written $I S O ( d )$ for “inhomogeneous” rotation group) in dimension $d$ is the product of the translation and rotation groups of $\\mathbf { R } ^ { d }$ as a set, with multiplication law\n>\n> $$\n> (\\mathbf {a} _ {1}, R _ {1}) (\\mathbf {a} _ {2}, R _ {2}) = (\\mathbf {a} _ {1} + R _ {1} \\mathbf {a} _ {2}, R _ {1} R _ {2})\n> $$\n",
        "quote_sha256": "d5b25ffa23438a2877ee357725c6032260faa828b411c90b93dd42884a6dff0d",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-18/01-an-example-the-euclidean-group",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-87fdf0950f43ee53a66e693c"
    }
  ],
  "registered_positions": [
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-18/01-an-example-the-euclidean-group",
      "lang": "en",
      "section": "18.1",
      "signal": "named-definition",
      "label": "Euclidean group",
      "english": "Euclidean group",
      "offset": 2465
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-18/01-an-example-the-euclidean-group",
      "lang": "zh-CN",
      "section": "18.1",
      "signal": "named-definition",
      "label": "欧氏群",
      "english": "",
      "offset": 1772
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-4e071b6598564e6e85987c08",
    "occ-87fdf0950f43ee53a66e693c"
  ],
  "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": "c6b9c1ce72b72a44a904f6174352c52a8ab4e2abad058bc332ede2f4a01c56f7",
  "optional_enrichments": []
}