Khóa luận tốt nghiệp Trường ĐHSP Hà Nội TRNG ĐẠI HỌC SƯ PHẠM HÀ NỘI KHOA TOÁN ĐẶNG THỊ THÚY ĐẠI SỐ HOPF KHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC Chuyên ngành: Đại số Người hướng dẫn khoa học ThS NGUYỄN HUY HƯNG HÀ NỘI - 2013 Đặng Thị Thúy – Lớp K35 D Khãa luËn tèt nghiÖp Trêng ĐHSP Hà Nội LờI CảM ƠN Em xin tỏ lòng biết ơn sâu sắc tới thầy giáo, ThS Nguyễn Huy Hưng, người đà trực tiếp tận tình hướng dẫn, bảo, giúp đỡ em suốt trình thực đề tài Em xin chân thành cảm ơn thầy cô tổ Đại số toàn thể thầy cô khoa Toán trường Đại học Sư Phạm Hà Nội đà tạo điều kiện giúp đỡ em suốt trình học tập nghiên cứu Cuối cùng, em xin gửi lời cảm ơn tới gia đình, bạn bè đà động viên giúp đỡ em suốt thời gian qua Hà Nội, tháng năm 2013 Sinh viên Đặng Thị Thúy ng Th Thúy – Lớp K35 D Khãa luËn tèt nghiÖp Trêng §HSP Hµ Néi LêI CAM §OAN Khãa luËn nµy kết thân em trình học tập nghiên cứu Bên cạnh đó, em nhận hướng dẫn tận tình thầy giáo ThS Nguyễn Huy Hưng Trong nghiên cứu hoàn thành khóa luận, em có tham khảo số tài liệu đà nêu phần tài liệu tham khảo Vì em khẳng định đề tài ĐạI Số HOPF trùng lặp với đề tài tác giả khác Sinh viên ĐặNG THị THúY ng Th Thỳy Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội LờI Mở ĐầU Ngày nay, với phát triển vượt bậc khoa học kĩ thuật, Toán học đà tạo bước vững cho mình, đặc biệt chuyên ngành Đại số Nhiều người đà vào nghiên cứu đà đạt số thành công định Những tư tưởng phương pháp kết Đại số đà góp phần to lớn việc nghiên cứu lĩnh vực khác Toán học Tô pô, Xác suất Trong Đại số Hopf đóng vai trò quan trọng Đại số Hopf có xuất xứ từ Tô pô Ngày nay, cấu trúc đại số có mặt nhiều lĩnh vực khác Toán học Đại số nhóm đại số Hopf, đại số bao phổ dụng đai số Lie đại số Hopf, nhóm lượng tử đại số Hopf Được gợi ý, động viên giúp đỡ thầy giáo ThS Nguyễn Huy Hưng với việc mong muốn tìm tòi kiến thức mới, em đà nghiên cứu thực khóa luận tốt nghiệp với đề tài ĐạI Số HOPF Khóa luận em gồm hai chương Chương Các kiến thức mở đầu Trong chương em trình bày khái niệm mang tính chất làm tiền đề như: không gian véc tơ, tích ten xơ.Ngoài việc nhắc lại kiến thức, chương cố định kí hiệu sử dụng toàn khóa luận Chương Đại số Hopf Tại em tập trung giới thiệu khái niệm đại số Hopf Bên cạnh đó, đề tài nêu số tính chất đại số Hopf ứng dụng đại số Hopf Do khuôn khổ thời gian trình độ chuyên môn nhiều hạn chế nên nhiều ứng dụng lí thú khác em chưa trình bày đây, em hi vọng thời gian tới có dịp tìm hiểu sâu sắc Kính mong nhận góp ý thầy cô bạn sinh viên để đề tài em ngày hoàn chỉnh Em xin chân thành cảm ơn ng Th Thỳy Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội CHƯƠNG CáC KIếN THứC Mở ĐầU 1.1 Không gian véc tơ 1.1.1 Trường ĐịNH NGHĩA 1.1.1 Cho tập hợp k có hai phần tử Trên k xét hai phép toán phép cộng (kí hiệu +) nhân (kí hiệu ) k với hai phép toán lập thành trêng nÕu tháa m·n tÝnh chÊt sau: PhÐp céng cã tÝnh chÊt kÕt hỵp: (a + b) + c = a + (b + c), a, b, c k Cã phÇn tư k cho: + a = a + , a k Phần tử gọi phần tử trung lập Với phần tử a k tồn phần tử a k cho: a + a’= a’ + a = Phần tử a gọi phần tử ®èi cđa a vµ kÝ hiƯu lµ (- a) PhÐp céng cã tÝnh chÊt giao ho¸n: a + b = b + a, a, b k Phép nhân có tính chất kết hợp: (a.b).c = a.(b.c), a, b, c k PhÐp nhân có tính chất giao hoán: a.b = b.a, a, b k PhÐp nh©n ph©n phèi víi phÐp céng: a.(b + c) = a.b + a.c vµ (b + c).a = b.a + c.a, a, b, c k Cã phÇn tư k cho víi mäi phÇn tư a ta có 1.a = a.1 = a Phần tử gọi phần tử đơn vị phép nhân k Với phần tử a có phần tử a k cho: a.a = a.a = Phần tử a gọi phần tử nghịch đảo a kí hiệu a-1 Các tính chất gọi tiên ®Ị cđa trêng Đặng Thị Thúy – Lớp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Ví dơ 1.1.1 XÐt c¸c tËp sè , víi phép toán cộng nhân thông thường Phần tử phần tử a cho a + = nªn tập số tự nhiên trường Số nguyên số nguyên a cho 2.a = nên tập số nguyên trường Tính chất bản: Cho k trường a, b, c k Khi đó: Luật giản ước đối víi phÐp céng: nÕu a + b = a + c b = c Quy tắc chuyển vế: ®Þnh nghÜa a - b = a + (-b) Khi ®ã, nÕu a + b = c th× a = c - b 0.a = a.0 = Nếu a.b = a = b = a.(-b) = (-b).a = -(ab) Nếu a.b = a.c a b =c a(b - c) = a.b - a.c 1.1.2 Không gian véc tơ ĐịNH NGHĩA 1.1.2 (Không gian véc tơ) Cho V tập hợp mà phần tử kí hiệu , , , k trường mà phần tử kí hiệu a, b, c, x, y, z… Trªn V, ta xÐt hai phép toán: Phép cộng hai phần tử V: +: V V V (, ) + Phép nhân phần tử V víi mét phÇn tư cđa k : : k V V (x,) x Đặng Thị Thúy – Lớp K35 D Khãa luËn tèt nghiÖp Trêng ĐHSP Hà Nội Giả sử , , V, mäi x, y k c¸c ®iỊu kiƯn sau ®ỵc tháa m·n: ( + ) + = + ( + ) Tån véc tơ cho + = + = Với có mét phÇn tư ’ cho + ’ = ’ + = + = + x ( + ) = x. + x. (x + y). = x. + y. (x.y). = x. + y. 1. = , phần tử đơn vị trường k Khi đó, ta nói V không gian véc tơ trường k (hoặc V k - không gian véc tơ) Ta nói V không gian tuyến tính trường k Ví dụ 1.1.2 (Không gian tọa độ) Với số nguyên dương n, không gian tất n - phần tử F tạo nên không gian véc tơ n chiều F mà ta gọi không gian tọa độ kí hiệu Fn Mỗi phần tử F viết dạng x = (x1, x2, … , xn) xi F Các phép toán F xác định bởi: x + y = (x1 + y1, x2 + y2, … , xn + yn) x = (x1, x2, … , xn) = (0, 0, … , 0) -x = (- x1, -x2, … , -xn) Trêng hỵp phỉ biÕn nhÊt lµ F lµ trêng sè thùc cho ta không gian tọa độ n hay F trường số phức cho ta không gian täa ®é n Đặng Thị Thúy – Lớp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Không gian véc tơ Fn có sở chuẩn tắc lµ: e1 = (1, 0, … , 0) e2 = (0, 1, … , 0) ……………… en= (0, 0, , 0) Với đơn vị phép nhân F ĐịNH NGHĩA 1.1.3 (Không gian con) Giả sử V không gian véc tơ trường k Tập W V gọi không gian véc tơ (hay không gian con) không gian véc tơ V điều kiện sau thỏa mÃn: , W: + W W: x. W, (víi x k ) Ta cã mét sè nhËn xÐt sau: V× W nên W, theo điều kiện 2, ta cã = W VËy mäi không gian chứa Giả sử W không gian V Dễ thấy, điều kiện định nghĩa không gian véc tơ thỏa mÃn, W k - không gian véc tơ Ngược lại, W tập V W k - không gian véc tơ hai phép toán xác định V W không gian V Ví dụ 1.1.3 Không gian véc tơ V có hai không gian thân tËp V vµ tËp chØ gåm mét vÐc tơ không Các không gian gọi không gian tầm thường ĐịNH NGHĩA 1.1.4 (ánh xạ tuyến tính) Cho hai không gian véc tơ V W trường k Một ánh xạ : V W gọi ánh xạ tuyến tính hai điều kiện sau thỏa mÃn: ng Th Thỳy – Lớp K35 D Khãa ln tèt nghiƯp Trêng §HSP Hµ Néi i) (u + v) = (u) + (v) u, v V ii) (u) = (u) k , u V H¹ch cđa ánh xạ tuyến tính định nghĩa tập: Ker() := v V | f (v) 0 V Ker () không gian V ảnh ánh xạ tuyến tính : Im( f ) : f (v) | v V W Im() không gian W ĐịNH NGHĩA 1.1.5 ánh xạ tuyến tính : V W gọi là: i) Đơn cấu Ker() = ii) Toàn cấu Im() = iii) Đẳng cấu tồn ánh xạ tuyến tính khả nghịch g: W V cho g : V V vµ g : W W ánh xạ đồng Mệnh đề 1.1.6 ánh xạ tuyến tính : V W là: i) Đơn cấu đơn ánh ii) Toàn cấu toàn ánh iii) Đẳng cấu song ánh Một ánh xạ tuyến tính đẳng cấu đồng thời đơn cấu toàn cấu Ví dụ 1.1.4 Xét phép quay góc 2, ánh xạ : (x, y) (x cos - y sin, x sin + y cos) Ta cã ánh xạ tuyến tính đẳng cấu 1.1.3 Không gian véc tơ thương Giả sử U V k - không gian véc tơ Với v V xÐt tËp cã d¹ng v U : v u | u U cña V Một tập gọi ng Th Thúy – Lớp K35 D Khãa luËn tèt nghiÖp Trêng §HSP Hµ Néi líp ghÐp cđa v theo U Ta thấy lớp ghép véc tơ v v theo U trùng không giao Tập lớp ghép phần tử V theo U gọi tập thương V theo U Điều kiện để v + U v + U trïng lµ v - v’ V Trên tập thương V/U có cấu trúc không gian véc tơ định nghĩa sau: (v +U) + (v’ + U) := (v + v’) + U (v + U) := (v) + U (1.1.1) TËp V/U với cấu trúc gọi không gian véc tơ thương V theo ánh xạ U ánh xạ tù nhiªn q: V V/U, v v + U, gọi ánh xạ thương, ánh xạ tuyến tính Không gian thương U/V có tính chất phổ dụng sau: Giả thiết : V W ánh xạ tuyến tính biến U vào Khi cảm sinh ánh xạ tuyến tính f : V / U W , xác định bởi: f (v U) : f (v) hợp thành với ánh xạ thương, Ta có sơ đồ sau: q V V/U f W 1.1.4 Bài toán phổ dụng Khái niệm toán phổ dụng giải thích đơn giản thông qua ví dụ sau: ng Th Thỳy Lớp K35 D Khãa luËn tèt nghiÖp u(b) = Trêng §HSP Hµ Néi S (b (1) (b ) )b(2) (S ánh xạ đối thế) Sử dụng tính chÊt cña ta cã: (b) u (b) ( S (b(1) ) (b(2) )) () (b ) Với c B, S(c) = S (c (1) (c) ) (c(2) ) ( S (b)) ( S (b(1) ) (b(2) ) (b) ( S (b(1) )) (b(2) ) (b) (do ()) (b ) (ii) Chøng minh t¬ng tù i) Víi M thay bëi ; N thay bëi T ( S S ), b S (b(2) ) S (b(1) ) (b) vµ P thay b S (b) Vậy định lí chứng minh Một đồng cấu đại số Hopf định nghĩa đồng cấu song đại số tương ứng Tương tự đại số đối đại số, ta cần khái niệm song ideal ideal Hopf để xây dựng song đại số thương đại số Hopf thương Như vậy, song đại số không gian đồng thời ideal đối ideal Một ideal Hopf song ideal bất biến ánh xạ đối (tức S(I) I) VÝ dơ 2.3.3 i) Cho G lµ nhóm, k [G] song đại số với đối tích đối đơn vị cho (g) = g g, (g) = 1, g G Khi k [G] đại số Hopf với ánh xạ đối cho S (g) = g-1, g G ii) Cho k lµ trường đặc số p > Đại số k [x, x-1]/ (xp) với ánh xạ: (x) = x + x Đặng Thị Thúy – Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Néi (x) = S(x) = - x lµ đại số Hopf 2.4 Mô đun đối mô đun Một (đối) mô đun đại số Hopf H hiểu (đối) mô đun song đại số H Trong mục này, mô đun hiểu mô đun trái đối mô đun hiểu đối mô đun phải, trừ giả thiết khác Mặc dù hình thức khác lí thuyết (đối) mô đun đại sè Hopf phong phó h¬n nhiỊu so víi lÝ thut (đối) mô đun song đại số Một điểm mấu chốt khác biệt tồn (đối) mô đun đối ngẫu Cho M H - mô đun, hữu hạn chiều k Khi đó, tồn cấu trúc H - mô đun tự nhiên M*, xác định sau: (h ) := (S(h)m), h H, M, m M (2.4.1) T¬ng tù, nÕu : M M H lµ mét cÊu tróc H - đối mô đun tồn cấu trúc H - đối mô đun M cho ánh x¹ v : M M H tháa m·n phương trình sau: ( ) (0) (m)(1) (m(0) ) S ( m(1) ) (2.4.2) ( m) M với đối tác động gọi đối mô đun đối ngẫu M Điều kiện (2.4.2) không rõ ràng Để thấy tồn t¹i cđa v ta sư dơng ma trËn hƯ sè ( ei ) = ej aij Gi¶ thiÕt ( ei ) sơ (hữu hạn) M, ( ei ) = ej aij Khi v cho bởi: ( i ) = j S( aij ) (2.4.3) Mệnh đề 2.4.1 Cho M H - (đối) mô đun hữu hạn chiều k M (đối) mô đun đối ngẫu Khi đó, hai ánh xạ ev: M M k Đặng Thị Thúy – Lớp K35 D Khãa luận tốt nghiệp Trường ĐHSP Hà Nội db: k M M đồng cấu H - (đối) mô đun, ta quy ước H (đối) tác động tầm thường lên k CHứNG MINH Ta đà biết, mô đun H hiểu mô đun trái đối mô đun H hiểu đối mô đun phải Giả thiết M mô đun H Khi đó, tính H - tuyến tính ev suy trực tiếp từ ®Þnh nghÜa cđa S: ev(h.( m)) (h(1) )( h(2) m) (h) S (h(1) )(h(2) ) m (h) (m) (h) h.( (m)) Chó ý 2.4.2 Trong khẳng định tương tự cho mô đun phải đối mô đun trái ánh xạ ev db cần thay đổi ánh xạ ev: V V k db : k V V, nhận từ ev db cách hợp thành với phép đối xứng Ví dụ 2.4.3 Giả thiết H = k [G] Khi đó, mô đun k [G] biểu diễn nhóm G Khái niệm mô đun đối ngẫu trùng với khái niệm biểu diễn đối ngẫu nhóm G Với mô đun M ta định nghĩa MH tập phần tử M bất biến tác động H theo định nghĩa hm = (h)m Nói cách khác MH mô đun tầm thường lớn M Tương tự đối mô đun N, NH định nghĩa tập phần tử n N cho (n) = n NH đối mô đun N với đối tác động tầm thường đối mô ®un tÇm thêng lín nhÊt N MƯnh ®Ị 2.4.4 Cho H đại số Hopf M, N H - mô đun hữu hạn chiều Khi đó, ta có đẳng cấu tự nhiên: ng Th Thỳy – Lớp K35 D Khãa ln tèt nghiƯp Trêng §HSP Hµ Néi HomH (M, N) (N M)H (2.4.4) Tương tự với M, N H - đối mô đun hữu hạn chiều, ta có đẳng cấu tù nhiªn: HomH (M, N) (N M)H (2.4.5) 2.5 Tích phân 2.1.5 Phần tử tích phân Cho H đại số Hopf Một phần tử x H gọi phần tử tích phân trái nã tháa m·n; hx = (h)x (2.5.1) Coi H nh mô đun trái coi k mô đun tầm thường H cho ánh xạ Khi đó, x phần tử tích phân H ánh xạ ix: k H x đồng cấu H mô đun Hoàn toàn tương tự, ta có định nghĩa phần tử tích phân phải Ví dụ 2.5.1 Giả sử H = k [G] với G nhóm hữu hạn Khi gG g phần tử tích phân trái k [G] Bên cạnh đó, ta thấy phần tử nằm tâm k [G] hiển nhiên phần tử tích phân phải Định lí 2.5.2 Một đại số Hopf hữu hạn chiều nửa đơn chứa phần tử tích phân x cho (x) NhËn xÐt 2.5.3 Ngêi ta chứng minh đại số Hopf có phần tử tích phân x (nhưng không thiết (0) 0) hữu hạn chiều k ng Th Thỳy Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội 2.5.2 Tích phân Phiếm hàm I : H k gọi tích phân trái tháa m·n: I (a ) a(1) I (a(2) ) (2.5.2) (a) Nếu coi H đối mô đun trái đối tích coi k đối mô đun trái tầm thường H tích phân chẳng qua đồng cấu H - đối mô đun từ H k Tập tích phân H lập thành không gian véc tơ con, kí hiệu Ta đà biết H đại số với tích chập Khi đó, hệ thức (2.5.2) viết díi d¹ng I = (1)I, H (2.5.3) Từ ideal trái H Khái niệm tích phân đối ngẫu với khái niệm phần tử tích phân Cụ thể, H đại số Hopf hữu hạn chiều H đại số Hopf phần tử tích phân trái H phiếm hàm tích phân trái H Ví dụ 2.5.4 Cho G nhóm, không thiết hữu hạn Khi đó, đại số Hopf k [G] tồn tích phân Cụ thĨ tÝch ph©n cho bëi: 1,( g e) I (g) với e kí hiệu phần tử đơn vị G o,( g e) Định lí 2.5.5 Cho H đại số Hopf Khi H nửa đối đơn tồn tích phân I H cho I(1) Trong trường hợp I tồn nhÊt sai kh¸c mét hƯ sè kh¸c Đặng Thị Thúy – Lớp K35 D Khãa luËn tèt nghiÖp Trêng ĐHSP Hà Nội 2.6 Đại số Lie đại số bao phổ dụng 2.6.1 Đại số Lie Một đại số Lie không gian véc tơ g với tích Lie đó, nghĩa ánh x¹ song tuyÕn tÝnh [ -; -] : g g g thỏa mÃn hai tiên đề sau: i) [a, a] = a g (tÝnh ph¶n ®èi xøng) ii) [a,[b, c]] = [[a, b], c] + [b, [a, c]] (hƯ thøc Leibniz) VÝ dơ 2.6.1 Với đại số A, đại số Lie AL không gian véc tơ A với tích Lie cho bởi: [a, b] := ab ba Tích gọi tích giao hoán tử A Đại số Lie khái niệm có nguồn gốc từ giải tích Ví dụ đại số Lie không gian phép đạo hàm đại số Cho A đại số trường k Một phép đạo hàm A ánh xạ tuyến tÝnh D: A A tháa m·n: D(ab) = D(a)b + aD(b) Ta thấy, hệ thức tính chất phép đạo hàm thông thường tích Cho D1, D2 phép đạo hàm A Khi đó, ánh xạ D1D2 phép đạo hàm A Từ đó, không gian Der(A) phép đạo hàm A ánh xạ tuyến tÝnh D : A A tháa m·n: D(ab) = D(a)b + aD(b) Ta thấy hệ thức tính chất phép đạo hàm thông thường tích Cho D1, D2 phép đạo hàm A Khi đó, ánh xạ D1D2 hay D2D1 không phép đạo hàm ánh xạ [D1, D2] := D1D2 - D2D1 lại phép đạo hàm A Từ đó, không gian Der(A) phép đạo hàm A với tích giao hoán tử đại số Lie Một đại số Lie đại số Lie g không gian h cđa g ®ãng ®èi víi tÝch Lie, theo nghÜa [a, b] h a, b h Mét ideal Đặng Thị Thúy – Lớp K35 D Khãa luận tốt nghiệp Trường ĐHSP Hà Nội mét kh«ng gian cđa víi tÝnh chÊt [a, b] nÕu a hc b g Như vậy, ideal đại số Lie điều ngược lại nói chung không Một đồng cấu hai đại số Lie g h ánh xạ tuyến tính : g h, t¬ng thÝch víi tÝch Lie theo nghÜa [ (a), (b)] = ([a, b]) Ta kiểm tra rằng, hạch đồng cấu đại số Lie ideal ảnh đại số Lie Đặc biệt, ideal đại số Lie g không gian thương g/ tồn tích Lie tự nhiên cho bởi: [a + a, b + a] = [a, b] + a Víi ánh xạ thương : g g/ đồng cấu đại số Lie 2.6.2 Mô đun đại số Lie Một biểu diễn đại số Lie g không gian véc tơ V (không thiết hữu hạn chiều) đồng cấu đại số Lie: ([a, b]) = (a)(b) - (b)(a) (2.6.1) Ta cịng cã thĨ định nghĩa dạng mô đun: phần tử g tác động lên V đồng cấu tuyến tính thỏa mÃn điều kiện: [a,b] = a(b) - b(a) (2.6.2) Với định nghĩa này, khái niệm đồng cấu mô đun phát biểu cách đơn giản: ánh xạ tuyến tính hai g mô đun : V W đồng cấu g - mô đun nÕu (a) = a() T¬ng tù víi biĨu diƠn nhãm, ta có tính chất sau cho g - mô đun: hạch ảnh đồng cấu mô đun mô đun con, tổng trực tiếp hai mô đun lại mô đun với g tác động thành phần a( w) = a aw Tích ten xơ hai biểu diễn lại biểu diễn với phần tử L tác động theo ®êng chÐo: Đặng Thị Thúy – Lớp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội a( w) :=a w + aw Tõ định nghĩa ta thấy phép đối xứng : V W W V lµ mét ®ång cÊu biĨu diƠn Tõ ®ã, c¸c lịy thõa ®èi xứng lũy thừa ten xơ đối xứng ten xơ mô đun lại mô đun với tác động: (a) := -(a) (dấu - vế phải để đảm bảo điều kiện (2.6.1) thỏa mÃn) Cũng tương tự trường hợp nhóm, ánh xạ e : V V k vµ db: k V V đồng cấu đối mô đun 2.6.3 Đại số bao phổ dụng Từ đại số A ta xây dựng đại số Lie AL Và : A B đồng cấu đại số : AL BL đồng cấu đại số Lie Ta nói A AL hàm tử từ phạm trù đại số sang phạm trù đại số Lie Bài toán phổ dụng với hàm tử xây dựng từ ®¹i sè Lie g mét ®¹i sè (g) cïng víi ánh xạ tuyến tính i : g (g) thỏa mÃn điều kiện sau đây: i) ánh xạ g (g)L đồng cấu đại số Lie ii) Đồng cấu I thỏa mÃn toán phổ dụng: với đại số A đồng cấu đại sè Lie : g AL nhÊt, tån t¹i ®ång cÊu ®¹i sè : U(g) A cho sơ đồ sau giao hoán: i g AL Đặng Thị Thúy – Lớp K35 D (g)L Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Đại số (g) tồn gọi đại số bao phổ dụng đại số Lie g Từ tính phổ dụng ta thấy rằng, với đồng cấu ®¹i sè Lie f : g h sÏ tån đồng cấu đại số (g) cho sơ đồ sau giao hoán: (g) g () (h) h Mệnh đề 2.6.2 Với đại số Lie g, ®¹i sè bao phỉ dơng (g) tån t¹i nhÊt, sai khác đẳng cấu CHứNG MINH Đại số (g) xây dựng đại số thương đại số Ten xơ T(g) theo ideal sinh phần tử: a b - b a - [a, b] ánh xạ i cảm sinh từ ánh xạ g (2.6.3) L T(g) Ta có g (g) đồng cấu đại số Lie Coi ánh xạ tuyến tính, ánh xạ cảm sinh đồng cấu đại số : T(g) A Ta cã: (a1 a p ) (a1 ) (a n ) Vì đồng cấu đại số Lie nên: ([a, b]) = (a)(b) - (b)(a) nghÜa lµ: a, b (a b b a) Đặng Thị Thúy – Lớp K35 D Khãa luËn tốt nghiệp Trường ĐHSP Hà Nội Vậy ánh xạ ideal sinh phần tử (2.6.3) vào Từ đó, ta có đồng cấu cảm sinh : (g) A Từ cách xây dựng ta thấy phần tử g sinh (g) Định lí 2.6.3 Với đại số Lie g, ánh xạ g (g) đơn ánh Giả thiết (ei) sở thứ tự g Khi đó, tập phần tử ei1 ei2 ei p , i1 … ip lập thành sở cho không gian véc tơ (g) Tõ tÝnh phỉ dơng cđa (g) ta cã thĨ xây dựng cấu trúc đại số Hopf sau: Xét ánh xạ tuyến tính: : g (g) (g) a a + a Ta cã: ([a, b]) = [a, b] + [a, b = [a + a, b 1 + b] Vậy đồng cấu Lie từ g đến ((g) (g))L Do đó, cảm sinh đồng cấu đại số (g) (g) (g) Tính đối kết hợp kiểm tra qua tính phổ dụng Bên cạnh đó, ánh xạ đối đơn vị định nghĩa cách xét ánh xạ không: g với nhận xét đại số bao phổ dụng đại số Lie tầm thường đại số k Cụ thể, ánh xạ đối đơn vị xác định bëi ®iỊu kiƯn: (a) = 0, a g Vậy (g) đối đại số đối giao hoán Cuối ánh xạ đối cảm sinh từ ánh xạ: : g g a - a Đặng Thị Thúy – Lớp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Đây phản đồng cấu đại số Lie: [(a), (b)] = [a, b] = [a, b] Do đó, cảm sinh phản đồng cấu đại số S: (g) (g), S(a) = - a, a g Cho V lµ g - mô đun, từ đồng cấu Lie g E(V)L ta thu đồng cấu đại số (g) E(V), V (g) - mô đun Điều ngược lại Từ đó, ta có tương ứng - g - mô đun (g) - mô đun bảo toàn đồng cấu Tương ứng bảo toàn tích ten xơ đối ngẫu theo định nghĩa (2.2.1) tác động (g) lên tích ten xơ hai mô đun V W cho a(v w) = av w + v aw tương tù ®èi víi V, theo (2.4.2) a()(v) = (-av) KÕt luận Đại số vấn đề khó, có lịch sử từ lâu đời, nhiều kiến thức, phạm vi nghiên cứu rộng khó khăn việc nghiên cứu lĩnh vực ng Th Thỳy Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Trong khóa luận mình, em đà trình bày Đại số Hopf Tuy nhiên phạm vi rộng, liên quan đến nhiều lĩnh vực khác nên em chưa thể nêu hết tính chất ứng dụng đại số Hopf Trong thời gian học tập khoa Toán trường Đại học Sư Phạm Hà Nội 2, dạy dỗ, bảo tận tình thầy cô em ®· tiÕp thu ®ỵc nhiỊu tri thøc khoa häc, bíc đầu đà làm quen với công tác nghiên cứu khoa häc Sau mét thêi gian nghiªn cøu cïng víi sù giúp đỡ tận tình thầy cô giáo bạn sinh viên khóa luận em đà hoàn thành Em xin chân thành cảm ơn giúp đỡ quý báu thầy cô khoa Toán, thầy cô tổ Đại số đà trực tiếp giảng dạy tạo điều kiện tốt cho em thời gian làm khóa luận Đặc biệt, em xin bày tỏ lòng biết ơn sâu sắc đến thầy giáo Thạc sĩ Nguyễn Huy Hưng đà giúp em hoàn thành khóa luận Tài liệu tham khảo Đại số ®a tuyÕn tÝnh, Phïng Hå H¶i, NXB Khoa häc tù nhiên công nghệ, 2010 ng Th Thỳy Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Đại số tuyến tính, Nguyễn Hữu Việt Hưng, NXB đại học quốc gia Hà Nội, 2000 Hopf algebras, M.Sweedler, New York, 1965 MC LC lời mở đầu chương Các kiến thức mở đầu 1.1 Không gian véc tơ ng Th Thỳy – Lớp K35 D Khãa ln tèt nghiƯp Trêng §HSP Hà Nội 1.1.1 Trường 1.1.2 Không gian véc tơ3 1.1.3 Không gian véc tơ thương6 1.1.4 Bài toán phổ dụng 1.2 Tích ten xơ10 1.2.1 ánh xạ ®a tuyÕn tÝnh……………………………………… 10 1.2.2 TÝch ten x¬…………………………………….…………… 10 1.2.3 Liên hệ không gian đồng cấu. .13 chương đại số hopf 15 2.1 Đối đại số.15 2.1.1 Định nghĩa.15 2.1.2 Đối ideal đối đại số con16 2.1.3 Đối mô đun đối đại số19 2.1.4 Mô đun hữu tỷ 20 2.2 Song đại số 23 2.2.1 Tích ten xơ hai đối đại số 23 2.2.2 Mô un đối mô un 25 2.3 Đại số Hopf 25 2.3.1 Phép đối thế. 25 2.4 Mô un v i mô đun 29 2.5 Tích phân31 2.5.1 Phần tử tích phân.31 2.5.2 Tích phân32 2.6 Đại số Lie đại số bao phỉ dơng……………………………33 2.6.1 Đại số Lie33 2.6.2 Mô un đại số Lie34 2.6.3 Đại số bao phỉ dơng………………………………………35 Đặng Thị Thúy – Lp K35 D Khóa luận tốt nghiệp Trường ĐHSP Hà Néi kÕt luËn 39 Tài liệu tham khảo. 40 Đặng Thị Thúy – Lớp K35 D ... trọng Đại số Hopf có xuất xứ từ Tô pô Ngày nay, cấu trúc đại số có mặt nhiều lĩnh vực khác Toán học Đại số nhóm đại số Hopf, đại số bao phổ dụng đai số Lie đại số Hopf, nhóm lượng tử đại số Hopf. .. cấu đại số Hopf định nghĩa đồng cấu song đại số tương ứng Tương tự đại số đối đại số, ta cần khái niệm song ideal ideal Hopf để xây dựng song đại số thương đại số Hopf thương Như vậy, song đại số. .. 2.6.3 Đại số bao phổ dụng Từ đại số A ta xây dựng đại số Lie AL Vµ nÕu : A B lµ đồng cấu đại số : AL BL đồng cấu đại số Lie Ta nói A AL hàm tử từ phạm trù đại số sang phạm trù đại số Lie