Luận văn Thạc sĩ Toán học: Công thức quy net và một vài ứng dụng

Chia sẻ: Lavie Lavie | Ngày: | Loại File: PDF | Số trang:67

Thêm vào BST

Báo xấu

24
lượt xem 3
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Luận văn Thạc sĩ Toán học: Công thức quy net và một vài ứng dụng tập trung tìm hiểu về tích tenxơ giữa các phức và định lý Eilenberg – Zilber; công thức quy net và một vài ứng dụng. Với các bạn chuyên ngành Toán học thì đây là tài liệu hữu ích.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Công thức quy net và một vài ứng dụng

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH _________________________ Lâm Hữu Phước CÔNG THỨC QUY NET VÀ MỘT VÀI ỨNG DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh - 2008
3 cho qua cua LỜI CẢM ƠN Tri thức là vốn quý nhất của loài người. Càng lên cao, vai trò và công sức của những người thầy càng quan trọng. Luận văn này được hoàn tất là nhờ sự tổng hợp khá nhiều kiến thức từ các môn trong suốt các khóa học, mà trong đó, cũng nhờ quý thầy đã tận tình hướng dẫn em nắm bắt được. Nhân đây em xin gửi lời cảm ơn đến quý thầy đã giảng dạy em trong các khóa học. Đặc biệt, sự hướng dẫn tận tình của thầy hướng dẫn luận văn đã giúp đỡ em rất nhiều trong việc hoàn thiện kiến thức, hoàn thành luận văn và hướng dẫn những bước đi chập chững đầu tiên trên con đường nghiên cứu khoa học. Em xin được gửi lời cảm ơn thật sâu sắc đến thầy. Ngoài ra, em cũng xin được gửi lời cảm ơn đến quý thầy phản biện đã đọc luận văn của em và giúp em hiểu sâu sắc hơn vấn đề. Xin chân thành cảm ơn.
4 cho qua cua MỤC LỤC trang Trang phụ bìa . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Mục lục . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Mở đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Chương 1- KIẾN THỨC CHUẨN BỊ 8 1.1. Phức và đồng điều . . . . . . . . . . . . . . . . . . . . . 8 1.1.1. Các định nghĩa . . . . . . . . . . . . . . . . . . . 8 1.1.2. Một số mệnh đề thường dùng . . . . . . . . . . . 9 1.1.3. Phép giải . . . . . . . . . . . . . . . . . . . . . . 10 1.2. Phức kì dị và đồng điều kì dị . . . . . . . . . . . . . . . 11 1.2.1. Các định nghĩa . . . . . . . . . . . . . . . . . . . 11 1.2.2. Một số mệnh đề . . . . . . . . . . . . . . . . . . 12 1.3. Tích tenxơ giữa các môđun . . . . . . . . . . . . . . . . 13 1.3.1. Định nghĩa . . . . . . . . . . . . . . . . . . . . . 13 1.3.2. Một vài tính chất . . . . . . . . . . . . . . . . . 14 1.4. Hàm tử Tor, mối liên hệ giữa Tor và tích tenxơ . . . . . 15 1.4.1. Tích xoắn các môđun . . . . . . . . . . . . . . . 15
5 1.4.2. Tích xoắn các nhóm aben . . . . . . . . . . . . . 17 Chương 2- TÍCH TENXƠ GIỮA CÁC PHỨC VÀ ĐỊNH LÝ EILENBERG – ZILBER 19 2.1. Tích tenxơ giữa các phức . . . . . . . . . . . . . . . . . 19 2.1.1. Định nghĩa . . . . . . . . . . . . . . . . . . . . . 19 2.1.2. Một số mệnh đề . . . . . . . . . . . . . . . . . . 22 2.1.3. Áp dụng tích tenxơ giữa các phức để tính các tích xoắn . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2. Định lý Eilenberg – Zilber . . . . . . . . . . . . . . . . . 29 2.2.1. Các model acyclic . . . . . . . . . . . . . . . . . 29 2.2.2. Định lý Eilenberg – Zilber . . . . . . . . . . . . . 36 Chương 3- CÔNG THỨC QUY NET VÀ MỘT VÀI ỨNG DỤNG 38 3.1. Công thức Quy net . . . . . . . . . . . . . . . . . . . . . 38 3.1.1. Một vài mệnh đề bổ trợ . . . . . . . . . . . . . . 39 3.1.2. Công thức Quy net . . . . . . . . . . . . . . . . 47 3.1.3. Trường hợp đặc biệt đối với nhóm aben . . . . . 51 3.2. Một vài ứng dụng của công thức Quy net . . . . . . . . 55 3.2.1. Định lý hệ tử phổ dụng . . . . . . . . . . . . . . 55 3.2.2. Luật kết hợp của hàm tử Tor . . . . . . . . . . 56 3.2.2. Tính đồng điều kì dị của không gian tích . . . . 62 KẾT LUẬN . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 TÀI LIỆU THAM KHẢO . . . . . . . . . . . . . . . . . . . . 68
6 cho qua cua MỞ ĐẦU Lý do chọn đề tài Như ta đã biết, Đại Số Đồng Điều là một phần của Tôpô Đại Số, chuyên ngành xuất hiện từ việc đưa các cấu trúc đại số vào để tìm hiểu sâu sắc hơn về các không gian tôpô. Trong đó, các tri thức về phức kì dị đóng vai trò khá quan trọng. Việc tính các đồng điều kì dị có những ứng dụng cụ thể trong Tôpô Đại Số, chẳng hạn việc xác định tính đúng sai của sự đồng phôi hoặc đồng luân giữa các không gian Tôpô hay làm rõ một kết quả nào đó,. . . Xuất phát từ tính chất tương đương đồng luân giữa tích tenxơ của hai phức kì dị của hai không gian tôpô và phức kì dị của không gian tôpô tích (định lý Eilengberg – Zilber), ta có được sự đẳng cấu đồng điều của hai phức này. Từ đó, nếu tính được đồng điều của tích tenxơ của hai phức thông qua đồng điều của các phức thành phần thì ta có thể tính đồng điều kì dị của không gian tích thông qua đồng điều kì dị của các không gian thành phần. Điều này được giải quyết bởi định lý công thức Quy net (K¨ unneth). Cho nên, việc hiểu rõ về công thức Quy net có vai trò hỗ trợ trong việc tìm hiểu sâu hơn về Đại Số Đồng Điều và Tôpô Đại Số. Đó là lý do chọn đề tài.
7 Mục đích Tìm hiểu rõ về công thức Quy net và cho thấy một vài ứng dụng của nó. Đối tượng và phạm vi nghiên cứu Nghiên cứu trên phạm trù các phức, tích tenxơ các phức, các phức kì dị và những vấn đề có liên quan. Ý nghĩa khoa học và thực tiễn Làm rõ một số vấn đề về công thức Quy net, bên cạnh đó, cho thấy được một vài ứng dụng của nó, đặc biệt trong việc tính đồng điều kì dị.
Chương 1 KIẾN THỨC CHUẨN BỊ 1.1. Phức và đồng điều 1.1.1. Các định nghĩa • Cho R là vành tùy ý, một phức dây chuyền K các R môđun là họ {Kn , ∂n } gồm các R−môđun Kn và các R−đồng cấu ∂n : Kn → Kn−1 được cho theo tất cả các số nguyên n, −∞ < n < ∞, hơn nữa ∂n ◦ ∂n+1 = 0. Điều kiện sau cùng này tương đương với đòi hỏi Ker ∂n ⊃ Im ∂n+1 . Như vậy, phức K là một dãy vô tận về hai đầu: ∂n ∂n+1 K : ···o Kn−1 o Kn o Kn+1 o ··· trong đó, tích hai đồng cấu liên tiếp bằng 0. • Chu trình n chiều của phức K là phần tử của môđun con Cn (K) = Ker ∂n . • Phần tử bờ (hay biên) n chiều của phức K là phần tử thuộc môđun con ∂n+1 Kn+1 . . • Đồng điều H(K) là họ các môđun Hn (K) = Ker ∂n Im ∂n+1 . Đẳng thức Hn (K) = 0 có nghĩa là dãy K khớp tại Kn . 8
9 • Nếu K và K 0 là các phức thì một biến đổi dây chuyền f : K → K 0 là họ các đồng cấu môđun {fn : Kn → Kn0 , n ∈ Z} sao cho ∂n0 fn = fn−1 ∂n với mọi n. f∗ = Hn (f ) : Hn (K) −→ Hn (K 0 ) 0 c + ∂Kn+1 7−→ f (c) + ∂Kn+1 được cảm sinh từ f là một đồng cấu. • Đồng luân dây chuyền s giữa hai biến đổi dây chuyền f, g : K → K 0 0 là họ các đồng cấu môđun {sn : Kn → Kn+1 , n ∈ Z}, hơn nữa ∂n+1 sn + sn−1 ∂n = fn − gn Khi đó, ta viết s : f ' g. • Ta nói rằng biến đổi dây chuyền f : K → K 0 là tương đương dây chuyền nếu tồn tại một biến đổi dây chuyền h : K 0 → K và các đồng luân s : hf ' 1K , t : f h ' 1K 0 . 1.1.2. Một số mệnh đề thường dùng Định lý 1.1. Nếu s : f ' g : K → K 0 thì với mọi n ∈ Z, f∗ = g∗ : Hn (K) −→ Hn (K 0 ) Hệ quả 1.1. Nếu f : K → K 0 là tương đương dây chuyền thì với mỗi n ∈ Z, ánh xạ Hn (f ) : Hn (K) → Hn (K 0 ) là đẳng cấu. Mệnh đề 1.1. Cho K, K 0 là các phức trong phạm trù các nhóm aben, các Kn là các nhóm aben tự do và ∂n = 0 : Kn → Kn−1 . Khi đó, nếu f, g : K → K 0 là các biến đổi dây chuyền với Hn (f ) = Hn (g) : Hn (K) → Hn (K 0 ), ∀n ∈ Z
10 thì f ' g. Hệ quả 1.2. Cho K, K 0 là các phức trong phạm trù các nhóm aben, các Kn là các nhóm aben tự do và ∂n = 0 : Kn → Kn−1 . Khi đó, nếu có f : K → K 0 là biến đổi dây chuyền sao cho Hn (f ) là đẳng cấu với mọi n ∈ Z thì hai phức K và K 0 là tương đương đồng luân. Mệnh đề 1.2. Nếu s : f ' g : K → K 0 và s0 : f 0 ' g 0 : K 0 → K 00 là các đồng luân dây chuyền thì ánh xạ sau đây cũng là đồng luân dây chuyền: f 0 s + s0 g : f 0 f ' g 0 g : K −→ K 00 . Định lý 1.2 (dãy đồng điều khớp). Đối với mỗi dãy khớp ngắn các phức / χ / σ / / E:0 K L M 0 (χ, σ là các biến đổi dây chuyền, và dãy khớp theo nghĩa khớp tại mọi n), dãy dài các nhóm đồng điều sau là khớp: En+1 χ∗ / σ∗ / En / · · · Hn+1 (M ) /H Hn−1 (K) · · · n (K) Hn (L) H n (M ) trong đó, En : Hn (M ) → Hn−1 (K) gọi là đồng cấu nối và được xác định như sau: En (clsM m) = clsK (χ−1 ∂ L σ −1 m) 1.1.3. Phép giải Định nghĩa 1.1. Một phép giải của môđun C là dãy khớp dạng: ... / ∂ / /... / ∂ / ε /C / Xn Xn−1 X1 Xo 0
11 tức phức (X, ε) với các nhóm đồng điều Hn (X) = 0 khi n > 0 và Ho (X) ∼ = C. Phép giải là tự do nếu mọi Xn là tự do, và phép giải là xạ ảnh nếu mọi Xn là xạ ảnh. Mệnh đề 1.3 (Định lý so sánh). Nếu γ : C → C 0 là đồng cấu, ε : X → C là phức xạ ảnh trên C và ε0 : X 0 → C 0 là phép giải của C 0 , thế thì tồn tại biến đổi dây chuyền f : X → X 0 , hơn thế ε0 ◦ fo = γ ◦ ε và bất kỳ hai biến đổi dây chuyền như thế là đồng luân. 1.2. Phức kì dị và đồng điều kì dị 1.2.1. Các định nghĩa • q−đơn hình chuẩn: Cho q ≥ 0. Một q−đơn hình chuẩn, kí hiệu: ∆q là tập con của Rq+1 , xác định bởi:   0 ≤ xi ≤ 1  (xo , x1 , . . . , xq ) ∈ ∆q ⇐⇒ Pq  xi = 1  i=0 eo , e1 , . . . , eq là cơ sở chính tắc của Rq+1 thì ej ∈ ∆q và gọi là đỉnh thứ j của ∆q . Ánh xạ εjq được xác định như sau: εjq : ∆q−1 −→ ∆q (j = 0, 1, . . . , q − 1) εjq (xo , . . . , xj−1 , xj , . . . , xq−1 ) = (xo , . . . , xj−1 , 0, xj , . . . , xq−1 ) X là không gian tôpô • q−đơn hình kì dị là ánh xạ σ : ∆q → X liên tục. • Sq X là nhón aben tự do, sinh bởi tập tất cả các q−đơn hình kì dị.
12 • Phức kì dị SX, là phức dây chuyền các nhóm aben có hạng tử thứ n là Sn X và đồng cấu bờ được xác định như sau: ∂n : Sn X −→ Sn−1 X n (−1)j σεjn P σ 7−→ j=0 • HX = H(SX) được gọi là đồng điều kì dị (tuyệt đối) của không gian tôpô X. Nếu A là không gian con của X thì H(X, A) = H(S(X, A)) được gọi là đồng điều tương đối của không gian tôpô X mod A. • Cho X, Y là hai không gian tôpô. Nếu f : X → Y là ánh xạ liên tục thì Sf : SX → SY trở thành biến đổi dây chuyền, đôi khi không sợ nhầm lẫn ta có thể viết f : SX → SY . • Trường hợp P là một điểm, ánh xạ liên tục γ X : X → P cảm sinh đồng cấu đồng điều: γ∗X : HX → HP Khi đó, ta gọi Ker γ∗X ⊂ HX là nhóm đồng điều dẫn xuất của X và kí hiệu: HX. e 1.2.2. Một số mệnh đề Mệnh đề 1.4. Cho X là không gian tôpô, ta có: e q X, q 6= 0 và Ho (X) = Z ⊕ H Hq (X) = H e o (X) Mệnh đề 1.5. X là tập lồi trong Rn , η : SX → (Z, 0) là tương đương đồng luân, đặc biệt HX e = 0.
13 Mệnh đề 1.6. Cho S n là mặt cầu trong không gian Euclide, S n = {x ∈ Rn+1 , kxk = 1} Khi đó, ta có:  n 6 n  0 nếu k = H e k (S ) =  Z nếu k = n 1.3. Tích tenxơ giữa các môđun 1.3.1. Định nghĩa • Tích tenxơ hai môđun: Cho XR và R Y là các môđun phải và môđun trái trên cùng một vành hệ tử R. Tích tenxơ của các môđun X và Y là nhóm aben nào đó, kí hiệu X ⊗R Y , sao cho có ánh xạ song tuyến tính τ : X × Y → X ⊗R Y mà đối với bất kỳ ánh xạ song tuyến tính ϕ : X × Y → G (với G là nhóm aben), luôn tồn tại duy nhất đồng cấu f : X ⊗R Y → G thỏa mãn ϕ = f ◦ τ (τ được gọi là ánh xạ tenxơ). • Tích tenxơ của hai đồng cấu: Cho f : XR → XR0 là đồng cấu các R−môđun phải, g : R Y → R Y 0 là đồng cấu các R−môđun trái. Ta định nghĩa tích tenxơ của hai đồng cấu f và g, kí hiệu: f ⊗ g là đồng cấu nhóm aben từ X ⊗ X 0 vào Y ⊗ Y 0 sao cho ta có: (f ⊗ g)(x ⊗ y) = f (x) ⊗ g(y), ∀x ∈ X, ∀y ∈ Y • R−môđun phải A được gọi là môđun dẹt phải nếu hàm tử (A ⊗ −) là hàm tử khớp. Khái niệm dẹt trái đối với các R−môđun trái cũng
14 được xác định một cách tương tự. Các môđun dẹt phải, dẹt trái, để đơn giản ta gọi chung là các môđun dẹt. 1.3.2. Một vài tính chất Mệnh đề 1.7. Cho Zm (c) là nhóm aben cấp m với phần tử sinh c. Khi đó, với bất kỳ nhóm aben A ta luôn có: Zm (c) ⊗ A ∼ = A/mA trong đó, mA = {ma|a ∈ A}. Định lý 1.3. Cho họ {Xi }i∈I là họ R−môđun phải và {Yj }j∈J là họ các R−môđun trái. Khi đó, ta có đẳng cấu: !   Yj  ∼ M M M Xi ⊗  = (Xi ⊗ Yj ). i∈I j∈J (i,j)∈I×J Định lý 1.4. Cho X, Y, M là các môđun trên vành giao hoán R. Khi đó, chúng ta có các đẳng cấu: X ⊗Y ∼ =Y ⊗X và (X ⊗ Y ) ⊗ M ∼ = X ⊗ (Y ⊗ M ) Định lý 1.5. Tổng trực tiếp một họ môđun A = ⊕ Ai là môđun dẹt khi i∈I và chỉ khi mỗi môđun thành phần Ai là môđun dẹt. Hệ quả 1.3. Mỗi môđun tự do là môđun dẹt. Hệ quả 1.4. Mỗi môđun xạ ảnh là môđun dẹt.
15 1.4. Hàm tử Tor, mối liên hệ giữa Tor và tích tenxơ 1.4.1. Tích xoắn các môđun Định nghĩa 1.2. Cho GR là R−môđun phải và R C là R−môđun trái, ta xác định TorR n (G, C) là tập tất cả các bộ ba: t = (µ, L, ν). Trong đó, L là phức các môđun phải xạ ảnh hữu hạn sinh độ dài n, µ : L → G, ν : L∗ → C là các biến đổi dây chuyền (xem G, C là phức tầm thường, L∗ = HomR (L, R)). Nếu L0 là một phức khác, và ρ : L → L0 là biến đổi dây chuyền thì ánh xạ liên hợp ρ∗ : L0∗ → L∗ cũng là biến đổi dây chuyền. Đối với các biến đổi µ0 : L0 → G và ν : L∗ → C, ta xem (µ0 ρ, L, ν) = (µ0 , L0 , νρ∗ ) và quan hệ bằng nhau trong TorR n là quan hệ tương đương bé nhất bảo toàn hệ thức trên. Đôi khi, nếu không sợ nhầm lẫn ta có thể viết Torn thay cho TorR n. Mệnh đề 1.8. 1. Torn (G, C) là nhóm cộng aben với phép toán được xác định như sau: với t1 , t2 ∈ T orn (G, C) thì t1 + t2 = (∇G )∗ (∇C )∗ (t1 ⊕ t2 ) ∈ T orn (G, C) trong đó, ∇G : G ⊕ G −→ G ∇C : C ⊕ C −→ C (g1 , g2 ) 7−→ g1 + g2 (c1 , c2 ) 7−→ c1 + c2
16 2. Torn là song hàm tử hai lần hiệp biến từ phạm trù tích các R−môđun phải và R−môđun trái đến phạm trù các nhóm aben. Mệnh đề 1.9. Bộ ba (µ, L, ν) trong Torn cộng tính theo µ và ν, chẳng hạn: (µ1 + µ2 , L, ν) = (µ1 , L, ν) + (µ2 , L, ν) Định lý 1.6. Tồn tại đẳng cấu tự nhiên G ⊗R C ∼ = Toro (G, C). Đối với dãy khớp ngắn E = (χ, σ) : A / / B // C và phần tử t = (µ, L, ν) ∈ Torn (G, C) với n > 0, có thể xác định tích Et ∈ Torn−1 (G, A). Giả sử ν : L∗ → C và E là phức trên C với L∗ là xạ ảnh còn E là khớp. Theo định lý so sánh, tồn tại biến đổi dây chuyền ϕ, thỏa: ... / L∗ / L∗n ν / C n−1 ϕn−1 ϕn E: 0 / A / B / C /0 n−1 Kí hiệu oL là phức độ dài n − 1, có được khi bỏ môđun Ln khỏi L và đặt: E(µ, L, ν) = (µ, n−1o L, ϕn−1 ) Mệnh đề 1.10. Tích Et xác định như trên là hợp lý. Định lý 1.7. Với mỗi dãy khớp ngắn E : A / / B // C các R−môđun trái và R−môđun phải G, ta có dãy khớp dài sau: / / E∗ / · · · Torn (G, A) Torn (G, B) Torn (G, C) Torn−1 (G, A) · · · được kết thúc bởi Toro (G, C) = G ⊗ C → 0. Ánh xạ E∗ được xác định như sau: E∗ (µ, L, ν) = E(µ, L, ν).
17 Định lý 1.8. Đối với mỗi phép giải ε : X → G của môđun GR và đối với môđun R A, tồn tại đồng cấu: ω : Torn (G, A) −→ Hn (X ⊗ A), n = 0, 1, . . . tự nhiên theo A. Nếu X là phép giải xạ ảnh, thì ω là đẳng cấu tự nhiên theo G và A. Ta cũng có một kết quả tương tự như sau: Định lý 1.9. Giả sử η : Y → A là phép giải xạ ảnh của môđun R A. Khi đó, với môđun GR , ta có đẳng cấu: Torn (G, A) ∼ = Hn (G ⊗ Y ) 1.4.2. Tích xoắn các nhóm aben Các nhóm aben được xem là Z−môđun, do đó, nó cũng có định nghĩa về hàm tử T or tương tự như môđun. Tuy nhiên, ở đây, phức L có thể chọn là phức (Z) (các hạng tử đều là Z). Ta có bổ đề sau: Bổ đề 1.1. Cho G là nhóm aben và f : A → B là đơn cấu nhóm aben. Khi đó, f∗ : Tor1 (G, A) −→ Tor1 (G, B) cũng là đơn cấu. Chứng minh. Ta có: ν : Z∗ = Z → A được xác định bởi ν(1) = a ∈ A. Khi đó, cùng với lý do f đơn cấu nên f ◦ ν(1) = 0 khi và chỉ khi ν(1) = 0 hay ν = 0. Do vậy Ker f∗ = {(µ, (Z), ν) ∈ Tor1 (G, A)|(µ, L, f ◦ ν) = 0} = 0
18 Như vậy, khi kết hợp với định lý 1.7 ở trên, ta được: Định lý 1.10. Nếu E = (χ, σ) : A / /B // C là dãy khớp các nhóm aben thì với mỗi nhóm aben G, ta có dãy khớp: 0 / Tor (G, A) χ∗ / Tor1 (G, B) σ∗ / Tor1 (G, C) 1 E∗ 0o G⊗Co 1⊗σ G⊗Bo 1⊗χ G⊗A Đối với các nhóm aben, hầu hết chỉ làm việc với Tor1 nên người ta kí hiệu Tor thay cho Tor1 . Đặc biệt, đối với các nhóm aben G, A thì nhóm aben Tor(G, A) còn có một cách biểu diễn khác. Đó là nhóm aben có các phần tử sinh là tất cả các bộ ba hg, m, ai, trong đó, m ∈ Z, gm = 0 trong G và ma = 0 trong A, thỏa các hệ thức cộng tính và trượt với các nhân tử m, n sau: hg1 + g2 , m, ai = hg1 , m, ai + hg2 , m, ai, gi m = 0 = ma (i = 1, 2) hg, m, a1 + a2 i = hg, m, a1 i + hg, m, a2 i, gm = 0 = mai (i = 1, 2) hg, mn, ai = hgm, n, ai, gmn = 0 = na hg, mn, ai = hg, m, nai, gm = 0 = mna
Chương 2 TÍCH TENXƠ GIỮA CÁC PHỨC VÀ ĐỊNH LÝ EILENBERG – ZILBER 2.1. Tích tenxơ giữa các phức 2.1.1. Định nghĩa Cho phức K các R−môđun phải K ∂K K : ...o Kn−1 o ∂ Kn o Kn+1 o ... và phức L các R−môđun trái L ∂L L : ...o Ln−1 o ∂ Ln o Ln+1 o ... Ta đi xây dựng tích tenxơ K ⊗ L Trước hết, mỗi hạng tử trong phức K ⊗ L là một nhóm aben được xác định như sau: +∞ X (K ⊗ L)n = Kp ⊗ Ln−p (2.1) p=−∞ 19
20 Và nếu x ∈ (K ⊗ L)n thì x sẽ có dạng (xp )p∈(−∞,+∞) , trong đó: xp = P k ⊗ l ∈ Kp ⊗ Ln−p . Từ đây, để tiện trong tính toán, ta viết phần tử P (. . . , 0, k ⊗l, 0, . . .) (tất cả các thành phần bằng 0 trừ một thành phần P P thứ p nào đó có giá trị k ⊗ l) ở dạng k ⊗ l. Tiếp theo, ta xây dựng đồng cấu bờ cho phức K ⊗ L: với mỗi p, tương ứng fnp : Kp ⊗ Ln−p −→ (K ⊗ L)n−1 biến mỗi phần tử sinh k ⊗ l thành ∂ K k ⊗ l + (−1)p k ⊗ ∂ L l. Khi đó, với k1 , k2 ∈ K, l ∈ L, ta có: fnp [(k1 + k2 ) ⊗ l] = ∂ K (k1 + k2 ) ⊗ l + (−1)p (k1 + k2 ) ⊗ ∂ L l = (∂ K k1 + ∂ K k2 ) ⊗ l + [(−1)p k1 + (−1)p k2 ] ⊗ ∂ L l = ∂ K k1 ⊗ l + ∂ K k2 ⊗ l+ (−1)p k1 ⊗ ∂ L l + (−1)p k2 ⊗ ∂ L l = (∂ K k1 ⊗ l + (−1)p k1 ⊗ ∂ L l)+ (∂ K k2 ⊗ l + (−1)p k2 ⊗ ∂ L l) = fnp (k1 ⊗ l) + fnp (k2 ⊗ l) tương tự, với k ∈ K, l1 , l2 ∈ L ta cũng có: fnp [k ⊗ (l1 + l2 )] = fnp (k ⊗ l1 ) + fnp (k ⊗ l2 ) Và với k ∈ K, l ∈ L, r ∈ R thì: fnp (kr ⊗ l) = ∂ K (kr) ⊗ l + (−1)p kr ⊗ ∂ L l = (∂ K k)r ⊗ l + (−1)p k ⊗ r∂ L l = ∂ K k ⊗ rl + (−1)p k ⊗ ∂ L (rl) = fnp (k ⊗ rl)
21 Vậy, fnp là đồng cấu tenxơ. Do tính phổ dụng của tổng trực tiếp, ta có đồng cấu ∂n : (K ⊗ L)n −→ (K ⊗ L)n−1 sao cho biểu đồ sau giao hoán: (K ⊗O L)Pn PPP PP∂Pn ip PPP PP( Kp ⊗ Ln−p f (K / ⊗ L)n−1 np với ip là đồng cấu nhúng. Và từ đó, ∂n được xác định qua phần tử sinh như sau: ∂n (k ⊗ l) = ∂ K k ⊗ l + (−1)deg k k ⊗ ∂ L l (2.2) với deg k = p nếu k ∈ Kp . Với cách xác định trên thì họ {∂n }n thỏa mãn là đồng cấu bờ của K ⊗ L. Thật vậy, với k ⊗ l ∈ (K ⊗ L)n , ta có: ∂n−1 ∂n (k ⊗ l) = ∂n−1 ∂pK k ⊗ l + (−1)deg k k ⊗ ∂n−p L l K K = ∂p−1 ∂pK k ⊗ l + (−1)deg(∂p k) ∂pK k ⊗ ∂n−p L l+ (−1)deg k ∂pK k ⊗ ∂n−p L l + (−1)deg k k ⊗ ∂n−p−1 L L ∂n−p l K = (−1)deg ∂p k ∂pK k ⊗ ∂n−p L l − ∂pK k ⊗ ∂n−p L l =0 Như vậy, ta có định nghĩa về tích tenxơ của 2 phức như sau: Định nghĩa 2.1. Cho phức K các R−môđun phải và phức L các R−môđun trái. Ta định nghĩa tích tenxơ K ⊗ L là một phức các nhóm aben ∂ ∂ (K ⊗ L) : . . . o (K ⊗ L)n−1 o (K ⊗ L)n o (K ⊗ L)n+1 o ...