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
    0 references
    0 references
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references