A course in constructive algebra (Q1210701)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A course in constructive algebra |
scientific article |
Statements
A course in constructive algebra (English)
0 references
5 June 1993
0 references
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.
0 references
Bishop's Constructive Mathematics
0 references
textbook
0 references
Constructive Algebra
0 references
rings
0 references
modules
0 references
divisibility
0 references
principal ideal domains
0 references
field
0 references
factoring polynomials
0 references
commutative Noetherian rings
0 references
finite-dimensional algebras
0 references
free groups
0 references
Abelian groups
0 references
valuation theory
0 references
Dedekind domains
0 references