Generating non-Noetherian modules constructively
From MaRDI portal
Publication:706187
DOI10.1007/s00229-004-0509-2zbMath1059.13006OpenAlexW1975038965MaRDI QIDQ706187
Henri Lombardi, Thierry Coquand, Claude Quitté
Publication date: 2 February 2005
Published in: Manuscripta Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00229-004-0509-2
Related Items
Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free], 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.), Cancellation of finite-dimensional Noetherian modules, Spectral schemes as ringed lattices, On a generalization of the Youla-Kučera parametrization. II: The lattice approach to MIMO systems, \(d\)-Hermite rings and skew \(PBW\) extensions, Revisiting Zariski main theorem from a constructive point of view, A polynomial bound on the number of comaximal localizations needed in order to make free a projective module, Projective modules and Gröbner bases for skew PBW extensions, Spectral Spaces Versus Distributive Lattices: A Dictionary, A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem, The Hermite ring conjecture in dimension one, Seminormal rings (following Thierry Coquand), Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa, A constructive study of the module structure of rings of partial differential operators., On the Serre, Bass and Forster-Swan theorems, Unimodular vectors and systems generators. (Vecteurs unimodulaires et systèmes générateurs), Un anneau de Prüfer, Equivalent generating pairs of an ideal of a commutative ring, Space of valuations, CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS, Equivalent generating vectors of finitely generated modules over commutative rings, On stably free modules over Laurent polynomial rings, Unimodular rows over Laurent polynomial rings
Cites Work
