A course in constructive algebra
This is the first textbook in Constructive Algebra covering a wide part of the subject matter. The general standpoint of the book is Bishop's Constructive (or Explicit) Mathematics [for a general `constructivist manifesto' see \textit{E. Bishop}, Foundations of constructive analysis (1967; Zbl 0183.015)]. The fundamental purpose of Constructive Mathematics is not to build a system alternative to classical mathematics (such as intuitionism, which leads to classically false theorems) nor to refer only to some particular class of `constructive' objects (such as recursive functions) but to extract from classical mathematics its constructive portion. In this sense constructive algebra is nothing but generalized algebra (i.e. standard algebra built in a weaker logical framework). In other words, classically false propositions cannot be proved within this context. The book covers a wide portion of algebra; after an introductory part (regarding the constructive notion of set and the basic algebraic concepts) the successive chapters are devoted to rings and modules, divisibility in discrete domains, principal ideal domains, field theory, factoring polynomials, commutative Noetherian rings, finite-dimensional algebras, free groups, Abelian groups, valuation theory and Dedekind domains. The book may be regarded as self-contained, even though some familiarity with the classical subject is presumed at both the student's and the researcher's level. Some familiarity with the general concepts, methods and purposes of Constructive Mathematics may be useful as well, in order to make smoother the impact with the first chapters of the book.
- Constructive algebra
- Constructive universal algebra: An introduction
- A course on abstract algebra
- scientific article; zbMATH DE number 5655814
- scientific article; zbMATH DE number 1405632
- A course in commutative algebra
- Abstract algebra and construction problems
- scientific article; zbMATH DE number 5828956
- scientific article; zbMATH DE number 5791094
- Constructing and Reconstructing of Algebras
- Space of valuations
- Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
- Constructivism in mathematics. An introduction. Volume II
- A transfer theorem in constructive \(p\)-adic algebra
- Self-witnessing polynomial-time complexity and prime factorization
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- Constructive rereading of Artin-Schreier theory
- Continuity properties for flat families of polynomials. I: Continuous parametrizations
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- Eliminating disjunctions by disjunction elimination
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Combinatorial topology and constructive mathematics
- Can constructive mathematics be applied in physics?
- 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.)
- Square-free algorithms in positive characteristic
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- A constructive approach to Freyd categories
- On free abelian categories for theorem proving
- Exploring mathematical objects from custom-tailored mathematical universes
- Closed subsets in Bishop topological groups
- Maximal ideals in countable rings, constructively
- Algebras of complemented subsets
- An algorithmic version of Zariski's lemma
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain
- Ribenboim's order extension theorem from a constructive point of view
- Generalized matrix calculation over Prüfer domains
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Are there enough injective sets?
- Spectral schemes as ringed lattices
- Inverse semigroups with apartness
- Fast separable factorization and applications
- A constructive theory of minimal zero-dimensional extensions
- A constructive notion of codimension
- A theorem of Gilmer and the canonical universal splitting ring
- Seminormal rings (following Thierry Coquand)
- Making the use of maximal ideals constructive
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
- Constructive completions of ordered sets, groups and fields
- Quotient topologies in constructive set theory and type theory
- 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)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- Strongly Noetherian rings and constructive ideal theory
- A universal algorithm for Krull's theorem
- Radical theory of Scott-open filters
- Type-theoretic approaches to ordinals
- A matrix ring with commuting graph of maximal diameter
- Anneaux à diviseurs et anneaux de Krull (une approche constructive)
- Un Algorithme pour le Calcul des Syzygies surV[X] dans le cas oùVest un Domaine de Valuation
- Constructive algebra
- Modules over commutative rings. Course and exercises
- Notions of anonymous existence in Martin-Löf type theory
- Noetherian orders
- Countable random 𝑝-groups with prescribed Ulm-invariants
- Classical mathematics for a constructive world
- Basic notions of (constructive) semigroups with apartness
- Stably free modules over \(\mathbf R[X]\) of rank \(>\dim\mathbf R\) are free
- scientific article; zbMATH DE number 7217919 (Why is no real title available?)
- The constructive theory of torsion-free abelian groups
- A double Sylvester determinant
- Setoids and universes
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
- Projective modules over polynomial rings: a constructive approach
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
- scientific article; zbMATH DE number 4008530 (Why is no real title available?)
- A new approach to abstract data types, I Informal development
- Revisiting Zariski main theorem from a constructive point of view
- The Gröbner ring conjecture in one variable
- A Definitive Constructive Open Mapping Theorem?
- A strong constructive version of engel's theorem
- A formal proof of the projective Eisenbud-Evans-Storch theorem
- A weak countable choice principle
- Suggested Corrections for “A Principal Ideal Domain That Is Not a Euclidean Domain”
- A Prüfer ring
- The Ascending Tree Condition: Constructive Algebra Without Countable Choice
- Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain
- scientific article; zbMATH DE number 1405632 (Why is no real title available?)
- Direct spectra of Bishop spaces and their limits
- A sheaf model of the algebraic closure
- Syntax for semantics: Krull's maximal ideal theorem
- On co-filters in semigroups with apartness
- Methods of constructive category theory
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Proof-relevance in Bishop-style constructive mathematics
- The trailing terms ideal over a valuation domain
- COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- scientific article; zbMATH DE number 7561488 (Why is no real title available?)
- On graded Cartan invariants of symmetric groups and Hecke algebras
- Laurent series over \(\mathbb{R}\)
- Spectral spaces versus distributive lattices: a dictionary
- The trailing terms ideal
- Co-quasiordered residuated systems: an introduction
- The syzygy theorem for Bézout rings
- Exploring abstract algebra in constructive type theory
- Ordering groups constructively
- Eliminating disjunctions by disjunction elimination
- Semigroups with apartness
This page was built for publication: A course in constructive algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1210701)
