A Course in Constructive Algebra - Brossura

Mines, Ray

 
9780387966403: A Course in Constructive Algebra

Sinossi

The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop's book Foundations of constr"uctiue analysis in 1967, and by the subtle influences of the proliferation of powerful computers.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

I. Sets.- 1. Constructive vs. classical mathematics.- 2. Sets, subsets and functions.- 3. Choice.- 4. Categories.- 5. Partially ordered sets and lattices.- 6. Well-founded sets and ordinals.- Notes.- II. Basic Algebra.- 1. Groups.- 2. Rings and fields.- 3. Real numbers.- 4. Modules.- 5. Polynomial rings.- 6. Matrices and vector spaces.- 7. Determinants.- 8. Symmetric polynomials.- Notes.- III. Rings And Modules.- 1. Quasi-regular ideals.- 2. Coherent and Noetherian modules.- 3. Localization.- 4. Tensor products.- 5. Flat modules.- 6. Local rings.- 7. Commutative local rings.- Notes.- IV. Divisibility in Discrete Domains.- 1. Cancellation monoids.- 2. UFD's and Bézout domains.- 3. Dedekind-Hasse rings and Euclidean domains.- 4. Polynomial rings.- Notes.- V. Principal Ideal Domains.- 1. Diagonalizing matrices.- 2. Finitely presented modules.- 3. Torsion modules, p-components, elementary divisors.- 4. Linear transformations.- Notes.- VI. Field Theory.- 1. Integral extensions and impotent rings.- 2. Algebraic independence and transcendence bases.- 3. Splitting fields and algebraic closures.- 4. Separability and diagonalizability.- 5. Primitive elements.- 6. Separability and characteristic p.- 7. Perfect fields.- 8. Galois theory.- Notes.- VII. Factoring Polynomials.- 1. Factorial and separably factorial fields.- 2. Extensions of (separably) factorial fields.- 3. Condition p.- 4. The fundamental theorem of algebra.- Notes.- VIII. Commutative Noetherian Rings.- 1. The Hilbert basis theorem.- 2. Noether normalization and the Artin-Rees lemma.- 3. The Nullstellensatz.- 4. Tennenbaum' s approach to the Hilbert basis theorem.- 5. Primary ideals.- 6. Localization.- 7. Primary decomposition.- 8. Lasker-Noether rings.- 9. Fully Lasker-Noether rings.- 10. The principal ideal theorem.- Notes.- IX. Finite Dimensional Algebras.- 1. Representations.- 2. The density theorem.- 3. The radical and summands.- 4. Wedderburn's theorem, part one.- 5. Matrix rings and division algebras.- Notes.- X. Free Groups.- 1. Existence and uniqueness.- 2. Nielsen sets.- 3. Finitely generated subgroups.- 4. Detachable subgroups of finite-rank free groups.- 5. Conjugate subgroups.- Notes.- XI. Abelian Groups.- 1. Finite-rank torsion-free groups.- 2. Divisible groups.- 3. Height functions on p-groups.- 4. Ulm's theorem.- 5. Construction of Ulm groups.- Notes.- XII. Valuation Theory.- 1. Valuations.- 2. Locally precompact valuations.- 3. Pseudofactorial fields.- 4. Normed vector spaces.- 5. Real and complex fields.- 6. Hensel's lemma.- 7. Extensions of valuations.- 8. e and f.- Notes.- XIII. Dedekind Domains.- 1. Dedekind sets of valuations.- 2. Ideal theory.- 3. Finite extensions.

Product Description

Book by Mines Ray Richman Fred Ruitenburg Wim

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783540966401: A Course in Constructive Algebra

Edizione in evidenza

ISBN 10:  3540966404 ISBN 13:  9783540966401
Casa editrice: Springer-Verlag Berlin and Heide..., 1988
Brossura