Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
From MaRDI portal
Publication:2341091
DOI10.1007/978-94-017-9944-7zbMATH Open1327.13001arXiv1605.04832OpenAlexW3105560263MaRDI QIDQ2341091
Author name not available (Why is that?)
Publication date: 22 April 2015
Published in: (Search for Journal in Brave)
Abstract: This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories. In particular, we review theories which did not have any algorithmic content in their general natural framework, such as Galois theory, the Dedekind domains, the finitely generated projective modules or the Krull dimension.
Full work available at URL: https://arxiv.org/abs/1605.04832
No records found.
No records found.
This page was built for publication: Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2341091)
