{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"labels": {
"zh-CN": "群同态",
"en": "group homomorphism"
},
"alternative_labels": [
{
"lang": "en",
"value": "homomorphism"
},
{
"lang": "zh-CN",
"value": "同态"
}
],
"scope_note": "§5.4 explicitly says a map of groups preserving multiplication; §7.1 also discusses group maps.",
"identity_status": "active",
"identity_revision": "5f91877c256441e01189fecd6b8fa1ea3a17fdca436c5962cd751378068a1939",
"occurrences": [
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-02/04-homomorphisms-and-isomorphisms",
"anchor": "concept-2-homomorphism",
"chapter": "2",
"section": "2.4",
"offset": 504,
"range": [
5726,
5954
],
"source_revision": "98fad8e4f5b9d4869e8d0771f963e80d4413869dd8391f0598d49aecc884e4d4",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "同态(homomorphism)",
"context": {
"range": [
5719,
5954
],
"quote": "则称这个映射是同态(homomorphism)",
"quote_sha256": "3a927c9e8b5f3a1059b9edb46a1b0c0fd455f0c78542127990424c82d52bc778",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "en/chapter-02/04-homomorphisms-and-isomorphisms",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-a5563693495bc5e0d06bb02f"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"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-da110d60b99705240778-zh",
"chapter": "1",
"section": "1.3",
"offset": 11629,
"range": [
23173,
23481
],
"source_revision": "4ee587fc4d72d2916ca8f6bce8080ecd42e2ae3d45d92d067027a95982f00008",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群同态(group homomorphism)",
"context": {
"range": [
22691,
24210
],
"quote": "\n> [!definition] 定义 · 群表示(representation)\n> \n>\n> 定义（群表示(representation)）。群 $G$ 的表示 $(\\pi,V)$ 是一个[群同态(group homomorphism)](../../../../../concepts/group-theory/group-homomorphism)：\n>\n> \n>\n> $$\n> \\pi : g \\in G \\to \\pi (g) \\in GL(V)\n> $$\n>\n> \n>\n> \n>\n> 其中，$GL(V)$ 是由向量空间 $V$ 到自身的可逆线性映射构成的[一般线性群(general linear group)](../../../../../concepts/linear-algebra/general-linear-group)。\n",
"quote_sha256": "47c14477abc6c826476c36865bef50e4aa86a8b870a69df1b80bbf43319e5b6e",
"environment": "definition",
"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-bc9bf174a186bb2f957d6d35"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"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": "source-block-1088",
"chapter": "1",
"section": "1.3",
"offset": 12738,
"range": [
24282,
24555
],
"source_revision": "4ee587fc4d72d2916ca8f6bce8080ecd42e2ae3d45d92d067027a95982f00008",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群同态(group homomorphism)",
"context": {
"range": [
24270,
24618
],
"quote": "称映射 $\\pi$ 为[群同态(group homomorphism)](../../../../../concepts/group-theory/group-homomorphism)，意思是：",
"quote_sha256": "581c6f608d91e666f04803e474925e3c332aab17bd1b468821e6594595fe2e05",
"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-70b5f4cf538448205e7a27ed"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"anchor": "source-block-5122",
"chapter": "5",
"section": "5.4",
"offset": 729,
"range": [
10741,
11014
],
"source_revision": "7b44f63f358be0b87925985afa44ebc92b5cb64195e88543ca8324274528e188",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群同态(group homomorphism)",
"context": {
"range": [
10374,
11084
],
"quote": "我们已经把[群表示(group representation)](../../../../../concepts/representation-theory/group-representation)定义为一种[群同态(group homomorphism)](../../../../../concepts/group-theory/group-homomorphism)，即保持群乘法的群映射。",
"quote_sha256": "cfd92896efa17af61c210f9a4d2620439f4ed64be645d2f5e4145ba02e5a91e2",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-5e29b57f0b442c312e43b1a3"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"anchor": "first-2468346c80db9d72875d-en",
"chapter": "5",
"section": "5.4",
"offset": 773,
"range": [
10009,
10306
],
"source_revision": "61c42cc7f275c26a6874d48870eeec0207a69553f4f81e2310258160b4921899",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "homomorphism",
"context": {
"range": [
9598,
10415
],
"quote": "We have defined a [group representation](../../../../../concepts/representation-theory/group-representation) as a [homomorphism](../../../../../concepts/group-theory/group-homomorphism) (a map of groups preserving group multiplication).",
"quote_sha256": "e9aec7983b5039be3e75b3de1e34c11be07f2ef5b7787be445f2691405583354",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-94249aa34f01d4aff168806b"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"anchor": "source-block-5143",
"chapter": "5",
"section": "5.4",
"offset": 5490,
"range": [
15502,
15775
],
"source_revision": "7b44f63f358be0b87925985afa44ebc92b5cb64195e88543ca8324274528e188",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群同态(group homomorphism)",
"context": {
"range": [
15387,
17689
],
"quote": null,
"quote_sha256": "1c566ecb38c25c257966b29670114e560a4fafc3674422ba51ebef53bc9358d3",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-7d83f4861110ab6761fac38f"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"anchor": "first-da110d60b99705240778-en",
"chapter": "5",
"section": "5.4",
"offset": 6828,
"range": [
16064,
16367
],
"source_revision": "61c42cc7f275c26a6874d48870eeec0207a69553f4f81e2310258160b4921899",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "group homomorphism",
"context": {
"range": [
15941,
18290
],
"quote": null,
"quote_sha256": "8ef851f77e78023e2623ff36db1f105d26fdf8ff031689157c4c9801758a5f40",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-cb0235111597bbdaa9e22dfd"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"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": "concept-6-spin",
"chapter": "6",
"section": "6.2",
"offset": 1117,
"range": [
8566,
8834
],
"source_revision": "525b7bc4b6973b05449bbbbcbdef1c067e7411218e20b20cb388b95687d1c4d8",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "group homomorphism",
"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-2604331996f0a2466728477b"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/07-a-summary",
"anchor": "concept-6-3-group-homomorphism",
"chapter": "6",
"section": "6.3",
"offset": 4207,
"range": [
13550,
13908
],
"source_revision": "51224e8d409a684fb67417edf938c1deffb0aa708773316223994618d7a07300",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群同态(group homomorphism)",
"context": {
"range": [
13545,
14441
],
"quote": "存在一个[群同态(group homomorphism)](../../../../../concepts/group-theory/group-homomorphism) $\\Phi:\\operatorname{Spin}(3)\\to\\mathrm{SO}(3)$，它将第一个群映到第二个群，并且是一个二重[覆盖映射(covering map)](../../../../../concepts/topology/covering-map)。其导数 $\\Phi'$ 是两个群的李代数之间的同构。",
"quote_sha256": "87deb2d1480d0ce2e344831fe477a8c6f776b3d850751a1920a024acc4529a18",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/07-a-summary",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-97a356518f684aaea487dced"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/07-a-summary",
"anchor": "concept-6-3-group-homomorphism",
"chapter": "6",
"section": "6.3",
"offset": 4416,
"range": [
12925,
13278
],
"source_revision": "c6959dd1685931e5d5c3b3ad92a453f6e8e23f74fb6df74bd7839b5bfd7d43ac",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "group homomorphism",
"context": {
"range": [
12913,
13894
],
"quote": "There is a [group homomorphism](../../../../../concepts/group-theory/group-homomorphism) $\\Phi:\\operatorname{Spin}(3)\\to\\mathrm{SO}(3)$ taking the first group to the second; it is a two-fold [covering map](../../../../../concepts/topology/covering-map). Its derivative $\\Phi'$ is an isomorphism of the Lie algebras of the two groups.",
"quote_sha256": "08809614d85ba392168df26b083ef8a7078671c7ccc0c6949f77eaccbc58fde8",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/07-a-summary",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-03eac9e5abd939f922d9365c"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "zh-CN",
"route": "books/woit-qtgr/2025-10-20/zh/chapter-07/01-the-spinor-representation",
"anchor": "concept-7-1-group-homomorphism",
"chapter": "7",
"section": "7.1",
"offset": 5018,
"range": [
13176,
13534
],
"source_revision": "3bf7a61152ec8da38212ac86935b672a5739debafd35daed43c2f6c6fd6e56ef",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群同态(group homomorphism)",
"context": {
"range": [
12309,
13805
],
"quote": "$\\mathrm{SU}(2)$ 的[自旋表示(spin representation)](../../../../../concepts/representation-theory/spinor-representation)并不是 $\\mathrm{SO}(3)$ 的表示。映射 $\\Phi:\\mathrm{SU}(2)\\to\\mathrm{SO}(3)$ 是一个[二重覆盖(double cover)](../../../../../concepts/topology/double-cover)，也是一个[群同态(group homomorphism)](../../../../../concepts/group-theory/group-homomorphism)；因此，将 $\\mathrm{SO}(3)$ 的任一表示 $(\\pi,V)$ 与 $\\Phi$ 复合，就得到 $\\mathrm{SU}(2)$ 的表示 $(\\pi\\circ\\Phi,V)$。反过来则不能这样构造：不存在同态 $\\mathrm{SO}(3)\\to\\mathrm{SU}(2)$，能把 $\\mathrm{SU}(2)$ 在 $\\mathbf{C}^2$ 上的自旋表示变成 $\\mathrm{SO}(3)$ 的表示。",
"quote_sha256": "e833ec41e05be805a132d6c2736136b75bf6995d6abb86a37c5bebbb9f4b0b12",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-07/01-the-spinor-representation",
"lang": "en",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-909ac0e3026821fe5732d410"
},
{
"concept_id": "urn:uuid:3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-07/01-the-spinor-representation",
"anchor": "concept-7-1-group-homomorphism",
"chapter": "7",
"section": "7.1",
"offset": 5548,
"range": [
12870,
13217
],
"source_revision": "15383506dc3beaec4ce03121843583ac8e897a21ef7acf46a88bffa7c86291e9",
"source_category": "machine_draft",
"review_status": "machine-draft-not-reviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "homomorphism",
"context": {
"range": [
11985,
13631
],
"quote": null,
"quote_sha256": "485671457b7b525d0b2ecfda4aca84955780945b3527b190a19c412410999983",
"environment": null,
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-07/01-the-spinor-representation",
"lang": "zh-CN",
"source_category": "machine_draft",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-9915bd9ec5d9b4859a63c64e"
}
],
"registered_positions": [
{
"route": "zh/chapter-02/04-homomorphisms-and-isomorphisms",
"lang": "zh-CN",
"section": "2.4",
"signal": "term-mark",
"label": "同态",
"english": "homomorphism",
"offset": 504
},
{
"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": "group homomorphism",
"offset": 7411
},
{
"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": "group homomorphism",
"offset": 8138
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"lang": "en",
"section": "5.4",
"signal": "term-mark",
"label": "group homomorphism",
"english": "group homomorphism",
"offset": 5405
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"lang": "zh-CN",
"section": "5.4",
"signal": "term-mark",
"label": "群同态",
"english": "group homomorphism",
"offset": 573
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"lang": "zh-CN",
"section": "5.4",
"signal": "term-mark",
"label": "群同态",
"english": "group homomorphism",
"offset": 4222
},
{
"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": "group homomorphism",
"english": "group homomorphism",
"offset": 805
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/07-a-summary",
"lang": "en",
"section": "6.3",
"signal": "term-mark",
"label": "group homomorphism",
"english": "group homomorphism",
"offset": 3168
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/07-a-summary",
"lang": "zh-CN",
"section": "6.3",
"signal": "term-mark",
"label": "群同态",
"english": "group homomorphism",
"offset": 2959
},
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-07/01-the-spinor-representation",
"lang": "zh-CN",
"section": "7.1",
"signal": "term-mark",
"label": "群同态",
"english": "group homomorphism",
"offset": 3544
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"lang": "en",
"section": "5.4",
"signal": "term-mark",
"label": "homomorphism",
"english": "homomorphism",
"offset": 582
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-07/01-the-spinor-representation",
"lang": "en",
"section": "7.1",
"signal": "term-mark",
"label": "homomorphism",
"english": "homomorphism",
"offset": 4074
}
],
"statements": [
{
"id": "statement-0658f87f989c6ebce95d708c",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-6",
"chapter_number": 6,
"author_label": "woit-qtgr §6.3 en",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-6",
"anchor": "statement-0658f87f989c6ebce95d708c"
},
{
"id": "statement-247c80347353b6759a829348",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "定理3.1 的证明",
"role": "proof",
"conditions": "Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-247c80347353b6759a829348"
},
{
"id": "statement-26b203732944f66dde178309",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-5",
"chapter_number": 5,
"author_label": "woit-qtgr §5.4 en",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-5",
"anchor": "statement-26b203732944f66dde178309"
},
{
"id": "statement-45381cbdd77285069b293927",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "循环群和边界群的子群资格",
"role": "use",
"conditions": "已引入边界同态，尚不把 Br 包含于 Zr 当作这里已证明。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-45381cbdd77285069b293927"
},
{
"id": "statement-5b23b995e1f8f3a99dd99797",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-1",
"chapter_number": 1,
"author_label": "woit-qtgr §1.3 en",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-1",
"anchor": "statement-5b23b995e1f8f3a99dd99797"
},
{
"id": "statement-5f41fa4ee90442e0adaba3ba",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-6",
"chapter_number": 6,
"author_label": "woit-qtgr §6.3 zh-CN",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-6",
"anchor": "statement-5f41fa4ee90442e0adaba3ba"
},
{
"id": "statement-92e83b374aa62f3e49a5f5d2",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "§3.1.1 同态 (3.1)",
"role": "definition",
"conditions": "Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-92e83b374aa62f3e49a5f5d2"
},
{
"id": "statement-a6ea5696ed85e50e73dbbcb4",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "例3.2 对定理3.1的应用",
"role": "use",
"conditions": "Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-a6ea5696ed85e50e73dbbcb4"
},
{
"id": "statement-c6bafebf0ad6679df4c24f3b",
"scope": {
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"source_id": "szekeres-chapter-02"
},
"chapter": "library-szekeres-2",
"chapter_number": 2,
"author_label": "szekeres §2.4 en",
"label": "群同态 · 已登记definition",
"role": "definition",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-szekeres-2",
"anchor": "statement-c6bafebf0ad6679df4c24f3b"
},
{
"id": "statement-ce170de0ac0c18e5e2e65a51",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-5",
"chapter_number": 5,
"author_label": "woit-qtgr §5.4 zh-CN",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-5",
"anchor": "statement-ce170de0ac0c18e5e2e65a51"
},
{
"id": "statement-e2fe9b90efab5a771c69d6af",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-7",
"chapter_number": 7,
"author_label": "woit-qtgr §7.1 en",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-7",
"anchor": "statement-e2fe9b90efab5a771c69d6af"
},
{
"id": "statement-e30fa3a2b452f6f2a6609d65",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-1",
"chapter_number": 1,
"author_label": "woit-qtgr §1.3 zh-CN",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-1",
"anchor": "statement-e30fa3a2b452f6f2a6609d65"
},
{
"id": "statement-e590d5399bd1b60ba6f55f8e",
"scope": {
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"source_id": "szekeres-chapter-02"
},
"chapter": "library-szekeres-2",
"chapter_number": 2,
"author_label": "szekeres §2.4 zh-CN",
"label": "群同态 · 已登记definition",
"role": "definition",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-szekeres-2",
"anchor": "statement-e590d5399bd1b60ba6f55f8e"
},
{
"id": "statement-e869612c780673e20ea93f5c",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "定理3.1 同态基本定理",
"role": "theorem",
"conditions": "Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-e869612c780673e20ea93f5c"
},
{
"id": "statement-ee6c49fd6348674b576a9b92",
"scope": {
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"source_id": "woit-2025-10-20"
},
"chapter": "library-woit-qtgr-7",
"chapter_number": 7,
"author_label": "woit-qtgr §7.1 zh-CN",
"label": "群同态 · 已登记discussion",
"role": "discussion",
"conditions": "原有范围、语言、来源类别及审核状态全部保留；本次只确认阅读身份对应，不提升证据资格。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "library-range",
"route": "author-statements/library-woit-qtgr-7",
"anchor": "statement-ee6c49fd6348674b576a9b92"
},
{
"id": "statement-f5c8dc7bcb0740921fe8819b",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "引理3.1 核与像为子群",
"role": "theorem",
"conditions": "Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-f5c8dc7bcb0740921fe8819b"
},
{
"id": "statement-ae16e6e7da0a84f365502acf",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "定义3.5：同调群及作者的良定义说明",
"role": "definition",
"conditions": "本章整数系数单纯链；链群为自由阿贝尔群。该路径以群、子群和有向单形知识为已具备背景。 可另行采用实数或模二系数；不将不同系数的定义自动等同。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-ae16e6e7da0a84f365502acf"
},
{
"id": "statement-ac7699973242d9783a9bb1ca",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "定义3.3：循环群是边界同态的核",
"role": "definition",
"conditions": "本章整数系数单纯链；链群为自由阿贝尔群。该路径以群、子群和有向单形知识为已具备背景。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-ac7699973242d9783a9bb1ca"
},
{
"id": "statement-e9cdbaabe0ae1a11cb9cc9b3",
"scope": {
"book_id": "nakahara-geometry-topology-physics",
"edition_id": "second-edition-local",
"source_id": "nakahara-mineru-bd76b709"
},
"chapter": "nakahara-3",
"chapter_number": 3,
"author_label": "Nakahara 第3章",
"label": "定义3.4：边界群是前一边界同态的像",
"role": "definition",
"conditions": "本章整数系数单纯链；链群为自由阿贝尔群。该路径以群、子群和有向单形知识为已具备背景。",
"review_status": "codex-source-reviewed; pending-independent-human-review",
"mathematical_status": "author-stated-unverified",
"source_kind": "ribosome-atoms",
"route": "author-statements/nakahara-3",
"anchor": "statement-e9cdbaabe0ae1a11cb9cc9b3"
}
],
"resolved_references": [],
"reading_order": [
"occ-a5563693495bc5e0d06bb02f",
"occ-bc9bf174a186bb2f957d6d35",
"occ-70b5f4cf538448205e7a27ed",
"occ-5e29b57f0b442c312e43b1a3",
"occ-94249aa34f01d4aff168806b",
"occ-7d83f4861110ab6761fac38f",
"occ-cb0235111597bbdaa9e22dfd",
"occ-2604331996f0a2466728477b",
"occ-97a356518f684aaea487dced",
"occ-03eac9e5abd939f922d9365c",
"occ-909ac0e3026821fe5732d410",
"occ-9915bd9ec5d9b4859a63c64e"
],
"recorded_dependencies": [
{
"id": "dependency-0ec8fbcd4724a3ea6d6a737a",
"relation": "uses-author-statement",
"basis": "explicit-author-reference",
"from_statement": "statement-247c80347353b6759a829348",
"to_statement": "statement-f5c8dc7bcb0740921fe8819b",
"quote": "Proof. Both sides are groups according to lemma 3.1. Define a map $\\varphi : G_1 / \\ker f \\to \\operatorname{im} f$ by $\\varphi([x]) = f(x)$ . This map is well defined since for $x' \\in [x]$ , there exists $h \\in \\ker f$ such that $x' = x + h$ and $f(x') = f(x + h) = f(x) + f(h) = f(x)$ . Now we show that $\\varphi$ is an isomorphism. First, $\\varphi$ is a homomorphism,",
"citation": "according to lemma 3.1",
"target_marker": "Lemma 3.1.",
"review_status": "codex-source-reviewed; pending-independent-human-review"
},
{
"id": "dependency-dcd0227cada583b0eb9d75da",
"relation": "uses-author-statement",
"basis": "explicit-author-reference",
"from_statement": "statement-a6ea5696ed85e50e73dbbcb4",
"to_statement": "statement-e869612c780673e20ea93f5c",
"quote": "Example 3.2. Let $f: \\mathbb{Z} \\to \\mathbb{Z}_2$ be defined by $f(2n) = 0$ and $f(2n + 1) = 1$ . Then $\\ker f = 2\\mathbb{Z}$ and $\\operatorname{im} f = \\mathbb{Z}_2$ are groups. Theorem 3.1 states that $\\mathbb{Z}/2\\mathbb{Z} \\cong \\mathbb{Z}_2$ , in agreement with example 3.1.",
"citation": "Theorem 3.1 states",
"target_marker": "Theorem 3.1.",
"review_status": "codex-source-reviewed; pending-independent-human-review"
},
{
"id": "dependency-581d033a4d3b64de8b484b60",
"relation": "uses-author-statement",
"basis": "explicit-author-reference",
"from_statement": "statement-45381cbdd77285069b293927",
"to_statement": "statement-f5c8dc7bcb0740921fe8819b",
"quote": "From lemma 3.1, it follows that $Z_{r}(K)$ and $B_{r}(K)$ are subgroups of $C_{r}(K)$ . We now prove an important relation between $Z_{r}(K)$ and $B_{r}(K)$ , which is crucial in the definition of homology groups.",
"citation": "From lemma 3.1",
"target_marker": "Lemma 3.1.",
"review_status": "codex-source-reviewed; pending-independent-human-review"
},
{
"id": "dependency-5ab4c184178868d2f11eed23",
"relation": "uses-author-statement",
"from_statement": "statement-ae16e6e7da0a84f365502acf",
"to_statement": "statement-45381cbdd77285069b293927",
"basis": "construction-use",
"quote": "Since $B_r(K)$ is a subgroup of $Z_r(K)$ , $H_r(K)$ is well defined.",
"citation": null,
"target_marker": "From lemma 3.1, it follows that $Z_{r}(K)$ and $B_{r",
"reason": "先确认 Zr、Br 的群资格，再结合定理3.3的包含关系组成商群。该前置结论单独不证明 Br 包含于 Zr。",
"evidence_status": "codex-source-reviewed-candidate",
"review_status": "codex-source-reviewed; pending-independent-human-review"
},
{
"id": "dependency-fd0436467a9a3a8bd6545786",
"relation": "uses-author-statement",
"from_statement": "statement-45381cbdd77285069b293927",
"to_statement": "statement-ac7699973242d9783a9bb1ca",
"basis": "construction-use",
"quote": "From lemma 3.1, it follows that $Z_{r}(K)$ and $B_{r}(K)$ are subgroups of $C_{r}(K)$ . We now prove an important relation between $Z_{r}(K)$ and $B_{r}(K)$ , which is crucial in the definition of homology groups.",
"citation": null,
"target_marker": "Definition 3.3. If $c \\in C_r(K)$ satisfies",
"reason": "引理3.1应用到核时，核正是定义3.3的循环群。",
"evidence_status": "codex-source-reviewed-candidate",
"review_status": "codex-source-reviewed; pending-independent-human-review"
},
{
"id": "dependency-514dec634fe89684d29346b0",
"relation": "uses-author-statement",
"from_statement": "statement-45381cbdd77285069b293927",
"to_statement": "statement-e9cdbaabe0ae1a11cb9cc9b3",
"basis": "construction-use",
"quote": "From lemma 3.1, it follows that $Z_{r}(K)$ and $B_{r}(K)$ are subgroups of $C_{r}(K)$ . We now prove an important relation between $Z_{r}(K)$ and $B_{r}(K)$ , which is crucial in the definition of homology groups.",
"citation": null,
"target_marker": "Definition 3.4. Let $K$ be an $n$ -dimensional simpl",
"reason": "引理3.1应用到像时，像正是定义3.4的边界群。",
"evidence_status": "codex-source-reviewed-candidate",
"review_status": "codex-source-reviewed; pending-independent-human-review"
}
],
"reading_paths": [],
"coverage": {
"registered_positions": 12,
"located_occurrences": 12,
"whole_book_search_complete": false,
"registered_positions_truncated": false,
"independent_human_review_implied": false
},
"unresolved": [],
"base_revision": "e1703f4519d35f423ec6b8e90b3ebc79ad7a0895c79ad76cb717792a5939595e",
"optional_enrichments": [
{
"id": "archived-3e749de6-9d6f-43ea-a6de-ddff7c549a00",
"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": "group-overview-definition",
"text": "群同态保持群乘法：若 $\\varphi:G\\to G^{\\prime}$，则对所有 $a,b\\in G$，有：\n\n$$\n\\varphi (a b) = \\varphi (a) \\varphi (b) \\quad \\text { for all } a, b \\in G.\n$$\n\n",
"evidence_ids": [
"e-fab0b4ac18c41792a29ad6fd"
]
},
{
"id": "group-overview-identities",
"text": "保持乘法的映射也保持单位元和逆元，因此其像形成陪域中的子群。",
"evidence_ids": [
"e-fab0b4ac18c41792a29ad6fd",
"e-1d7b490356b63b5ef993ff26"
]
},
{
"id": "group-overview-representation",
"text": "群表示是以可逆线性变换为陪域的群同态；这要求表示矩阵逐项遵守群元素的乘法关系。",
"evidence_ids": [
"e-24d6fafc67dd6eef4bdad766",
"e-29b9feb9db4a28a079d873a0"
]
}
],
"author_views": [
{
"id": "szekeres-group-homomorphism",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"summary": "作者把群同态写成从群 $G$ 到群 $G^{\\prime}$ 的映射，并用乘法保持条件推出单位元、逆元及像的性质。",
"conditions": "定义域和值域都必须是群，映射保持两边各自的群乘法。",
"notation": "$\\varphi:G\\to G^{\\prime}$；单位元分別记为 $e,e^{\\prime}$。",
"evidence_ids": [
"e-fab0b4ac18c41792a29ad6fd",
"e-1d7b490356b63b5ef993ff26"
]
},
{
"id": "woit-group-homomorphism",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"summary": "作者以群表示说明群同态的具体用法：将 $G$ 映到可逆线性变换群时，矩阵乘积必须等于群乘积的像。",
"conditions": "此书中的例子是表示 $\\pi:G\\to GL(V)$，所以陪域为 $V$ 上的可逆线性映射。",
"notation": "群元素记作 $g_1,g_2$，映射记作 $\\pi$。",
"evidence_ids": [
"e-24d6fafc67dd6eef4bdad766",
"e-29b9feb9db4a28a079d873a0"
]
}
],
"reading_suggestions": [
{
"id": "group-homomorphism-reading-next",
"text": "先读群同态的乘法保持定义，再看单位元、逆元和像的推论；随后读群表示的例子，观察陪域换成可逆线性变换群后的具体形式。",
"target_ids": [
"e-fab0b4ac18c41792a29ad6fd",
"e-1d7b490356b63b5ef993ff26",
"e-24d6fafc67dd6eef4bdad766",
"e-29b9feb9db4a28a079d873a0"
],
"evidence_ids": [
"e-fab0b4ac18c41792a29ad6fd",
"e-24d6fafc67dd6eef4bdad766"
]
}
],
"assessment": {
"composition": "complete",
"key_material": "available",
"critical_gaps": [],
"whole_book_coverage": "not-exhausted"
},
"gaps": [
"已收录材料覆盖定义及表示中的实例；不据此列出群同态理论的全书后续内容。"
]
},
"evidence": {
"e-b005c81326845817caeef4e7": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/07-a-summary",
"anchor": "source-6-3-group-homomorphism",
"statement_id": "statement-0658f87f989c6ebce95d708c",
"label": "woit-qtgr §6.3 en · 群同态 · 已登记discussion",
"quote_sha256": "cd3414c7e7465a1a7bab125484a5b6405af369f8881e13177003159fddc0a105"
},
"e-0a0fc529096cd7e3245c1f44": {
"route": null,
"anchor": "",
"statement_id": "statement-247c80347353b6759a829348",
"label": "Nakahara 第3章 · 定理3.1 的证明",
"quote_sha256": "d2643f2cd2d9003518f39be2164921c40cf05b3c27f1fca4f65330eb6b328799"
},
"e-faf60db23c6f622ca6463a4a": {
"route": null,
"anchor": "",
"statement_id": "statement-247c80347353b6759a829348",
"label": "Nakahara 第3章 · 定理3.1 的证明",
"quote_sha256": "c26ab1f625bd50fe7a5e3728014cbbae3e27cb6759e13d83e72a67533d6ca8b1"
},
"e-1c37c32a91d1448e122a2225": {
"route": null,
"anchor": "",
"statement_id": "statement-247c80347353b6759a829348",
"label": "Nakahara 第3章 · 定理3.1 的证明",
"quote_sha256": "d40706d77d6dd041184cb29c00f7b8e1d1f4857a6a280c2718ca08d05301dd25"
},
"e-cd369640c1229c8f4ff92129": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"anchor": "source-block-5122",
"statement_id": "statement-26b203732944f66dde178309",
"label": "woit-qtgr §5.4 en · 群同态 · 已登记discussion",
"quote_sha256": "5fd5c262e10e915a66632b44ca9fb6ef2f0d6bf84a33e970c8be5904fd507c85"
},
"e-2acb706026a81f342033cb3d": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "32964b0bd48be79f0a4d3c3dae4ce67655ebfa959efb6694b89e635769b6b806"
},
"e-9397e0d6803df1537e00a9a8": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "c83f95310ae1c4f291820596aa2c3a49ff764ea20e4208ebb7e0dc8a8e1ab9c1"
},
"e-2af94e814447f8f4c89e443e": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "7dce42fc270952ff08e6355c494fd808b4b714d839c928fbdf71a36d0a14e62d"
},
"e-1600e3fa8374083ee299ad3b": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "3f33579e707c5e4527d1594f8d1f1dff3f28513750ab198b6d9409f2003e2f6b"
},
"e-8225b9fca17209215c48f88c": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "46e36b049103b4a76802d504330dffe313255a9eb2bed79e77eac0526d25ecec"
},
"e-659241e99f1468dfccbcc2ec": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "5036c8f2ead7a245abbd081cfbc45244cf0ca4ba08e800746d1ab93b8aec5dbd"
},
"e-0926cb7b36516f6d2960001b": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "d896027f1fd1c1076e858fb3f41301a7e25f15e633159dbe466e21503d23aa4b"
},
"e-843b0a29b298f3d880cb1d80": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "7fa68daba52cae15f5f0aa9979cccc2dab7d77bf3285f37d6f5cab7c6b261b1f"
},
"e-9e250ac686dba6ca2cd83cd7": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "119a3619b4552f617419f8cdd2af7fba257be1ede8c890d1885901b4be20897e"
},
"e-4916bf3dccc94c58e2de2f74": {
"route": null,
"anchor": "",
"statement_id": "statement-27db493e412102426ffd26d7",
"label": "Nakahara 第3章 · 边界同态：式(3.20)–(3.22)",
"quote_sha256": "9e0279b576f833352604a64972fe47987f2c463f4813d48e2e23d517576e589c"
},
"e-70383eef9d958a377d23570c": {
"route": null,
"anchor": "",
"statement_id": "statement-45381cbdd77285069b293927",
"label": "Nakahara 第3章 · 循环群和边界群的子群资格",
"quote_sha256": "199589346fa789422c82ee9115fe4650e0869fd29968a40c2eb2802c86791c1e"
},
"e-29b9feb9db4a28a079d873a0": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"anchor": "source-block-1088",
"statement_id": "statement-5b23b995e1f8f3a99dd99797",
"label": "woit-qtgr §1.3 en · 群同态 · 已登记discussion",
"quote_sha256": "3fbb607afa75321e21018c113f6f9beaf63a101396c5d2de3c13d699da4d07f7"
},
"e-f1f8c1d8e38510b468ea1f9f": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/07-a-summary",
"anchor": "source-6-3-group-homomorphism",
"statement_id": "statement-5f41fa4ee90442e0adaba3ba",
"label": "woit-qtgr §6.3 zh-CN · 群同态 · 已登记discussion",
"quote_sha256": "bf0dd5e1e099f43be14fa4a7e6f737329aeed28982aa0566501cdf7724edb508"
},
"e-b5621ffc0e5fafd8d0a0241a": {
"route": null,
"anchor": "",
"statement_id": "statement-92e83b374aa62f3e49a5f5d2",
"label": "Nakahara 第3章 · §3.1.1 同态 (3.1)",
"quote_sha256": "7411febca5e315ed29350c8f1f2b5448a3c25c7f31df93ea74ff4fd835547fac"
},
"e-b3802029edeca0fa8b2a26ea": {
"route": null,
"anchor": "",
"statement_id": "statement-92e83b374aa62f3e49a5f5d2",
"label": "Nakahara 第3章 · §3.1.1 同态 (3.1)",
"quote_sha256": "36a640aceddd470c25d15ce9dbb37166ada6b2d036b7eb23afd837b3a7f8a5c9"
},
"e-44f71077fd3358a58c596079": {
"route": null,
"anchor": "",
"statement_id": "statement-92e83b374aa62f3e49a5f5d2",
"label": "Nakahara 第3章 · §3.1.1 同态 (3.1)",
"quote_sha256": "8699fd01d27819b3e3166c1125eea2652e79dd654fe935944dd250a55a53a572"
},
"e-d0b8aaaef85c87c196def54f": {
"route": null,
"anchor": "",
"statement_id": "statement-939ae02b5db068f63909cb90",
"label": "Nakahara 第3章 · §3.1 阿贝尔群约定",
"quote_sha256": "f5fa5c34edc135fd7b2cae95f01e1ccac18755b19a7c67db6abe17d9505949fd"
},
"e-075f6ff04b5f1712b419a0f6": {
"route": null,
"anchor": "",
"statement_id": "statement-a6ea5696ed85e50e73dbbcb4",
"label": "Nakahara 第3章 · 例3.2 对定理3.1的应用",
"quote_sha256": "ffe1d4f7c1230da3f13d088f771712fa6cf970bb45d42864a192ca419925e1c2"
},
"e-56d62b8d54dd5118aa58a100": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "5404c9aae3678a1f066deac9ab078b10e0461c3ff01a0407636b3d1440ea4f2a"
},
"e-d537ce9b53d3117fbc98ce13": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "b66ce0e93950ceaec478d90895175068521f1f4de9ac11bfc8789b00cf4492b2"
},
"e-346e40ea9f86d9bfe6f6fd95": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "2f7ade4b5d7e59c12bf1b8afcb4c6ae3df6ec03c529064be89b1a150ba8e447c"
},
"e-c1dab9bcbd638ef23011a4a6": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "7f70a9cf2ed2fef7cacfc83e1cfb4407910d3762f217b697258d9c0c2ea5bcca"
},
"e-2e95d374dff8bef676e5299e": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "e03232f33666aadf99224988c9e1f8df2e8b6e6f3b55451fe56670cea34e68c1"
},
"e-3aa8c5ec7df1e1c1e5b21be9": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "08ecf6e43a577427837643de1e9079ba70e09ed1e09250827e483805663a8191"
},
"e-8fb3fe4707941f09d1fc0dd8": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "bf5fec635f8e8cd452133cda486866a84c1bf86dfdff315512dcaa3b52873e02"
},
"e-b97871049553db1fe2cbe960": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "bdd6eb88963bbc1a4aa553a1049c095edb924be854482d51c892f327c4c43ba3"
},
"e-dc41ebbe3f6c6bf92ac89286": {
"route": null,
"anchor": "",
"statement_id": "statement-a9109552ffd06f4f8a886bfa",
"label": "Nakahara 第3章 · 定义3.2：整数系数链群",
"quote_sha256": "afd90773f781b23ce36f0f3e491aa7bbd49ac79c5a68171c7aebb2e0ccb9dc82"
},
"e-5a59ea9fe1a59122c7d15fe4": {
"route": null,
"anchor": "",
"statement_id": "statement-ac7699973242d9783a9bb1ca",
"label": "Nakahara 第3章 · 定义3.3：循环群是边界同态的核",
"quote_sha256": "201e576e3c395ea35029cbdf439f35950e890836d3170e15f26e209a06b5f947"
},
"e-4420082f1adbca5d4b647067": {
"route": null,
"anchor": "",
"statement_id": "statement-ac7699973242d9783a9bb1ca",
"label": "Nakahara 第3章 · 定义3.3：循环群是边界同态的核",
"quote_sha256": "70ce39cd40fafe9d86e9b9f8f7cd794ff0d6e287199680de5e694f9cecf327c6"
},
"e-72fb22785d185a9e387909c2": {
"route": null,
"anchor": "",
"statement_id": "statement-ac7699973242d9783a9bb1ca",
"label": "Nakahara 第3章 · 定义3.3：循环群是边界同态的核",
"quote_sha256": "c11be44f162952cebf1997dbf47f96c70c5358b7e7e21444c4d024e05c2705ee"
},
"e-3b5662fa7ab5fac57bd64db3": {
"route": "en/chapter-02/04-homomorphisms-and-isomorphisms",
"anchor": "concept-2-group-homomorphism",
"statement_id": "statement-c6bafebf0ad6679df4c24f3b",
"label": "szekeres §2.4 en · 群同态 · 已登记definition",
"quote_sha256": "f3b3ac3d3d751bbe58b0b2022f4e2c023122f6253f36561caf82b13032e6376d"
},
"e-aef80a1fd01b8fede876f7d7": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"anchor": "source-block-5122",
"statement_id": "statement-ce170de0ac0c18e5e2e65a51",
"label": "woit-qtgr §5.4 zh-CN · 群同态 · 已登记discussion",
"quote_sha256": "a7f392905d14877a61c040b545c7ae5949204d5647def12b9015040d930e82e7"
},
"e-480d2cbc30671db926ce83e1": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-07/01-the-spinor-representation",
"anchor": "source-7-1-group-homomorphism",
"statement_id": "statement-e2fe9b90efab5a771c69d6af",
"label": "woit-qtgr §7.1 en · 群同态 · 已登记discussion",
"quote_sha256": "7e81bf3d4b75656767a6b454e5392a0738c3786a2bc29af2ed5f9744be048a6f"
},
"e-e267d51a5ce63dc02f8b10c3": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-01/03-unitary-group-representations",
"anchor": "source-block-1088",
"statement_id": "statement-e30fa3a2b452f6f2a6609d65",
"label": "woit-qtgr §1.3 zh-CN · 群同态 · 已登记discussion",
"quote_sha256": "e3ba42f0a656c7d826ff5404c139f6b0d1fbbc9efbc2e60a1fa8e1c2ae72777f"
},
"e-1e07635ab9d0f2c37221cdd4": {
"route": "zh/chapter-02/04-homomorphisms-and-isomorphisms",
"anchor": "concept-2-group-homomorphism",
"statement_id": "statement-e590d5399bd1b60ba6f55f8e",
"label": "szekeres §2.4 zh-CN · 群同态 · 已登记definition",
"quote_sha256": "92f9b08809fb6a785e06c83c57f7393a5bfcf691466d1153e0b806fcb698c278"
},
"e-c3c9770eb02909ec68d73a15": {
"route": null,
"anchor": "",
"statement_id": "statement-e869612c780673e20ea93f5c",
"label": "Nakahara 第3章 · 定理3.1 同态基本定理",
"quote_sha256": "702e90ee1edaa248f31825664099ef84cb324d8fbfb58e79d8bf763c9f21cc47"
},
"e-0bf92330ad1f8c5f9a4234b5": {
"route": null,
"anchor": "",
"statement_id": "statement-e869612c780673e20ea93f5c",
"label": "Nakahara 第3章 · 定理3.1 同态基本定理",
"quote_sha256": "9efb4ecd25d38aafedd1bc8060a2ca976609f39dfd281b027a67070e43e13fbf"
},
"e-b5e214bb09f5ea6f9cf9bd24": {
"route": null,
"anchor": "",
"statement_id": "statement-e9cdbaabe0ae1a11cb9cc9b3",
"label": "Nakahara 第3章 · 定义3.4：边界群是前一边界同态的像",
"quote_sha256": "3f42a112eeb27ec3dffb363fd73d6cf6dd643eb6657527d02199662cb35d6b8c"
},
"e-03cd2d79b76a8979cbb31707": {
"route": null,
"anchor": "",
"statement_id": "statement-e9cdbaabe0ae1a11cb9cc9b3",
"label": "Nakahara 第3章 · 定义3.4：边界群是前一边界同态的像",
"quote_sha256": "1c6103f6fc9eafcc9a9a280f3a4f0cbccc30dd97020b4507540dccf083a6b2b6"
},
"e-3071c74ed231a3051d3b9ae2": {
"route": null,
"anchor": "",
"statement_id": "statement-e9cdbaabe0ae1a11cb9cc9b3",
"label": "Nakahara 第3章 · 定义3.4：边界群是前一边界同态的像",
"quote_sha256": "469c177f129631e9ac63dc63f18db8f8ac7571eb6b54a48be7432c1877ed4ba3"
},
"e-c4f8538aea4467695be46718": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-07/01-the-spinor-representation",
"anchor": "source-7-1-group-homomorphism",
"statement_id": "statement-ee6c49fd6348674b576a9b92",
"label": "woit-qtgr §7.1 zh-CN · 群同态 · 已登记discussion",
"quote_sha256": "7d1685a9ab5544806006d157aa44cea6cc1ac30cc2110f3642d2311f935cfd7a"
},
"e-779091d733fe3041c73c1945": {
"route": null,
"anchor": "",
"statement_id": "statement-f5c8dc7bcb0740921fe8819b",
"label": "Nakahara 第3章 · 引理3.1 核与像为子群",
"quote_sha256": "8e6fcf1b3c143160aa980cda48a12793e05fb10deb8895f3ee75808e2821af99"
},
"e-c13c7416ccd6f8919eecc816": {
"route": null,
"anchor": "",
"statement_id": "statement-f5c8dc7bcb0740921fe8819b",
"label": "Nakahara 第3章 · 引理3.1 核与像为子群",
"quote_sha256": "b2d87c3f9372f23f0b47a8636369c5557478ef693ef2960836ff668161c07e87"
},
"e-1d7b490356b63b5ef993ff26": {
"route": "zh/chapter-02/04-homomorphisms-and-isomorphisms",
"anchor": "",
"statement_id": null,
"label": "Szekeres · §2.4",
"quote_sha256": "9e8fd89f8639032ceda64113e3af5ecc3031b6fa49eb3b61d5c6eda7f2755163"
},
"e-fab0b4ac18c41792a29ad6fd": {
"route": "en/chapter-02/04-homomorphisms-and-isomorphisms",
"anchor": "",
"statement_id": null,
"label": "Szekeres · §2.4",
"quote_sha256": "65dc17a7487ffbeb803150d38deac79508686bf0aab0483505e34099a08394f2"
},
"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-4cbb4c62bf713e91fb4efd5c": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-05/04-lie-algebra-representations",
"anchor": "",
"statement_id": null,
"label": "Woit · §5.4",
"quote_sha256": "6ee6e24de0fad8e9a006bb049d7997b666549b64c657232fee196063272bbf27"
},
"e-0c1d90e6f9fb6f882bef133a": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-05/04-lie-algebra-representations",
"anchor": "",
"statement_id": null,
"label": "Woit · §5.4",
"quote_sha256": "e7f5af95c346c08b7fb176359fda39758c5bfec4d5b8a4e605ce4569e35c43c5"
},
"e-e7485633b988478744f91654": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-06/07-a-summary",
"anchor": "",
"statement_id": null,
"label": "Woit · §6.3",
"quote_sha256": "9fb6783a4ec48e462931f13166cfcbfbeb311d89f4005a9512a3976acb30068c"
},
"e-37fa055c2bd067ab57f8460d": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-06/07-a-summary",
"anchor": "",
"statement_id": null,
"label": "Woit · §6.3",
"quote_sha256": "b239b1c381bf3478ce41c8716c75733faaf74bff229992be344746cc49fe7125"
},
"e-52fc2ba64818846fb62fd14e": {
"route": "books/woit-qtgr/2025-10-20/zh/chapter-07/01-the-spinor-representation",
"anchor": "",
"statement_id": null,
"label": "Woit · §7.1",
"quote_sha256": "f40b0e495e7659d63dd8ecd2264ad0188e22190242707d5b59d4f829df89fede"
},
"e-64b104ca274016ff2d24ed7f": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-07/01-the-spinor-representation",
"anchor": "",
"statement_id": null,
"label": "Woit · §7.1",
"quote_sha256": "9b4ef8dc8ddc42a11341d99d11b3d21950ed2dfed48b97b2745a91173ad8ce07"
},
"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"
}
},
"candidate_dependencies": [],
"input_sha256": "afab5787752e1117ae93d47be6a9103eea07152da71ee1c4542d5be405d286bf",
"archive_sha256": "354bb719ca9ebd859b44acb9547a265c627bc7433c5169f0f05b67e8ef2fbdd4"
}
]
}