{ "schema_version": 1, "kind": "ConceptView", "producer": "concept-view-1", "concept_id": "urn:uuid:dbf8f503-ae98-47ba-af2c-59f26dab3447", "labels": { "zh-CN": "第一同构定理", "en": "First isomorphism theorem" }, "alternative_labels": [], "scope_note": "", "identity_status": "active", "identity_revision": "46698bb11342bfe308a3bbe78acb5c2c6eb1987e2439e6d1df83b8647b451aba", "occurrences": [ { "concept_id": "urn:uuid:dbf8f503-ae98-47ba-af2c-59f26dab3447", "book_id": "szekeres", "edition_id": "source-snapshot-bc3404156f6e", "lang": "zh-CN", "route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "anchor": "first-e1621ec9c46a4701ed44-zh", "chapter": "2", "section": "2.5", "offset": 6894, "range": [ 11616, 13246 ], "source_revision": "fee321b0500c365016e4a1e97ab854a0117b68f310294f13cc853414839be4d8", "source_category": "translation", "review_status": "unreviewed", "role": "theorem", "role_basis": { "kind": "registered-source-environment", "registered_position": { "route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "lang": "zh-CN", "section": "2.5", "signal": "named-theorem", "label": "第一同构定理", "english": "First isomorphism theorem", "offset": 5746 } }, "label": "> [!theorem] 定理 2.5 · 第一同构定理 (First isomorphism theorem)", "context": { "range": [ 11616, 13246 ], "quote": null, "quote_sha256": "64d56914a89d358fadfdd530717cd95fc7e4819b7cdc5c5bbfe73a60f7e2c47d", "environment": "theorem", "excerpt_omitted": true }, "parallel_readings": [ { "route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "lang": "en", "source_category": "original_transcription", "basis": "registered-book-edition-section-language-context; not-concept-equivalence" } ], "id": "occ-b376c86132011461d6a5f7cc" }, { "concept_id": "urn:uuid:dbf8f503-ae98-47ba-af2c-59f26dab3447", "book_id": "szekeres", "edition_id": "source-snapshot-bc3404156f6e", "lang": "en", "route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "anchor": "first-e1621ec9c46a4701ed44-en", "chapter": "2", "section": "2.5", "offset": 8717, "range": [ 12930, 14965 ], "source_revision": "191e5ffe797661d4803bff76ea0bc213b1dcc7deb24b6a955143f84053aa53ee", "source_category": "original_transcription", "review_status": "unreviewed", "role": "theorem", "role_basis": { "kind": "registered-source-environment", "registered_position": { "route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "lang": "en", "section": "2.5", "signal": "named-theorem", "label": "First isomorphism theorem", "english": "First isomorphism theorem", "offset": 8505 } }, "label": "> [!theorem] Theorem 2.5 · First isomorphism theorem", "context": { "range": [ 12930, 14965 ], "quote": null, "quote_sha256": "c6fed4538a4ef847cc2bbf20a18de7930eed0c72e054cd223ad9b84a17368f21", "environment": "theorem", "excerpt_omitted": true }, "parallel_readings": [ { "route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "lang": "zh-CN", "source_category": "translation", "basis": "registered-book-edition-section-language-context; not-concept-equivalence" } ], "id": "occ-283ca3a14f85986b92532aa4" } ], "registered_positions": [ { "route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "lang": "en", "section": "2.5", "signal": "named-theorem", "label": "First isomorphism theorem", "english": "First isomorphism theorem", "offset": 8505 }, { "route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "lang": "zh-CN", "section": "2.5", "signal": "named-theorem", "label": "第一同构定理", "english": "First isomorphism theorem", "offset": 5746 } ], "statements": [], "resolved_references": [ { "raw": "href=\"#theorem-2-5\"", "href": "#theorem-2-5", "range": [ 11659, 11678 ], "relation": "references", "target_route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "target_anchor": "theorem-2-5", "resolved": true, "reason": null, "source_revision": "fee321b0500c365016e4a1e97ab854a0117b68f310294f13cc853414839be4d8", "source_route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "occurrence_id": "occ-b376c86132011461d6a5f7cc" }, { "raw": "href=\"04-homomorphisms-and-isomorphisms#equation-2-13\"", "href": "04-homomorphisms-and-isomorphisms#equation-2-13", "range": [ 11905, 11959 ], "relation": "references", "target_route": "zh/chapter-02/04-homomorphisms-and-isomorphisms", "target_anchor": "equation-2-13", "resolved": true, "reason": null, "source_revision": "fee321b0500c365016e4a1e97ab854a0117b68f310294f13cc853414839be4d8", "source_route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "occurrence_id": "occ-b376c86132011461d6a5f7cc" }, { "raw": "href=\"#theorem-2-5\"", "href": "#theorem-2-5", "range": [ 12973, 12992 ], "relation": "references", "target_route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "target_anchor": "theorem-2-5", "resolved": true, "reason": null, "source_revision": "191e5ffe797661d4803bff76ea0bc213b1dcc7deb24b6a955143f84053aa53ee", "source_route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "occurrence_id": "occ-283ca3a14f85986b92532aa4" }, { "raw": "href=\"04-homomorphisms-and-isomorphisms#equation-2-13\"", "href": "04-homomorphisms-and-isomorphisms#equation-2-13", "range": [ 13420, 13474 ], "relation": "references", "target_route": "en/chapter-02/04-homomorphisms-and-isomorphisms", "target_anchor": "equation-2-13", "resolved": true, "reason": null, "source_revision": "191e5ffe797661d4803bff76ea0bc213b1dcc7deb24b6a955143f84053aa53ee", "source_route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "occurrence_id": "occ-283ca3a14f85986b92532aa4" } ], "reading_order": [ "occ-b376c86132011461d6a5f7cc", "occ-283ca3a14f85986b92532aa4" ], "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": "fa3414455a8adf98ff6ab9cafb524842afb165fcae8196284ddf515392353eaa", "optional_enrichments": [ { "id": "archived-dbf8f503-ae98-47ba-af2c-59f26dab3447", "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": "overview-1", "text": "本节的定理 2.5 给出两件事：正规子群 $N$ 可作为到商群 $G/N$ 的同态像的来源；任一群同态 $\\varphi:G\\to G^{\\prime}$ 的商群 $G/\\ker(\\varphi)$ 与其像同构：\n\n$$\n\\operatorname{im} (\\varphi) \\cong G / \\ker (\\varphi).\n$$\n\n", "evidence_ids": [ "e-95c656b3025f5aea8fa79531" ] }, { "id": "overview-2", "text": "证明先说明 $\\varphi$ 在每个核陪集上取值相同，因此可由陪集定义映射 $\\psi(gK)=\\varphi(g)$；再验证它是同态、一对一且满射到像。", "evidence_ids": [ "e-95c656b3025f5aea8fa79531" ] } ], "author_views": [ { "id": "author-szekeres", "book_id": "szekeres", "edition_id": "source-snapshot-bc3404156f6e", "summary": "在 Szekeres 第 2.5 节，定理把正规子群与商群构造联系起来，并把一般同态的商群与其像联系起来。证明使用核 $K=\\ker(\\varphi)$，从陪集 $gK$ 上的恒定取值构造诱导映射。", "conditions": "第一部分假设 $N$ 是群 $G$ 的正规子群；第二部分假设 $\\varphi:G\\to G^{\\prime}$ 是群同态，结论是 $G/\\ker(\\varphi)$ 与 $\\operatorname{im}(\\varphi)$ 同构。", "notation": "$G$、$G^{\\prime}$ 为群；$N$ 为正规子群；$\\ker(\\varphi)$ 为核；$\\operatorname{im}(\\varphi)$ 为像。", "evidence_ids": [ "e-95c656b3025f5aea8fa79531" ] } ], "reading_suggestions": [ { "id": "read-szekeres", "text": "可按本节顺序先读核为何为正规子群，再读定理 2.5 与其证明：陪集上的恒定取值导出 $\\psi(gK)=\\varphi(g)$。", "target_ids": [ "e-95c656b3025f5aea8fa79531" ], "evidence_ids": [ "e-95c656b3025f5aea8fa79531" ] } ], "assessment": { "composition": "complete", "key_material": "available", "critical_gaps": [], "whole_book_coverage": "not-exhausted" }, "gaps": [ "当前登记的来源摘录尚未经过人工复核；本页只说明这些摘录明确支持的内容。", "已收录的章节范围未穷尽全书，其他章节中的用法仍待查。" ] }, "evidence": { "e-4b7cc0a7b6cd7d51a9a30d19": { "route": "zh/chapter-02/05-normal-subgroups-and-factor-groups", "anchor": "", "statement_id": null, "label": "Szekeres · §2.5", "quote_sha256": "28987d16e1f0e8ab87c94a74c20a6c8f315b0485b44749e056b75adc0ad84f99" }, "e-95c656b3025f5aea8fa79531": { "route": "en/chapter-02/05-normal-subgroups-and-factor-groups", "anchor": "", "statement_id": null, "label": "Szekeres · §2.5", "quote_sha256": "d109d60b278df15c418145e11475b2fa0406009fd7e4437ca3f0cb69f6519bd5" } }, "candidate_dependencies": [], "input_sha256": "a5eaed3acbaf61394cb04dfd8cddd8c1ccee4f9d31a81554126fc3e9dfa33feb", "archive_sha256": "deabe1a13b68c98f26fcd073251760b184c1b88e71d41cca36dd04a71219fd68" } ] }