{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:c75b3404-beda-4f83-b6ce-b1d83e5669ad",
"labels": {
"zh-CN": "马施克定理",
"en": "Maschke’s theorem"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "ebcadf0756525e68b12a3a203603f3b50fd030998cc73e98da800a6f2aeeeddc",
"occurrences": [
{
"concept_id": "urn:uuid:c75b3404-beda-4f83-b6ce-b1d83e5669ad",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-05/03-representations-of-finite-groups",
"anchor": "first-50699cbe14af28439bed-zh",
"chapter": "5",
"section": "5.3",
"offset": 1824,
"range": [
9343,
11152
],
"source_revision": "c1ace986d20899b7bb52b23913e86be460fa619e9c1e0f88379fd5881ca1b6c0",
"source_category": "translation",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "zh/chapter-05/03-representations-of-finite-groups",
"lang": "zh-CN",
"section": "5.3",
"signal": "named-theorem",
"label": "马施克定理",
"english": "Maschke’s theorem",
"offset": 1598
}
},
"label": "> [!theorem] 定理 5.7 · 马施克定理 (Maschke’s theorem)",
"context": {
"range": [
9343,
11152
],
"quote": null,
"quote_sha256": "2186235e13a6352c274cb539b88035646272022369d6e0c11d5d7aa2560c383e",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "en/chapter-05/03-representations-of-finite-groups",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-f91910a687eb8acd7c27ace2"
},
{
"concept_id": "urn:uuid:c75b3404-beda-4f83-b6ce-b1d83e5669ad",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-05/03-representations-of-finite-groups",
"anchor": "first-50699cbe14af28439bed-en",
"chapter": "5",
"section": "5.3",
"offset": 2092,
"range": [
9103,
11618
],
"source_revision": "0529f9dee5fad9cbb735ff98b84a9598b5bd622db97dce57c011311cffa475d6",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "en/chapter-05/03-representations-of-finite-groups",
"lang": "en",
"section": "5.3",
"signal": "named-theorem",
"label": "Maschke’s theorem",
"english": "Maschke’s theorem",
"offset": 2022
}
},
"label": "> [!theorem] Theorem 5.7 · Maschke’s theorem",
"context": {
"range": [
9103,
11618
],
"quote": null,
"quote_sha256": "569b26328afd7704dc1aecfce98967908c7b5f4cc0ff678531dd6e035df6b887",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "zh/chapter-05/03-representations-of-finite-groups",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-b9700729a14ad4cad0bb9b88"
}
],
"registered_positions": [
{
"route": "en/chapter-05/03-representations-of-finite-groups",
"lang": "en",
"section": "5.3",
"signal": "named-theorem",
"label": "Maschke’s theorem",
"english": "Maschke’s theorem",
"offset": 2022
},
{
"route": "zh/chapter-05/03-representations-of-finite-groups",
"lang": "zh-CN",
"section": "5.3",
"signal": "named-theorem",
"label": "马施克定理",
"english": "Maschke’s theorem",
"offset": 1598
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"#theorem-5-7\"",
"href": "#theorem-5-7",
"range": [
9386,
9405
],
"relation": "references",
"target_route": "zh/chapter-05/03-representations-of-finite-groups",
"target_anchor": "theorem-5-7",
"resolved": true,
"reason": null,
"source_revision": "c1ace986d20899b7bb52b23913e86be460fa619e9c1e0f88379fd5881ca1b6c0",
"source_route": "zh/chapter-05/03-representations-of-finite-groups",
"occurrence_id": "occ-f91910a687eb8acd7c27ace2"
},
{
"raw": "href=\"#theorem-5-7\"",
"href": "#theorem-5-7",
"range": [
9146,
9165
],
"relation": "references",
"target_route": "en/chapter-05/03-representations-of-finite-groups",
"target_anchor": "theorem-5-7",
"resolved": true,
"reason": null,
"source_revision": "0529f9dee5fad9cbb735ff98b84a9598b5bd622db97dce57c011311cffa475d6",
"source_route": "en/chapter-05/03-representations-of-finite-groups",
"occurrence_id": "occ-b9700729a14ad4cad0bb9b88"
}
],
"reading_order": [
"occ-f91910a687eb8acd7c27ace2",
"occ-b9700729a14ad4cad0bb9b88"
],
"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": "70feab1d0cfa89c8e8052f8a02f32c6b0b23d650bcc855a0ad22a857af60aa1d",
"optional_enrichments": [
{
"id": "archived-c75b3404-beda-4f83-b6ce-b1d83e5669ad",
"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": "maschke-complex-case",
"text": "在本节所用的有限维复向量空间语境中，马施克定理说明：有限群的表示可分解为不可约表示的直和。证明依赖复内积及正交补，不能将这段表述扩展为任意底域上的定理。",
"evidence_ids": [
"e-fdd23cfede98bee2f78f4e0b",
"e-a3e322da98deec7064106493"
]
},
{
"id": "maschke-average-inner-product",
"text": "作者先从复坐标定义一个内积，再对有限群作用取平均，得到群作用保持不变的内积：\n\n$$\n\\langle u | v \\rangle = \\frac {1}{| G |} \\sum_ {a \\in G} (T (a) u | T (a) v),\\tag{5.22}\n$$\n\n",
"evidence_ids": [
"e-fdd23cfede98bee2f78f4e0b"
]
},
{
"id": "maschke-invariant-complement",
"text": "在该内积下，若 $W$ 是不变子空间，则 $W^{\\perp}$ 也不变；因此 $V=W\\oplus W^{\\perp}$，可以在两部分上继续拆分，直到得到不可约子表示。",
"evidence_ids": [
"e-fdd23cfede98bee2f78f4e0b",
"e-a3e322da98deec7064106493"
]
}
],
"author_views": [
{
"id": "szekeres-maschke-theorem",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"summary": "本节先在复向量空间上选取基并构造 Hermitian 内积，再对有限群的作用取平均，使每个表示算子成为酉算子。这样不变子空间的正交补仍然不变；反复分解便得到不可约子表示的直和。",
"conditions": "定理讨论有限群 $G$ 的有限维表示。本节证明处于复向量空间语境：坐标系数取自 $\\mathbb{C}$，并使用 Hermitian 内积与其正交补。此处不主张任意底域上的版本。",
"notation": "$T(g)$ 表示群元素 $g$ 的线性变换；$W$ 表示不变子空间，$W^{\\perp}$ 是关于所构造内积的正交补。",
"evidence_ids": [
"e-fdd23cfede98bee2f78f4e0b",
"e-a3e322da98deec7064106493"
]
}
],
"reading_suggestions": [
{
"id": "read-szekeres-maschke",
"text": "先读本节从复坐标构造内积并对群作用取平均的段落，再读定理 5.7 的正交补证明；这能看出复内积语境如何进入完全约化结论。",
"target_ids": [
"e-fdd23cfede98bee2f78f4e0b",
"e-a3e322da98deec7064106493"
],
"evidence_ids": [
"e-fdd23cfede98bee2f78f4e0b",
"e-a3e322da98deec7064106493"
]
}
],
"assessment": {
"composition": "complete",
"key_material": "available",
"critical_gaps": [],
"whole_book_coverage": "not-exhausted"
},
"gaps": [
"本页依照第 5.3 节所示的复向量空间证明整理；其他章节中的相关结论与应用未穷尽。"
]
},
"evidence": {
"e-fdd23cfede98bee2f78f4e0b": {
"route": "zh/chapter-05/03-representations-of-finite-groups",
"anchor": "",
"statement_id": null,
"label": "Szekeres · §5.3",
"quote_sha256": "b268bb496d64f7d858b4e75ea7155a5cb318d28767a179f8987aa01cff15860c"
},
"e-a3e322da98deec7064106493": {
"route": "en/chapter-05/03-representations-of-finite-groups",
"anchor": "",
"statement_id": null,
"label": "Szekeres · §5.3",
"quote_sha256": "f91c729c01108dba8489af32ffb0647cb79432e3b40ec9ec08b564ec54a76ccc"
}
},
"candidate_dependencies": [],
"input_sha256": "30f46b9eddaea919d74044d428c742fafe33676b1bf3f0fe3f69a8b0db7ebf78",
"archive_sha256": "07f891b4f5cba5db56f5623d8b78f71b7f054671543acef9c04ffbb329c5490d"
}
]
}