Logo - springer
Slogan - springer

Mathematics - Algebra | Essays in Constructive Mathematics

Essays in Constructive Mathematics

Edwards, Harold M.

2005, XX, 211 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$79.99

(net) price for USA

ISBN 978-0-387-27130-9

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$109.00

(net) price for USA

ISBN 978-0-387-21978-3

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$109.00

(net) price for USA

ISBN 978-1-4899-9018-1

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

"... The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader. And it proves that the philosophical orientation of an author really can make a big difference. The mathematical content is intensely classical. ... Edwards makes it warmly accessible to any interested reader. And he is breaking fresh ground, in his rigorously constructive or constructivist presentation. So the book will interest anyone trying to learn these major, central topics in classical algebra and algebraic number theory. Also, anyone interested in constructivism, for or against. And even anyone who can be intrigued and drawn in by a masterly exposition of beautiful mathematics." Reuben Hersh

This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing all definitions and proofs on finite algorithms. The topics covered derive from classic works of nineteenth century mathematics---among them Galois' theory of algebraic equations, Gauss's theory of binary quadratic forms and Abel's theorem about integrals of rational differentials on algebraic curves. It is not surprising that the first two topics can be treated constructively---although the constructive treatments shed a surprising amount of light on them---but the last topic, involving integrals and differentials as it does, might seem to call for infinite processes. In this case too, however, finite algorithms suffice to define the genus of an algebraic curve, to prove that birationally equivalent curves have the same genus, and to prove the Riemann-Roch theorem. The main algorithm in this case is Newton's polygon, which is given a full treatment. Other topics covered include the fundamental theorem of algebra, the factorization of polynomials over an algebraic number field, and the spectral theorem for symmetric matrices.

Harold M. Edwards is Emeritus Professor of Mathematics at New York University. His previous books are Advanced Calculus (1969, 1980, 1993), Riemann's Zeta Function (1974, 2001), Fermat's Last Theorem (1977), Galois Theory (1984), Divisor Theory (1990) and Linear Algebra (1995). Readers of his Advanced Calculus will know that his preference for constructive mathematics is not new.

Content Level » Research

Keywords » Addition - Algebra - Arithmetic - Division - Finite - Invariant - Multiplication - calculus - equation - function - fundamental theorem - linear algebra - proof - proof by contradiction - theorem

Related subjects » Algebra - Analysis - Mathematics - Number Theory and Discrete Mathematics

Table of contents 

Preface * Synopsis * PART 1: A Fundamental Theorem * General Arithmetic * A Fundamental Theorem * Roots Field (Simple Algebraic Extensions) * Factorization of Polynomials with Integer Coefficients * A Factorization Algorithm * Validation of the Factorization Algorithm * About the Factorization Algorithm * Proof of the Fundamental Theorem * Minimal Splitting Polynomials * PART 2: Topics in Algebra * Galois' Fundamental Theorem * Algebraic Quantities * Adjunctions and the Factorization of Polynomials * Symmetric Polynomials and the Splitting Field of x^n + c_1x^{n-1} + ... + c_n * A Fundamental Theorem of Divisor Theory * PART 3: Some Quadratic Problems * Hypernumbers * Modules * The Class Semigroup * Multiplication of Modules and Module Classes * Is A a Square Mod p? * Gauss's Composition of Forms * The Construction of Compositions * PART 4: The Genus of an Algebraic Curve * Abel's Memoir * Euler's Addition Formula * An Algebraic Definition of the Genus * Newton's Polygon * Determination of the Genus * Holomorphic Differentials * The Riemann-Roch Theorem * The Genus is a Birational Invariant * PART 5: Miscellany * On the So-Called Fundamental Theorem of Algebra * Proof by Contradiction and the Sylow Theorems * Overview of 'Linear Algebra' * The Spectral Theorem * Kronecker as One of E.T. Bell's 'Men of Mathematics' * References

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Algebra.

Additional information