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.)
From MaRDI portal
Publication:1887479
DOI10.1016/j.jalgebra.2004.06.030zbMath1093.13015OpenAlexW1985374793MaRDI QIDQ1887479
M. Salou, Claude Quitté, Lionel Ducos, Henri Lombardi
Publication date: 26 November 2004
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgebra.2004.06.030
Software, source code, etc. for problems pertaining to commutative algebra (13-04) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)
Related Items (19)
Spectral schemes as ringed lattices ⋮ Dynamical Gröbner bases ⋮ COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}, R A VALUATION RING] ⋮ Curves and coherent Prüfer rings ⋮ Revisiting Zariski main theorem from a constructive point of view ⋮ A constructive theory of minimal zero-dimensional extensions ⋮ Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X^m\) where \textbf{V} is a valuation domain] ⋮ A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ Computing syzygies over \(V [X_1, \ldots, X_k\), \(V\) a valuation domain] ⋮ Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Un anneau de Prüfer ⋮ Finite type projective modules, crossed linear maps and generalized inverses. (Modules projectifs de type fini, applications linéaires croisées et inverses généralisés) ⋮ Space of valuations ⋮ On syzygy modules over Laurent polynomial rings ⋮ Polynômes à Valeurs Entières: Un Anneau de Prüfer de Dimension 2 ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Saturation of finitely-generated submodules of free modules over Prüfer domains ⋮ Un Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation]
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generating non-Noetherian modules constructively
- Generating non-Noetherian modules efficiently
- A course in constructive algebra
- Generating ideals in Prüfer domains
- 1 1/2 and 2 generator ideals in Prüfer domains
- Krull dimension, Nullstellensätze and dynamical evaluation
- Approximating rings of integers in number fields
- Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring
- Strongly Noetherian rings and constructive ideal theory
- Factoring into coprimes in essentially linear time
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Arithmetical rings
- Modules Over Dedekind Rings and Valuation Rings
This page was built for publication: 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.)