AL. Kostrikin IR. Shafarevich (Eds.)
Algebra I
Basic Notions of Algebra
With 45 Figures
London Paris Tokyo
Hong KongEncyclopaedia of
Mathematical Sciences
Volume 11
Editor-in-Chief: R.V. GamkrelidzePreface .
$1
§2.
§3
§4,
§5.
§6.
Basic Notions of Algebra
LR. Shafarevich
Translated from the Russian
by M. Reid
Contents
What is Algebra?
The idea of coordinatisation. Examples: dictionary of quantum mechanics and
coordinatisation of finite models of incidence axioms and parallelism.
Fields ..0.... eee ee cece
Field axioms, isomorphisms. Field of rational functions in independent variables:
function field of a plane algebraic curve. Field of Laurent series and formal Laurent
series
Commutative Rings ....... .
King axioms; zzrodivisors and integral domains. Feld of fractions, Polynomial rings.
Ring of polynomial functions on a plane algebraic curve. Ring of power series and
formal power series, Boolean rings. Direct sums of rings. Ring of continuous functions.
Factorisation; unique factorisation domains, examples of UFDs.
Homomorphisms and Ideals ........
Homomorphisms, ideals, quotient rings. The homomorphisms ‘theorem, The resttic-
‘ion homomorphism in rings of functions. Principal ideal domains; relations with
UFDs. Product of ideals. Characteristic of afield, Extension in which a given poly-
nomial has a root. Algebraically closed fields. Finite fields. Representing elements
of a general ring as functions on maximal and prime ideals. Integers as functions.
Ultraproducts and nonstandard analysis. Commuting differential operators.
Modules... 00.5.0 ccevevvveeeeeeeeeeee :
Direct sums and free modules. Tensor products. Tensor, symmetric and exterior powers
‘ofa module, the dual medule. Equivalent ideals and isomorphism of modules, Modules
of eiferential forms and vector fields. Families of vector spaces and modules
Algebraic Aspects of Dimension ......
Rank of a module. Modules of init type. Modules of init type over a principal ideal
domain. Noetherian modules and rings. Noetherian rings and eings of finite type. The
case of graded rings, Transcendence degree of an extension. Finite extensions.
a
lt
17
24
33
41