A course in constructive algebra

DOI10.1007/978-1-4419-8640-5MaRDI QIDQ1210701zbMATH OpenOpenAlexWikidataFDO

Authors Ray Mines, Fred Richman, Wim Ruitenburg

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

modulesfinite-dimensional algebrasfree groupsringstextbookdivisibilityfieldvaluation theoryAbelian groupsDedekind domainsprincipal ideal domainscommutative Noetherian ringsfactoring polynomialsBishop's Constructive MathematicsConstructive Algebra

Mathematics Subject Classification ID

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

Recommendations

• 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

Cited in

(only showing first 100 items - show all)

• Curves and coherent Prüfer rings
• A Definitive Constructive Open Mapping Theorem?
• Generalized matrix calculation over Prüfer domains
• The Jacobson radical for an inconsistency predicate
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain
• scientific article; zbMATH DE number 4183415 (Why is no real title available?)
• Valuative dimension, constructive points of view
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• A Prüfer ring
• Setoids and universes
• Strongly Noetherian rings and constructive ideal theory
• Spectral spaces versus distributive lattices: a dictionary
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Polynomials and linear transformations
• A sheaf model of the algebraic closure
• Modules over commutative rings. Course and exercises
• Laurent series over \(\mathbb{R}\)
• Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain
• Radical theory of Scott-open filters
• A constructive interpretation of the logical constants
• Stably free modules over \(\mathbf R[X]\) of rank \(>\dim\mathbf R\) are free
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• Dynamical Gröbner bases over Dedekind rings
• Ribenboim's order extension theorem from a constructive point of view
• A double Sylvester determinant
• Sharp elements and apartness in domains
• Markov and Division Inequalities on Algebraic Sets
• Can constructive mathematics be applied in physics?
• Algebras of complemented subsets
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• A DIVISION ALGORITHM
• Maximal elements with minimal logic
• On free abelian categories for theorem proving
• Exploring mathematical objects from custom-tailored mathematical universes
• A constructive notion of codimension
• On graded Cartan invariants of symmetric groups and Hecke algebras
• Notions of anonymous existence in Martin-Löf type theory
• Inverse semigroups with apartness
• Fast separable factorization and applications
• Suggested Corrections for “A Principal Ideal Domain That Is Not a Euclidean Domain”
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• A transfer theorem in constructive \(p\)-adic algebra
• Square-free algorithms in positive characteristic
• Proof-relevance of families of setoids and identity in type theory
• Eliminating disjunctions by disjunction elimination
• Some elementary results in intuitionistic model theory
• Closed subsets in Bishop topological groups
• The trailing terms ideal over a valuation domain
• Eliminating disjunctions by disjunction elimination
• Van Der Waerden's Construction of a Splitting Field
• The Hermite ring conjecture in dimension one
• Un Algorithme pour le Calcul des Syzygies surV[X] dans le cas oùVest un Domaine de Valuation
• Dynamic evaluation of integrity and the computational content of Krull's lemma
• Central H-spaces and banded types
• Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
• A new approach to abstract data types, I Informal development
• On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case
• Syntax for semantics: Krull's maximal ideal theorem
• Type-theoretic approaches to ordinals
• Maximal ideals in countable rings, constructively
• Quotient topologies in constructive set theory and type theory
• Constructive rereading of Artin-Schreier theory
• Revisiting Zariski main theorem from a constructive point of view
• scientific article; zbMATH DE number 4008530 (Why is no real title available?)
• A weak countable choice principle
• Methods of constructive category theory
• Constructive finite free resolutions
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• A univalent formalization of the \(p\)-adic numbers
• scientific article; zbMATH DE number 1405632 (Why is no real title available?)
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• A very weak Nullstellensatz over Heyting fields
• A matrix ring with commuting graph of maximal diameter
• scientific article; zbMATH DE number 7217919 (Why is no real title available?)
• The multivariate Serre conjecture ring
• Anneaux à diviseurs et anneaux de Krull (une approche constructive)
• On seminormality
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• On the Weihrauch degree of the additive Ramsey theorem
• On the first-order parts of problems in the Weihrauch degrees
• Continuity properties for flat families of polynomials. I: Continuous parametrizations
• Co-quasiordered residuated systems: an introduction
• Are there enough injective sets?
• An algorithmic version of Zariski's lemma
• An iterative constructive Hilbert basis theorem
• A constructive picture of Noetherian conditions and well quasi-orders
• Exploring abstract algebra in constructive type theory
• Constructing Gröbner bases for Noetherian rings
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
• A universal algorithm for Krull's theorem
• Derivations and radicals of polynomial ideals over fields of arbitrary characteristic
• A theorem of Gilmer and the canonical universal splitting ring
• Conservation as translation
• A strong constructive version of engel's theorem
• Countable random 𝑝-groups with prescribed Ulm-invariants
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• The trailing terms ideal
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Noetherian orders

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)