Phương trình sóng phi tuyến với điều kiện biên chứa số hạng menmory ở một phần bên trái

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: PHƯƠNG TRÌNH SĨNG PHI TUYẾN VỚI ĐIỀU KIỆN BIÊN CHỨA SỐ HẠNG MENMORY Ở MỘT PHẦN BÊN TRÁI 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 Đề tài nghiên cứu luận văn thạc sĩ khoa học “Phương trình vi phân tuyến tính hệ số vài ứng dụng” đạt số kết sau đây: - Trình bày có hệ thống kiến thức sở lý thuyết phương trình vi phân tuyến tính - Trình bày phương trình vi phân tuyến tính cấp n hệ số biến thiên - Trình bày phương trình vi phân tuyến tính cấp n hệ số - Trình bày ứng dụng thực tế phương trình vi phân tuyến tính ứng dụng vật lý, hố học, mơ hình tăng trưởng, ứng dụng kinh tế 593 2 Vô hạn chiều Định nghĩa (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ý (E, ∥.∥E ) tách (E ′ , ∥.∥E ′ ) tách 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 đề (Đ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 (1) Từ M không gian con, theo (??), suy λ ⟨g, x⟩E ′ ×E < α, ∀λ ∈ R, ⟨g, x⟩E ′ ×E = 0, ∀x ∈ M (2) 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ý 17 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 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 đề ??, 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 KHƠNG GIAN CÁC HÀM KHẢ TÍCH Định lý Cho Ω ⊂ Rn tập mở Khi (Lp (Ω), ∥.∥Lp ) tách ≤ p < ∞ không tách p = ∞ Ta cần hai kết để chứng minh định lý ??: trước kết topo (Urysohn’s Lemma) sau quan hệ xấp xỉ không gian hàm liên tục Lp Định nghĩa Cho (X, τ ) khơng gian topo Khi C0c (X) := {f : X → R liên tục spt(f ) compact (X, d)} spt(f ) := Bao đóng{x ∈ X : f (x) ̸= 0} Bổ đề (Bổ đề Urysohn) Cho X compact địa phương không gian metric, cho K ⊂ X V ⊂ X , K compact V mở thỏa mãn K ⊂ V Khi đó, tồn hàm φ ∈ C0c (X) thỏa mãn ≤ φ ≤ 1, φ ≡ K spt(φ) ⊂ V Định lý (Xấp xỉ Lp hàm liên tục) Cho Ω ⊂ Rn tập mở Khi C0c (Ω) trù mật (Lp (Ω), ∥.∥Lp ), biết ≤ p < ∞ Chứng minh định lý 26 dựa hai kết tảng xấp xỉ hàm đo được, ta cần nhớ lại Định lý (Xấp xỉ hàm đơn giản) Cho (X, M) không gian đo cho f : X → [0, +∞] hàm đo Khi tồn dãy hàm đơn giản đo sh : X → [0, +∞], (h = 1, 2, ) thỏa mãn tính chất (i) ≤ s1 ≤ s2 ≤ ≤ sh ≤ ≤ f ; (ii) lim sh (x) = f (x), ∀x ∈ X h→∞ Z Đặc biệt, f ∈ L (X, µ), nghĩa f dµ < ∞, sh → f X L1 (X, µ), nghĩa Z ∥f − sh ∥L1 (X,µ) := |f − sh |dµ → X Định lý (Lusin - Dạng không gian metric compact địa phương) Cho µ độ đo Radon compact địa phương, không gian metric tách X Cho f : X → R hàm đo cho tồn tập Borel A ⊂ X với µ(A) < ∞, f (x) = ∀x ∈ X \A |f (x)| < ∞ µ− hầu khắp nơi x ∈ X Khi đó, với ϵ > 0, tồn g ∈ C0c (X) cho µ({x ∈ X : f (x) ̸= g(x)}) < ϵ Hơn nữa, g chọn cho supx∈X |g(x)| ≤ sup |f (x)| x∈X Chứng minh cho định lý Ta chia chứng minh định lý thành hai bước Bước 1: Ta chứng minh răng, ∀ϵ > 0, ∀f ∈ Lp (Ω) tồn hàm đơn giản đo s : Ω → R cho |{x ∈ Ω : s(x) ̸= 0} < ∞| (đặc biệt s ∈ Lp (Ω), ∀p ∈ [1, ∞]); (3) ∥f − s∥Lp < ϵ (4) Đầu tiên, giả sử f ≥ Ω Theo xấp xỉ hàm không âm đo phương pháp hàm đơn giản (Định lý 27), tồn dãy hàm đơn giản đo sh : Ω → [0, +∞], (h = 1, 2, ) cho ≤ s1 ≤ s2 ≤ ≤ sk ≤ ≤ f ; (5) ∀x ∈ Ω lim sh (x) = f (x) h→∞ (6) Từ (22) ta sh ∈ Lp (Ω) |s ∈ Ω : sh (x) ̸= 0| < ∞ ∀h, (7) ∥sh − f ∥ ≤ 2f Ω, ∀h (8) Theo (23) (25), ta cso thể áp dụng định lý hội theo Lebesgue, ≤ p < ∞, ta lim ∥sh − f ∥Lp = (9) h→∞ Cho ϵ > 0, từ (26), tồn h = h(ϵ) ∈ N cho ∥sh − f ∥Lp < ϵ Nếu ta định nghĩa s := sh , theo (20) (21) Trường hợp tổng quát f : Ω → R chứng minh tách f = + f − f − áp dụng (20) (21), tách thành f + f − Bước 2: Ta ∀ϵ > 0, ∀f ∈ Lp (Ω), ∃g ∈ C0c (Ω) cho ∥f −g∥Lp < ϵ ϵ Cho f hàm đơn giản đo thỏa mãn (20) (21) với ϵ ≡ ký hiệu A := {x ∈ Ω : s(x) ̸= 0} Giả sử ∥s∥∞ > 0, khơng s ≡ ∈ C0c (Ω) kết thúc chứng minh Áp dụng định lý Lusin cho hàm s, tồn hàm g ∈ C0c (Ω) thỏa mãn |Ac | = |{x ∈ Ω : s(x) ̸= g(x)}| < ϵp , 4p ∥s∥p∞ (10) với |g(x)| ≤ ∥x∥∞ x ∈ Ω (11) Chú ý ∥f − g∥Lp ≤ ∥f − s∥Lp + ∥s − g∥Lp < Bây ta đánh giá ∥s − g∥Lp Z Z ∥s − g∥pLp = |s − g|p dx = Ω ϵ + ∥s − g∥Lp |s − g|p dx ≤ 2p ∥s∥p∞ |Aϵ | < Aϵ Vì (29) (30) kết thúc chứng minh (12) ϵp 2p (13) Chứng minh định lý ?? Ta cần chứng minh (C0c (Ω), ∥.∥∞ ) tách (14) Thật vậy, ta giả sử rằng, từ (31), ta (Lp (Ω), ∥.∥∞ ) tách được, biết ≤ p < ∞ Đầu tiên, giả sử Ω bị chặn Cho D ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm được, ta chứng minh D trù mật (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞ (15) Từ định lý 26, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho ϵ ∥f − g∥Lp < (16) D trù mật, tồn e g ∈ D cho ∥g − e g ∥∞ < ϵ 2|Ω|1/p Nhớ lại Bài tập ∥f ∥Lp ≤ |Ω|1/p ∥f ∥∞ , ∀f ∈ L∞ (Ω), biết |Ω| < ∞ Điều nghĩa ϵ ∥g − g∥Lp ≤ |Ω1/p |∥g − g∥∞ < (17) Do gợi ý (33) (34) ám (32) Bây giả sử Ω không bị chặn Theo kết biết topo, tồn dãy (Ωh )h tập mở bị chặn cho Ωh ⊂ Ωh ⊂ Ωh+1 Ω= ∪∞ h=1 Ωh Hơn nữa, ý C0c (Ω) = ∪∞ h=1 Cc (Ωh ) (18) Theo (31) tồn tập Dh ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm Cho D := ∪∞ h=1 Dh (32) giữ Từ định lý 26, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho (33) Từ K := spt(g) tập compact chứa Ω, tồn h = h(g) = ϵ ∈ N cho K ⊂ Ωh Điều có nghĩa g ∈ C0c (Ωh ) ta có kết luận bước trước Bây ta chứng minh (31) Nhớ lại (C0 (K), ∥.∥∞ ) tách được, biết K ⊂ Rn tập compact (định lý ??) Cho (Ωh ) dãy tập mở bị chặn Rn Theo định nghĩa, C0c (Ωh ) ⊂ (C0 (Ω), ∥.∥∞ ) Vì (C0 (Ω), ∥.∥∞ ) tách nên với h, tồn tập D ⊂ (C0 (Ωh ), ∥.∥∞ ) trù mật đếm (19) Bây giờ, theo bổ đề Urysohn, ta sửa tập hợp hàm D eh ⊂ C0c (Ω) đẻ họ cho tập hợp hàm đếm D e D := ∪∞ h=1 Dh ⊂ (Cc (Ω), ∥.∥inf ty ) đếm trù mật (20) Áp dụng bổ đề Urysohn với K := Ωh−1 , V = Ωh cho φh ∈ C0 (Ω) cho ≤ φh (x) ≤ 1, ∀x ∈ Ω, φh (x) = 1, ∀x ∈ Ωh−1 spt(φh ) ⊂ Ωh xác định g ∈ Dh , g : Ωh → R, định nghĩa e g : Ω → R hàm ( g(x) x ∈ Ωh e g (x) := , nếux ∈ Ω \ Ωh cho e := {φhe D g : g ∈ D} e (h ∈ N) D := ∪∞ h=1 D Ta chứng minh (37) Theo cách xây dựng, D đếm Vì ta cần chứng minh trù mật (C0c , ∥.∥∞ ) Sửa ϵ > 0, f ∈ C0c (Ω) cho K := spt(f ) ⊂ Ω compact Tồn h0 ∈ N cho K ⊂ Ωh0 ⊂ Ωh0 +1 Điều có nghĩa f ∈ C0c (Ωh0 ) ⊂ C0 (Ωh0 ) ⊂ C0 (Ωh0 +1 ) 54 Bổ đề rằng, ta mở rộng định nghĩa ∆ cho tất vành, không thiết phải có đơn vị khẳng định Định lý 19 tương đương với vành tùy ý Hơn nữa, điều kiện tương đương đúng, ∆(∆(R)) = ∆(R) Ta biết kết cổ điển Jacobsson J(R) vành J(eRe) = eJ(R)e, với e lũy đẳng R Ta dấu khơng cịn trường hợp tổng qt ∆(R) Tuy nhiên quan hệ bao hàm e∆(R)e ⊆ ∆(eRe) giữ với giả thiết e∆(R)e ⊆ ∆(R) Trong Hệ 15 ta thêm vào giả thiết ∈ U (R) Cho R vành có đơn vị Phần tử a ∈ R gọi quy (tương ứng, quy đơn vị) R a = aua với u ∈ R (tương ứng, u ∈ U (R)) Nếu phần tử vành R quy (tương ứng, quy đơn vị) R gọi vành quy (tương ứng, vành quy đơn vị) Mệnh đề 21 Cho R vành bất kỳ, ta có (1) Cho e2 = e thỏa mãn e∆(R)e ⊆ ∆(R) Khi e∆(R)e ⊆ ∆(eRe) (2) ∆(R) không chứa phần tử lũy đẳng khác không (3) ∆(R) không chứa phần tử quy đơn vị khác khơng Chứng minh (1) Nếu y ∈ U (eRe), y1 = y + (1 − e) ∈ U (R) thỏa mãn y = ey1 e Ta lấy r ∈ e∆(R)e ⊆ ∆(R) ta phần tử khả nghịch y ∈ U (eRe) ta có e − yr ∈ U (eRe) Như trên, lấy y1 = y+1−e ∈ U (R) Từ r ∈ e∆(R)e ⊆ ∆(R), ta 1−y1 r ∈ U (R) Do tồn phần tử b ∈ R thỏa mãn b(1 − y1 r) = e = eb(1 − y1 r)e = eb(e − y1 re)e = eb(e − (y + − e)re) = eb(e − yre) + eb(1 − e)re = ebe(e − yre), dấu cuối r ∈ eRe Điều cho thấy e − yre = e − yr phần tử khả nghịch trái eRe Từ − y1 r ∈ U (R) ta có (1 − y1 r)b = = (1 − (y + − e)r)b = (1 − yr)b Nhân hai vế với e ta e = e(1 − yr)be = (e − yr)be = (e − yr)ebe Điều có nghĩa ebe phần tử khả nghịch phải trái e − yr (2) Nếu e2 = e ∈ ∆(R), − e = e + (1 − 2e) ∈ U (R), − 2e khả nghịch, e = 55 (3) Nếu a ∈ ∆(R) phần tử quy đơn vị, tồn phần tử khả nghịch u ∈ U (R) thỏa mãn au lũy đẳng Theo điều kiện (2) ta suy a phải không Hệ 13 Cho R vành quy đơn vị, ∆(R) = Hệ 14 Giả sử ∈ U (R) Khi e∆(R)e ⊆ ∆(eRe) với e phần tử lũy đẳng R Dưới số ví dụ mà ∆(R) ̸= J(R) Ví dụ (1) Ở Định lý 19, ta nhận thấy A vành vành R thỏa mãn U (R) = U (A), J(A) ⊆ ∆(R) Cụ thể chọn A miền giao hoán với J(A) ̸= R = A[x], ta = J(R) ⊂ J(A) ⊆ ∆(R) (xem [?], Bài tập 4.24) (2) ([?], Ví dụ 2.5) Cho R = F2 < x, y > / < x2 > Khi J(R) = U (R) = + F2 x + xRx Cụ thể, F2 x + xRx chứa ∆(R) J(R) = (3) Cho S vành tùy ý thỏa mãn J(S) = ∆(S) ̸= cho R = M2 (S) Khi đó, theo Định lý 18 (1), ∆(R) = J(R) = 0, đó, e = e11 ∈ R, e∆(R)e = eJ(R)e = J(eRe) = ∆(eRe) ≃ ∆(S) ̸= Điều quan hệ bao hàm e∆(R)e ⊆ ∆(eRe) Mệnh đề nghiêm ngặt trường hợp tổng quát (4) Cho A miền giao hoán với J(A) ̸= S = A[x] Khi đó, theo (1), ̸= J(A) ⊆ ∆(S) rõ ràng J(S) = R = M2 (S), A miền giao hoán địa phương Theo Định lý 18, ∆(R) = J(R) = Lưu ý, tâm Z = Z(R) R = M2 (S) đẳng cấu với S U (Z) = U (R) ∩ Z Do đó, = ∆(R) ∩ Z ⊆ ∆(Z) ≃ J(A) ̸= Do đó, quan hệ bao hàm Hệ 19 nghiêm ngặt J(R) = = J(Z(R)) Một vành R gọi 2-nguyên thủy tập phần tử lũy linh N (R) trùng với nguyên tố B(R), tức R/B(R) vành rút gọn Mệnh đề 22 Giả sử R vành 2-nguyên thủy Khi ∆(R[x]) = ∆(R)+ J(R[x]) 56 Chứng minh Trước tiên ta giả sử R vành rút gọn Khi theo Hệ ?? ta có U (R[x]) = U (R) Do đó, theo định nghĩa ∆(R[x]), ta có ∆(R) ⊆ ∆(R[x]) Lấy a + a0 ∈ ∆(R[x]) a ∈ R[x]x a0 ∈ R Khi đó, u ∈ U (R), a + a0 + u ∈ U (R) Ta có a0 + u ∈ U (R) a = ∆(R) = ∆(R[x]) Bây ta giả sử R vành 2-nguyên thủy Rõ ràng B(R[x]) = B(R)[x] ⊆ J(R[x]) R vành 2-nguyên thủy R/B(R) vành rút gọn J(R[x]) = B(R[x]) = B(R)[x] Áp dụng phần đầu chứng minh cho R/B(R) Mệnh đề 12 (2) ta có ∆(R) + B(R)[x] = ∆(R/B(R)[x]) = ∆(R[x]/J(R[x])) = ∆(R[x])/J(R[x]) Ta có điều cần chứng minh 17 Một số kiến thức nhóm Một nhóm (G, ·) tập hợp G ̸= ∅ trang bị phép tốn hai ngơi · thỏa mãn điều kiện sau đây: (i) a · (b · c) = (a · b) · c với a, b, c ∈ G, (ii) Tồn phần tử e ∈ G cho a · e = a = e · a với a ∈ G, (iii) Với a ∈ G tồn phần tử a′ ∈ G cho a · a′ = a′ · a = e Để đơn giản, ta ký hiệu ab thay cho a · b Phần tử e xác định (ii) nhất, gọi phần tử đơn vị nhóm G, thường ký hiệu Với a ∈ G, phần tử a′ xác định (iii) nhất, gọi phần tử nghịch đảo a, ký hiệu a−1 Một nhóm G gọi giao hốn (hay abel ) ab = ba với a, b ∈ G Nếu nhóm G có hữu hạn phần tử ta gọi G nhóm hữu hạn, gọi số phần tử G cấp nhóm G, ký hiệu |G| Cho G nhóm, H tập G Ta gọi H nhóm G, ký hiệu H ⩽ G, điều kiện sau thỏa mãn: (i) Phép toán G hạn chế lên H cảm sinh phép toán H , (ii) H nhóm với phép tốn cảm sinh Cho G nhóm, H tập G ta ký hiệu ⟨S⟩ nhóm bé G chứa S , gọi S tập sinh ⟨S⟩ Đặc biệt, nhóm có tập sinh gồm phần tử gọi nhóm xiclíc 57 Mệnh đề 23 (Định lý Lagrange) Cho G nhóm hữu hạn, H nhóm G Khi |H| ước |G| Với G nhóm hữu hạn, H ⩽ G, ta ký hiệu |G : H| = |G| : |H|, gọi số nhóm H G Mệnh đề 24 Cho G nhóm, A, B hai nhóm hữu hạn G Ký hiệu AB = {ab | a ∈ A, b ∈ B} Khi |AB| = |A||B| |A ∩ B| Cho G nhóm, a phần tử G Với u phần tử G, liên hợp u a, ký hiệu ua , định nghĩa ua = a−1 ua Với H nhóm G, ta gọi H nhóm chuẩn tắc G, ký hiệu H ◁ G, ∈ H với a ∈ G, h ∈ H Cho N nhóm chuẩn tắc G Ký hiệu G/N = {aN | a ∈ G} Khi G/N nhóm với phép toán xác định sau Với a, b ∈ G (aN )(bN ) = abN Nhóm G/N gọi nhóm thương G N Với S tập G, tâm hóa S G, ký hiệu CG (S), định nghĩa CG (S) = {a ∈ G | ua = u với u ∈ S} Trong trường hợp S = {x}, ta dùng ký hiệu CG (x) thay cho CG (S) Tâm nhóm G, ký hiệu Z(G), định nghĩa Z(G) = CG (G) Mệnh đề 25 Cho G nhóm khơng giao hốn Khi đó, nhóm thương G/Z(G) khơng nhóm xiclíc Cho G nhóm Với x y hai phần tử G, giao hoán tử x y , ký hiệu [x, y], định nghĩa [x, y] = x−1 y −1 xy 58 Nhóm giao hốn tử G, ký hiệu G′ , định nghĩa nhóm sinh tập tất giao hoán tử {[x, y] | x, y ∈ G} Cho hai nhóm G H Một ánh xạ f : G → H gọi đồng cấu nhóm với a, b ∈ G f (ab) = f (a)f (b) Nếu đồng cấu f đơn ánh (tương ứng, toán ánh, song ánh) ta gọi f đơn cấu (tương ứng, toàn cấu, đẳng cấu) Ta ký hiệu Aut(G) nhóm tất tự đẳng cấu G Cho N H hai nhóm bất kỳ, cho θ : H → Aut(N ) đồng cấu nhóm Khi đó, tập hợp G = {(x, h) | x ∈ N, h ∈ H} nhóm với phép tốn xác định sau Với (x1 , h1 ), (x2 , h2 ) ∈ G, (x1 , h1 )(x2 , h2 ) = (x1 θ(h1 )(x2 ), h1 h2 ) Nhóm G xác định gọi tích nửa trực tiếp N H ứng với tác động θ, ký hiệu G = N ×θ H Trong trường hợp đặc biệt θ đồng cấu tầm thường tích nửa trực tiếp tích trực tiếp Sau số kiến thức p-nhóm nhóm abel hữu hạn Cho p số nguyên tố Một nhóm G gọi p-nhóm |G| môt lũy thừa p Ta thấy nhóm con, nhóm thương p-nhóm p-nhóm Mệnh đề 26 Cho p số nguyên tố Khi (i) Mọi nhóm có cấp p nhóm xiclíc (ii) Mọi nhóm có cấp p2 nhóm abel Mệnh đề 27 Mọi nhóm abel hữu hạn G biểu diễn cách thành tích trực tiếp nhóm xiclíc G∼ = Cn1 × Cn2 × · · · × Cnk ni ⩾ 2, i = 1, 2, k , n1 | n2 | · · · | nk 59 Sau số kiến thức nhóm đối xứng nhóm thay phiên Cho X tập hợp Một song ánh từ tập X đến gọi phép tập X Ký hiệu S(X) tập tất phép tập X Khi S(X) nhóm với phép tốn hợp thành ánh xạ Ta gọi S(X) nhóm đối xứng tập X Ta dùng ký hiệu Sn để nhóm đối xứng tập X = {1, 2, , n} gọi Sn nhóm đối xứng bậc n Định lý 26 Mọi phép π ∈ Sn với n ⩾ phân tích thành tích xích rời Phân tích khơng kể đến thứ tự nhân tử Cho π ∈ Sn với n ⩾ Khi đó, theo Định lý ??, ta có phân tích π thành tích xích rời π = (a11 a12 · · · a1k1 )(a21 a22 · · · a2k2 ) · · · (as1 as2 · · · asks ) ta giả thiết k1 ⩾ k2 ⩾ · · · ⩾ ks Ta gọi (k1 , k2 , , ks ) kiểu phép π Mệnh đề 28 Hai phép nhóm đối xứng Sn với n ⩾ liên hợp với chúng có kiểu Cho σ ∈ Sn với n ⩾ Ta nói cặp (σ(i), σ(j)) nghịch σ i < j σ(i) > σ(j) Dấu phép σ, ký hiệu sign(σ), xác định cơng thức sign(σ) = (−1)t t số nghịch σ Nếu sign(σ) = ta gọi σ phép chẵn, sign(σ) = −1 ta gọi σ phép lẻ Mệnh đề 29 Cho σ, τ ∈ Sn với n ⩾ Khi (i) sign(στ ) = sign(σ)sign(τ ) (ii) Nếu σ xích độ dài k sign(σ) = (−1)k+1 Với n ⩾ ta ký hiệu An tập phép chẵn bậc n Khi An nhóm chuẩn tắc số Sn Ta gọi An nhóm thay phiên bậc n Cuối mục kết độ giao hoán nhóm 60 Định nghĩa Cho G nhóm Ký hiệu C = {(x, y) ∈ G × G | xy = yx} Độ giao hoán G, ký hiệu Pr(G), định nghĩa sau Pr(G) = |C| |G|2 Mệnh đề 30 Nếu G nhóm khơng giao hốn Pr(G) ⩽ 18 Nhóm nhị diện Mệnh đề 31 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   n n lẻ, n chẵ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 lẻ, n+i+4 n n chẵn i ∤ , 4n n + 2i + n n chẵn i | 4n Chứng minh (i) Giả sử H = Rk với k|n, ⩽ k ⩽ n Theo Mệnh đề 24 ta có |Rk | = n n = (n, k) k 61 Do  k Rk = ⟨r ⟩ =  n r 0⩽l ⩽ −1 k kl Khi X X |CDn (x)| = |CDn (1)| + |CDn (rkl )| 1⩽l⩽ nk −1 x∈Rk Ta xét hai trường hợp n sau Trường hợp 1: n lẻ Theo Mệnh đề 25 ta có X kl |CDn (r )| = 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + n k x∈Rk n k  − |R1 |  − |R1 | = 2n + n k  −1 n= n(n + k) k Áp dụng Mệnh đề 58 ta có Pr(Rk , Dn ) = X n+k n+k n = |CDn (x)| = n |Rk ||Dn | k 2n 2n x∈Rk k Trường hợp 2: n chẵn Ta xét hai trường hợp k n Trường hợp 2a: k ∤ Khi đó, theo Mệnh đề 25 ta có X kl |CDn (r )| = 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + x∈Rk n k  n k  − |R1 | − |R1 | = 2n + n k  −1 n= n(n + k) k Áp dụng Mệnh đề 58, ta có Pr(Rk , Dn ) = X 1 n+k n+k |CDn (x)| = n n = |Rk ||Dn | k 2n 2n x∈Rk k 62 n Trường hợp 2b: k | Khi đó, theo Mệnh đề 25 ta có X n |CDn (rkl )| = CDn r +