{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"labels": {
"zh-CN": "正交群",
"en": "orthogonal group"
},
"alternative_labels": [
{
"lang": "en",
"value": "Orthogonal group"
},
{
"lang": "en",
"value": "orthogonal groups"
}
],
"scope_note": "",
"identity_status": "active",
"identity_revision": "bf73cbb9d61316b7a7dc9f75769294df818db5aba4b001f56596203e407fd422",
"occurrences": [
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-02/03-matrix-groups",
"anchor": "concept-2-orthogonal-group",
"chapter": "2",
"section": "2.3",
"offset": 7712,
"range": [
14033,
14270
],
"source_revision": "3dd2476e51de9c40a8d6ddb8f88871c179362c4e1209a1a91c0b6b3f4e535a63",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
13499,
16475
],
"quote": null,
"quote_sha256": "b77caa62407851ca1b0915b4a0751aee0775ff0d9d9e4d550011d76d571f4fa8",
"environment": null,
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "en/chapter-02/03-matrix-groups",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-b11798c64bfae2e1b1073797"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-01/03-unitary-group-representations",
"anchor": "first-bbb06fbb334ea918614f-zh",
"chapter": "1",
"section": "1.3",
"offset": 7778,
"range": [
19322,
19628
],
"source_revision": "4ee587fc4d72d2916ca8f6bce8080ecd42e2ae3d45d92d067027a95982f00008",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
19305,
20222
],
"quote": "- 群 $G_2=O(3)$，即[正交群(orthogonal group)](../../../../../concepts/linear-algebra/orthogonal-group)，由 $\\mathbf R^3$ 的三维正交变换组成，并作用于 $\\mathbf R^3$。这些变换是绕原点的旋转，也可能是旋转与一次反射的复合。注意，此处运算次序很重要：对于 $O(3)$ 这样的非交换群(non-commutative group)，某些群元素 $g_1,g_2$ 满足 $g_1g_2\\ne g_2g_1$。",
"quote_sha256": "8bb83541331032d6927a32579c2ec834c05c58950adb9473aef9fecac143fd94",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-d29bfe4d12faa20503284acf"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"anchor": "first-bbb06fbb334ea918614f-en",
"chapter": "4",
"section": "4.6",
"offset": 2711,
"range": [
10799,
11649
],
"source_revision": "ba7a6271b57f807dd937ab3b9bd5534430d5d543167342d850e8fef2c74974ea",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "definition",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "en",
"section": "4.6",
"signal": "named-definition",
"label": "Orthogonal group",
"english": "Orthogonal group",
"offset": 2641
}
},
"label": "> [!definition] Definition · Orthogonal group",
"context": {
"range": [
10799,
11649
],
"quote": "\n\n> [!definition] Definition · Orthogonal group\n> \n>\n> Definition (Orthogonal group). The orthogonal group $O ( n )$ in $n$ dimensions is the group of invertible transformations preserving an inner product on a real $n$ dimensional vector space $V$ . This is isomorphic to the group of $n$ by $n$ real invertible matrices $L$ satisfying\n>\n> \n>\n> $$\n> L ^ {- 1} = L ^ {T}\n> $$\n",
"quote_sha256": "0831b0ee6180dc9d07cf5f5751d90c8aa0cb796b7df61515247e183c06bfcecf",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-b8ab7d7ff25369f781b1f5d9"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"anchor": "source-block-161",
"chapter": "4",
"section": "4.6",
"offset": 2866,
"range": [
11740,
12409
],
"source_revision": "275772d36042626ed5283276e9f16090689e690c0c3bf42b24860f610c397103",
"source_category": "translation",
"review_status": "unreviewed",
"role": "definition",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "zh-CN",
"section": "4.6",
"signal": "named-definition",
"label": "正交群",
"english": "orthogonal group",
"offset": 2398
}
},
"label": "> [!definition] 定义 · 正交群(orthogonal group)",
"context": {
"range": [
11740,
12409
],
"quote": "\n> [!definition] 定义 · 正交群(orthogonal group)\n> \n>\n> 定义（正交群(orthogonal group)）。$n$维正交群$O ( n )$是保持实$n$维向量空间$V$上内积的可逆变换构成的群。它同构于满足下式的 $n$ 乘 $n$ 实可逆矩阵 $L$ 所构成的群\n>\n> \n>\n> $$\n> L ^ {- 1} = L ^ {T}\n> $$\n",
"quote_sha256": "2fbe6237eb398a4d0ef37c758482f7fe3065c3b31f9236d94fe05aa6e617e613",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-4daffd2243f89f6489b417ec"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"anchor": "concept-4-orthogonal-group",
"chapter": "4",
"section": "4.6",
"offset": 2928,
"range": [
11016,
11293
],
"source_revision": "ba7a6271b57f807dd937ab3b9bd5534430d5d543167342d850e8fef2c74974ea",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "Orthogonal group",
"context": {
"range": [
10799,
11649
],
"quote": "\n\n> [!definition] Definition · Orthogonal group\n> \n>\n> Definition (Orthogonal group). The orthogonal group $O ( n )$ in $n$ dimensions is the group of invertible transformations preserving an inner product on a real $n$ dimensional vector space $V$ . This is isomorphic to the group of $n$ by $n$ real invertible matrices $L$ satisfying\n>\n> \n>\n> $$\n> L ^ {- 1} = L ^ {T}\n> $$\n",
"quote_sha256": "0831b0ee6180dc9d07cf5f5751d90c8aa0cb796b7df61515247e183c06bfcecf",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-9e5031e9d1a72c391673d133"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"anchor": "concept-4-orthogonal-group",
"chapter": "4",
"section": "4.6",
"offset": 3070,
"range": [
11944,
12225
],
"source_revision": "275772d36042626ed5283276e9f16090689e690c0c3bf42b24860f610c397103",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
11740,
12409
],
"quote": "\n> [!definition] 定义 · 正交群(orthogonal group)\n> \n>\n> 定义（正交群(orthogonal group)）。$n$维正交群$O ( n )$是保持实$n$维向量空间$V$上内积的可逆变换构成的群。它同构于满足下式的 $n$ 乘 $n$ 实可逆矩阵 $L$ 所构成的群\n>\n> \n>\n> $$\n> L ^ {- 1} = L ^ {T}\n> $$\n",
"quote_sha256": "2fbe6237eb398a4d0ef37c758482f7fe3065c3b31f9236d94fe05aa6e617e613",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-8920895cf0060460f41859b1"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"anchor": "source-block-5062",
"chapter": "5",
"section": "5.2",
"offset": 382,
"range": [
9372,
9643
],
"source_revision": "cd2fe97233e7ab8a4066bf27131c8507306f49a2252f8c8caa8cc892f2b58020",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
9352,
10128
],
"quote": "我们最感兴趣的是保持内积的线性变换群：[正交群(orthogonal group)](../../../../../concepts/linear-algebra/orthogonal-group)与[酉群(unitary group)](../../../../../concepts/linear-algebra/unitary-group)。我们已经看到，正交群是 ${ \\cal G L } ( n , { \\bf R } )$ 的子群，酉群是 $G L ( n , \\mathbf { C } )$ 的子群；它们的元素 $\\Omega$ 均满足下式",
"quote_sha256": "8d885310a78d5d2cdb43f3ecbb034a36fe6a412a93d98a58af0b02ea47bf95ed",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-647ec748f131ee3e39b52ffb"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"anchor": "source-block-5062",
"chapter": "5",
"section": "5.2",
"offset": 474,
"range": [
8651,
8917
],
"source_revision": "d27a68e5ce7f74c89a30270d7d93a2543afc658563f090d2f75e8b0d23e73f84",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal group",
"context": {
"range": [
8539,
9467
],
"quote": "The groups we are most interested in are the groups of linear transformations preserving an inner product: the [orthogonal group](../../../../../concepts/linear-algebra/orthogonal-group) and [unitary group](../../../../../concepts/linear-algebra/unitary-group). We have seen that these are subgroups of ${ \\cal G L } ( n , { \\bf R } )$ or $G L ( n , \\mathbf { C } )$ , consisting of those elements $\\Omega$ satisfying the condition",
"quote_sha256": "84281a54ec2e12311b971b3fa4d45cbbb30fe7ba60136e2686fce411278037b8",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-f74adc43542b970e21e83ec4"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"anchor": "source-block-5081",
"chapter": "5",
"section": "5.2",
"offset": 3463,
"range": [
12453,
12724
],
"source_revision": "cd2fe97233e7ab8a4066bf27131c8507306f49a2252f8c8caa8cc892f2b58020",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
12447,
13276
],
"quote": "回忆一下，[正交群(orthogonal group)](../../../../../concepts/linear-algebra/orthogonal-group) $O(n)$ 是 $GL(n,\\mathbf{R})$ 中满足 $\\Omega^T=\\Omega^{-1}$ 的矩阵 $\\Omega$ 的子群。我们下面只讨论[特殊正交群(special orthogonal group)](../../../../../concepts/linear-algebra/special-orthogonal-group) $SO(n)$，即由行列式为 $1$ 的矩阵构成的子群。它是 $O(n)$ 中包含单位元的连通分支，其元素可以写成",
"quote_sha256": "d41420e8022c1bffabc6ed732f6c52c0f615ef0e857224fce359ccd6a1bf7294",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-453557b949cce863edacb2f8"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"anchor": "source-block-5081",
"chapter": "5",
"section": "5.2",
"offset": 4326,
"range": [
12503,
12769
],
"source_revision": "d27a68e5ce7f74c89a30270d7d93a2543afc658563f090d2f75e8b0d23e73f84",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal group",
"context": {
"range": [
12486,
13466
],
"quote": "Recall that the [orthogonal group](../../../../../concepts/linear-algebra/orthogonal-group) $O(n)$ is the subgroup of $GL(n,\\mathbf{R})$ of matrices $\\Omega$ satisfying $\\Omega^T=\\Omega^{-1}$. We will restrict attention to the [special orthogonal group](../../../../../concepts/linear-algebra/special-orthogonal-group) $SO(n)$, the subgroup of matrices with determinant $1$, which is the component of the group containing the identity, with elements that can be written as",
"quote_sha256": "063b38df1c1bb0d070928ebd0af6293df514e2ee34a43f9effd40ca975bf2acf",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-14d32e60bd2b5bed0e2e4ca5"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/03-a-summary",
"anchor": "source-block-5116",
"chapter": "5",
"section": "5.3",
"offset": 1935,
"range": [
8468,
8739
],
"source_revision": "86d5a8da021c3a18d05cc820dea61025c491f59a670c377216b56921944f4343",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
8465,
8942
],
"quote": "- [正交群(orthogonal group)](../../../../../concepts/linear-algebra/orthogonal-group) $O(n)\\subset GL(n,\\mathbf{R})$ 由满足 $\\Omega^T=\\Omega^{-1}$ 的 $n\\times n$ 实矩阵 $\\Omega$ 构成。其李代数 $\\mathfrak{o}(n)$ 由满足 $X^T=-X$ 的 $n\\times n$ 实矩阵构成。",
"quote_sha256": "919469e383a75490b853903be75b835f80700e9dfa3be224efa6d029e331887e",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/03-a-summary",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-2687af0a11b8e234a6b5848c"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/03-a-summary",
"anchor": "source-block-5116",
"chapter": "5",
"section": "5.3",
"offset": 2486,
"range": [
8282,
8548
],
"source_revision": "11a0aef78998dfdb9ce2511fdc0dc393ae928ea4d23ef43bb2024cd45234e445",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal group",
"context": {
"range": [
8275,
8816
],
"quote": "- The [orthogonal group](../../../../../concepts/linear-algebra/orthogonal-group) $O(n)\\subset GL(n,\\mathbf{R})$ consists of $n\\times n$ real matrices $\\Omega$ satisfying $\\Omega^T=\\Omega^{-1}$. Its Lie algebra $\\mathfrak{o}(n)$ consists of $n\\times n$ real matrices $X$ satisfying $X^T=-X$.",
"quote_sha256": "3d63d441c54288d63a54bd53c4ab3caa6ce8412c0b5c330c23c5f9ca3da40fe6",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/03-a-summary",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-fe0584c7ffd78c4bbfdd1c22"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
"anchor": "concept-6-orthogonal-group-recall",
"chapter": "6",
"section": "6.1",
"offset": 2738,
"range": [
10975,
11337
],
"source_revision": "ecece04eca2e438d0f7e3a6772c77b70e817b3510d427b2a5218ae21ace6067c",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
10548,
12202
],
"quote": null,
"quote_sha256": "ec03acf3f8f47f9298a8f2193cc6f51c8471c67f23751014d5b22d602ec51287",
"environment": null,
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-fef3fc49968fd03c1257720c"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
"anchor": "concept-6-orthogonal-group-recall",
"chapter": "6",
"section": "6.1",
"offset": 3585,
"range": [
10985,
11343
],
"source_revision": "26ab6dbd8d2fd3c616b729e1722972628cde2749e0fc848504d63c6e68828748",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal groups",
"context": {
"range": [
10465,
12251
],
"quote": null,
"quote_sha256": "c551287a4da60b87d694e98c766a7865f34e4efd272e0d5823b5e5693d3842c8",
"environment": null,
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-49ea70578a91495596c7f0b1"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"anchor": "source-6-spin-group",
"chapter": "6",
"section": "6.2",
"offset": 134,
"range": [
8425,
8696
],
"source_revision": "d5776d5bdae66f74cdbd2aaeda0ef4ffb4148f08eeb21a72c16dd61bab582129",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
8424,
9254
],
"quote": "[正交群(orthogonal group)](../../../../../concepts/linear-algebra/orthogonal-group) $\\mathrm{SO}(n)$ 有一个微妙而引人注目的性质：存在一个与之相关联的群，称为[自旋群(spin group)](../../../../../concepts/group-theory/spin-group) $\\operatorname{Spin}(n)$；$\\mathrm{SO}(n)$ 的每个元素都对应 $\\operatorname{Spin}(n)$ 中恰好两个不同元素。存在一个满射",
"quote_sha256": "ee4276f9a1a991877f7b89bc1db27e36b95f46382114b1d21ae1310e3d58d1c9",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-7c20da2dc771e5a88017be07"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"anchor": "source-6-spin-group",
"chapter": "6",
"section": "6.2",
"offset": 204,
"range": [
7653,
7920
],
"source_revision": "525b7bc4b6973b05449bbbbcbdef1c067e7411218e20b20cb388b95687d1c4d8",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal groups",
"context": {
"range": [
7612,
8892
],
"quote": "A subtle and remarkable property of the [orthogonal groups](../../../../../concepts/linear-algebra/orthogonal-group) $\\mathrm{SO}(n)$ is that it comes with an associated group, called the [spin group](../../../../../concepts/group-theory/spin-group) $\\operatorname{Spin}(n)$, such that every element of $\\mathrm{SO}(n)$ corresponds to two distinct elements of $\\operatorname{Spin}(n)$. There is a surjective [group homomorphism](../../../../../concepts/group-theory/group-homomorphism)",
"quote_sha256": "3ff5b33087b97cb96b866c2d9b35fc40878b83f9135a6e41d83a0cfffa4d6afd",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-63477886857c69f0e6aa10f3"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-16/01-the-symplectic-group",
"anchor": "section-16-1",
"chapter": "16",
"section": "16.1",
"offset": 67,
"range": [
7834,
8105
],
"source_revision": "5d0feb2b6d5a17ec427c9df5dc00639e77e4f399daa61206841492326af9d8d6",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
7833,
8632
],
"quote": "[正交群(orthogonal group)](../../../../../concepts/linear-algebra/orthogonal-group)由保持内积的[线性变换(linear map)](../../../../../concepts/linear-algebra/linear-map)组成；内积是一种对称双线性形式。现在，我们考察将内积替换为反对称双线性形式 $\\Omega$ 后得到的类似群；$\\Omega$ 决定了相空间的辛几何。定义如下：\n",
"quote_sha256": "9b164220c84b86944383e1978f888f3ad1daf1afad3e8a54736ad3fa05e8fa22",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-16/01-the-symplectic-group",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-4faf0a8d2fc283bd3cf10f01"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-16/01-the-symplectic-group",
"anchor": "section-16-1",
"chapter": "16",
"section": "16.1",
"offset": 101,
"range": [
7034,
7300
],
"source_revision": "ed2414a74ed2fd73363cf684a60f2b8e6245a4dc84ed67db852efd43fec8ffec",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal group",
"context": {
"range": [
7017,
7992
],
"quote": "Recall that the [orthogonal group](../../../../../concepts/linear-algebra/orthogonal-group) consists of the [linear transformations](../../../../../concepts/linear-algebra/linear-map) that preserve an inner product, a symmetric bilinear form. We now consider the analogous group obtained by replacing the inner product with the antisymmetric bilinear form $\\Omega$ that determines the symplectic geometry of phase space. It is defined as follows:",
"quote_sha256": "74ede18e653e9964377eecd172dd3584586004e1fe741dd406162dfffef4ca4e",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-16/01-the-symplectic-group",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-9d8e1b8bcb9773963cd1a7a3"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-29/01-non-degenerate-bilinear-forms",
"anchor": "source-29-1-pseudo-orthogonal-group",
"chapter": "29",
"section": "29.1",
"offset": 3653,
"range": [
10431,
10705
],
"source_revision": "4ca3239fef145996649ce0b1d6badc30b0a358e792b809924ce04030c802c8db",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "正交群(orthogonal group)",
"context": {
"range": [
10410,
11363
],
"quote": "\n> [!definition] 定义（[正交群(orthogonal group)](../../../../../concepts/lie-theory/pseudo-orthogonal-group) $O(r,s,\\mathbb R)$）\n>\n> $O(r,s,\\mathbb R)$ 是满足下式的实 $(r+s)\\times(r+s)$ 矩阵 $g$ 组成的群：\n>\n> $$\n> g ^ {T} \\underbrace {\\begin{pmatrix} 1 & 0 & \\ldots & 0 & 0 \\\\ 0 & 1 & \\ldots & 0 & 0 \\\\ \\vdots & \\vdots & & \\vdots & \\vdots \\\\ 0 & 0 & \\ldots & - 1 & 0 \\\\ 0 & 0 & \\ldots & 0 & - 1 \\end{pmatrix}} _ {r\\text{ positive signs},\\ s\\text{ negative signs}} g = \\underbrace {\\begin{pmatrix} 1 & 0 & \\ldots & 0 & 0 \\\\ 0 & 1 & \\ldots & 0 & 0 \\\\ \\vdots & \\vdots & & \\vdots & \\vdots \\\\ 0 & 0 & \\ldots & - 1 & 0 \\\\ 0 & 0 & \\ldots & 0 & - 1 \\\\ \\end{pmatrix}} _ {r\\text{ positive signs},\\ s\\text{ negative signs}}\n> $$\n",
"quote_sha256": "29f16fa01eef79d68b66878c8b976cfff3d41ac70eeca9663f4741b60d086cda",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-29/01-non-degenerate-bilinear-forms",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-548a32a467433eda36bff30d"
},
{
"concept_id": "urn:uuid:9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-29/01-non-degenerate-bilinear-forms",
"anchor": "source-29-1-pseudo-orthogonal-group",
"chapter": "29",
"section": "29.1",
"offset": 4519,
"range": [
10457,
10726
],
"source_revision": "ecbc8e080a97adda994e5bf835b3231ac707ab6d2dbf2b12654e7291a6ddee57",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "orthogonal group",
"context": {
"range": [
10427,
11404
],
"quote": "\n> [!definition] Definition ([orthogonal group](../../../../../concepts/lie-theory/pseudo-orthogonal-group) $O(r,s,\\mathbb R)$)\n>\n> $O(r,s,\\mathbb R)$ consists of real $(r+s)\\times(r+s)$ matrices $g$ satisfying\n>\n> $$\n> g ^ {T} \\underbrace {\\begin{pmatrix} 1 & 0 & \\ldots & 0 & 0 \\\\ 0 & 1 & \\ldots & 0 & 0 \\\\ \\vdots & \\vdots & & \\vdots & \\vdots \\\\ 0 & 0 & \\ldots & - 1 & 0 \\\\ 0 & 0 & \\ldots & 0 & - 1 \\end{pmatrix}} _ {r\\text{ positive signs},\\ s\\text{ negative signs}} g = \\underbrace {\\begin{pmatrix} 1 & 0 & \\ldots & 0 & 0 \\\\ 0 & 1 & \\ldots & 0 & 0 \\\\ \\vdots & \\vdots & & \\vdots & \\vdots \\\\ 0 & 0 & \\ldots & - 1 & 0 \\\\ 0 & 0 & \\ldots & 0 & - 1 \\\\ \\end{pmatrix}} _ {r\\text{ positive signs},\\ s\\text{ negative signs}}\n> $$\n",
"quote_sha256": "56f061051b7369dbf6d92e21bf76290384b6fc1b68398983a81b9ddf39e0a7b3",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-29/01-non-degenerate-bilinear-forms",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-5cd6ae85b532df685911f0c0"
}
],
"registered_positions": [
{
"route": "zh/chapter-02/03-matrix-groups",
"lang": "zh-CN",
"section": "2.3",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 5996
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-01/03-unitary-group-representations",
"lang": "zh-CN",
"section": "1.3",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 4869
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "en",
"section": "4.6",
"signal": "named-definition",
"label": "Orthogonal group",
"english": "Orthogonal group",
"offset": 2641
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "en",
"section": "4.6",
"signal": "term-mark",
"label": "Orthogonal group",
"english": "Orthogonal group",
"offset": 2857
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "zh-CN",
"section": "4.6",
"signal": "named-definition",
"label": "正交群",
"english": "orthogonal group",
"offset": 2398
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"lang": "zh-CN",
"section": "4.6",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 2602
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "en",
"section": "5.2",
"signal": "term-mark",
"label": "orthogonal group",
"english": "orthogonal group",
"offset": 474
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "en",
"section": "5.2",
"signal": "term-mark",
"label": "orthogonal group",
"english": "orthogonal group",
"offset": 3858
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "zh-CN",
"section": "5.2",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 382
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"lang": "zh-CN",
"section": "5.2",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 2995
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/03-a-summary",
"lang": "en",
"section": "5.3",
"signal": "term-mark",
"label": "orthogonal group",
"english": "orthogonal group",
"offset": 2139
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/03-a-summary",
"lang": "zh-CN",
"section": "5.3",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 1623
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
"lang": "zh-CN",
"section": "6.1",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 2270
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"lang": "zh-CN",
"section": "6.2",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 134
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-16/01-the-symplectic-group",
"lang": "en",
"section": "16.1",
"signal": "term-mark",
"label": "orthogonal group",
"english": "orthogonal group",
"offset": 101
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-16/01-the-symplectic-group",
"lang": "zh-CN",
"section": "16.1",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 67
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-29/01-non-degenerate-bilinear-forms",
"lang": "en",
"section": "29.1",
"signal": "term-mark",
"label": "orthogonal group",
"english": "orthogonal group",
"offset": 4328
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-29/01-non-degenerate-bilinear-forms",
"lang": "zh-CN",
"section": "29.1",
"signal": "term-mark",
"label": "正交群",
"english": "orthogonal group",
"offset": 3462
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
"lang": "en",
"section": "6.1",
"signal": "term-mark",
"label": "orthogonal groups",
"english": "orthogonal groups",
"offset": 3117
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"lang": "en",
"section": "6.2",
"signal": "term-mark",
"label": "orthogonal groups",
"english": "orthogonal groups",
"offset": 204
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"#example-2-11\"",
"href": "#example-2-11",
"range": [
13540,
13560
],
"relation": "references",
"target_route": "zh/chapter-02/03-matrix-groups",
"target_anchor": "example-2-11",
"resolved": true,
"reason": null,
"source_revision": "3dd2476e51de9c40a8d6ddb8f88871c179362c4e1209a1a91c0b6b3f4e535a63",
"source_route": "zh/chapter-02/03-matrix-groups",
"occurrence_id": "occ-b11798c64bfae2e1b1073797"
},
{
"raw": "href=\"#equation-2-8\"",
"href": "#equation-2-8",
"range": [
14559,
14579
],
"relation": "references",
"target_route": "zh/chapter-02/03-matrix-groups",
"target_anchor": "equation-2-8",
"resolved": true,
"reason": null,
"source_revision": "3dd2476e51de9c40a8d6ddb8f88871c179362c4e1209a1a91c0b6b3f4e535a63",
"source_route": "zh/chapter-02/03-matrix-groups",
"occurrence_id": "occ-b11798c64bfae2e1b1073797"
},
{
"raw": "href=\"#equation-2-4\"",
"href": "#equation-2-4",
"range": [
14679,
14699
],
"relation": "references",
"target_route": "zh/chapter-02/03-matrix-groups",
"target_anchor": "equation-2-4",
"resolved": true,
"reason": null,
"source_revision": "3dd2476e51de9c40a8d6ddb8f88871c179362c4e1209a1a91c0b6b3f4e535a63",
"source_route": "zh/chapter-02/03-matrix-groups",
"occurrence_id": "occ-b11798c64bfae2e1b1073797"
},
{
"raw": "href=\"#equation-2-7\"",
"href": "#equation-2-7",
"range": [
15110,
15130
],
"relation": "references",
"target_route": "zh/chapter-02/03-matrix-groups",
"target_anchor": "equation-2-7",
"resolved": true,
"reason": null,
"source_revision": "3dd2476e51de9c40a8d6ddb8f88871c179362c4e1209a1a91c0b6b3f4e535a63",
"source_route": "zh/chapter-02/03-matrix-groups",
"occurrence_id": "occ-b11798c64bfae2e1b1073797"
},
{
"raw": "href=\"07-symmetry-groups#section-2-7\"",
"href": "07-symmetry-groups#section-2-7",
"range": [
16316,
16353
],
"relation": "references",
"target_route": "zh/chapter-02/07-symmetry-groups",
"target_anchor": "section-2-7",
"resolved": true,
"reason": null,
"source_revision": "3dd2476e51de9c40a8d6ddb8f88871c179362c4e1209a1a91c0b6b3f4e535a63",
"source_route": "zh/chapter-02/03-matrix-groups",
"occurrence_id": "occ-b11798c64bfae2e1b1073797"
}
],
"reading_order": [
"occ-b11798c64bfae2e1b1073797",
"occ-d29bfe4d12faa20503284acf",
"occ-b8ab7d7ff25369f781b1f5d9",
"occ-4daffd2243f89f6489b417ec",
"occ-9e5031e9d1a72c391673d133",
"occ-8920895cf0060460f41859b1",
"occ-647ec748f131ee3e39b52ffb",
"occ-f74adc43542b970e21e83ec4",
"occ-453557b949cce863edacb2f8",
"occ-14d32e60bd2b5bed0e2e4ca5",
"occ-2687af0a11b8e234a6b5848c",
"occ-fe0584c7ffd78c4bbfdd1c22",
"occ-fef3fc49968fd03c1257720c",
"occ-49ea70578a91495596c7f0b1",
"occ-7c20da2dc771e5a88017be07",
"occ-63477886857c69f0e6aa10f3",
"occ-4faf0a8d2fc283bd3cf10f01",
"occ-9d8e1b8bcb9773963cd1a7a3",
"occ-548a32a467433eda36bff30d",
"occ-5cd6ae85b532df685911f0c0"
],
"recorded_dependencies": [],
"reading_paths": [],
"coverage": {
"registered_positions": 20,
"located_occurrences": 20,
"whole_book_search_complete": false,
"registered_positions_truncated": false,
"independent_human_review_implied": false
},
"unresolved": [],
"base_revision": "9c0cae44ce4ba4eea582ed1900b6a4c9478718f182059fadd4ee47995623bf24",
"optional_enrichments": [
{
"id": "archived-9c0cba6a-c2b4-4c44-b15e-b04e84d239af",
"kind": "archived-composition",
"actor": {
"model": "gpt-6-luna",
"reasoning_effort": "high"
},
"source_status": "current",
"stale_reasons": [],
"review_status": {
"generation": "complete",
"structure": "validated",
"semantic_review": "independent-luna-reviewed; human-review-not-performed",
"translation_review": "not-performed; inherited-source-status"
},
"result": {
"overview_claims": [
{
"id": "orth-1",
"text": "正交群刻画保留内积的可逆变换。Woit从保持内积及其伴随条件引入，再定义实 $n$ 维 $O(n)$；矩阵条件为 $L^{-1}=L^T$。",
"evidence_ids": [
"e-a5b5e23d92c212e5e03c99af"
]
},
{
"id": "orth-2",
"text": "Szekeres先定义实正交矩阵：$AA^T=A^TA=I$，全体组成 $O(n)$；随后另定义保留不定型的 $O(p,q)$，满足 $A^TG_pA=G_p$，两类条件不能混为一谈。",
"evidence_ids": [
"e-13affea24d7c1e96c7c79f17"
]
},
{
"id": "orth-3",
"text": "Woit接着区分行列式为 $1$ 的 $SO(n)$，以 $n=2$ 的旋转和反射举例，再转到保持复厄米内积的酉群。",
"evidence_ids": [
"e-a5b5e23d92c212e5e03c99af"
]
}
],
"author_views": [
{
"id": "orth-woit",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"summary": "从保持内积的可逆变换及伴随条件开始，随后定义实向量空间上的 $O(n)$；之后介绍 $SO(n)$、二维旋转和反射，再转入复内积对应的酉群。",
"conditions": "实空间维数为 $n$；变换可逆并保持内积，矩阵形式满足 $L^{-1}=L^T$。$SO(n)$ 还要求行列式为 $1$。",
"notation": "$O(n)$、$SO(n)$；本项归纳第4.6节的实情形。",
"evidence_ids": [
"e-a5b5e23d92c212e5e03c99af"
]
},
{
"id": "orth-szekeres",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"summary": "先定义实正交矩阵并验证其组成 $O(n)$，继而讨论行列式正负与 $SO(n)$；之后扩展到保留不定型的 $O(p,q)$，并另提复正交群和酉群。",
"conditions": "标准实内积对应 $AA^T=A^TA=I$。另以 $G_p$ 定义 $O(p,q)$，满足 $A^TG_pA=G_p$，这是不同的型。",
"notation": "$O(n)$、$SO(n)$、$O(p,q)$；$G_p$ 对角元为 $1$ 或 $-1$。",
"evidence_ids": [
"e-13affea24d7c1e96c7c79f17"
]
}
],
"reading_suggestions": [
{
"id": "orth-r1",
"text": "先读Woit第4.6节的实情形定义与二维例子，再读同节复情形以辨认内积类型的变化。",
"target_ids": [
"e-a5b5e23d92c212e5e03c99af"
],
"evidence_ids": [
"e-a5b5e23d92c212e5e03c99af"
]
},
{
"id": "orth-r2",
"text": "比较不同保持型时，读Szekeres第2.3节中标准正交矩阵与不定型矩阵的并列定义。",
"target_ids": [
"e-13affea24d7c1e96c7c79f17"
],
"evidence_ids": [
"e-13affea24d7c1e96c7c79f17"
]
}
],
"assessment": {
"composition": "complete",
"key_material": "available",
"critical_gaps": [],
"whole_book_coverage": "not-exhausted"
},
"gaps": [
"摘录覆盖已收录定义和例子，但未穷尽全书后续用途；中英文版本仍待人工核对。"
]
},
"evidence": {
"e-a5b5e23d92c212e5e03c99af": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/06-orthogonal-and-unitary-transformations",
"anchor": "",
"statement_id": null,
"label": "Woit · §4.6",
"quote_sha256": "d9b7424c35cadc568c2140af4eda3e29c70c62ff7d11fb2c4b46e0b664ffa4d1"
},
"e-82a00feed225ec5b63ab4781": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/06-orthogonal-and-unitary-transformations",
"anchor": "",
"statement_id": null,
"label": "Woit · §4.6",
"quote_sha256": "c815a5d32cd6f7478422b92c00fb7212a1e45343d1f92740b88410347fc2ff64"
},
"e-13affea24d7c1e96c7c79f17": {
"route": "zh/chapter-02/03-matrix-groups",
"anchor": "",
"statement_id": null,
"label": "Szekeres · §2.3",
"quote_sha256": "39641e012a264c3bb6da5de47efd714b47f4895ff1002e507f0b115c61f124c5"
},
"e-b31e248b6d3d93d7515877b4": {
"route": "en/chapter-02/03-matrix-groups",
"anchor": "",
"statement_id": null,
"label": "Szekeres · §2.3",
"quote_sha256": "55a9375fa76b75db53b1d4027738c2a9848723bd7d3a7525e8afc6f5ebeff0fc"
},
"e-be341eb19a86a7ec8fb2e4f8": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-01/03-unitary-group-representations",
"anchor": "",
"statement_id": null,
"label": "Woit · §1.3",
"quote_sha256": "442a726e83ba789616acffdd77b4002cad1637e3417c11fd0d97710c8fcd9743"
},
"e-24d6fafc67dd6eef4bdad766": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"anchor": "",
"statement_id": null,
"label": "Woit · §1.3",
"quote_sha256": "b0dbd5b12ec734e2daa9ea31c3e9bb4a2153d9f1637924c1d0ba719d6e6a3af6"
},
"e-9861e7ad20ec1da224510ad4": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"anchor": "",
"statement_id": null,
"label": "Woit · §5.2",
"quote_sha256": "3e8574cd580bfb41d15f7be05678bd7ad4272b56d90338a2a78d513f0cfba9e2"
},
"e-31f46fba05e46b95254496ae": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/02-lie-algebras-of-the-orthogonal-and-unitary-groups",
"anchor": "",
"statement_id": null,
"label": "Woit · §5.2",
"quote_sha256": "6dc3ce3be366df763699b8741ac35a7e6bd041a9e7c46e854cf0bec6384082f3"
},
"e-cb845c422d7e3401607f3982": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/03-a-summary",
"anchor": "",
"statement_id": null,
"label": "Woit · §5.3",
"quote_sha256": "cb6ef256cce380a1378300f64d6259178fe28880e2d646092862e325fab83fd1"
},
"e-ede650537e11e465be126c4f": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/03-a-summary",
"anchor": "",
"statement_id": null,
"label": "Woit · §5.3",
"quote_sha256": "df31602cb67e3cc9766c9e1b762b5d038c1d2cc68c0deaa824a0ab7ac7e06fa1"
},
"e-1e2c96ca822bdeccc613f539": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/01-the-rotation-group-in-three-dimensions",
"anchor": "",
"statement_id": null,
"label": "Woit · §6.1",
"quote_sha256": "a85c1f8cc33dc60d888d3bc0868715528ff0204ba0a26425dcc240e17cbc97ec"
},
"e-1c5768bf5af32b4f5e97f494": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/01-the-rotation-group-in-three-dimensions",
"anchor": "",
"statement_id": null,
"label": "Woit · §6.1",
"quote_sha256": "4d9581e98cf9f691fdfadf83f45bbb6a233e9de9b048fdbdd6c186063d2cf240"
},
"e-4adb4fdec29745927008b82e": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"anchor": "",
"statement_id": null,
"label": "Woit · §6.2",
"quote_sha256": "38e804ca8bf72da0caa6a848fac738b6f955b8260e7a6c19e663a7bb54abe689"
},
"e-2bfdec6ad5c23143e18b857c": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/02-spin-groups-in-three-and-four-dimensions",
"anchor": "",
"statement_id": null,
"label": "Woit · §6.2",
"quote_sha256": "0bce8a280ff15de23146eb82d5a78e663c125b1ab804f21620a6ed08b8a2ea4f"
},
"e-f37732dbb70994ef48db599e": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-16/01-the-symplectic-group",
"anchor": "",
"statement_id": null,
"label": "Woit · §16.1",
"quote_sha256": "a0fc9991bd18e8e4e7e3ee851b56c76a1fdbfc242a26a84c49272fe7be227ab7"
},
"e-193d9c1a8bab4ec3d8e7429e": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-16/01-the-symplectic-group",
"anchor": "",
"statement_id": null,
"label": "Woit · §16.1",
"quote_sha256": "21c0680454ef15d6a782f83757459a93c529d822022ca7efdb8a79f2c11f554e"
}
},
"candidate_dependencies": [],
"input_sha256": "ab916a9070e148e917ebd68237b33dddff7c8354b645245a55e63150216cc7e4",
"archive_sha256": "60b409f03c7e85f658abeacee522821da092fc1b2f53f3d33bbe6c7b6d1bca91"
}
]
}