A course in constructive algebra

DOI10.1007/978-1-4419-8640-5zbMath0725.03044OpenAlexW4229738979WikidataQ56047972 ScholiaQ56047972MaRDI QIDQ1210701

Fred Richman, Wim Ruitenburg, Ray Mines

Publication date: 5 June 1993

Published in: Universitext (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4419-8640-5

zbMATH Keywords

modules finite-dimensional algebras textbook factoring polynomials Abelian groups rings free groups divisibility principal ideal domains valuation theory Dedekind domains field commutative Noetherian rings Bishop's Constructive Mathematics Constructive Algebra

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Other constructive mathematics (03F65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01)

Related Items (only showing first 100 items - show all)

On co-Filters in Semigroups with Apartness ⋮ A matrix ring with commuting graph of maximal diameter ⋮ On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case ⋮ Unnamed Item ⋮ Methods of constructive category theory ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ 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.) ⋮ Are there enough injective sets? ⋮ Proof-relevance in Bishop-style constructive mathematics ⋮ Basic notions of (constructive) semigroups with apartness ⋮ The Ascending Tree Condition: Constructive Algebra Without Countable Choice ⋮ Spectral schemes as ringed lattices ⋮ Dynamical Gröbner bases ⋮ Strongly Noetherian rings and constructive ideal theory ⋮ A strong constructive version of engel's theorem ⋮ The trailing terms ideal over a valuation domain ⋮ Square-free algorithms in positive characteristic ⋮ Direct spectra of Bishop spaces and their limits ⋮ COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}, R A VALUATION RING] ⋮ Ideals in constructive Banach algebra theory ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Suggested Corrections for “A Principal Ideal Domain That Is Not a Euclidean Domain” ⋮ A new approach to abstract data types, I Informal development ⋮ Constructive rereading of Artin-Schreier theory ⋮ Curves and coherent Prüfer rings ⋮ A universal algorithm for Krull's theorem ⋮ Inverse semigroups with apartness ⋮ Revisiting Zariski main theorem from a constructive point of view ⋮ Eliminating disjunctions by disjunction elimination ⋮ Laurent series over R ⋮ Radical theory of Scott-open filters ⋮ The Gröbner ring conjecture in one variable ⋮ Fast separable factorization and applications ⋮ Continuity properties for flat families of polynomials. I: Continuous parametrizations ⋮ A constructive theory of minimal zero-dimensional extensions ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ Type-theoretic approaches to ordinals ⋮ Polynomials and linear transformations ⋮ A constructive notion of codimension ⋮ A theorem of Gilmer and the canonical universal splitting ring ⋮ Proof-relevance of families of setoids and identity in type theory ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Constructive finite free resolutions ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Computing the \textbf{V}-saturation of finitely-generated submodules of $\mathbf{V} [X^m$ where \textbf{V} is a valuation domain] ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem ⋮ 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 ⋮ An algorithm for the Traverso-Swan theorem on seminormal rings ⋮ On graded Cartan invariants of symmetric groups and Hecke algebras ⋮ A transfer theorem in constructive $p$-adic algebra ⋮ Self-witnessing polynomial-time complexity and prime factorization ⋮ Seminormal rings (following Thierry Coquand) ⋮ Making the use of maximal ideals constructive ⋮ 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 ⋮ Derivations and radicals of polynomial ideals over fields of arbitrary characteristic ⋮ A very weak Nullstellensatz over Heyting fields ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Setoids and universes ⋮ Constructive completions of ordered sets, groups and fields ⋮ Quotient topologies in constructive set theory and type theory ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Un anneau de Prüfer ⋮ Unnamed Item ⋮ Combinatorial topology and constructive mathematics ⋮ Ribenboim's order extension theorem from a constructive point of view ⋮ The constructive theory of torsion-free abelian groups ⋮ 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) ⋮ A constructive approach to Freyd categories ⋮ Anneaux à diviseurs et anneaux de Krull (une approche constructive) ⋮ Space of valuations ⋮ CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS ⋮ Noetherian orders ⋮ Projective modules over polynomial rings: a constructive approach ⋮ Generalized matrix calculation over Prüfer domains ⋮ A double Sylvester determinant ⋮ Countable random 𝑝-groups with prescribed Ulm-invariants ⋮ Classical mathematics for a constructive world ⋮ Can constructive mathematics be applied in physics? ⋮ Building Mathematics-Based Software Systems to Advance Science and Create Knowledge ⋮ Unnamed Item ⋮ On free abelian categories for theorem proving ⋮ Lattice-ordered groups generated by an ordered group and regular systems of ideals ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Closed subsets in Bishop topological groups ⋮ A weak countable choice principle ⋮ Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval ⋮ A Definitive Constructive Open Mapping Theorem? ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Maximal ideals in countable rings, constructively ⋮ Algebras of complemented subsets ⋮ A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Un Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation] ⋮ An algorithmic version of Zariski's lemma

This page was built for publication: A course in constructive algebra