Constructive Aspects of Noetherian Rings

DOI10.2307/2040452zbMath0265.13011OpenAlexW4243675975MaRDI QIDQ5682414

Fred Richman

Publication date: 1974

Full work available at URL: https://doi.org/10.2307/2040452

Mathematics Subject Classification ID

Commutative Noetherian rings and modules (13E05) Applications of logic to commutative algebra (13L05) Proof theory and constructive mathematics (03F99)

Related Items

Effective computation of the integral closure of a morphism, A solution to Kronecker's problem, Generalized Gröbner bases: Theory and applications. A condensation, On polynomial ideals, their complexity, and applications, Strongly Noetherian rings and constructive ideal theory, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, Gröbner bases and primary decomposition of polynomial ideals, Lifting canonical algorithms from a ring R to the ring R[x], Membership in polynomial ideals over Q is exponential space complete, A constructive picture of Noetherian conditions and well quasi-orders, A formal proof of the projective Eisenbud-Evans-Storch theorem, Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm, A constructive notion of codimension, Computable algebra and group embeddings, Ideals in computable rings, Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, Rational series with coefficients in a commutative ring, What is Noetherian?, Basic sub groups from a constructive viewpoint, Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen, Notes on Gröbner bases, Ideal membership in polynomial rings over the integers, Unnamed Item, The decomposition theorem for ideals in polynomial rings over a domain, The complexity of the word problems for commutative semigroups and polynomial ideals, Conjugacy problem in metabelian groups, On constructing bases for ideals in polynomial rings over the integers, Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice, Syntax for Semantics: Krull’s Maximal Ideal Theorem