skip to content
A course in constructive algebra. Preview this item
ClosePreview this item
Checking...

A course in constructive algebra.

Author: Ray Mines; Fred Richman; Wim Ruitenburg
Publisher: New York : Springer-Verlag, ©1988.
Series: Universitext.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Presents the fundamental structures of modern algebra from a constructive point of view. This book contains basic notions, and also covers PID's, field theory (including Galois theory), factorisation  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Matériel didactique
Document Type: Book
All Authors / Contributors: Ray Mines; Fred Richman; Wim Ruitenburg
ISBN: 0387966404 9780387966403
OCLC Number: 300410007
Description: xi, 344 p.
Contents: 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 Bezout 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.
Series Title: Universitext.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/300410007> # A course in constructive algebra.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "300410007" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/13809246#Thing/algebre> ; # Algebre
   schema:about <http://experiment.worldcat.org/entity/work/data/13809246#Topic/algebre_constructive> ; # algèbre constructive
   schema:about <http://experiment.worldcat.org/entity/work/data/13809246#Topic/mathematique_constructive> ; # mathématique constructive
   schema:about <http://dewey.info/class/512/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/13809246#Topic/algebre> ; # Algèbre
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/73924639> ; # Wim Ruitenburg
   schema:contributor <http://experiment.worldcat.org/entity/work/data/13809246#Person/richman_fred> ; # Fred Richman
   schema:copyrightYear "1988" ;
   schema:creator <http://viaf.org/viaf/27138075> ; # Ray Mines
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/13809246> ;
   schema:genre "Matériel didactique"@fr ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13809246#Series/universitext> ; # Universitext.
   schema:name "A course in constructive algebra." ;
   schema:numberOfPages "344" ;
   schema:productID "300410007" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/300410007#PublicationEvent/new_york_springer_verlag_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/13809246#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387966403> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/300410007> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/13809246#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/13809246#Person/richman_fred> # Fred Richman
    a schema:Person ;
   schema:familyName "Richman" ;
   schema:givenName "Fred" ;
   schema:name "Fred Richman" ;
    .

<http://experiment.worldcat.org/entity/work/data/13809246#Series/universitext> # Universitext.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/300410007> ; # A course in constructive algebra.
   schema:name "Universitext." ;
   schema:name "Universitext" ;
    .

<http://experiment.worldcat.org/entity/work/data/13809246#Topic/algebre> # Algèbre
    a schema:Intangible ;
   schema:name "Algèbre" ;
   schema:name "Algèbre"@fr ;
   schema:name "algèbre" ;
    .

<http://experiment.worldcat.org/entity/work/data/13809246#Topic/algebre_constructive> # algèbre constructive
    a schema:Intangible ;
   schema:name "algèbre constructive" ;
    .

<http://experiment.worldcat.org/entity/work/data/13809246#Topic/mathematique_constructive> # mathématique constructive
    a schema:Intangible ;
   schema:name "mathématique constructive" ;
    .

<http://viaf.org/viaf/27138075> # Ray Mines
    a schema:Person ;
   schema:familyName "Mines" ;
   schema:givenName "Ray" ;
   schema:name "Ray Mines" ;
    .

<http://viaf.org/viaf/73924639> # Wim Ruitenburg
    a schema:Person ;
   schema:familyName "Ruitenburg" ;
   schema:givenName "Wim" ;
   schema:name "Wim Ruitenburg" ;
    .

<http://worldcat.org/isbn/9780387966403>
    a schema:ProductModel ;
   schema:isbn "0387966404" ;
   schema:isbn "9780387966403" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.