A sheaf model of the algebraic closure

zbMATH Open1469.03173arXiv1404.4549MaRDI QIDQ4995378FDOQ4995378

Authors: Bassel Mannaa, Thierry Coquand 

Publication date: 24 June 2021

Abstract: In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure of K. We give a possible constructive interpretation of the existence of the algebraic closure of a field in characteristic 0 by building, in a constructive metatheory, a suitable site model where there is such an algebraic closure. One can then extract computational content from this model. We give examples of computation based on this model.

Full work available at URL: https://arxiv.org/abs/1404.4549

Recommendations

• scientific article; zbMATH DE number 29408
• A course in constructive algebra
• Computing with algebraically closed fields
• ALGEBRAIC CLOSURE WITHOUT CHOICE
• scientific article; zbMATH DE number 17894

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other constructive mathematics (03F65) Computational aspects of algebraic curves (14Q05) Sheaves in algebraic geometry (14F06)

This page was built for publication: A sheaf model of the algebraic closure

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