Algebra I: Chapters 1-3This softcover reprint of the 1974 English translation of the first three chapters of Bourbaki’s Algebre gives a thorough exposition of the fundamentals of general, linear, and multilinear algebra. The first chapter introduces the basic objects, such as groups and rings. The second chapter studies the properties of modules and linear maps, and the third chapter discusses algebras, especially tensor algebras. |
Contents
Description of formal mathematics 2 Theory of sets 3 Ordered sets | 1 |
Identity element cancellable elements invertible elements | 12 |
Actions | 24 |
4 Groups and groups with operators | 30 |
Groups operating on a set | 52 |
Extensions solvable groups nilpotent groups | 65 |
Associated prime ideals and primary decomposition 5 Integers | 81 |
Rings | 96 |
Projective completion of an affine space | 333 |
Extension of rational functions | 334 |
Matrices | 338 |
Graded modules and rings | 363 |
Appendix Pseudomodules | 378 |
Exercises for 2 386 | 413 |
TENSOR ALGEBRAS EXTERIOR ALGEBRAS SYMMETRIC | 427 |
Examples of algebras | 438 |
Fields | 114 |
Exercises for 1 | 124 |
Exercises for 4 | 132 |
Exercises for 5 | 140 |
Exercises for 6 | 147 |
Exercises for 7 | 159 |
Exercises for 8 | 171 |
pact spaces 4 Extension of a measure L spaces 5 Integration of mea | 177 |
Exercises for 10 | 179 |
LINEAR ALGEBRA | 191 |
Modules of linear mappings Duality | 227 |
Tensor products | 243 |
Relations between tensor products and homomorphism modules | 267 |
Extension of the ring of scalars | 277 |
Relations between restriction and extension of the ring of scalars | 280 |
Extension of the ring of operators of a homomorphism module | 282 |
Dual of a module obtained by extension of scalars | 283 |
A criterion for finiteness | 284 |
Direct limits of modules | 286 |
Tensor product of direct limits | 289 |
Vector spaces | 292 |
Dimension of vector spaces | 293 |
Dimension and codimension of a subspace of a vector space | 295 |
Rank of a linear mapping | 298 |
Dual of a vector space | 299 |
Linear equations in vector spaces | 304 |
Tensor product of vector spaces | 306 |
Rank of an element of a tensor product | 309 |
Extension of scalars for a vector space | 310 |
Modules over integral domains | 312 |
Restriction of the field of scalars in vector spaces | 317 |
Rationality for a subspace | 318 |
Rationality for a linear mapping | 319 |
Rational linear forms | 320 |
Application to linear systems | 321 |
Smallest field of rationality | 322 |
Criteria for rationality | 323 |
Affine spaces and projective spaces | 325 |
Barycentric calculus | 326 |
Affine linear varieties | 327 |
Affine linear mappings | 329 |
Definition of projective spaces | 331 |
Projective linear varieties | 332 |
Graded algebras | 457 |
HomeE1 F1 Homo E2 | 471 |
Tensor algebra Tensors | 484 |
module Tensor algebra of a graded module | 491 |
Symmetric algebras | 497 |
Exterior algebras | 507 |
Determinants | 522 |
The AXmodule associated with an Amodule endo morphism | 539 |
Characteristic polynomial of an endomorphism | 540 |
Norms and traces | 541 |
Properties of norms and traces relative to a module | 542 |
Norm and trace in an algebra | 543 |
Properties of norms and traces in an algebra | 545 |
Discriminant of an algebra | 549 |
Derivations | 550 |
General definition of derivations | 551 |
DIFFERENTIAL AND ANALYTIC MANIFOLDS | 553 |
Composition of derivations | 554 |
Derivations of an algebra A into an Amodule | 557 |
Derivations of an algebra | 559 |
Functorial properties | 560 |
Relations between derivations and algebra homomor phisms | 561 |
Extension of derivations | 562 |
noncommutative case | 567 |
commutative case | 568 |
Functorial properties of Kdifferentials | 570 |
Cogebras products of multilinear forms inner products and duality | 574 |
Coassociativity cocommutativity counit | 578 |
Properties of graded cogebras of type N | 584 |
Bigebras and skewbigebras | 585 |
The graded duals TM SMer and Ʌ Mgr | 587 |
case of algebras | 594 |
case of cogebras | 597 |
case of bigebras | 600 |
Inner products between TM and TM SM and SM | 603 |
Explicit form of inner products in the case of a finitely generated free module | 605 |
Isomorphisms between Ʌ M and Ʌ M for an n np dimensional free module M | 607 |
Application to the subspace associated with a pvector | 608 |
Pure pvectors Grassmannians | 609 |
HISTORICAL NOTE ON CHAPTERS II AND III | 655 |
669 | |
677 | |
Other editions - View all
Common terms and phrases
A-algebra A-linear A-module structure algebra associative automorphism b₁ basis bijective called canonical homomorphism canonical injection canonical mapping commutative group commutative ring compatible Deduce defined DEFINITION denoted direct sum E₁ endomorphism equivalence relation Exercise exists F₁ finite group follows formula G₁ G₂ graded group G group with operators H₁ hence Hom(E identity element implies indexing set induction integer inverse isomorphism kernel law of composition left A-module left ideal left resp Lemma Let f Let G linear mapping magma matrix Mo(X module monogenous monoid morphism multiplication necessary and sufficient nilpotent non-empty normal stable subgroup normal subgroup notation ordered pair orthogonal p-group permutation prime number quotient group right A-module Set Theory Show stable subgroup stable subset subgroup of G submodule subring subspace Suppose surjective Sylow p-subgroup Theorem two-sided ideal unique vector space whence x₁ y₁ λει