{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:5cb523fb-06b4-4068-b362-7aeed13d453e",
  "labels": {
    "zh-CN": "实数加法群",
    "en": "additive group of reals"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "8299d06541c896b369fd692c4bb8115193a036c9055adc4b408a0344fb48455b",
  "occurrences": [
    {
      "concept_id": "urn:uuid:5cb523fb-06b4-4068-b362-7aeed13d453e",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-02/01-elements-of-group-theory",
      "anchor": "concept-2-additive-group-of-reals",
      "chapter": "2",
      "section": "2.1",
      "offset": 3663,
      "range": [
        8194,
        8447
      ],
      "source_revision": "ad9d6c5a6bcd992ad92802c42b86c6bf56d20c316c26e232554fab59e18fbd9d",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "实数加法群(additive group of reals)",
      "context": {
        "range": [
          8103,
          8597
        ],
        "quote": "> [!example] <a class=\"object-permalink\" href=\"#example-2-2\">例 2.2</a> \n>\n> 全体实数和加法形成一个群，称为<u id=\"concept-2-additive-group-of-reals\" class=\"concept-term\" data-concept-identity=\"urn:uuid:5cb523fb-06b4-4068-b362-7aeed13d453e\" data-concept-route=\"/concept-identities#concept-5cb523fb-06b4-4068-b362-7aeed13d453e\">实数加法群(additive group of reals)</u>. $e=0$,$x$的逆是 $-x$ ，整数加法群和有理数加法群显然都是 $\\mathbb{R}$的子群 。有理数 $\\mathbb{Q}$ 关于加法是封闭的，也构成可加实数 $\\mathbb{R}$的一个子群，因为数 0 是有理数，如果 $p /q$ 是有理数，那么 $-p /q$ 也是有理数。",
        "quote_sha256": "427a1f873f6f74ed62403cdd8590eeec2f3478b93910d2ec0e9646642b066dc0",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-02/01-elements-of-group-theory",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-0118b1c37755645744d0f9ce"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-02/01-elements-of-group-theory",
      "lang": "zh-CN",
      "section": "2.1",
      "signal": "term-mark",
      "label": "实数加法群",
      "english": "additive group of reals",
      "offset": 2259
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#example-2-2\"",
      "href": "#example-2-2",
      "range": [
        8144,
        8163
      ],
      "relation": "references",
      "target_route": "zh/chapter-02/01-elements-of-group-theory",
      "target_anchor": "example-2-2",
      "resolved": true,
      "reason": null,
      "source_revision": "ad9d6c5a6bcd992ad92802c42b86c6bf56d20c316c26e232554fab59e18fbd9d",
      "source_route": "zh/chapter-02/01-elements-of-group-theory",
      "occurrence_id": "occ-0118b1c37755645744d0f9ce"
    }
  ],
  "reading_order": [
    "occ-0118b1c37755645744d0f9ce"
  ],
  "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": "6732aa199848ee7c7b40a5eba41b3afcca35cf8af39999dffb05d7e42373f02b",
  "optional_enrichments": []
}