"group of Lie type" meaning in English

{
  "etymology_text": "Named for their close relationship with the (infinite) Lie groups, since a compact Lie group may be viewed as the rational points of a reductive linear algebraic group over the field of real numbers.",
  "forms": [
    {
      "form": "groups of Lie type",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "groups of Lie type"
      },
      "expansion": "group of Lie type (plural groups of Lie type)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Group theory",
          "orig": "en:Group theory",
          "parents": [
            "Algebra",
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "Usually, a finite group that is closely related to the group of rational points of a reductive linear algebraic group with values in a finite field."
      ],
      "id": "en-group_of_Lie_type-en-noun--FcgBOdn",
      "links": [
        [
          "group theory",
          "group theory"
        ],
        [
          "finite",
          "finite"
        ],
        [
          "group",
          "group"
        ],
        [
          "rational",
          "rational"
        ],
        [
          "point",
          "point"
        ],
        [
          "finite field",
          "finite field"
        ]
      ],
      "raw_glosses": [
        "(group theory) Usually, a finite group that is closely related to the group of rational points of a reductive linear algebraic group with values in a finite field."
      ],
      "topics": [
        "group-theory",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "group of Lie type"
}

{
  "etymology_text": "Named for their close relationship with the (infinite) Lie groups, since a compact Lie group may be viewed as the rational points of a reductive linear algebraic group over the field of real numbers.",
  "forms": [
    {
      "form": "groups of Lie type",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "groups of Lie type"
      },
      "expansion": "group of Lie type (plural groups of Lie type)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "en:Group theory"
      ],
      "glosses": [
        "Usually, a finite group that is closely related to the group of rational points of a reductive linear algebraic group with values in a finite field."
      ],
      "links": [
        [
          "group theory",
          "group theory"
        ],
        [
          "finite",
          "finite"
        ],
        [
          "group",
          "group"
        ],
        [
          "rational",
          "rational"
        ],
        [
          "point",
          "point"
        ],
        [
          "finite field",
          "finite field"
        ]
      ],
      "raw_glosses": [
        "(group theory) Usually, a finite group that is closely related to the group of rational points of a reductive linear algebraic group with values in a finite field."
      ],
      "topics": [
        "group-theory",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "group of Lie type"
}