{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:be2d8436-d3dc-4871-a029-122366c0f690",
"labels": {
"zh-CN": "群在集合上的作用",
"en": "Group action on a set"
},
"alternative_labels": [
{
"lang": "en",
"value": "group action on a set"
}
],
"scope_note": "",
"identity_status": "active",
"identity_revision": "19477c0bbd426d2574a18eadcb42cfd3532e476a9a717173adb33afdf7c084d2",
"occurrences": [
{
"concept_id": "urn:uuid:be2d8436-d3dc-4871-a029-122366c0f690",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"anchor": "first-5dc3c5d27aaa22db3338-en",
"chapter": "1",
"section": "1.3",
"offset": 4119,
"range": [
14231,
15559
],
"source_revision": "506df09dbe35a6204e5ffc4f72fff297ea3b962779b5791e5317ce0bbed736cb",
"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-01/03-unitary-group-representations",
"lang": "en",
"section": "1.3",
"signal": "named-definition",
"label": "Group action on a set",
"english": "Group action on a set",
"offset": 3822
}
},
"label": "> [!definition] Definition · Group action on a set",
"context": {
"range": [
14231,
15559
],
"quote": "\n\n> [!definition] Definition · Group action on a set\n> \n>\n> Definition (Group action on a set). An action of a group $G$ on a set $M$ is given by a map\n>\n> \n>\n> $$\n> (g, x) \\in G \\times M \\to g \\cdot x \\in M\n> $$\n>\n> \n>\n> that takes a pair $( g , x )$ of a group element $g \\in G$ and an element $x \\in M$ to another element $g \\cdot x \\in M$ such that\n>\n> \n>\n> \n>\n> $$\n> g _ {1} \\cdot (g _ {2} \\cdot x) = (g _ {1} g _ {2}) \\cdot x\\tag{1.2}\n> $$\n>\n> \n>\n> and\n>\n> \n>\n> $$\n> e \\cdot x = x\n> $$\n>\n> \n>\n> where $e$ is the identity element of $G$\n",
"quote_sha256": "4707c746eeb30150e6eb1dda10a2786db645c0b17a59f35ad36d69ac84fe3d69",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-01/03-unitary-group-representations",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-d1803d855a2a23e7ad01f253"
},
{
"concept_id": "urn:uuid:be2d8436-d3dc-4871-a029-122366c0f690",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"anchor": "concept-1-group-action-on-a-set",
"chapter": "1",
"section": "1.3",
"offset": 4342,
"range": [
14454,
14709
],
"source_revision": "506df09dbe35a6204e5ffc4f72fff297ea3b962779b5791e5317ce0bbed736cb",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "Group action on a set",
"context": {
"range": [
14231,
15559
],
"quote": "\n\n> [!definition] Definition · Group action on a set\n> \n>\n> Definition (Group action on a set). An action of a group $G$ on a set $M$ is given by a map\n>\n> \n>\n> $$\n> (g, x) \\in G \\times M \\to g \\cdot x \\in M\n> $$\n>\n> \n>\n> that takes a pair $( g , x )$ of a group element $g \\in G$ and an element $x \\in M$ to another element $g \\cdot x \\in M$ such that\n>\n> \n>\n> \n>\n> $$\n> g _ {1} \\cdot (g _ {2} \\cdot x) = (g _ {1} g _ {2}) \\cdot x\\tag{1.2}\n> $$\n>\n> \n>\n> and\n>\n> \n>\n> $$\n> e \\cdot x = x\n> $$\n>\n> \n>\n> where $e$ is the identity element of $G$\n",
"quote_sha256": "4707c746eeb30150e6eb1dda10a2786db645c0b17a59f35ad36d69ac84fe3d69",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-01/03-unitary-group-representations",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-6cb5e20016eb35f7ccef5710"
},
{
"concept_id": "urn:uuid:be2d8436-d3dc-4871-a029-122366c0f690",
"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-5dc3c5d27aaa22db3338-zh",
"chapter": "1",
"section": "1.3",
"offset": 6041,
"range": [
17585,
17885
],
"source_revision": "4ee587fc4d72d2916ca8f6bce8080ecd42e2ae3d45d92d067027a95982f00008",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "群在集合上的作用(group action on a set)",
"context": {
"range": [
17462,
19026
],
"quote": "\n> [!definition] 定义 · 群在集合上的作用(group action on a set)\n> \n>\n> 定义（群在集合上的作用）。群 $G$ 在集合 $M$ 上的作用由一个映射给出\n>\n> \n>\n> $$\n> (g, x) \\in G \\times M \\to g \\cdot x \\in M\n> $$\n>\n> \n>\n> 将一个有序对(ordered pair) $(g,x)$（其中 $g\\in G$ 是群元素，$x\\in M$ 是集合元素）映为另一个元素 $g\\cdot x\\in M$，使得\n>\n> \n>\n> \n>\n> $$\n> g _ {1} \\cdot (g _ {2} \\cdot x) = (g _ {1} g _ {2}) \\cdot x\\tag{1.2}\n> $$\n>\n> \n>\n> 和\n>\n> \n>\n> $$\n> e \\cdot x = x\n> $$\n>\n> \n>\n> 其中 $e$ 是 $G$ 的恒等元\n",
"quote_sha256": "978f31fc550dd87b0734b2c41f314140bfb5673d236de1fa77e4a4c2e3c8e2db",
"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-a19d9164328cdd37aa59fc86"
}
],
"registered_positions": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"lang": "en",
"section": "1.3",
"signal": "named-definition",
"label": "Group action on a set",
"english": "Group action on a set",
"offset": 3822
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-01/03-unitary-group-representations",
"lang": "en",
"section": "1.3",
"signal": "term-mark",
"label": "Group action on a set",
"english": "Group action on a set",
"offset": 4044
},
{
"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 action on a set",
"offset": 3514
}
],
"statements": [],
"resolved_references": [],
"reading_order": [
"occ-d1803d855a2a23e7ad01f253",
"occ-6cb5e20016eb35f7ccef5710",
"occ-a19d9164328cdd37aa59fc86"
],
"recorded_dependencies": [],
"reading_paths": [],
"coverage": {
"registered_positions": 3,
"located_occurrences": 3,
"whole_book_search_complete": false,
"registered_positions_truncated": false,
"independent_human_review_implied": false
},
"unresolved": [],
"base_revision": "5787a8122fe5ba1bdb2ac493e5b2672b24bb2a8faac1fdecd4bd650ed1f1db6b",
"optional_enrichments": []
}