Existence and uniqueness of algebraic closures

DOI10.2478/FORMA-2022-0022MaRDI QIDQ6557226zbMATH OpenFDO

Authors Christoph Schwarzweller

Publication date 18 June 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2022-0022

zbMATH Keywords

algebraic closuresEmil Artinpolynomial rings with countably infinite number of variables

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Algebraic field extensions (12F05) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Artin's theorem towards the existence of algebraic closures
• On roots of polynomials and algebraically closed fields
• scientific article; zbMATH DE number 794176
• ALGEBRAIC CLOSURE WITHOUT CHOICE
• Field extensions and Kronecker's construction

Cites work

• Field extensions and Kronecker's construction
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(3)

• Artin's theorem towards the existence of algebraic closures
• Embedding principle for rings and abelian groups
• Finite fields

This page was built for publication: Existence and uniqueness of algebraic closures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557226)