"algebraically closed" meaning in English

See algebraically closed in All languages combined, or Wiktionary

Adjective

Head templates: {{en-adj|-}} algebraically closed (not comparable)
  1. (algebra, field theory, of a field) Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field). Tags: not-comparable Categories (topical): Algebra Translations (that contains among its elements every root of every nonconstant single-variable polynomial definable over it): algébriquement clos (French), algebricamente chiuso (Italian), algebraiskt lukket (Norwegian), algebricamente fechado (Portuguese), algebraicamente cerrado (Spanish), algebraiskt sluten (Swedish)
    Sense id: en-algebraically_closed-en-adj-oQ59L7qL Categories (other): English entries with incorrect language header, English entries with language name categories using raw markup, English terms with non-redundant non-automated sortkeys Disambiguation of English entries with incorrect language header: 52 48 Disambiguation of English entries with language name categories using raw markup: 60 40 Disambiguation of English terms with non-redundant non-automated sortkeys: 46 54 Topics: algebra, mathematics, sciences Disambiguation of 'that contains among its elements every root of every nonconstant single-variable polynomial definable over it': 93 7
  2. (algebra, group theory, of a group) Such that any finite set of equations and inequations has a solution. Tags: not-comparable Categories (topical): Algebra, Group theory
    Sense id: en-algebraically_closed-en-adj-jqN3danX Categories (other): English entries with incorrect language header, English terms with non-redundant non-automated sortkeys Disambiguation of English entries with incorrect language header: 52 48 Disambiguation of English terms with non-redundant non-automated sortkeys: 46 54 Topics: algebra, group-theory, mathematics, sciences

Download JSON data for algebraically closed meaning in English (6.3kB)

