Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 99 trang
THÔNG TIN TÀI LIỆU
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: PHÉP BIẾN ĐỔI LAPLACE VÀ MỘT SỐ ỨNG DỤNG TRONG VIỆC GIẢI PHƯƠNG TRÌNH VI PHÂN LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Trong nhiều thập kỉ qua, lí thuyết tốn tử đơn điệu nghiên cứu theo nhiều khía cạnh khác có ảnh hưởng định đến ngành khác tốn học, chẳng hạn phương trình vi phân, phương trình đạo hàm riêng, phương trình tích phân, lí thuyết xác suất, lí thuyết tối ưu lĩnh vực khác khoa học kinh tế, kỹ thuật, khoa học quản lí khoa học ứng dụng khác Việc tìm hiểu lí thuyết tốn tử đơn điệu có nhiều điều thú vị, xét ý nghĩa khoa học thực tiễn 359 2 Độ giao hốn tương đối nhóm Ta bắt đầu định nghĩa độ giao hoán nhóm Định nghĩa Cho G nhóm H nhóm G Ký hiệu C = {(h, g) ∈ H × G | hg = gh} Độ giao hốn tương đối nhóm H G, ký hiệu Pr(H, G), định nghĩa sau Pr(H, G) = |C| |H||G| Từ Định nghĩa ?? ta thấy Pr(G, G) = Pr(G), Pr(G) độ giao hốn nhóm G định nghĩa Định nghĩa ?? Sau số ví dụ độ giao hốn tương đối số nhóm Ví dụ Xét nhóm nhị diện D3 cho phần tử sinh hệ thức xác định sau D3 = ⟨r, s | r3 = s2 = 1, s−1 rs = r−1 ⟩ Khi D3 = {1, r, r2 , s, rs, r2 s} phép nhân phần tử D3 cho bảng sau • 1 r r2 s rs r2 s r r2 s rs r2 s r r r2 r2 r2 r rs r2 s s r s s rs s s rs r2 s r r2 r2 s r2 s s rs r r2 r rs rs r2 s s r2 Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨s⟩ H = ⟨rs⟩ H = ⟨r2 s⟩ H = D3 |C| 12 8 18 Pr(H, D3 ) 3 3 Ví dụ Xét nhóm nhị diện D4 cho phần tử sinh hệ thức xác định sau D4 = ⟨r, s | r4 = s2 = 1, s−1 rs = r−1 ⟩ Khi D4 = {1, r, r2 , r3 , s, rs, r2 s, r3 s} phép nhân phần tử D4 cho bảng sau • 1 r r2 r3 s rs r2 s r3 s r r2 r3 s rs r2 s r3 s r r r2 r3 r2 r2 r3 r3 r3 1 r r2 s r3 s s rs r r2 rs r2 s r3 s s r s s rs r2 s s s rs r2 s r3 s rs rs r2 s r3 s s r3 r r2 r3 r r2 r2 s r2 s r3 s s rs r2 r3 r3 s r3 s s rs r2 s r r2 r3 r Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨r2 , s⟩ H = ⟨r2 , rs⟩ H = ⟨s⟩ |C| 24 24 24 12 Pr(H, D4 ) 4 4 Các nhóm H = ⟨rs⟩ H = ⟨r2 s⟩ H = ⟨r3 s⟩ H = ⟨r2 ⟩ H = D4 |C| 12 12 12 16 40 Pr(H, D4 ) 4 Ví dụ Xét nhóm quaternion Q8 cho phần tử sinh hệ thức xác định sau Q8 = ⟨r, s | r4 = 1, s2 = r2 , s−1 rs = r−1 ⟩ Khi Q8 = {1, r, r2 , r3 , s, rs, r2 s, r3 s} phép nhân phần tử Q8 cho bảng sau • 1 r r2 r3 s rs r2 s r3 s r r2 r3 s rs s2 s r3 s r r r2 r3 r2 r2 r3 r3 r3 1 r r2 s r3 s s rs r r2 rs r2 s r3 s s r s s rs r2 s s s rs r2 s r3 s r2 r3 rs rs r2 s r3 s s r r2 r3 r r2 s r2 s r3 s s rs r r2 r3 r3 s r3 s s rs r2 s r3 r r2 Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨r2 ⟩ H = ⟨s⟩ H = ⟨rs⟩ H = Q8 |C| 24 16 24 24 40 Pr(H, Q8 ) 4 Từ định nghĩa độ giao hoán tương đối ta có kết sau Mệnh đề Cho G nhóm H nhóm G Khi X X Pr(H, G) = |H||G| |CG (x)| = x∈H |H||G| |CH (y)| y∈G Chứng minh Ký hiệu C = {(x, y) ∈ H × G | xy = yx} Với x ∈ H số cặp phần tử (x, y) ∈ C |CG (x)| CG (x) tâm hóa x G Với y ∈ G số cặp phần tử (x, y) ∈ C |CH (y)| CH (y) tâm hóa y H Cho nên ta có X X |C| = |CG (x)| = x∈H |CH (y)| y∈G Từ suy cơng thức cần chứng minh Kết sau cho ta cơng thức tính độ giao hốn tương đối nhóm chuẩn tắc nhóm nhờ số lớp liên hợp Mệnh đề Cho G nhóm H nhóm chuẩn tắc G Khi Pr(H, G) = k |H| k số lớp liên hợp G nằm H Chứng minh Với x ∈ G bất kỳ, ký hiệu lớp liên hợp x G O(x) Khi ta có |O(x)| = |G : CG (x)| Gọi x1 , x2 , , xk phần tử đại diện lớp liên hợp G nằm H Vì H ◁ G với x ∈ H ta có O(x) ⊂ H Do đó, theo Mệnh đề ??, ta có k X X |CG (x)| = |O(xi )||CG (xi )| Pr(H, G) = |H||G| |H||G| = |H||G| x∈H k X i=1 i=1 k X k |G : CG (xi )||CG (xi )| = |G| = |H||G| |H| i=1 Vậy ta có điều phải chứng minh Ta cần bổ đề sau phép chứng minh kết so sánh độ giao hoán tương đối nhóm nhóm với độ giao hốn nhóm nhóm Bổ đề Cho H nhóm G Khi với phần tử x ∈ G |H : CH (x)| ⩽ |G : CG (x)| Hơn nữa, dấu đẳng thức xảy G = HCG (x) Chứng minh Lấy x ∈ G Khi đó, theo Mệnh đề ??, ta có |H||CG (x)| = |HCG (x)| ⩽ |G| |H ∩ CG (x)| Do |H| |G| ⩽ |H ∩ CG (x)| |CG (x)| Mà H ∩ CG (x) = {a ∈ H | a ∈ CG (x)} = CH (x), từ suy |H| |G| ⩽ |CG (x)| |CH (x)| Do đó, theo Định lý Lagrange ta có |H : CH (x)| ⩽ |G : CG (x)| Từ lập luận ta thấy dấu đẳng thức xảy G = HCG (x) Vậy ta có điều phải chứng minh Mệnh đề sau cho ta đánh giá độ giao hốn tương đối nhóm nhóm nhờ độ giao hốn nhóm nhóm Mệnh đề Cho H nhóm nhóm G Khi Pr(G) ⩽ Pr(H, G) ⩽ Pr(H) Chứng minh Theo Mệnh đề ?? ta có X Pr(H, G) = |H||G| |CG (x)| = x∈H X |CG (x)| |H| |G| x∈H Theo Bổ đề ?? ta có |CG (x)| |C (x)| ⩽ H với x ∈ H |G| |H| Từ suy Pr(H, G) ⩽ X |CH (x)| X = |CH (x)| = Pr(H) |H| |H| |H| x∈H x∈H Theo Mệnh đề ?? ta có Pr(H, G) = X X |CH (y)| |CH (y)| = |H||G| |G| |H| y∈G y∈G Theo Bổ đề ?? ta có |CH (y)| |C (y)| ⩾ G với y ∈ G |H| |G| Từ suy Pr(H, G) ⩾ X |CG (y)| X = |CG (y)| = Pr(G) |G| |G| |G| y∈G y∈G Vậy ta có điều phải chứng minh Mệnh đề sau cho ta điều kiện cần đủ để xảy đẳng thức Mệnh đề Cho H nhóm nhóm G Khi (i) Pr(H, G) = Pr(H) G = HCG (x) với x ∈ H (ii) Pr(H, G) = Pr(G) G = HCG (x) với x ∈ G Chứng minh (i) Từ phép chứng minh Mệnh đề ?? ta thấy Pr(H, G) = Pr(H) |CG (x)| |CH (x)| = với x ∈ H |H| |G| Theo Bổ đề ??, điều xảy G = HCG (x) với x ∈ H Vậy ta có điều phải chứng minh (ii) Lập luận hồn tồn tương tự ta có điều phải chứng minh Từ Mệnh đề ?? ta có hệ sau Hệ Cho H nhóm nhóm G Nếu Pr(H, G) = Pr(G) Pr(H) = Pr(G) Mệnh đề sau cho ta điều kiện đủ để không xảy đẳng thức Mệnh đề ?? Mệnh đề Cho H nhóm nhóm G Nếu H khơng chuẩn tắc G Pr(G) < Pr(H, G) < Pr(H) Chứng minh Giả sử H không chuẩn tắc G Trước tiên ta chứng minh tồn x ∈ H cho G ̸= HCG (x) Thật vậy, giả sử trái lại G = HCG (x) với x ∈ H Lấy g ∈ G x ∈ H Khi g −1 ∈ G = HCG (x) Giả sử g −1 = với h ∈ H, a ∈ CG (x) Khi ta có g −1 xg = (ha)x(ha)−1 = haxa−1 h−1 = hxaa−1 h−1 = hxh−1 ∈ H Điều chứng tỏ H ◁ G, trái với giả thiết Vậy ta có điều phải chứng minh Do đó, theo Bổ đề ?? ta có Pr(H, G) ̸= Pr(H) Pr(H, G) ̸= Pr(G) Kết hợp điều với Mệnh đề ?? ta có bất đẳng thức cần chứng minh Nhóm nhị diện Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm Dn Khi (i) Nếu H = Rk với k|n, ⩽ k ⩽ n Pr(H, Dn ) = n+k 2n n + 2k n chẵn k | n 2n (ii) Nếu H = Tl với ⩽ l ⩽ n − Pr(H, Dn ) = n+1 n lẻ, 2n n + n chẵn 2n (iii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Pr(H, Dn ) = n+i+2 4n n n lẻ, n chẵn k ∤ , n lẻ, n+i+4 n n chẵn i ∤ , 4n n + 2i + n n chẵn i | 4n 53 tử thuộc X , thao tác qua phép toán ta phần tử phần tử thuộc X Để dễ hiểu ta lấy ví dụ đơn giản Trên tập N có phép tốn cộng thơng thường Ta lấy hai phần tử thuộc N (lấy hai số tự nhiên) Dễ thấy cộng hai số tự nhiên số tự nhiên số tự nhiên thuộc N Như ta nói N đóng kín với phép cộng Trong trường hợp tổng qt tập X Tiếp theo ta chứng minh ý mệnh đề Chứng minh: Vì X ∈ A∗ (Tiên đề 1) nên X c = ∅ ∈ A∗ (Tiên đề 2) Ta quy nạp dựa theo tiên đề có điều phải chứng minh ∀A, B ∈ A∗ ta có Ac , B c ∈ A∗ Khi (Ac ∪ B c ) ∈ A∗ ⇒ [(Ac ∪ B c )]c ∈ A∗ hay A ∩ B ∈ A∗ Từ ta quy nạp lên giao hữu hạn phần tử có điều phải chứng minh Chưa chứng minh Chưa chứng minh 19 Mở rộng Dorroh mở rộng tail ring ∆U vành Mệnh đề 20 Cho R vành, điều kiện sau tương đương (1) R ∆U -vành (2) ∆(R) = U◦ (R) (3) Ánh xạ ε : (∆(R), ◦) → (U (R), ) cho ε(x) = − x đẳng cấu nhóm Định lý 18 Cho R vành có đơn vị Khi điều kiện sau tương đương (1) Mở rộng Dorroh Z ⊕ R ∆U -vành (2) R ∆U -vành Mệnh đề 21 R[D, C] ∆U -vành D C ∆U -vành 54 19.1 Các nhóm vành Định lý 19 Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành agumentation iđêan ∇(RG) ∆U -vành Bổ đề Nếu G locally finite 2-group R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Định lý 20 Cho R ∆U -vành G locally finite 2-group Nếu ∆(R) lũy linh, RG ∆U -vành Hệ Cho R right (or left) perfect ring G locally finite 2-group Khi đó, R ∆U -vành RG ∆U -vành 20 Không gian hàm khả vi liên tục C1 (Ω) Định nghĩa 10 Cho Ω ⊂ Rn tập mở (i) Cho f : Ω → R i = 1, , n, ta nói f liên tục khả vi cấp ∂f = Di f ∈ C0 (Ω)) có tồn g ∈ C0 (Ω) thỏa mãn ∂xi ∂f ∂f = Di f Ω, = Di f hiểu lớp đạo hàm g= ∂xi ∂xi riêng thứ i f i Ω (∃ (i) C (Ω) := ∂f f ∈ C (Ω) : ∃ ∈ C0 (Ω), ∀i = 1, , n ∂xi (iii) Cho f C1 (Ω) Ta biểu thị ∥f ∥C1 = ∥f ∥C1 ,Ω = X ∥Dα f ∥∞,Ω |α|≤1 ∥.∥C1 gọi chuẩn C1 Định lý 21 Cho Ω ⊂ Rn tập mở, bị chặn Khi (C1 (Ω), ∥.∥C1 ) không gian Banach vô hạn chiều, không không gian Hilbert 55 Chứng minh Ta xét trường hợp n = Ω = (a, b) Đầu tiên ta phải đầy đủ không không gian Hilbert Xét ánh xạ tuyến tính T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), T (f ) := (f, f ′ ) (12) ∥f, g∥C0 (Ω)×C0 (Ω) := ∥f ∥∞ + ∥g∥∞ (f, g) ∈ C0 (Ω) × C0 (Ω) Chú ý T đẳng cự, nghĩa ∥T (f )∥C0 (Ω)×C0 (Ω) = ∥f ∥C1 ∀f ∈ C1 (Ω) Đặc biệt, ta định nghĩa M := T (C1 (Ω)), ánh xạ T : (C1 (Ω), ∥.∥C1 ) → (M, ∥.∥C0 (Ω)×C0 (Ω) ) đẳng cự Bài tập Cho (E, ∥.∥E ) (F, ∥.∥F ) khơng gian Banach Cho E × F với chuẩn ∥(x, y)∥F = ∥x∥E + ∥y∥F Khi (E × F, ∥(x, y)∥F ) khơng gian Banach Do đó, ta phải M đóng (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), để hoàn thành chứng minh Giả sử ((fh , fh′ ))h ⊂ M dãy mà lim ∥(fh − f, fh′ − g)∥C0 (Ω)×C0 (Ω) = h→∞ (13) với (f, g) ∈ C0 (Ω) × C0 (Ω chứng minh ∃f ′ = g [a, b] (14) 56 Theo (41), ta fh → f fh′ → g [a, b] hội tụ theo điểm Theo định lý tích phân cổ điển Z x fh′ (t)dt fh (x) − fh (a) = ∀x ∈ [a, b], ∀h, a ta lấy qua giới hạn, h → ∞, đồng thức trước theo (42) Bài tập Chỉ (C1 (Ω), ∥.∥C1 ) không gian Banach, X ∥Dα u∥∞ ∥u∥C1 := |α|≤1 Ω ⊂ Rn tập mở bị chặn C1 (Ω) không gian vector vơ hạn chiều chứa tập hợp đa thức C1 (Ω) không không gian Hilbert Tính compact (C1 (Ω), ∥.∥C1 ) Định lý 22 Cho F ⊂ C1 (Ω) Fi := {Di f : f ∈ F}, i = 1, , n Khi F compact (C1 (Ω), ∥.∥C1 ) F Fi , với i = 1, , , n (i) Bị chặn (C0 (Ω), ∥.∥C0 ); (ii) đóng (C0 (Ω), ∥.∥C0 ); (iii) liên tục Ω Chứng minh Ta xét trường hợp n = Ω = (a, b) Sự cần thiết: Chỉ rằng, F compact (C1 (Ω), ∥.∥C1 ), (i), (ii) (iii) Cho T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) ánh xạ định nghĩa (40) Trong chứng minh định lý 35 ta tồn T −1 : (M, ∥.∥C0 (Ω)×C0 (Ω) ) → (C1 (Ω), ∥.∥C1 ) 57 liên tục Do F compact (C1 (Ω), ∥.∥C1 ) tương đương với T (F) compact (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) Giờ ta quan sát, xác biểu thị πi : C0 (Ω) × C0 (Ω) → C0 (Ω), (i = 1, 2) phép chiếu không gian tọa độ, nghĩa πi (f1 , f2 ) = fi (f1 , f2 ) ∈ C0 (Ω) × C0 (Ω), πi liên tục Từ F compact (C1 (Ω), ∥.∥C1 ), T (F) compact (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) Điều có nghĩa π1 (T (F)) = F π2 (T (F)) = F ′ compact (C0 (Ω), ∥.∥C0 ) Theo định lý Arzelà - Ascoli ta (i), (ii), (iii) Tính đầy đủ: Chứng minh Bài tập F compact (C1 (Ω), ∥.∥C1 ), cho trước (i), (ii) (iii) Nhận xét Cho F = BC1 ([a,b]) := {f ∈ C1 ([a, b]) : ∥f ∥C1 = ∥f ∥∞ + ∥f ′ ∥∞ ≤ 1} Khi F khơng compact (C1 ([a, b]), ∥.∥C1 ) theo định lý Riesz’s (nhớ C1 ([a, b]) không gian vô hạn chiều) Nhưng F compact tương đối (C0 ([a, b]), ∥.∥∞ ), nghĩa là, ∀(fh )h ⊂ F tồn (fhk )k f ∈ C0 ([a, b]) thỏa mãn lim ∥fhk − f ∥∞ = k→∞ Tính tách (C1 (Ω), ∥.∥C1 ) Định lý 23 (C1 (Ω), ∥.∥C1 ) tách Chứng minh Cho T : (C1 (Ω), ∥.∥C1 ) → (M, ∥.∥C0 (Ω)×C0 (Ω) ) ánh xạ định nghĩa (40) Vì T đồng phơi tính tách được bảo tồn qua phép đồng phôi, ta cần không gian (M, ∥.∥C0 (Ω)×C0 (Ω) ) khơng gian metric (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) tách Điều tính tách (C0 (Ω), ∥.∥∞ ) (Định lý 29), tập từ tính chất tách qua giới hạn đến không gian (Xem định lý 28 (ii)) 58 21 Cấu trúc nhóm số nhóm hữu hạn Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm Dn có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ n, ⩽ l ⩽ n − 1, ⩽ i ⩽ n − 1, ⩽ j ⩽ n − Sau số tính chất nhóm nhị diện, xem [?] Mệnh đề 22 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Rk nhóm xiclíc cấp n , d = (n, k), với ⩽ k ⩽ n; d (ii) Tl nhóm xiclíc cấp với ⩽ l ⩽ n − 1; (iii) Ui,j nhóm nhị diện cấp 2n , d = (n, i), với i|n, ⩽ i ⩽ n− d ⩽ j ⩽ n − Mệnh đề 23 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Nếu n lẻ CDn (1) = Dn , CDn (ri ) = R1 , CDn (rj s) = Tj với ⩽ i ⩽ n − 1, ⩽ j ⩽ n − 1; (ii) Nếu n chẵn CDn (1) = Dn , CDn (rm ) = Dn , CDn (ri ) = R1 , CDn (rj s) = Um,j n với m = , ⩽ i ⩽ n − 1, i ̸= m, ⩽ j ⩽ n − Mệnh đề 24 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm nhóm Dn Khi H nhóm sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với k|n, ⩽ k ⩽ n, ⩽ l ⩽ n − 1, i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − 59 Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn , s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Ui,j nhóm Q4n có dạng sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n, ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − Sau số tính chất nhóm quaternion suy rộng, xem [?] Mệnh đề 25 Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi 2n , d = (2n, k), với ⩽ k ⩽ 2n; d 4n (ii) Ui,j nhóm quaternion suy rộng cấp , d = (n, i), d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − (i) Rk nhóm xiclíc cấp Mệnh đề 26 Cho nhóm Quaternion suy rộng Q4n với n ⩾ Khi CQ4n (1) = CQ4n (rn ) = Q4n , CQ4n (ri ) = R1 , CQ4n (rj s) = Un,j với ⩽ i ⩽ 2n − 1, i ̸= n, ⩽ j ⩽ 2n − Mệnh đề 27 Cho nhóm quaternion suy rộng Q4n với n ⩾ 2, H nhóm Q4n Khi H nhóm sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với k|2n, ⩽ k ⩽ 2n, ⩽ i ⩽ n, i|n, ⩽ j ⩽ i − Cho nhóm giả nhị diện n n−1 SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 −1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm nhóm giả nhị diện SD2n có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n , ⩽ l ⩽ 2n − 1, ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − Sau số tính chất nhóm giả nhị diện, xem [?] 60 Mệnh đề 28 Cho nhóm giả nhị diện SD2n với n ⩾ Khi (i) Rk nhóm xiclíc cấp 2n d = (2n , k), với ⩽ k ⩽ 2n ; d (ii) Tl nhóm xiclíc cấp l chẵn, cấp l lẻ với ⩽ l ⩽ 2n − 1; (iii) Ui,j nhóm giả nhị diện i lẻ với ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − 1; Ui,j nhóm nhị diện i chẵn j chẵn, nhóm quaternion tổng quát i chẵn j lẻ với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − 1; Với i = 2n−1 , Ui,j nhóm xiclíc cấp j lẻ, Ui,j ∼ = C2 × C2 j chẵn 2n+1 Trong tất trường hợp nhóm Ui,j có cấp d d = (2n , i) Mệnh đề 29 Cho nhóm giả nhị diện SD2n với n ⩾ Khi CSD2n (1) = CSD2n (r2 n−1 ) = SD2n , CSD2n (ri ) = R1 , CSD2n (rj s) = U2n−1 ,j với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − Mệnh đề 30 Cho nhóm giả nhị diện SD2n với n ⩾ 3, H nhóm SD2n Khi nhóm H SD2n nhóm sau (i) Rk = ⟨rk ⟩ với ⩽ k ⩽ 2n ; (ii) Tl = ⟨rl s⟩ với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ; (iii) Ui,j với ⩽ i ⩽ 2n−2 , i|2n , ⩽ j ⩽ i−1, U2n−1 ,j với ⩽ j ⩽ 2n−1 − 1, j chẵn 22 Các đặc trưng ∆U -vành Ta biết + J(R) ⊆ U (R) Vành R gọi U J -vành U (R) ⊆ + J(R), nghĩa + J(R) = U (R) Lưu ý R U J -vành ∆(R) = J(R) 61 22.1 Các tính chất tổng quát ∆U -vành Bổ đề Cho R vành tùy ý, ta có (1) ∆(R) vành R (2) ∆(R) iđêan R ∆(R) = J(R) (3) Với r ∈ ∆(R) u ∈ U (R), ur, ru ∈ ∆(R) Y Y Y (4) Nếu R = Ri tích vành Ri , ∆( Ri ) = ∆(Ri ) i∈I i∈I i∈I (5) Nếu R vành nửa địa phương, ∆(R) = J(R) (6) ∆(R[x]/(xn )) = ∆(R)[x]/(xn ) (7) ∆(R[[x]]) = ∆(R)[[x]] Vành R gọi ∆U -vành + ∆(R) = U (R) Mệnh đề 31 R ∆U -vành U (R) + U (R) ⊆ ∆(R) (khi U (R) + U (R) = ∆(R)) Chứng minh Giả sử R ∆U -vành, Lấy u, v ∈ U (R), ta có + u ∈ ∆(R), − v ∈ ∆(R), u + v = (1 + u) − (1 − v) ∈ ∆(R) Các tính chất ∆U -vành Mệnh đề 32 Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R division ring, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R); (4) R Dedekind finite; (5) Cho I ⊆ J(R) iđêan R Khi R ∆U -vành R/I ∆U -vành; Y (6) Vành Ri ∆U vành Ri ∆U , với i ∈ I i∈I 62 (7) Nếu T vành R thỏa mãn U (T ) = U (R) ∩ T , T ∆U -vành Cụ thể, điều áp dụng cho Z = Z(R) tâm R Chứng minh (1) Hiển nhiên (2) (3) Giả sử x2 ∈ ∆(R) Khi (1+x)(1−x) = (1−x)(1+x) = 1−x2 ∈ U (R) tức 1+x ∈ U (R) Vì R ∆U -vành, 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi − ba lũy đẳng R, [b(1 − ba)2 ] = = [(1 − ba)a]2 ∈ ∆(R) Từ (3), ta có b(1 − ba) ∈ ∆(R) (1 − ba)a ∈ ∆(R) Suy − ba = (1 − ba)2 = [(1 − ba)a][b(1 − ba)] ∈ ∆ Từ đó, ba ∈ U (R) ba = (5) Nếu I ⊆ J(R) ideal, ∆(R/I) = ∆(R)/I Giả sử R ∆U vành Khi u + I ∈ + ∆(R)/I = + ∆(R/I) Do R/I ∆(U )vành Ngược lại, giả sử R/I ∆U -vành Lấy u ∈ U (R) tùy ý Khi u + I ∈ + ∆(R)/I Ta kiểm tra u ∈ + ∆(R) Do đó, R ∆U -vành (6) Hiển nhiên (7) Giả thiết U (T ) = U (T ) ∩ T nghĩa ∆(R) ∩ T ⊆ ∆(T ) Bây U (R) = + ∆(R) cho + ∆(T ) ⊆ U (T ) = U (R) ∩ T = (1 + ∆(R)) ∩ T = + (∆(R) ∩ T ) ⊆ + ∆(T ) Định lý 24 Mn (R) ∆U -vành n = R ∆U -vành Chứng minh (⇐:) Hiển nhiên 63 (⇒:) Giả sử Mn (R) ∆U -vành n > Đầu tiên ta chứng 0 − a 0 0 minh R division Lấy a ∈ R, a ̸= 0, ta có X = ∈ 0 Mn (R) X = DoMn (R) ∆U -vành, ta lấy X ∈∆(Mn (R)) Lấy U= 0 1 0 0 0 0 0 0 ∈ M (R) Khi I − U X = n n 0 0 0 a khả nghịch Mn (R), hay a ∈ U (R) Do đó, R division ∼ Tiếp theo, ta chứng minh R = F2 Lấy a ∈ R, a ̸= a ̸= Lấy a 0 0 a 0 0 X= ∈ Mn (R) Khi X khả nghịch Vì Mn (R) 0 a 1−a 0 − a ∆U -vành nên ta có In − X = ∈ ∆(Mn (R)) 0 − a Vì − a khả nghịch nên In − X khả nghịch, mâu thuẫn Do R∼ = F2 1 X1 Cuối cùng, ta n = Lấy X1 = X = ∈ 0 In−2 Mn (R) Khi X khả nghịch Mn (R) Bởi giả thuyết, ta có 64 In − X ∈ ∆(Mn (R)) Mặt khác, ta có In − X = X2 0 In−2 X2 = Suy In − X khả nghịch, mâu thuẫn Do đó, n = 1 R ∼ = M1 (R) ∆U -vành Mệnh đề 33 Giả sử R ∆U -vành e phần tử lũy đẳng R Khi eRe ∆U -vành Chứng minh Lấy u ∈ U (eRe) Khi u + − e ∈ U (R) Vì R ∆U -vành nên ta có u − e ∈ ∆(R) Ta chứng minh u − e ∈ ∆(eRe) Lấy tùy ý v khả nghịch eRe Rõ ràng v + − e ∈ U (R) Vì u − e ∈ ∆(R) nên u−e+v+1−e ∈ U (R) theo định nghĩa ∆, đặt u−e+v+1−e = t ∈ U (R) Ta kiểm tra et = te = ete = u − e + v , ete ∈ U (eRe) Suy u − e + U (eRe) ⊆ U (eRe), u − e ∈ ∆(eRe) Vì vậy, u ∈ e + ∆(eRe) hay eRe ∆U -vành Định lý 25 Cho M (R, R) song môđun Vành R ∆U -vành T (R, M ) ∆U -vành u m ∈ U (T (R, M )) = T (U (R), M ), Chứng minh (:⇒) Lấy u¯ = u u ∈ U (R) m ∈ M Ta u¯ − ∈ ∆(T (R, M )) Rõ ràng, u ∈ U (R) u = + a ∈ + ∆(R) với a thuộc ∆(R) Suy a ¯= 0 + a m a ∈ T (∆(R), M ) = ∆(T (R, M )) Vì T (R, M ) ∆U -vành (⇐:) Điều ngược lại dễ thấy Hệ 8.Giả sửM (R, S) song mơđun Khi vành ma trận tam giác dạng R M S ∆U -vành R S ∆U -vành Hệ R ∆U -vành vành ma trận tam giác Tn (R) ∆U -vành, n ≥ 65 22.2 Một vài tính chất đại số ∆U -vành Nhớ lại rằng, vành R gọi vành 2-primal nguyên tố N (R) Mệnh đề 34 Cho R vành 2-primal Nếu vành đa thức R[x] ∆U vành, R ∆U -vành Chứng minh R vành 2-primal, theo [10, Mệnh đề 19], ∆(R[x]) = ∆(R) + J(R[x]) Mặt khác ta có J(R[x]) = I[x] với I iđêan lũy linh R Bây giờ, ta giả sử R[x] ∆U -vành Khi U (R) ⊆ U (R[x]) = + ∆(R[x]) = + ∆(R) + I[x], điều có nghĩa U (R) ⊆ + ∆(R) + I = + ∆(R) ⊆ U (R), I iđêan lũy linh (nên I ⊆ ∆(R)) Do U (R) = + ∆(R), hay R ∆U -vành Mệnh đề 35 Cho R vành m ∈ N (1) R ∆U -vành R[x]/xm R[x] ∆U -vành (2) R ∆U -vành vành chuỗi lũy thừa R[[x]] ∆U -vành Chứng minh (1) Điều suy từ Mệnh đề 2.4(5), từ xR[x]/xm R[x] ⊆ J(R[x]/xm R[x]) (R[x]/xm R[x])/(xR[x]/xm R[x]) ∼ = R (2) Ta xét (x) = xR[[x]] iđêan R[[x]] Khi (x) ⊆ J(R[[x]]), R ∼ = R[[x]]/(x), kết suy từ Mệnh đề 2.4(5) Bổ đề Cho R, S vành i : R → S, ϵ : S → R đồng cấu thỏa ϵi = idR (1) ϵ(∆(S)) ⊆ ∆(R) (2) Nếu S ∆U -vành, R ∆U -vành (3) Nếu R ∆U -vành ker ϵ ⊆ ∆(S), S ∆U -vành Chứng minh (1) Dễ thấy, ϵ(U (S)) ⊆ U (R) U (R) = ϵi(U (R)) ⊆ ϵ(U (S)) Lấy a ∈ ∆(S) Rõ ràng, a + U (S) ⊆ U (S), ϵ(a) + ϵ(U (S)) ⊆ ϵ(U (S)) ϵ(a) + U (R) ⊆ U (R) Điều có nghĩa ϵ(a) ∈ ∆(R) Do đó, ϵ(∆(S)) ⊆ ∆(R) 66 (2) Cho S ∆U -vành Khi U (S) = + ∆(S), theo (1) U (R) = ϵ(U (S)) = + ∆(S) ⊆ + ∆(R) Do U (R) = + ∆((R) (3) Giả sử R ∆U -vành Ta phải ϵ−1 (U (R)) ⊆ + ∆(S), điều có nghĩa U (S) = + ∆(S) Với y ∈ ϵ−1 (U (R)), ta lấy ϵ(y) ∈ U (R) = + ∆(R), R ∆U -vành Suy y − = i(x) + v , v tùy ý thuộc ker(ϵ) x ∈ ∆(R) Lấy tùy ý u khả nghịch thuộc S Lưu ý x + U (R) ⊆ U (R) Ta có ϵ(i(x) + u) = x + ϵ(u) ∈ x + ϵ(U (S)) = x + U (R) ⊆ U (R) = ϵ(U (S)) i(x) + u = u′ + a u′ ∈ U (S) a ∈ ker(ϵ) Suy y − + u = u′ + a + v ∈ U (S) + ker(ϵ) ⊆ U (S) + ∆(S) theo giả thuyết Từ U (S) + ∆(S) ⊆ U (S) với vành có đơn vị S , ta có y − + u ∈ U (S) với u ∈ U (S) Điều có nghĩa y − ∈ ∆(S) hay y ∈ + ∆(S) Ta có điều phải chứng minh Mệnh đề 36 Cho R vành, M monoid RM monoid ring Nếu RM ∆U -vành, R ∆U -vành Mệnh đề 37 Cho R vành giao hốn có đơn gị Vành đa thức R[x] R ∆U R ∆U 22.3 Tính chất ∆U lớp vành Mệnh đề 38 Các điều kiện sau tương đương vành R (1) R ∆U -vành (2) Tất clean elements R ∆-clean Định lý 26 Cho R vành, điều kiện sau tương đương (1) R clean ∆U -vành; (2) Với a ∈ R, ta có a − a2 ∈ ∆(R) a − e ∈ ∆(R) e lũy đẳng, e ∈ R; (3) R ∆-clean ∆U -vành; (4) R vành ∆-clean 67 Bổ đề Nếu R vành unit-regular ∆(R) = Định lý 27 Cho R vành, điều sau tương đương (1) R regular ∆U -vành (2) R strongly regular ∆U -vành (3) R unit-regular ∆U -vành (4) R có identity x2 = x (R vành Boolean) Định lý 28 Cho R vành, điều sau tương đương (1) R semiregular ∆U -vành (2) R exchange ∆U -vành (3) R/J(R) vành Boolean Hệ 10 Cho R ∆U -vành, điều sau tương đương (1) R semiregular ring (2) R exchange ring (3) R clean ring 23 Tính chất ∆U lớp vành Một phần tử r ∈ R gọi ∆-clean r biểu diễn thành r = e + t e phần lũy đẳng R t ∈ ∆(R) Vành R gọi ∆-clean phần tử R ∆-clean Chú ý, phẩn tử ∆-clean clean Mệnh đề 39 Các điều kiện sau tương đương vành R (1) R ∆U -vành; (2) Tất phần tử clean R ∆-clean