Revisiting Zariski main theorem from a constructive point of view
type: Item
instance of: scholarly article
title: Revisiting Zariski main theorem from a constructive point of view
zbMATH Open document ID: 1391.13049
author: Thierry Coquand
author: M. E. Alonso
author: Henri Lombardi
published in: Journal of Algebra
publication date: 2014-08-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1602.00597
Mathematics Subject Classification ID: 13J15
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 6335121
zbMATH Keywords: Zariski main theorem
zbMATH Keywords: multivariate Hensel Lemma
zbMATH Keywords: quasi-finite algebras
zbMATH Keywords: constructive mathematics
MaRDI profile type: Publication
OpenAlex ID: W2256956731
arXiv ID: 1602.00597
cites work: Elementary constructive theory of Henselian local rings
cites work: Q5563439
cites work: Algorithms in real algebraic geometry
cites work: Q3803111
cites work: Q3754620
cites work: On seminormality
cites work: Space of valuations
cites work: Generating non-Noetherian modules constructively
cites work: Constructive finite free resolutions
cites work: Spectral schemes as ringed lattices
cites work: Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
cites work: Q3112383
cites work: Anneaux locaux henséliens
cites work: A course in constructive algebra
cites work: Q5517787
cites work: Q4838902
cites work: Making the use of maximal ideals constructive
cites work: Analytical irreducibility of normal varieties
DOI: 10.1016/J.JALGEBRA.2014.02.003
Recommended article: Construction of a counterexample to a conjecture of zassenhaus
Recommended article: On Zariski's theorem in positive characteristic
Recommended article: Une nouvelle démonstration du théorème de Zariski-Lefschetz
Recommended article: On a theorem of Zariski-Van Kampen type and its applications
Recommended article: Q4007662
Recommended article: Zhislin's theorem revisited
Recommended article: Q4016446
Recommended article: Constructive Z
Recommended article: An axiomatic version of Zariski's patching theorem
description: scientific article; zbMATH DE number 6335121