{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:4ed166c8-a90c-4c52-9bd7-db726835b380",
  "labels": {
    "zh-CN": "离散群",
    "en": "discrete group"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "f06a08c713fd6ab6b8742ebba26959fecdee563ff68245c8482ec241a98f9552",
  "occurrences": [
    {
      "concept_id": "urn:uuid:4ed166c8-a90c-4c52-9bd7-db726835b380",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-10/08-topological-groups",
      "anchor": "first-ab1d9acc2a37ba9ec0cf-zh",
      "chapter": "10",
      "section": "10.8",
      "offset": 781,
      "range": [
        5117,
        5355
      ],
      "source_revision": "40e39c23ad4632d9a97f04f151312b72ae74facf203e5c4311357aeafe0559dc",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "离散群(discrete group)",
      "context": {
        "range": [
          4749,
          5356
        ],
        "quote": "一个 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:278b7ab5-c1c7-44b6-9b34-05f394a2a1cb\" data-concept-route=\"/concept-identities#concept-278b7ab5-c1c7-44b6-9b34-05f394a2a1cb\" id=\"first-2569f1230c5d961fe4f0-zh\">拓扑群(topological group)</u> 是集合 $G$，它既是一个群，又是一个豪斯多夫拓扑空间，使得由 $\\psi ( g , h ) = g h ^ { - 1 }$ 定义的映射 $\\psi : G \\times G \\to G$ 连续。若底层的拓扑是离散的，则拓扑群 $G$ 称为 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:4ed166c8-a90c-4c52-9bd7-db726835b380\" data-concept-route=\"/concept-identities#concept-4ed166c8-a90c-4c52-9bd7-db726835b380\" id=\"first-ab1d9acc2a37ba9ec0cf-zh\">离散群(discrete group)</u>。",
        "quote_sha256": "a322dc94afd3739c8171731d1de8c254f87cf38ff779df5a9d3a809ff4fa2a0f",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-10/08-topological-groups",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-a9a0ad974f41797cdc1c3ade"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-10/08-topological-groups",
      "lang": "zh-CN",
      "section": "10.8",
      "signal": "term-mark",
      "label": "离散群",
      "english": "discrete group",
      "offset": 590
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-a9a0ad974f41797cdc1c3ade"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "d6771eea22e2168d49bf3c4da7c946304005419bddd0dba1e7e3a2eb9e11ee88",
  "optional_enrichments": []
}