{
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "algebraically closed (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Algebra",
          "orig": "en:Algebra",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "52 48",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "60 40",
          "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+disamb"
        },
        {
          "_dis": "46 54",
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "text": "The fundamental theorem of algebra states that the field of complex numbers, #x5C;mathbb#x7B;C#x7D;, is algebraically closed.",
          "type": "example"
        },
        {
          "ref": "2007, Pierre Antoine Grillet, Abstract Algebra, 2nd edition, Springer, page 166",
          "text": "Definition. A field is algebraically closed when it satisfies the equivalent conditions in Proposition 4.1. #x5C;square\nFor instance, the fundamental theorem of algebra (Theorem III.8.11) states that #x5C;Complex is algebraically closed. The fields #x5C;R, #x5C;Q, #x5C;Z#x5F;p, are not algebraically closed, but #x5C;R and #x5C;Q can be embedded into the algebraically closed field #x5C;Complex.",
          "type": "quotation"
        },
        {
          "ref": "2008, M. Ram Murty, Problems in Analytic Number Theory, 2nd edition, Springer, page 155",
          "text": "In many ways #x5C;Q#x5F;p is analogous to #x5C;R. For example, #x5C;R is not algebraically closed. The exercises below show that #x5C;Q#x5F;p is not algebraically closed. However, by adjoining i#x3D;#x5C;sqrt#x7B;-1#x7D; to #x5C;R, we get the field of complex numbers, which is algebraically closed. In contrast, the algebraic closure #x5C;overline#x5C;Q#x5F;p of #x5C;Q#x5F;p is not of finite degree over #x5C;Q. Moreover, #x5C;Complex is complete with respect to the extension of the usual norm of #x5C;R. Unfortunately, #x5C;overline#x5C;Q#x5F;p is not complete with respect to the extension of the p-adic norm. So after completing it (via the usual method of Cauchy sequences) we get a still larger field, usually denoted by #x5C;Complex#x5F;p, and it turns out to be both algebraically closed and complete.",
          "type": "quotation"
        },
        {
          "ref": "2015, Martyn R. Dixon, Leonid A. Kurdachenko, Igor Ya Subbotin, An Introduction to Essential Algebraic Structures, Wiley, page 195",
          "text": "Definition 5.3.14. Let F be a field. A field extension P is called an algebraic closure of F if P is algebraically closed and every proper subfield of P containing F is not algebraically closed.\nIn other words, the algebraic closure of F is the minimal algebraically closed field containing F.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field)."
      ],
      "id": "en-algebraically_closed-en-adj-oQ59L7qL",
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "field",
          "field"
        ],
        [
          "element",
          "element"
        ],
        [
          "root",
          "root"
        ],
        [
          "univariate",
          "univariate"
        ],
        [
          "polynomial",
          "polynomial"
        ]
      ],
      "qualifier": "field theory",
      "raw_glosses": [
        "(algebra, field theory, of a field) Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field)."
      ],
      "raw_tags": [
        "of a field"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "93 7",
          "code": "fr",
          "lang": "French",
          "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
          "word": "algébriquement clos"
        },
        {
          "_dis1": "93 7",
          "code": "it",
          "lang": "Italian",
          "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
          "word": "algebricamente chiuso"
        },
        {
          "_dis1": "93 7",
          "code": "no",
          "lang": "Norwegian",
          "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
          "word": "algebraiskt lukket"
        },
        {
          "_dis1": "93 7",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
          "word": "algebricamente fechado"
        },
        {
          "_dis1": "93 7",
          "code": "es",
          "lang": "Spanish",
          "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
          "word": "algebraicamente cerrado"
        },
        {
          "_dis1": "93 7",
          "code": "sv",
          "lang": "Swedish",
          "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
          "word": "algebraiskt sluten"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Algebra",
          "orig": "en:Algebra",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Group theory",
          "orig": "en:Group theory",
          "parents": [
            "Algebra",
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "52 48",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "46 54",
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Such that any finite set of equations and inequations has a solution."
      ],
      "id": "en-algebraically_closed-en-adj-jqN3danX",
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "group theory",
          "group theory"
        ],
        [
          "group",
          "group"
        ],
        [
          "equation",
          "equation"
        ],
        [
          "inequation",
          "inequation"
        ]
      ],
      "raw_glosses": [
        "(algebra, group theory, of a group) Such that any finite set of equations and inequations has a solution."
      ],
      "raw_tags": [
        "of a group"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "algebra",
        "group-theory",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "wikipedia": [
    "Algebraically closed field"
  ],
  "word": "algebraically closed"
}
{
  "categories": [
    "English adjectives",
    "English adverb-adjective phrases",
    "English entries with incorrect language header",
    "English entries with language name categories using raw markup",
    "English lemmas",
    "English multiword terms",
    "English terms with non-redundant non-automated sortkeys",
    "English uncomparable adjectives"
  ],
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "algebraically closed (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "categories": [
        "English terms with quotations",
        "English terms with usage examples",
        "en:Algebra"
      ],
      "examples": [
        {
          "text": "The fundamental theorem of algebra states that the field of complex numbers, #x5C;mathbb#x7B;C#x7D;, is algebraically closed.",
          "type": "example"
        },
        {
          "ref": "2007, Pierre Antoine Grillet, Abstract Algebra, 2nd edition, Springer, page 166",
          "text": "Definition. A field is algebraically closed when it satisfies the equivalent conditions in Proposition 4.1. #x5C;square\nFor instance, the fundamental theorem of algebra (Theorem III.8.11) states that #x5C;Complex is algebraically closed. The fields #x5C;R, #x5C;Q, #x5C;Z#x5F;p, are not algebraically closed, but #x5C;R and #x5C;Q can be embedded into the algebraically closed field #x5C;Complex.",
          "type": "quotation"
        },
        {
          "ref": "2008, M. Ram Murty, Problems in Analytic Number Theory, 2nd edition, Springer, page 155",
          "text": "In many ways #x5C;Q#x5F;p is analogous to #x5C;R. For example, #x5C;R is not algebraically closed. The exercises below show that #x5C;Q#x5F;p is not algebraically closed. However, by adjoining i#x3D;#x5C;sqrt#x7B;-1#x7D; to #x5C;R, we get the field of complex numbers, which is algebraically closed. In contrast, the algebraic closure #x5C;overline#x5C;Q#x5F;p of #x5C;Q#x5F;p is not of finite degree over #x5C;Q. Moreover, #x5C;Complex is complete with respect to the extension of the usual norm of #x5C;R. Unfortunately, #x5C;overline#x5C;Q#x5F;p is not complete with respect to the extension of the p-adic norm. So after completing it (via the usual method of Cauchy sequences) we get a still larger field, usually denoted by #x5C;Complex#x5F;p, and it turns out to be both algebraically closed and complete.",
          "type": "quotation"
        },
        {
          "ref": "2015, Martyn R. Dixon, Leonid A. Kurdachenko, Igor Ya Subbotin, An Introduction to Essential Algebraic Structures, Wiley, page 195",
          "text": "Definition 5.3.14. Let F be a field. A field extension P is called an algebraic closure of F if P is algebraically closed and every proper subfield of P containing F is not algebraically closed.\nIn other words, the algebraic closure of F is the minimal algebraically closed field containing F.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field)."
      ],
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "field",
          "field"
        ],
        [
          "element",
          "element"
        ],
        [
          "root",
          "root"
        ],
        [
          "univariate",
          "univariate"
        ],
        [
          "polynomial",
          "polynomial"
        ]
      ],
      "qualifier": "field theory",
      "raw_glosses": [
        "(algebra, field theory, of a field) Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field)."
      ],
      "raw_tags": [
        "of a field"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "en:Algebra",
        "en:Group theory"
      ],
      "glosses": [
        "Such that any finite set of equations and inequations has a solution."
      ],
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "group theory",
          "group theory"
        ],
        [
          "group",
          "group"
        ],
        [
          "equation",
          "equation"
        ],
        [
          "inequation",
          "inequation"
        ]
      ],
      "raw_glosses": [
        "(algebra, group theory, of a group) Such that any finite set of equations and inequations has a solution."
      ],
      "raw_tags": [
        "of a group"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "algebra",
        "group-theory",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "fr",
      "lang": "French",
      "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
      "word": "algébriquement clos"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
      "word": "algebricamente chiuso"
    },
    {
      "code": "no",
      "lang": "Norwegian",
      "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
      "word": "algebraiskt lukket"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
      "word": "algebricamente fechado"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
      "word": "algebraicamente cerrado"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "that contains among its elements every root of every nonconstant single-variable polynomial definable over it",
      "word": "algebraiskt sluten"
    }
  ],
  "wikipedia": [
    "Algebraically closed field"
  ],
  "word": "algebraically closed"
}

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-05 from the enwiktionary dump dated 2024-05-02 using wiktextract (f4fd8c9 and c9440ce). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.