Sự tồn tại nghiệm tuần hoàn của phương trình vi phân trung hòa với lệch không bị chặn

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: SỰ TỒN TẠI NGHIỆM TUẦN HỒN CỦA PHƯƠNG TRÌNH VI PHÂN TRUNG HỊA VỚI LỆCH KHƠNG BỊ CHẶ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 luận văn này, khảo sát hệ phương trình hàm - tích phân phi tuyến khoảng bị chận không bị chận IR, gồm tồn nghiệm, thuật giải lặp cấp hai, khai triển tiệm cận nghiệm theo tham số bé tính khả vi nghiệm Cụ thể chứng minh tồn nghiệm hệ phương trình hàm nhờ vào định lý điểm bất động Banach, sau nghiên cứu điều kiện đủ để thu thuật giải cấp hai hội tụ 553 2 Mở rộng Dorroh mở rộng tail ring ∆U -vành Mệnh đề 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ý 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 đề R[D, C] ∆U -vành D C ∆U -vành 2.1 Các nhóm vành Định lý 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ý 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 ĐỊNH LÝ ROLLE Cơ sở định lý Rolle dựa hai định lý Weierstrass Fermat Định lý Weierstrass khẳng định hàm số f liên tục đoạn [a, b] bị chặn tồn giá trị lớn nhất, giá trị nhỏ đoạn Định lý Fermat điểm cực trị hàm khẳng định hàm f khả vi khoảng (a, b) đạt cực trị địa phương (cực đại địa phương cực tiểu địa phương) thuộc khoảng giá trị đạo hàm điểm cực trị địa phương không Định lý (Định lý Rolle) Giả sử cho hàm số f liên tục [a, b], khả vi khoảng (a, b) f (a) = f (b) Khi tồn c ∈ (a, b) cho f ′ (c) = Chứng minh Vì f liên tục đoạn [a, b] Theo định lý Weierstrass hàm f phải tồn giá trị lớn giá trị nhỏ đoạn [a, b], nghĩa tồn x1 , x2 ∈ (a, b) cho f (x1 ) = f (x) = m, f (x2 ) = max f (x) = M [a,b] [a,b] Có hai khả xảy ra: 1) Nếu m = M Khi f (x) = const đoạn [a, b] Nên f ′ (c) = với c ∈ (a, b) 2) Nếu m < M Theo giả thiết ta có f (a) = f (b) nên hai điểm x1 , x2 phải thuộc khoảng (a, b) Khơng tính tổng qt ta giả sử x1 ∈ (a, b) Theo định lý Fermat đạo hàm điểm không Định lý chứng minh xong Ý nghĩa hình học định lý Rolle Cho C đường cong trơn với hai đầu mút A, B có "độ cao" (trong hệ trục tọa độ Descartes) C tồn điểm mà tiếp tuyến C điểm song song với AB(hay song song với trục hồnh f (a) = f (b)) Hệ Nếu hàm số f (x) có đạo hàm khoảng (a, b) phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) phương trình f ′ (x) = có n − nghiệm phân biệt thuộc khoảng (a, b) (Phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) với (k = 1, 2, , n)) Chứng minh Giả sử phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) thứ tự x1 < x2 < < xn Khi ta áp dụng định lý Rolle cho n − đoạn [x1 , x2 ], [x2 , x3 ], , [xn−1 , xn ] phương trình f ′ (x) = có n − nghiệm thuộc n − khoảng (x1 , x2 ), (x2 , x3 ), , (xn−1 , xn ) Gọi n − nghiệm ξ1 , ξ2 , , ξn−1 ta có: f (ξ1 ) = f (ξ2 ) = = f (ξn−1 ) = Tiếp tục áp dụng định lý Rolle cho n−2 khoảng (ξ1 , ξ2 ), (ξ2 , ξ3 ), , (ξn−2 , ξn−1 ) phương trình f ′′ (x) = có n−2 nghiệm phân biệt khoảng (a, b) Tiếp tục trình sau k bước phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) Hệ Giả sử hàm số f (x) liên tục đoạn [a, b] có đạo hàm khoảng (a, b) Khi phương trình f ′ (x) = có khơng n − nghiệm phân biệt khoảng (a, b) phương trình f (x) = có khơng n nghiệm phân biệt khoảng Chứng minh Giả sử phương trình f (x) = có nhiều n nghiệm phân biệt khoảng (a, b), chẳng hạn n + nghiệm Khi theo hệ phương trình f ′ (x) = có n nghiệm thuộc khoảng (a, b) Điều trái với giả thiết phương trình f ′ (x) = có khơng q n − nghiệm Ta có điều phải chứng minh Nhóm giả nhị diện Mệnh đề Cho nhóm giả nhị diện n SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 H nhóm SD2n Khi n−1 −1 ⟩ với n ⩾ 3, (i) Nếu H = Rk với k | 2n , ⩽ k ⩽ 2n ( Pr(H, SD2n ) = k = 2n , k + n k ̸= 2n 2 (ii) Nếu H = Tl với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ Pr(Tl , SD2n ) = 1 + n 2 (iii) Nếu H = Ui,j với i|2n , ⩽ i ⩽ 2n − 1, ⩽ j ⩽ i − Pr(H, SD2n ) =  1   + n i = 2n−1 ,   + i + i ̸= 2n−1 n+1 Chứng minh (i) Giả sử H = Rk với k|2n , ⩽ k ⩽ 2n Ta xét hai trường hợp k sau Trường hợp 1: k = 2n Khi Rk = {1} Rõ ràng Pr(Rk , SD2n ) = Trường hợp 2: k ̸= 2n Theo Mệnh đề ?? ta có |Rk | = 2n 2n = (2n , k) k Khi đó, theo Mệnh đề ?? ta có X n−1 |CSD2n (x)| = |CSD2n (1)| + |CSD2n (r2 )| + X |CSD2n (rik )| n x∈Rk 1⩽i⩽ 2k −1 i̸=  = |SD2n | + |SD2n | + = 2n+1 + 2n+1 +  2n k n−1 k  − |R1 | 2n 2n+1 (2n−1 + k) − 2n = k k  Từ suy Pr(Rk , SD2n ) = X |CSD2n (x)| |Rk ||SD2n | x∈Rk = 2n−1 + k k k 2n+1 (2n−1 + k) = + · = 2n · 2n+1 k 2n 2n (ii) Giả sử H = Tl với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ Khi l chẵn với ⩽ l ⩽ 2n − Theo Mệnh đề ??, ta có |Tl | = Do Tl = {1, rl s} Khi đó, theo Mệnh đề 30 ta có X 1 Pr(Tl , SD2n ) = = |Tl ||SD2n | |CSD2n (x)| = · 2n+1 x∈Tl |CSD2n (1)| + |CSD2n (rl s)|

1 1 n+1 n | + |U n−1 | (2 + 4) = + |SD = 2 ,l · 2n+1 · 2n+1 2n Khi l lẻ với ⩽ l ⩽ 2n−1 − Theo Mệnh đề ?? ta có |Tl | = Do n−1 Tl = {1, rl s, r2 n−1 , rl+2 s} Khi đó, theo Mệnh đề 30 ta có Pr(Tl , SD2n ) = X |CSD2n (x)| |Tl ||SD2n | x∈Tl l 2n−1 l+2n−1 = |C )| + |C s)| n (1)| + |CSD2n (r s)| + |CSD2n (r n (r SD SD 2 · 2n+1
= |SD2n | + |U2n−1 ,l | + |SD2n | + |U2n−1 ,l+2n−1 | n+1 4·2
1 n+1 n+1 = + + + = + n n+1 4·2 2   Như hai trường hợp l ta có Pr(Tl , SD2n ) = 1 + n 2 (iii) Giả sử H = Ui,j với ⩽ i ⩽ 2n − 1, i|2n , ⩽ j ⩽ i − Ta xét hai trường hợp i sau Trường hợp 1: i = 2n−1 Theo Mệnh đề ??, ta có 2n+1 2n+1 = n−1 = i |Ui,j | = Do Ui,j = {1, r2 n−1 , rj s, r2 n−1 +j s} Khi đó, theo Mệnh đề 30 ta có Pr(Ui,j , SD2n ) = X |CSD2n (x)| |Ui,j ||SD2n | x∈Ui,j n−1 n−1 = |CSD2n (1)| + |CSD2n (r2 )| + |CSD2n (rj s)| + |CSD2n (r2 +j s)| n+1 4·2
n | + |SD2n | + |U n−1 | + |U n−1 n−1 = |SD | 2 ,j ,2 +j · 2n+1 1 = (2n+1 + 2n+1 + + 4) = + n n+1 4·2 2   Trường hợp 2: i ̸= 2n−1 Theo Mệnh đề ?? ta có |Ui,j | = Do 2n+1 i  n 67 (5) Giả sử I ⊆ J(R) iđêan R Khi R U J -vành R/I U J -vành; (6) R hữu hạn Dedekind; Y (7) Vành Ri U J -vành vành Ri U J -vành với i∈I i ∈ I Một vành R gọi nửa địa phương vành thương R/J(R) tổng trực tiếp iđêan phải cực tiểu Mệnh đề 37 ([?], Mệnh đề 1.4) Vành nửa địa phương R U J -vành R/J(R) ≃ F2 × × F2 Cho R vành có đơn vị Ta ký hiệu Mn (R) vành ma trận cấp n × n R Định lý 32 ([?], Định lý 3) Cho R vành tùy ý, có đơn vị n > Khi đó, phần tử Mn (R) tổng ba phần tử khả nghịch Mn (R) Cho R vành có đơn vị, phần tử a ∈ R gọi clean a có biểu diễn a = e + u e phần tử lũy đẳng R, u phần tử khả nghịch R Ta ký hiệu Cl(R) tập tất phần tử clean vành R Một vành R gọi clean R = Cl(R) Hệ 30 ([?], Hệ 1.7) Cho R vành Khi đó, điều kiện sau tương đương (i) R vành rút gọn; (ii) U (R[x]) = U (R); (iii) Cl(R[x]) = Cl(R) Cho R vành M song môđun vành R Một mở rộng tầm thường R M T (R, M ) = {(r, m) : r ∈ R m ∈ M }, với phép cộng theo thành phần phép nhân định nghĩa (r, m)(s, n) = (rs, rn + ms) 68 Mệnh đề 38 ([?], Mệnh đề 4.9 (2)) Cho R vành M song môđun R Gọi T (R, M ) mở rộng tầm thường Khi tập phần tử khả nghịch T (R, M ) U (T (R, M )) = T (U (R), M ) Một vành R gọi I -vành iđêan phải lũy linh khác không chứa phần tử lũy đẳng khác không Một hệ n2 phần tử {eij } vành R gọi hệ ma trận khả nghịch ( j ̸= j ′ eij ej ′ k = ejk j = j ′ Định lý 33 ([?], Định lý 2.1) Cho R I -vành Nếu a phần tử lũy linh cấp n (nghĩa an = 0, an−1 ̸= 0) an−1 ∈ / J(R) iđêan (a) sinh a chứa hệ n ma trận khả nghịch 20 Vô hạn chiều Định nghĩa 24 (i) Không gian vector thực E gọi vơ hạn chiều khơng hữu hạn chiều ta viết dimR E = ∞ (ii) Nếu dimR E = ∞, hệ B ⊂ E gọi sở (đại số Hamel) E hệ vector độc lập tuyến tính (nghĩa tập hữu hạn độc lập tuyến tính) B tập lớn tất tập chứa vector độc lập tuyến tính E Điều chứng minh theo nguyên lý cực đại Hausdorff, với khơng gian vector vơ hạn chiều E có sở B phần tử thuộc E biểu diễn (hữu hạn) theo tổ hợp tuyến tính phần tử thuộc B Khi dimR E = ∞, (E, ∥.∥E ) (E ′ , ∥.∥E ′ ) không thiết đẳng cấu topo Tuy nhiên, ta chứng minh vài tính chất topo (E ′ , ∥.∥E ′ ) tính tách cịn giữ (E, ∥.∥E ) Định lý 34 (E, ∥.∥E ) tách (E ′ , ∥.∥E ′ ) tách 69 Trước chứng minh định lý ta cần sử dụng điều kiện trù mật cho không gian định chuẩn, hệ định lý Hahn-Banach thứ hai hình học Mệnh đề 39 (Điều kiện trù mật không gian con) Cho (E, ∥.∥E ) không gian định chuẩn Giả sử M ⊂ E không gian không trù mật (E, ∥.∥E ) lấy x0 ∈ E \ M Khi tồn f ∈ E ′ cho ⟨f, x⟩E ′ ×E = 0, ∀x ∈ M ⟨f, x0 ⟩E ′ ×E = Chứng minh Từ định lý Hahn-Banach thứ hai hình học, tồn g ∈ E ′ cho siêu phẳng H := {x ∈ E : ⟨g, x⟩E ′ ×E = α}, tách tập M {x0 } cách nghiêm ngặt, tức ⟨g, x⟩E ′ ×E < α < ⟨g, x0 ⟩E ′ ×E ∀x ∈ M (14) Từ M không gian con, theo (33), suy λ ⟨g, x⟩E ′ ×E < α, ∀λ ∈ R, ⟨g, x⟩E ′ ×E = 0, ∀x ∈ M Do đó, ta xác định hàm f ∈ E ′ f := g, ⟨g, x0 ⟩E ′ ×E ta có điều phải chứng minh Chứng minh Định lý 45 Cho D := {fh : h ∈ N} ⊂ (E ′ , ∥.∥E ′ ), trù mật Với h có phần tử xh ∈ E với ∥xh ∥ = 1 |fh (x)| ≥ ∥fh ∥E ′ Cho e := spanQ {xh : h ∈ N} D := spanR {xh : h ∈ N}, D (15) 70 tức là, tập tất tổ hợp tuyến tính phần tử {xh : e đếm được, D không gian h ∈ N} với hệ số thực Khi D E theo cách xây dựng ˜ ⊂ (D, ∥.∥) trù mật D Để đưa kết luận chứng minh, ta cần phải D ⊂ (D, ∥.∥) trù mật Theo phản chứng, D không trù mật, lấy x0 ∈ E \ D Khi từ mệnh đề 38, tồn f ∈ E ′ cho ⟨f, x⟩E ′ ×E = 0, ∀x ∈ D ⟨f, x0 ⟩E ′ ×E = Từ D trù mật, có dãy (fhk )k mà lim ∥fhk − f ∥E ′ = k→∞ Tuy nhiên, từ ∥xhk ∥ = 1, ∥fhk − f ∥E ′ ≥ |fhk (xhk ) − f (xhk )| = |f (xhk )| ≥ ∥fhk ∥E ′ ∀k ∈ N Do dó ∥fhk ∥E ′ → k → ∞, nghĩa f ≡ 0, mâu thuẫn với f (x0 ) = Vì D = E 21 So sánh không gian vector hữu hạn chiều không gian vector vô hạn chiều Chúng ta nhắc lại sơ qua điểm khác không gian vector hữu hạn chiều không gian vector vơ hạn chiều từ cách nhìn đại số topo 71 Định nghĩa 25 (i) Cho E F hai không gian vector Ta nói E F đẳng cấu tuyến tính tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu topo tồn ánh xạ liên tục T : E → F ánh xạ tuyến tính − với ánh xạ ngược liên tục T −1 : F → E (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu metric tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F với ∥T (x)∥F = ∥x∥E với x ∈ E Ta nhớ lại khái niệm không gian đối ngẫu không gian vector định chuẩn Định nghĩa 26 Cho (E, ∥.∥) không gian vector định chuẩn Không gian đối ngẫu E ′ E khơng gian tuyến tính định nghĩa bởi: E ′ := {f : E → R : f tuyến tính liên tục} E ′ trang bị chuẩn ∥f ∥E ′ := |f (x)| < +∞ x∈E\{0} ∥x∥ sup Định lý 35 (E ′ , ∥.∥E ′ ) không gian Banach Chứng minh Ta chứng minh dãy Cauchy E ′ hội tụ Giả sử {fn } dãy Cauchy E ′ , tức ∥fm − fn ∥E ′ → m, n → ∞, với x ∈ E ta có |fm (x) − fn (x)| = |(fm − fn )(x)| tính tuyến tính, hay |fm (x) − fn (x)| ≤ ∥fm − fn ∥E ′ ∥x∥E → m, n → ∞, {fn } dãy Cauchy E ′ 72 Ta suy fn (x) dãy Cauchy R, fn (x) hội tụ, nghĩa tồn f (x) cho f (x) = lim fn (x) n→∞ Ta cần chứng minh f (x) tuyến tính liên tục Tính tuyến tính hiển nhiên, ta cần chứng minh tính liên tục, hay ta chứng minh f (x) bị chặn |f (x)| = lim |fn (x)| ≤ lim ∥fn ∥E ′ ∥x∥E , n→∞ n→∞ Vì fn ∈ E ′ nên fn tuyến tinh bị chặn, tức tồn M > cho ∥fn ∥ ≤ M , từ ta suy |f (x)| ≤ lim M ∥x∥E = M ∥x∥E n→∞ Ta có điều phải chứng minh Lưu ý: Nếu f ∈ E ′ x ∈ E ta viết ⟨f, x⟩E ′ ×E thay cho f (x) ta gọi ⟨., ⟩E ′ ×E tích vơ hướng không gian đối ngẫu E, E ′ Ký hiệu chung không gian đối ngẫu thực E không gian Hilbert 22 Một vài tính chất đại số ∆U -vành Mệnh đề 40 Cho R vành 2-nguyên thủy Nếu vành đa thức R[x] ∆U -vành, R ∆U -vành Chứng minh R vành 2-nguyên thủy, theo Mệnh đề 25, ∆(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 đề 41 Cho R vành m ∈ N (1) R ∆U -vành R[x]/xm R[x] ∆U -vành 73 (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 đề ?? (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]]) Vì R ∼ = R[[x]]/(x) nên (2) suy từ Mệnh đề ?? (5) Bổ đề 17 Cho R, S vành i : R → S, ϵ : S → R đồng cấu vành thỏa mãn ϵi = idR Khi đó, khẳng định sau (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)) nên ϵ(U (S)) = U (R) 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) (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) Thật vậy, với y ∈ ϵ−1 (U (R)), ta lấy ϵ(y) ∈ U (R) = 1+∆(R), R ∆U -vành Suy y −1 = 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 Cho vành R nhóm G, ta ký hiệu vành nhóm X R G RG Một phần tử tùy ý α ∈ RG có dạng α = rg g rg ∈ R g∈G 74 Giả sử R vành M vị nhóm, RM gọi vành vị nhóm định nghĩa giống vành nhóm Mệnh đề 42 Cho R vành, M vị nhóm RM vành vị nhóm Nếu RM ∆U -vành R ∆U -vành Chứng minh Ta xét quan hệ bao hàm ι : R → RM (ι(r) = re với e phần tử đơn vị vị nhóm ! M ) ϵ : RM → R đồng cấu mở rộng X X rm m = rm ([?] Mệnh đề II.3.1) Khi ta đủ xác định ϵ m∈M m∈M điều kiện để áp dụng Bổ đề ?? (2) Ta có kết quả, vành đa thức R[X] ∆U -vành R ∆U -vành Với vành đa thức vành giao hoán, ta kết tốt Ta biết R vành giao hốn có đơn vị f = a0 + a1 x + · · · + an xn ∈ R[x] f khả nghịch R[x] a0 khả nghịch R a1 , a2 , , an phần tử lũy linh trong R Từ nhận xét ta có mệnh đề sau Mệnh đề 43 Cho R vành giao hốn có đơn vị Vành đa thức R[x] R ∆U R ∆U 23 Nhóm giả nhị diện Mệnh đề 44 Cho nhóm giả nhị diện n SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 n−1 −1 ⟩ với n ⩾ 3, H nhóm SD2n Khi (i) Nếu H = Rk với k | 2n , ⩽ k ⩽ 2n ( Pr(H, SD2n ) = k = 2n , k + n k ̸= 2n 2 (ii) Nếu H = Tl với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ Pr(Tl , SD2n ) = 1 + n 2 75 (iii) Nếu H = Ui,j với i|2n , ⩽ i ⩽ 2n − 1, ⩽ j ⩽ i −  1   + n i = 2n−1 , 2 Pr(H, SD2n ) =   + i + i ̸= 2n−1 2n+1 Chứng minh (i) Giả sử H = Rk với k|2n , ⩽ k ⩽ 2n Ta xét hai trường hợp k sau Trường hợp 1: k = 2n Khi Rk = {1} Rõ ràng Pr(Rk , SD2n ) = Trường hợp 2: k ̸= 2n Theo Mệnh đề ?? ta có 2n 2n = |Rk | = n (2 , k) k Khi đó, theo Mệnh đề ?? ta có X n−1 |CSD2n (x)| = |CSD2n (1)| + |CSD2n (r2 )| + X |CSD2n (rik )| n x∈Rk 1⩽i⩽ 2k −1 i̸=  = |SD2n | + |SD2n | + = n+1 +2 n+1  + 2n k 2n−1 k  − |R1 | 2n 2n+1 (2n−1 + k) − 2n = k k  Từ suy Pr(Rk , SD2n ) = X |CSD2n (x)| |Rk ||SD2n | x∈Rk = k 2n+1 (2n−1 + k) 2n−1 + k k · = = + 2n · 2n+1 k 2n 2n (ii) Giả sử H = Tl với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ Khi l chẵn với ⩽ l ⩽ 2n − Theo Mệnh đề ??, ta có |Tl | = Do Tl = {1, rl s} 76 Khi đó, theo Mệnh đề 30 ta có X Pr(Tl , SD2n ) = |Tl ||SD2n |
l |C n (1)| + |CSD2n (r s)| SD 2 · 2n+1 |CSD2n (x)| = x∈Tl
1 1 n+1 n | + |U n−1 | = |SD = + (2 + 4) = 2 ,l · 2n+1 · 2n+1 2n Khi l lẻ với ⩽ l ⩽ 2n−1 − Theo Mệnh đề ?? ta có |Tl | = Do n−1 Tl = {1, rl s, r2 n−1 , rl+2 s} Khi đó, theo Mệnh đề 30 ta có X |CSD2n (x)| |Tl ||SD2n | Pr(Tl , SD2n ) = x∈Tl n−1 n−1 |CSD2n (1)| + |CSD2n (rl s)| + |CSD2n (r2 )| + |CSD2n (rl+2 s)| n+1 4·2
n | + |U n−1 | + |SD2n | + |U n−1 n−1 | = |SD 2 ,l+2 ,l · 2n+1
1 n+1 n+1 = + + + + = · 2n+1 2n =   Như hai trường hợp l ta có Pr(Tl , SD2n ) = 1 + n 2 (iii) Giả sử H = Ui,j với ⩽ i ⩽ 2n − 1, i|2n , ⩽ j ⩽ i − Ta xét hai trường hợp i sau Trường hợp 1: i = 2n−1 Theo Mệnh đề ??, ta có 2n+1 2n+1 = n−1 = i |Ui,j | = Do Ui,j = {1, r2 n−1 , rj s, r2 n−1 +j s} Khi đó, theo Mệnh đề 30 ta có Pr(Ui,j , SD2n ) = X |CSD2n (x)| |Ui,j ||SD2n | x∈Ui,j 77 2n−1 j 2n−1 +j |C )| + |C s)| n (1)| + |CSD2n (r n (r s)| + |CSD2n (r SD SD 2 · 2n+1
n n n−1 n−1 n−1 |SD | + |SD | + |U | + |U | = 2 ,j ,2 +j · 2n+1 1 = (2n+1 + 2n+1 + + 4) = + n n+1 4·2 2  =  Trường hợp 2: i ̸= 2n−1 Theo Mệnh đề ?? ta có |Ui,j | = Do 2n+1 i  2n li li+j r ,r s 0⩽l⩽ −1 i  Ui,j = Khi đó, theo Mệnh đề 30, ta có X X |CSD2n (rli )| + |CSD2n (x)| = 0⩽l⩽ 2i −1 = |CSD2n (1)| + |CSD2n (r2 n−1 0⩽l⩽ 2i −1 )| + X |CSD2n (rli )| + n 1⩽l⩽ 2i −1 l̸=  = |SD2n | + |SD2n | + = n+1 +2 n+1  + 2n i |CSD2n (rli+j s)| n n x∈Ui,j X X |CSD2n (rli+j s)| n 0⩽l⩽ 2i −1 2n−1 i  − |R1 | + 2n |U n−1 | i ,li+j 2n 2n+1 (2n−1 + i + 2) 2n − 2n + = i i i  Do đó, theo Mệnh đề 30 ta có Pr(Ui,j , SD2n ) = = X 1 2n+1 (2n−1 + i + 2) |CSD2n (x)| = n+1 |Ui,j ||SD2n | i x∈Ui,j 2n+1 i i+2 2n+1 (2n−1 + i + 2) 2n−1 + i + = = + n+1 n+1 2(n+1) i 2 i Vậy ta có điều phải chứng minh Trong ví dụ sau ta tính độ giao hốn tương đối nhóm nhóm giả nhị diện SD8 SD16 cách áp dụng Mệnh đề 51