{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:f0104c54-899b-429c-808b-f923ff1a7f81",
"labels": {
"zh-CN": "李子群",
"en": "Lie subgroup"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "c8a9174301839b6c8231413eb13a62eb33129dc109ad48aad8a64c83938493fc",
"occurrences": [
{
"concept_id": "urn:uuid:f0104c54-899b-429c-808b-f923ff1a7f81",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-19/03-lie-subgroups",
"anchor": "first-15e2e825d739e6fbadb8-en",
"chapter": "19",
"section": "19.3",
"offset": 333,
"range": [
4556,
4787
],
"source_revision": "2f032245c9f12c9025411eb618055771e850f9b439b20768a9bd1a8a14520399",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "Lie subgroup",
"context": {
"range": [
4554,
5830
],
"quote": "A Lie subgroup $H$ of a Lie group $G$ is a subgroup that is a Lie group, and such that the natural injection map $i : H \\to G$ defined by $i ( g ) = g$ makes it into an embedded submanifold of $G$. It is called a closed subgroup if in addition $H$ is a closed subset of $G$. In this case the embedding is regular and its topology is that induced by the topology of $G$ (see Example 15.12). The injection $i$ induces a Lie algebra homomorphism $i _ { * } : { \\mathcal { H } } \\to ( G )$ , which is clearly an isomorphism of $\\mathcal{H}$ with a Lie subalgebra of $\\mathcal{G}$. We may therefore regard the Lie algebra of the Lie subgroup as being a Lie subalgebra of $\\mathcal{G}$.",
"quote_sha256": "c50b876f43348f062b343f1fabaa301422cd282a8fd08f3ed7159c09695cc978",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "zh/chapter-19/03-lie-subgroups",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-a94ec0dd1a6ed210a1c0cbb9"
},
{
"concept_id": "urn:uuid:f0104c54-899b-429c-808b-f923ff1a7f81",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-19/03-lie-subgroups",
"anchor": "concept-19-lie-subgroup",
"chapter": "19",
"section": "19.3",
"offset": 340,
"range": [
5069,
5299
],
"source_revision": "9eba7646d656cc81248004a9939877c26696aea87c347e90bd7234abe7b865f5",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "李子群(Lie subgroup)",
"context": {
"range": [
5060,
5984
],
"quote": "李群 $G$ 的 李子群(Lie subgroup) $H$ 是一个子群，它本身是李群，并且使得由 $i ( g ) = g$ 定义的自然单射 $i : H \\to G$ 将其变为 $G$ 的嵌入子流形。如果此外 $H$ 是 $G$ 的闭子集，则称其为 闭子群(closed subgroup)。在这种情况下，嵌入是正则的，其拓扑是由 $G$ 的拓扑诱导的拓扑（见例 15.12）。单射 $i$ 诱导出李代数同态 $i _ { * } : { \\mathcal { H } } \\to ( G )$，它显然是 $\\mathcal{H}$ 与 $\\mathcal{G}$ 的一个李子代数的同构。因此，我们可以把该李子群的李代数视为 $\\mathcal{G}$ 的一个李子代数。",
"quote_sha256": "e4e410e4332e5ea957c73edac57171da68c39e681a397391409c7bd3d62d2b1c",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "en/chapter-19/03-lie-subgroups",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-f073468d54c7b3bf32eb6da4"
}
],
"registered_positions": [
{
"route": "en/chapter-19/03-lie-subgroups",
"lang": "en",
"section": "19.3",
"signal": "term-mark",
"label": "Lie subgroup",
"english": "Lie subgroup",
"offset": 333
},
{
"route": "zh/chapter-19/03-lie-subgroups",
"lang": "zh-CN",
"section": "19.3",
"signal": "term-mark",
"label": "李子群",
"english": "Lie subgroup",
"offset": 340
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"../chapter-15/04-tangent-map-and-submanifolds#example-15-12\"",
"href": "../chapter-15/04-tangent-map-and-submanifolds#example-15-12",
"range": [
5369,
5435
],
"relation": "references",
"target_route": "en/chapter-15/04-tangent-map-and-submanifolds",
"target_anchor": "example-15-12",
"resolved": true,
"reason": null,
"source_revision": "2f032245c9f12c9025411eb618055771e850f9b439b20768a9bd1a8a14520399",
"source_route": "en/chapter-19/03-lie-subgroups",
"occurrence_id": "occ-a94ec0dd1a6ed210a1c0cbb9"
},
{
"raw": "href=\"../chapter-15/04-tangent-map-and-submanifolds#example-15-12\"",
"href": "../chapter-15/04-tangent-map-and-submanifolds#example-15-12",
"range": [
5674,
5740
],
"relation": "references",
"target_route": "zh/chapter-15/04-tangent-map-and-submanifolds",
"target_anchor": "example-15-12",
"resolved": true,
"reason": null,
"source_revision": "9eba7646d656cc81248004a9939877c26696aea87c347e90bd7234abe7b865f5",
"source_route": "zh/chapter-19/03-lie-subgroups",
"occurrence_id": "occ-f073468d54c7b3bf32eb6da4"
}
],
"reading_order": [
"occ-a94ec0dd1a6ed210a1c0cbb9",
"occ-f073468d54c7b3bf32eb6da4"
],
"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": "27cb552b35f98dde08a9955b29006ee03201a9563ee12edad523f9fcd42a47cb",
"optional_enrichments": []
}