Generating non-Noetherian modules constructively

DOI10.1007/S00229-004-0509-2MaRDI QIDQ706187zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Henri Lombardi, 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

zbMATH Keywords

non-Noetherian modulering dimensionsplitting-off theorem

Mathematics Subject Classification ID

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15)

Recommendations

• Generating non-Noetherian modules efficiently
• Basic element theory of noncommutative Noetherian rings
• Basic Module Theory for General Rings
• scientific article; zbMATH DE number 4183415
• On the Serre, Bass and Forster-Swan theorems

Cites work

• Generating modules efficiently: Theorems from algebraic K-theory
• Generating non-Noetherian modules efficiently
• Serre's conjecture
• The number of generators of a module
• Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring

Cited in

(27)

• Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
• A constructive study of the module structure of rings of partial differential operators.
• 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
• Cancellation of finite-dimensional Noetherian modules
• On the Serre, Bass and Forster-Swan theorems
• Unimodular vectors and systems generators. (Vecteurs unimodulaires et systèmes générateurs)
• 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.)
• Space of valuations
• A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
• Unimodular rows over Laurent polynomial rings
• On stably free modules over Laurent polynomial rings
• Spectral schemes as ringed lattices
• Equivalent generating pairs of an ideal of a commutative ring
• \(d\)-Hermite rings and skew \(PBW\) extensions
• Seminormal rings (following Thierry Coquand)
• Basic element theory of noncommutative Noetherian rings
• scientific article; zbMATH DE number 4183415 (Why is no real title available?)
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• A Prüfer ring
• Spectral spaces versus distributive lattices: a dictionary
• Generating non-Noetherian modules efficiently
• Equivalent generating vectors of finitely generated modules over commutative rings
• Stably free modules over \(\mathbf R[X]\) of rank \(>\dim\mathbf R\) are free
• On a generalization of the Youla-Kučera parametrization. II: The lattice approach to MIMO systems
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• The Hermite ring conjecture in dimension one

This page was built for publication: Generating non-Noetherian modules constructively

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