1. Short Exact Sequences 1.1. Definition

Total Page:16

File Type:pdf, Size:1020Kb

1. Short Exact Sequences 1.1. Definition 1. Short exact sequences ′ ′ f1 f2 ′ f1 ′ f2 ′ 1.1. Definition. Let 0 A1 A2 A3 0 and 0 A1 A2 A3 0 be two short exact sequence of R→-modules.−→ We−→ call these→ short exact→ sequences−→ −→E and E→′. Suppose h : A A′ are R-module homomorphisms such that the following diagram commutes: j j → j f1 f2 0 / A1 / A2 / A3 / 0 (1) h1 h2 h3 f ′ f ′ ′ 1 ′ 2 ′ 0 / A1 / A2 / A3 / 0 ′ Then one says that h = (h1, h2, h3) is a homomorphism from E to E . We say that h is an ′ isomorphism from E to E if each hj is an isomorphism. Let A and C be two R-modules. Let i : A A C be the inclusion and p : A C C be the projection. Then one has an exact sequence→ ⊕ ⊕ → p 0 A i A C C 0. (2) → −→ ⊕ −→ → We say that a short exact sequence is split if it is isomorphic to an exact sequence of the form (2). 1.2. Lemma. Let (1) be a homomorphism of short exact sequences. If h1 and h3 are iso- morphism, then so is h2. j q 1.3. Theorem (Splitting criteria). Let 0 A B C 0 be a short exact sequence of R-modules. Then the following are equivalent:→ −→ −→ → (a) The exact sequence is split. (b) There exists k : B A such that k j = id . → ◦ A (c) There exists r : C B such that q r = idC . → ′ ◦ ′ (d) There exists a submodule C B such that q C′ : C C is an isomorphism. Further, if C′ is any submodule⊆ as in (d), then B| = j(A→) C′. In particular, the short exact sequence above is split, then B A C. ⊕ ≃ ⊕ Proof. (b) = (d) : Define C′ = ker(k) and verify that q ′ : C′ C is an isomorphism. ⇒ |C → (d) = (c) : Define r : C B to be the inverse of the isomorphism q ′ . ⇒ → |C (c) = (a) : Define a homomorphism h2 : A C B by h(a, c) = j(a)+ r(c). One verifies that⇒ the diagram below commutes. ⊕ → i p 0 / A / A C / C / 0 ⊕ id h2 id j q 0 / A / B / C / 0 Lemma 1.2 implies that h2 is an isomorphism. Thus (c) implies (a). Finally (a) = (b) is left as an exercise. ⇒ Let C′ be any submodule as in (d). Let b B. Then q(b rqb)=0, so(b rqb) i(A). So writing b = (b rqb)+ rqb, we see that B∈ = i(A)+ C′.− If b i(A) C′,− then b∈= i(a) for some a A.− so q(b) = qi(a) = 0. Since b C′ and the restriction∈ ∩ of q to C′ is an isomorphism,∈ it follows that b =0. So B = i(A) ∈C′. 1 ⊕ 2. Hom’s and Tensors References: Dummit and Foote (Ch. 10.4 - 10.5), Atiyah Macdonald (Ch. 2). Let R be a commutative ring with 1. 2.1. Exercise: Let M ′,M,M ′′ be R-modules. Given an R-module N and an R-module homomorphism f : M ′ M, one obtains an R-module homomorphism f ∗ : Hom(M, N) Hom(M ′, N) given by f→∗(α)= α f. → Let ◦ f g M ′ M M ′′ 0 (3) −→ −→ → be a sequence of R-modules and homomorphisms. Then the following are equivalent: (a) The sequence (3) is exact. g∗ f ∗ (b) The sequence 0 Hom(M ′′, N) Hom(M, N) Hom(M ′, N) is exact for every R-module N. → −→ −→ 2.2. Definition. Let M,N,P be R-modules. Let α : M N P be a map. If m M, × → ∈ then let αm,• : N P denote that map αm,•(n)= α(m, n). If n N, then let α•,n : M P denote that map →α (m) = α(m, n). Say that α : M N P∈is a R-bilinear map if →α •,n × → m,• and α•,n are R-linear maps for all m M and n N. Let Bilinear(M ,N,P ) denote the set of all R-bilinear maps from M N∈ P . ∈ × × → 2.3. Exercise: Verify that there are isomorphisms i : Bilinear(M ,N,P ) Hom (M, Hom (N,P )) (4) M × ≃ R R given by α αm,•. These isomorphisms are natural in the sense that for all R-module homomorphism7→ φ : M M ′, the following diagram commutes: → iM Bilinear(M N,P ) / HomR(M, HomR(N,P )) O × O ∗ ∗ (φ×idN ) φ ′ ′ Bilinear(M N,P ) / HomR(M , HomR(N,P )) × iM′ Here φ∗ and (φ id )∗ are the maps induced by the functoriality of Hom (see 2.1). × N 2.4. Definition. Let M and N be R-modules. Then there exists a pair (T,g) where T is an R-module and g : M N T is an R-bilinear map satisfying the following universal property: Given any R-module× →P and an R-bilinear map α : M N P , there exists a unique R-module homomorphism α¯ : T P such that α =α ¯ g. × → One verifies that such a pair (T,g) is necessarily→ unique upto unique◦ isomorphism. We write T =(M R N) and call it the tensor product of M and N over R. We write M N instead of M ⊗N, when there is no chance of confusion. ⊗ ⊗R 2.5. Construction of the tensor product: Let F be the free module on the set M N with a basis indexed by all ordered pairs (m, n), with m M and n N. Let S be× the submodule of F generated by all expressions of the following∈ form: ∈ (m + m , n) (m , n) (m , n), r(m, n) (mr, n), 1 2 − 1 − 2 − (m, n + n ) (m, n ) (m, n ), r(m, n) (m, rn). 1 2 − 1 − 2 − 2 Define M N = F/S. The image of (m, n) F in M N is denoted by m n. So ⊗R ∈ ⊗R ⊗ by construction, M R N consists of finite expressions of the form j rj(mj nj) and the following properties⊗ hold: P ⊗ (m + m ) n = m n + m n, m (n + n )= m n + m n , 1 2 ⊗ 1 ⊗ 2 ⊗ ⊗ 1 2 ⊗ 1 ⊗ 2 r(m n)=(mr) n = m (rn). ⊗ ⊗ ⊗ 2.6. Lemma. Let φ : M M ′ and ψ : N N ′ be R-module homomorphisms. Then we get a map φ ψ : M N →M ′ N ′. Let (M→ N,g) and (M ′ N ′,g′) be the tensor products. Then there× exists× a unique→ R×-module homomorphism⊗ φ ψ⊗: M M ′ N N ′ such that g′ (φ ψ)=(φ ψ) g. ⊗ ⊗ → ⊗ ◦Let ×be the category⊗ ◦ of R-modules. The construction (M, N) (M N) and (φ, ψ) (φ ψC) defines a functor from the category to . 7→ ⊗ 7→ ⊗ C × C C 2.7. Lemma. Let M,N,P be R-modules: Show that there are the following natural isomor- phisms: (a) R R M M. (b) (M⊗ N)≃ P M (N P ). (c) M ⊗(N ⊗P ) ≃ (M⊗ N)⊗ (M P ). ⊗ ⊕ ≃ ⊗ ⊕ ⊗ 2.8. Remark. The above lemma says that the category of R-modules with the operations and behave like a ring where R plays the role of anC unit. ⊕ ⊗ 2.9. Lemma. There are natural isomorphisms M N N M induced by (m n) (n m). ⊗ ≃ ⊗ × 7→ ⊗ 2.10. Exercise: Let (M N,g) be the tensor product of the R-modules M and N. Show that the universal property⊗ of (M N,g) implies that we have isomorphisms ⊗ g∗ : Hom (M N,P ) Bilinear(M N,P ) R ⊗ ≃ × given by g∗(¯α)=α ¯ g which are natural in the following sense. Given any R-module homomorphisms φ : M◦ M ′ and ψ : N N ′, the following diagram commutes: → → g∗ HomR(M N,P ) / Bilinear(M N,P ) O ⊗ O × (φ⊗ψ)∗ (φ×ψ)∗ ′ ′ ′ ′ HomR(M N ,P ) / Bilinear(M N ,P ). ⊗ (g′)∗ × Hint: 2.6. 2.11. Lemma (Hom- adjunction). Let M,N,P be R-modules.There are isomorphisms ⊗ γ : Hom (M N,P ) Hom (M, Hom (N,P )). M R ⊗R ≃ R R which are natural in the following sense. Given any R-module homomorphism φ : M M ′, the following diagram commutes: → γM HomR(M R N,P ) / HomR(M, HomR(N,P )) O ⊗ O ∗ ∗ (φ⊗idN ) φ ′ ′ HomR(M R N,P ) / HomR(M , HomR(N,P )) ⊗ γM′ 3 Proof. Use the commutative diagrams in 2.3 and 2.10 with ψ = idN . f g 2.12. Lemma (Exactness property of ). Let M ′ M M ′′ 0 be an exact sequence of R-modules. Then the sequence ⊗ −→ −→ → f⊗id g⊗id M ′ N N M N N M ′′ N 0 ⊗ −−−−→ ⊗ −−−→ ⊗ → is exact for all R-module N. Proof. Let N,P be any two R-modules. Then the implication (a) = (b) in 2.1 tells us that ⇒ g∗ f ∗ 0 Hom (M ′′, Hom (N,P )) Hom (M, Hom (N,P )) Hom (M ′, Hom (N,P )) → R R −→ R R −→ R R is exact. Now the 2.11 tells us that the induced sequence (g⊗id )∗ (f⊗id )∗ 0 Hom (M ′′ N,P ) N Hom (M N,P ) N Hom (M ′′ N,P ) → R ⊗ −−−−−→ R ⊗ −−−−−→ R ⊗ is exact. Note that this uses the naturality in 2.11. Now the implication (b) = (a) in 2.1 f⊗id g⊗id ⇒ tells us that M ′ N N M N N M ′′ N 0 is exact too. ⊗ −−−−→ ⊗ −−−→ ⊗ → .Lemma. Let M be an R-module and I be an ideal in R. Let i : I ֒ R be the inclusion .2.13 i⊗idM → (a) Show that I M IM and I M R M is simply the inclusion of IM ⊗R ≃ ⊗R −−−→ ⊗R in M once we identify R R M with M.
Recommended publications
  • Modules and Vector Spaces
    Modules and Vector Spaces R. C. Daileda October 16, 2017 1 Modules Definition 1. A (left) R-module is a triple (R; M; ·) consisting of a ring R, an (additive) abelian group M and a binary operation · : R × M ! M (simply written as r · m = rm) that for all r; s 2 R and m; n 2 M satisfies • r(m + n) = rm + rn ; • (r + s)m = rm + sm ; • r(sm) = (rs)m. If R has unity we also require that 1m = m for all m 2 M. If R = F , a field, we call M a vector space (over F ). N Remark 1. One can show that as a consequence of this definition, the zeros of R and M both \act like zero" relative to the binary operation between R and M, i.e. 0Rm = 0M and r0M = 0M for all r 2 R and m 2 M. H Example 1. Let R be a ring. • R is an R-module using multiplication in R as the binary operation. • Every (additive) abelian group G is a Z-module via n · g = ng for n 2 Z and g 2 G. In fact, this is the only way to make G into a Z-module. Since we must have 1 · g = g for all g 2 G, one can show that n · g = ng for all n 2 Z. Thus there is only one possible Z-module structure on any abelian group. • Rn = R ⊕ R ⊕ · · · ⊕ R is an R-module via | {z } n times r(a1; a2; : : : ; an) = (ra1; ra2; : : : ; ran): • Mn(R) is an R-module via r(aij) = (raij): • R[x] is an R-module via X i X i r aix = raix : i i • Every ideal in R is an R-module.
    [Show full text]
  • Homological Algebra
    Homological Algebra Donu Arapura April 1, 2020 Contents 1 Some module theory3 1.1 Modules................................3 1.6 Projective modules..........................5 1.12 Projective modules versus free modules..............7 1.15 Injective modules...........................8 1.21 Tensor products............................9 2 Homology 13 2.1 Simplicial complexes......................... 13 2.8 Complexes............................... 15 2.15 Homotopy............................... 18 2.23 Mapping cones............................ 19 3 Ext groups 21 3.1 Extensions............................... 21 3.11 Projective resolutions........................ 24 3.16 Higher Ext groups.......................... 26 3.22 Characterization of projectives and injectives........... 28 4 Cohomology of groups 32 4.1 Group cohomology.......................... 32 4.6 Bar resolution............................. 33 4.11 Low degree cohomology....................... 34 4.16 Applications to finite groups..................... 36 4.20 Topological interpretation...................... 38 5 Derived Functors and Tor 39 5.1 Abelian categories.......................... 39 5.13 Derived functors........................... 41 5.23 Tor functors.............................. 44 5.28 Homology of a group......................... 45 1 6 Further techniques 47 6.1 Double complexes........................... 47 6.7 Koszul complexes........................... 49 7 Applications to commutative algebra 52 7.1 Global dimensions.......................... 52 7.9 Global dimension of
    [Show full text]
  • Derived Functors and Homological Dimension (Pdf)
    DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION George Torres Math 221 Abstract. This paper overviews the basic notions of abelian categories, exact functors, and chain complexes. It will use these concepts to define derived functors, prove their existence, and demon- strate their relationship to homological dimension. I affirm my awareness of the standards of the Harvard College Honor Code. Date: December 15, 2015. 1 2 DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION 1. Abelian Categories and Homology The concept of an abelian category will be necessary for discussing ideas on homological algebra. Loosely speaking, an abelian cagetory is a type of category that behaves like modules (R-mod) or abelian groups (Ab). We must first define a few types of morphisms that such a category must have. Definition 1.1. A morphism f : X ! Y in a category C is a zero morphism if: • for any A 2 C and any g; h : A ! X, fg = fh • for any B 2 C and any g; h : Y ! B, gf = hf We denote a zero morphism as 0XY (or sometimes just 0 if the context is sufficient). Definition 1.2. A morphism f : X ! Y is a monomorphism if it is left cancellative. That is, for all g; h : Z ! X, we have fg = fh ) g = h. An epimorphism is a morphism if it is right cancellative. The zero morphism is a generalization of the zero map on rings, or the identity homomorphism on groups. Monomorphisms and epimorphisms are generalizations of injective and surjective homomorphisms (though these definitions don't always coincide). It can be shown that a morphism is an isomorphism iff it is epic and monic.
    [Show full text]
  • Lecture 15. De Rham Cohomology
    Lecture 15. de Rham cohomology In this lecture we will show how differential forms can be used to define topo- logical invariants of manifolds. This is closely related to other constructions in algebraic topology such as simplicial homology and cohomology, singular homology and cohomology, and Cechˇ cohomology. 15.1 Cocycles and coboundaries Let us first note some applications of Stokes’ theorem: Let ω be a k-form on a differentiable manifold M.For any oriented k-dimensional compact sub- manifold Σ of M, this gives us a real number by integration: " ω : Σ → ω. Σ (Here we really mean the integral over Σ of the form obtained by pulling back ω under the inclusion map). Now suppose we have two such submanifolds, Σ0 and Σ1, which are (smoothly) homotopic. That is, we have a smooth map F : Σ × [0, 1] → M with F |Σ×{i} an immersion describing Σi for i =0, 1. Then d(F∗ω)isa (k + 1)-form on the (k + 1)-dimensional oriented manifold with boundary Σ × [0, 1], and Stokes’ theorem gives " " " d(F∗ω)= ω − ω. Σ×[0,1] Σ1 Σ1 In particular, if dω =0,then d(F∗ω)=F∗(dω)=0, and we deduce that ω = ω. Σ1 Σ0 This says that k-forms with exterior derivative zero give a well-defined functional on homotopy classes of compact oriented k-dimensional submani- folds of M. We know some examples of k-forms with exterior derivative zero, namely those of the form ω = dη for some (k − 1)-form η. But Stokes’ theorem then gives that Σ ω = Σ dη =0,sointhese cases the functional we defined on homotopy classes of submanifolds is trivial.
    [Show full text]
  • On the Cohomology of the Finite Special Linear Groups, I
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 54, 216-238 (1978) On the Cohomology of the Finite Special Linear Groups, I GREGORY W. BELL* Fort Lewis College, Durango, Colorado 81301 Communicated by Graham Higman Received April 1, 1977 Let K be a finite field. We are interested in determining the cohomology groups of degree 0, 1, and 2 of various KSL,+,(K) modules. Our work is directed to the goal of determining the second degree cohomology of S&+,(K) acting on the exterior powers of its standard I + l-dimensional module. However, our solution of this problem will involve the study of many cohomology groups of degree 0 and 1 as well. These groups are of independent interest and they are useful in many other cohomological calculations involving SL,+#) and other Chevalley groups [ 11. Various aspects of this problem or similar problems have been considered by many authors, including [l, 5, 7-12, 14-19, 211. There have been many techni- ques used in studing this problem. Some are ad hoc and rely upon particular information concerning the groups in question. Others are more general, but still place restrictions, such as restrictions on the characteristic of the field, the order of the field, or the order of the Galois group of the field. Our approach is general and shows how all of these problems may be considered in a unified. way. In fact, the same method may be applied quite generally to other Chevalley groups acting on certain of their modules [l].
    [Show full text]
  • 6. Localization
    52 Andreas Gathmann 6. Localization Localization is a very powerful technique in commutative algebra that often allows to reduce ques- tions on rings and modules to a union of smaller “local” problems. It can easily be motivated both from an algebraic and a geometric point of view, so let us start by explaining the idea behind it in these two settings. Remark 6.1 (Motivation for localization). (a) Algebraic motivation: Let R be a ring which is not a field, i. e. in which not all non-zero elements are units. The algebraic idea of localization is then to make more (or even all) non-zero elements invertible by introducing fractions, in the same way as one passes from the integers Z to the rational numbers Q. Let us have a more precise look at this particular example: in order to construct the rational numbers from the integers we start with R = Z, and let S = Znf0g be the subset of the elements of R that we would like to become invertible. On the set R×S we then consider the equivalence relation (a;s) ∼ (a0;s0) , as0 − a0s = 0 a and denote the equivalence class of a pair (a;s) by s . The set of these “fractions” is then obviously Q, and we can define addition and multiplication on it in the expected way by a a0 as0+a0s a a0 aa0 s + s0 := ss0 and s · s0 := ss0 . (b) Geometric motivation: Now let R = A(X) be the ring of polynomial functions on a variety X. In the same way as in (a) we can ask if it makes sense to consider fractions of such polynomials, i.
    [Show full text]
  • Math 231Br: Algebraic Topology
    algebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard fLast updated August 14, 2012g Contents Lecture 1 January 24, 2010 x1 Introduction 6 x2 Homotopy groups. 6 Lecture 2 1/26 x1 Introduction 8 x2 Relative homotopy groups 9 x3 Relative homotopy groups as absolute homotopy groups 10 Lecture 3 1/28 x1 Fibrations 12 x2 Long exact sequence 13 x3 Replacing maps 14 Lecture 4 1/31 x1 Motivation 15 x2 Exact couples 16 x3 Important examples 17 x4 Spectral sequences 19 1 Lecture 5 February 2, 2010 x1 Serre spectral sequence, special case 21 Lecture 6 2/4 x1 More structure in the spectral sequence 23 x2 The cohomology ring of ΩSn+1 24 x3 Complex projective space 25 Lecture 7 January 7, 2010 x1 Application I: Long exact sequence in H∗ through a range for a fibration 27 x2 Application II: Hurewicz Theorem 28 Lecture 8 2/9 x1 The relative Hurewicz theorem 30 x2 Moore and Eilenberg-Maclane spaces 31 x3 Postnikov towers 33 Lecture 9 February 11, 2010 x1 Eilenberg-Maclane Spaces 34 Lecture 10 2/14 x1 Local systems 39 x2 Homology in local systems 41 Lecture 11 February 16, 2010 x1 Applications of the Serre spectral sequence 45 Lecture 12 2/18 x1 Serre classes 50 Lecture 13 February 23, 2011 Lecture 14 2/25 Lecture 15 February 28, 2011 Lecture 16 3/2/2011 Lecture 17 March 4, 2011 Lecture 18 3/7 x1 Localization 74 x2 The homotopy category 75 x3 Morphisms between model categories 77 Lecture 19 March 11, 2011 x1 Model Category on Simplicial Sets 79 Lecture 20 3/11 x1 The Yoneda embedding 81 x2 82
    [Show full text]
  • Introduction to Homology
    Introduction to Homology Matthew Lerner-Brecher and Koh Yamakawa March 28, 2019 Contents 1 Homology 1 1.1 Simplices: a Review . .2 1.2 ∆ Simplices: not a Review . .2 1.3 Boundary Operator . .3 1.4 Simplicial Homology: DEF not a Review . .4 1.5 Singular Homology . .5 2 Higher Homotopy Groups and Hurweicz Theorem 5 3 Exact Sequences 5 3.1 Key Definitions . .5 3.2 Recreating Groups From Exact Sequences . .6 4 Long Exact Homology Sequences 7 4.1 Exact Sequences of Chain Complexes . .7 4.2 Relative Homology Groups . .8 4.3 The Excision Theorems . .8 4.4 Mayer-Vietoris Sequence . .9 4.5 Application . .9 1 Homology What is Homology? To put it simply, we use Homology to count the number of n dimensional holes in a topological space! In general, our approach will be to add a structure on a space or object ( and thus a topology ) and figure out what subsets of the space are cycles, then sort through those subsets that are holes. Of course, as many properties we care about in topology, this property is invariant under homotopy equivalence. This is the slightly weaker than homeomorphism which we before said gave us the same fundamental group. 1 Figure 1: Hatcher p.100 Just for reference to you, I will simply define the nth Homology of a topological space X. Hn(X) = ker @n=Im@n−1 which, as we have said before, is the group of n-holes. 1.1 Simplices: a Review k+1 Just for your sake, we review what standard K simplices are, as embedded inside ( or living in ) R ( n ) k X X ∆ = [v0; : : : ; vk] = xivi such that xk = 1 i=0 For example, the 0 simplex is a point, the 1 simplex is a line, the 2 simplex is a triangle, the 3 simplex is a tetrahedron.
    [Show full text]
  • Homology Groups of Homeomorphic Topological Spaces
    An Introduction to Homology Prerna Nadathur August 16, 2007 Abstract This paper explores the basic ideas of simplicial structures that lead to simplicial homology theory, and introduces singular homology in order to demonstrate the equivalence of homology groups of homeomorphic topological spaces. It concludes with a proof of the equivalence of simplicial and singular homology groups. Contents 1 Simplices and Simplicial Complexes 1 2 Homology Groups 2 3 Singular Homology 8 4 Chain Complexes, Exact Sequences, and Relative Homology Groups 9 ∆ 5 The Equivalence of H n and Hn 13 1 Simplices and Simplicial Complexes Definition 1.1. The n-simplex, ∆n, is the simplest geometric figure determined by a collection of n n + 1 points in Euclidean space R . Geometrically, it can be thought of as the complete graph on (n + 1) vertices, which is solid in n dimensions. Figure 1: Some simplices Extrapolating from Figure 1, we see that the 3-simplex is a tetrahedron. Note: The n-simplex is topologically equivalent to Dn, the n-ball. Definition 1.2. An n-face of a simplex is a subset of the set of vertices of the simplex with order n + 1. The faces of an n-simplex with dimension less than n are called its proper faces. 1 Two simplices are said to be properly situated if their intersection is either empty or a face of both simplices (i.e., a simplex itself). By \gluing" (identifying) simplices along entire faces, we get what are known as simplicial complexes. More formally: Definition 1.3. A simplicial complex K is a finite set of simplices satisfying the following condi- tions: 1 For all simplices A 2 K with α a face of A, we have α 2 K.
    [Show full text]
  • 11. Finitely-Generated Modules
    11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules of free modules 1. Free modules The following definition is an example of defining things by mapping properties, that is, by the way the object relates to other objects, rather than by internal structure. The first proposition, which says that there is at most one such thing, is typical, as is its proof. Let R be a commutative ring with 1. Let S be a set. A free R-module M on generators S is an R-module M and a set map i : S −! M such that, for any R-module N and any set map f : S −! N, there is a unique R-module homomorphism f~ : M −! N such that f~◦ i = f : S −! N The elements of i(S) in M are an R-basis for M. [1.0.1] Proposition: If a free R-module M on generators S exists, it is unique up to unique isomorphism. Proof: First, we claim that the only R-module homomorphism F : M −! M such that F ◦ i = i is the identity map. Indeed, by definition, [1] given i : S −! M there is a unique ~i : M −! M such that ~i ◦ i = i. The identity map on M certainly meets this requirement, so, by uniqueness, ~i can only be the identity. Now let M 0 be another free module on generators S, with i0 : S −! M 0 as in the definition.
    [Show full text]
  • Arithmetical Birational Invariants of Linear Algebraic Groups Over Two-Dimensional Geometric fields ✩
    Journal of Algebra 276 (2004) 292–339 www.elsevier.com/locate/jalgebra Arithmetical birational invariants of linear algebraic groups over two-dimensional geometric fields ✩ Mikhail Borovoi,a,1,∗ Boris Kunyavski˘ı,b,2 and Philippe Gille c,3 a Raymond and Beverly Sackler School of Mathematical Sciences, Tel Aviv University, 69978 Tel Aviv, Israel b Department of Mathematics and Statistics, Bar-Ilan University, 52900 Ramat Gan, Israel c CNRS, UMR 8628, Mathématiques, Bâtiment 425, Université de Paris-Sud, F-91405 Orsay, France Received 5 May 2003 Communicated by Eva Bayer-Fluckiger To Valentin Evgenyevich Voskresenski˘ı on the occasion of his 75th birthday Abstract Let G be a connected linear algebraic group over a geometric field k of cohomological dimension 2 of one of the types which were considered by Colliot-Thélène, Gille and Parimala. Basing on their results, we compute the group of classes of R-equivalence G(k)/R, the defect of weak approximation 1 1 AΣ (G), the first Galois cohomology H (k, G), and the Tate–Shafarevich kernel x (k, G) (for suitable k) in terms of the algebraic fundamental group π1(G). We prove that the groups G(k)/R 1 and AΣ (G) and the set x (k, G) are stably k-birational invariants of G. 2004 Elsevier Inc. All rights reserved. Keywords: Two-dimensional geometric field; Linear algebraic group; Birational invariants; R-equivalence; Weak approximation; Tate–Shafarevich kernel ✩ This research was supported by the Israel Science Foundation founded by the Israel Academy of Sciences and Humanities—Center of Excellence Program and by EU RTN HPRN-CT-2002-00287.
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]