Một số tính chất của độ đo điều hòa trên tập julia đối với ánh xạ tựa đa thức

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MỘT SỐ TÍNH CHẤT CỦA ĐỘ ĐO ĐIỀU HỊA TRÊN TẬP JULIA ĐỐI VỚI ÁNH XẠ TỰA ĐA THỨC 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 Lý thuyết dao động nghiệm hệ phương trình vi phân có đối số lệch nghiên cứu rầm rộ năm 80 trở lại Càng ngày người ta thấy có nhiều ứng dụng thực tế Đặc biệt lĩnh vực: Vật lý, Sinh học, Sinh lý học, Sinh thái học Đóng góp nhiều cho lĩnh vực phải kể đến Gyori, Ferreira, Arino, Gopalsamy Ladas Các tác giả nghiên cứu dao động nghiệm hệ phương trình vi phân có đối số lệch theo hướng hệ phương trình vi phân có đối số lệch tuyến tính sở phương trình đặc trưng Từ với hệ phương trình cụ thể thực tế xét dựa vào hệ phương trình tuyến tính hóa (linearized equation) 90 2 Xấp xỉ tích chập Lp Ta thấy rằng, cho f ∈ Lp (Ω) với ≤ p < ∞, tồn (fh )h ⊂ C0c (Ω) cho fh → f Lp (Ω) Ta chứng minh tính xấp xỉ này, tìm kiếm xấp xỉ theo hàm quy Chính xác Câu hỏi: (i) Có tồn (fh )h ⊂ C1c cho fh → f Lp (Ω)? (ii) Có thể xây dựng cách rõ ràng xấp xỉ thứ h hàm fh cho f ∈ Lp (Ω)? Câu trả lời cho câu hỏi thứ hai có ý nghĩa xấp xỉ số Định nghĩa (Friedrichs’ mollifiers) Một dãy mollifiers dãy hàm ϱh : Rn → R, (h = 1, 2, ) cho, với h, ϱ ∈ C∞ (Rn ); (M o1) spt(ϱh ) ⊂ B(0, 1/h); Z ϱh dx = 1; (M o2) (M o3) Rn ϱh (x) ≥ 0, ∀x ∈ Rn (M o4) Ví dụ mollifiers: Khá đơn giản để xây dựng dãy mollifiers, hàm không biến ϱ : Rn → R thỏa mãn n ϱ ∈ C∞ c (R ), spt(ϱ) ⊂ B(0, 1), ϱ ≥ Ví dụ, cho ϱ(x) :=   exp |x| −  |x| < |x| ≥  n Khi dễ thấy ϱ ∈ C∞ c (R ) Hơn nữa, ta có dãy mollifiers định nghĩa ϱh (x) := c hn ϱ(hx), x ∈ Rn , h ∈ N −1 Z c := ϱdx Rn Chú ý: Nếu A, B ⊂ Rn , A ± B ký hiệu tập A ± B := {a ± b : a ∈ A, b ∈ B} Bài tập Chứng minh (i) Nếu A compact B đóng, A + B đóng; (ii) A B compact A + B Mệnh đề (Định nghĩa tính chất mollifiers đầu tiên) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Định nghĩa, cho h ∈ N x ∈ Rn , Z ϱh (x − y)f (y)dy, ∀x ∈ Rn fh (x) := (ϱ ∗ f )(x) := Rn Khi (i) Hàm fh : Rn → R is well defined; (ii) fh (x) = (ϱh ∗ f )(x) = (f ∗ ϱh )(x) với x ∈ Rn h ∈ N; (iii) fh (x) ∈ C0 (Rn ) với h Hàm fh gọi mollifiers thứ h f Chứng minh Để đơn giản, ta ký hiệu ϱh ≡ ϱ (i) Theo (Mo2) (Mo4), spt(ϱ) ⊂ B(0, 1/h) Khi Z Z |f (y)ϱ(x − y)|dy = Rn |f (y)ϱ(x − y)|dy B(x,1/h) Z ≤ sup ϱ Rn |f (y)|dy < ∞ B(x,1/h) Do đó, ta thay đổi x ∈ Rn , hàm gx (y) := ϱ(x − y)f (y), y ∈ Rn khả tích Rn , xác định tích phân Z Z R∋ gx (y)dy = ϱ(x − y)f (y)dy = (ϱ ∗ f )f (x), ∀x ∈ Rn Rn Rn (ii) cách thay đổi biến Z (f ∗ ϱ)(x) = f (x − y)ϱ(y)dy (z=x=y) Z f (z)ϱ(x − z)dz = (ϱ ∗ f )(x) = Rn Rn (iii) Cho x ∈ Rn xr → x, ta chứng minh (ϱ ∗ f )(xr ) → (ϱ ∗ f )(x) (1) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N (2) Rn Từ dãy (xr )r bị chặn Rn , tồn tập compact K ⊂ Rn thỏa mãn B(xr , 1/h) = xr − B(0, 1/h) ⊂ K, B(x, 1/h) ∈ K, ∀r ∈ N Đặc biệt ϱ(xr − y) − ϱ(x − y) = 0, ∀y ∈ / K, ∀r ∈ N (3) Bởi vì, ϱ ∈ Lip(Rn ), theo (28), tồn L > thỏa |ϱ(xr − y) − ϱ(x − y)| ≤ LχK (y)|xr − x|, ∀y ∈ Rn , ∀r ∈ N Vì ta |ϱ(xr − y)ϱ(x − y)||f (y)| ≤ LχK (y)|f (y)||xr − x|, ∀y ∈ Rn , ∀r ∈ N (4) Từ (27), (28) định lý tính hội tụ bị trội, theo (26) Nhận xét Ký hiệu ∗ tích chập hai hàm không gian Rn Lưu ý, kết mệnh đề 40 giữ f ∈ L1loc (Rn ) ϱ ≡ ϱh ∈ C0 (Rn ) thỏa (Mo2) Trên thực tế, xác định tích chập hai hàm g ∈ Lp (Rn ) với ≤ p ≤ ∞ f ∈ L1 (Rn ) Z (g ∗ f )(x) := g(x − y)f (y)dy Rn giữ (g ∗ f ) ∈ Lp (Rn ) ∥g ∗ f ∥Lp (Rn ) ≤ ∥g∥Lp (Rn ) ∥f ∥L1 (Rn ) Định lý (Friedrichs - Sobolev, Xấp xỉ theo tích chập Lp ) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Khi (i) f ∗ ϱh ∈ C ∞ (Rn ) với h ∈ N (ii) ∥f ∗ϱ∥Lp (Rn ) ≤ ∥f ∥Lp (Rn ) với h ∈ N, f ∈ Lp (Rn ) với p ∈ [1, ∞] (iii) spt(f ∗ ϱ) ⊂ spte (f ) + B(0, 1/h) với h ∈ N (iv) Nếu f ∈ Lp (Rn ) với ≤ p ≤ ∞, f ∗ ϱh ∈ C ∞ (Rn ) ∩ Lp (Rn ) với h ∈ N, f ∗ ϱh → f h → ∞, Lp (Rn ), biết ≤ p < ∞ Kết cho ta hai kết quan trọng Định lý (Bổ đề tính tốn biến) Cho Ω ⊂ Rn tập mở cho f ∈ L1loc (Ω) Giả sử Z f φdx = 0, ∀φ ∈ Cc∞ (Ω) (∗) Ω Khi f = hầu khắp nơi Ω Chứng minh Chứng minh điều kiện đủ Z |f |dx = với tập compact K ∈ Ω K Thật vậy, theo (30), suy f = hầu khắp nơi K, với tập compact K ∈ Ω Ta có kết luận Ta chứng minh (30) Cho tập compact K ∈ Ω, định nghĩa g : Rn → R   f (x) x ∈ K, f (x) ̸= g(x) := |f (x)|  ngược lại Khi g ∈ L1 (Rn ) spte (g) ⊆ K ⊂ Ω Cho gh := g ∗ ϱh Theo định lý 25 (iii), tồn h = h(K) ∈ N cho spt(g ∗ ϱh ) ⊆ spte (g) + B(0, 1/h) ⊆ K + B(0, 1/h) ⊂ Ω (5) với h > h Do đó, theo định lý 51 (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (6) c Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý 25 (iv) (??), ta giả sử, dãy tăng, gh → g hầu khắp nơi Rn Do đó, Z Z Z f gh dx → = 0= Ω |f |dx f g dx = Ω K Định lý (Xấp xỉ theo hàm C∞ Lp ) Cho Ω ⊂ Rn tập mở p Khi C∞ c (Ω) trù mật L (Ω), ∥.∥Lp , biết ≤ p < ∞ Chứng minh Cho f ∈ Lp (Ω), định nghĩa fe : Rn → R ( f (x) x ∈ Ω fe(x) := x ∈ Rn \ Ω Chú ý fe ∈ Lp (Rn ) Cho (Ωh )h dãy tăng tập mở bị chặn cho Ω = ∪∞ h=1 Ωh , Ωh ⊂ Ωh ⊂ Ωh+1 , ∀h, định nghĩa gh (x) := χΩh (x)fe(x) fh,r (x) := (ϱr ∗ gh )(x) x ∈ Rn , h, r ∈ N Theo định lý 25 (iii) suy spt(fh,r ) ⊂ B(0, 1/r) + Ωh ⊂ Ω (7) Hơn nữa, cho h ∈ N, tồn rh = r(h) ∈ N cho rh ≥ h B(0, 1/rh ) + Ωh ⊂ Ω Định nghĩa fh (x) := (ϱrh ∗ gh )(x), x ∈ Rn , h ∈ N, (8) để đơn giản, giả sử rh = h Khi đó, theo định lý 25 (i), (ii) (32), (33), fh ∈ C∞ c (Ω) ∥fh − f ∥Lp (Ω) = ∥fh − fe∥Lp (Rn ) ≤ ∥ϱh ∗ gh − ϱh ∗ fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp Rn = ∥ϱh ∗ (gh − fe)∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) (9) ≤ ∥gh − fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) , ∀h Từ định lý 25 (iv), ϱh ∗ fe → fe Lp (Rn ), theo định lý hội tụ miền gh → fe Lp (Rn ) Khi theo (34), ta có điều phải chứng minh Nhóm đối xứng Trong mục chúng tơi tính tốn độ giao hốn tương đối nhóm thay phiên An nhóm đối xứng Sn Định nghĩa Cho n số nguyên dương Một phân hoạch n dãy không tăng số nguyên dương (k1 , k2 , , ks ) cho k1 + k2 + · · · + ks = n Từ Mệnh đề 33 ta có kết sau Mệnh đề Với n ⩾ Pr(An , Sn ) = 2c(n) n! c(n) số lớp liên hợp Sn nằm An Để tính c(n) ta cần kết sau Mệnh đề Cho n số nguyên, n ⩾ 2, (k1 , k2 , , ks ) phân hoạch n Giả sử π ∈ Sn có kiểu (k1 , k2 , , ks ) Khi π ∈ An s + k X i=1 ki số chẵn Chứng minh Vì phép π có kiểu (k1 , k2 , , ks ) cho nên, theo Mệnh đề 49, ta có s P (ki +1) sign(π) = (−1)i=1 s+ = (−1) s P i=1 ki Từ suy điều phải chứng minh Trong ví dụ sau chúng tơi tính tốn giá trị Pr(An , Sn ) với ⩽ n ⩽ cách áp dụng Mệnh đề 21 Với n ⩾ 2, ta liệt kê tất phân hoạch n ứng với kiểu phép An Từ ta đếm c(n) tính Pr(An , Sn ) Ví dụ (i) Với n = ta có phân hoạch (1, 1) Do c(2) = Cho nên Pr(A2 , S2 ) = 2c(2) = 2! (ii) Với n = ta có phân hoạch (3), (1, 1, 1) Do c(3) = Cho nên Pr(A3 , S3 ) = 2c(3) = 3! (iii) Với n = ta có phân hoạch (3, 1), (2, 2), (1, 1, 1, 1) Do c(4) = Cho nên Pr(A4 , S4 ) = 2c(4) = 4! (iv) Với n = ta có phân hoạch (5), (3, 1, 1), (2, 2, 1), (1, 1, 1, 1, 1) Do c(5) = Cho nên Pr(A5 , S5 ) = 2c(5) = 5! 15 (v) Với n = ta có phân hoạch (5, 1), (4, 2), (3, 3), (3, 1, 1, 1), (2, 2, 1, 1), (1, 1, 1, 1, 1, 1) N |CN (y)| S∈G/N y∈S |CN (y)| S∈G/N y∈S 27 Áp dụng Bổ đề ?? từ suy X X X X |H||G| Pr(H, G) ⩽ |CH/N (yN )||CN (y)| = |CH/N (S)| |CN (y)| S∈G/N y∈S = X S∈G/N |CH/N (S)| X x∈N S∈G/N X |CS (x)| = |CH/N (S)| S∈G/N y∈S X |S ∩ CG (x)| x∈N Nếu S ∩ CG (x) ̸= ∅ tồn x0 ∈ S ∩ CG (x) S = N x0 Khi ta có S ∩ CG (x) = N x0 ∩ CG (x)x0 = (N ∩ CG (x))x0 = CN (x)x0 Từ suy |S ∩ CG (x)| = |CN (x)x0 | = |CN (x)| Nếu S ∩ CG (x) = ∅ rõ ràng = |S ∩ CG (x)| < |CN (x)| Do trường hợp ta có |S ∩ CG (x)| ⩽ |CN (x)| Từ suy X X X X |CH/N (S)| |S ∩ CG (x)| ⩽ |CH/N (S)| |CN (x)| |H||G| Pr(H, G) ⩽ x∈N S∈G/N S∈G/N x∈N = |H/N ||G/N | Pr(H/N, G/N )|N | Pr(N ) = |H||G| Pr(H/N, G/N ) Pr(N ) Do Pr(H, G) ⩽ Pr(H/N, G/N ) Pr(N ) Cuối cùng, giả sử N ∩ [H, G] = Ta chứng minh xảy dấu đẳng thức Khi đó, theo Bổ đề ?? ta có CH (y)N = CH/N (yN ) với y ∈ G N Theo lập luận ta có |H||G| Pr(H, G) = X S∈G/N |CH/N (S)| X |S ∩ CG (x)| x∈N Vì N ◁ G [N, G] ⩽ N Do từ giả thiết suy [N, G] = N ∩ [N, G] ⩽ N ∩ [H, G] = 1, hay N ⩽ Z(G) Từ suy CG (x) ∩ S = G ∩ S ̸= ∅ với x ∈ N với S ∈ G/N 28 Do |S ∩ CG (x)| = |CN (x)| với x ∈ N Từ suy xảy dấu đẳng thức Trong trường hợp đặc biệt, tích trực tiếp ta có kết sau Mệnh đề 13 Cho N H hai nhóm, N1 H1 tương ứng nhóm N H Khi Pr(N1 × H1 , N × H) = Pr(N1 , N ) Pr(H1 , H) Chứng minh Giả sử x = (x1 , x2 ) ∈ N1 × H1 Khi CN ×H (x) = {(a1 , a2 ) ∈ N × H | (x1 , x2 )(a1 , a2 ) = (a1 , a2 )(x1 , x2 )} = {(a1 , a2 ) ∈ N × H | (x1 a1 , x2 a2 ) = (a1 x1 , a2 x2 )} Do |CN ×H (x)| = |CN (x1 )||CH (x2 )| Từ suy X X |CN ×H (x)| = x∈N1 ×H1 X |CN (x1 )| x1 ∈N1 |CH (x2 )| x2 ∈H1 Áp dụng Mệnh đề 32 ta có Pr(N1 × H1 , N × H) = |N1 × H1 ||N × H| X |CN ×H (x)| x∈N1 ×H1 = X X |CN (x1 )| |CH (x2 )| |N1 ||H1 ||N ||H| = |N1 ||N | x1 ∈N1 X |CN (x1 )| x1 ∈N1 x2 ∈H1 X |CH (x2 )| |H1 ||H| = Pr(N1 , N ) Pr(H1 , H) Vây ta có điều phải chứng minh Đặc biệt, ta có kết sau Hệ Cho H N hai nhóm Khi Pr(H, N × H) = Pr(H) x2 ∈H1 29 Đối với tích nửa trực tiếp vấn đề tính độ giao hốn tương đối trở nên phức tạp nhiều Trong phần lại mục ta trường hợp đặc biệt Mệnh đề sau cho ta cơng thức tính độ giao hốn tương đối nhóm abel với tích nửa trực tiếp nhóm xiclíc cấp Mệnh đề 14 Cho A nhóm giao hoán, α tự đẳng cấu A cho α2 = idA C2 = ⟨u⟩ nhóm xiclíc cấp với u phần tử sinh Ký hiệu G = θ C2 tích nửa trực tiếp A nhóm xiclíc C2 = ⟨u⟩ với tác động θ : C2 → Aut(A) cho cơng thức θ(u) = α Khi Pr(A, G) = |Aα | + 2|A| Aα = {a ∈ A | α(a) = a} Chứng minh Giả sử x = (x1 , 1) ∈ A Khi ta có CG (x) = CA (x) ∪ CG\A (x) Vì A nhóm giao hốn nên CA (x) = A Ta có CG\A (x) = {(a, u) ∈ G \ A | (x1 , 1)(a, u) = (a, u)(x1 , 1)} = {(a, u) ∈ G \ A | (x1 a, u) = (aθ(u)(x1 ), u)} = {(a, u) ∈ G \ A | (ax1 , u) = (aα(x1 ), u)} Ta xét hai trường hợp x1 sau Trường hợp 1: x1 ∈ Aα Khi aα(x1 ) = ax1 với a ∈ A Do |CG\A | = |A| Trường hợp 2: x1 ∈ A \ Aα Khi aα(x1 ) ̸= ax1 với a ∈ A Do CG\A = ∅, |CG\A | = Từ suy X X X X |CG (x)| = x∈A (|CA (x)| + |CG\A (x)|) = x∈A = |A|2 + |CA (x)| + x∈A X x∈Aα |CG\A (x)| + X |CG\A (x)| x∈A\Aα = |A|2 + |A||Aα | + = |A|(|A| + |Aα |) |CG\A (x)| x∈A 30 Theo Mệnh đề 32 ta có Pr(A, G) = X |CG (x)| |A||G| x∈A = |A| |C2 | |A|(|A| + |Aα |) = |Aα | |A| + |Aα | = + 2|A| 2|A| Vậy ta có điều phải chứng minh 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 hoá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 tố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 Mệnh đề 15 (Đị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 31 Mệnh đề 16 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 tố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 đề 17 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 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} 32 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, tố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 đề 18 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 đề 19 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 33 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ý 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 đề 20 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 đề 21 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 hốn nhóm 34 Đị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 đề 22 Nếu G nhóm khơng giao hốn Pr(G) ⩽ Các khái niệm Định nghĩa Cho tập hợp R khác rỗng, R ta trang bị hai phép toán mà ta gọi phép cộng phép nhân thỏa mãn: R nhóm Abel với phép tốn cộng, R nửa nhóm với phép tốn nhân phép tốn nhân phân phối với phép toán cộng, nghĩa x(y + z) = xy + xz, (x + y)z = zx + yz với x, y, z ∈ R Phần tử trung hòa phép cộng ký hiệu (thường gọi phần tử không) Phần tử đơn vị phép nhân có ký hiệu Nếu vành có nhiều phần tử có đơn vị ̸= Định nghĩa Tập A vành R gọi vành R A vành hai phép toán cộng nhân R (bao gồm tính đóng hai phép tốn A) Định nghĩa Ideal trái (phải) vành R vành A thỏa mãn điều kiện ∈ A(ar ∈ A), a ∈ A, r ∈ R Vành I R vừa ideal trái, vừa ideal phải gọi ideal vành R 35 Cho I ideal vành R, ta ký hiệu R/I =: {r + I|r ∈ R} gọi tập thương R theo I Trên tập thương R/I ta xây dựng hai phép toán (x + I) + (y + I) = (x + y) + I, (x + I)(y + I) = (xy) + I với x, y ∈ R Định nghĩa Tập thương R/I với hai phép toán xác định lập thành vành gọi vành thương R theo I 9.0.1 Định lý đồng cấu vành Định nghĩa 10 Cho R, R′ hai vành Ánh xạ f : R → R′ gọi đồng cấu vành f bảo tồn hai phép tốn cộng nhân R, nghĩa f (x + y) = f (x) + f (y), f (xy) = f (x)f (x), với x, y ∈ R 9.0.2 Một số kết liên quan 10 Độ giao hoán tương đối mở rộng nhóm Trong mục ta nghiên cứu độ giao hốn tương đối mở rộng nhóm Mệnh đề 23 Cho H1 H2 hai nhóm G cho H1 ⩽ H2 Khi Pr(H1 , H2 ) ⩾ Pr(H1 , G) ⩾ Pr(H2 , G) Chứng minh Theo Bổ đề 12, với x ∈ G ta có |H1 : CH1 (x)| ⩽ |H2 : CH2 (x)| ⩽ |G : CG (x)| Từ suy |C (x)| |C (x)| |CH1 (x)| ⩾ H2 ⩾ G với x ∈ G |H1 | |H2 | |G| 36 Theo Mệnh đề 32 ta có Pr(H1 , H2 ) = X X |CH2 (x)| |CH2 (x)| = |H1 ||H2 | |H1 | |H2 | x∈H1 ⩾ x∈H1 X X |CG (x)| = |CG (x)| = Pr(H1 , G) |H1 | |G| |H1 ||G| x∈H1 x∈H1 Theo Mệnh đề 32 ta có X Pr(H1 , G) = ⩾ |H1 ||G| |CH1 (y)| = y∈G X |CH2 (y)| |G| y∈G |H2 | X |CH1 (y)| |G| |H1 | y∈G = X |CH2 (y)| = Pr(H2 , G) |H2 ||G| y∈H2 Vậy ta có điều phải chứng minh Mệnh đề 24 Cho H N nhóm nhóm G cho N ⩽ H N ◁ G Khi Pr(H, G) ⩽ Pr(H/N, G/N ) Pr(N ) Hơn nữa, dấu đẳng thức xảy N ∩ [H, G] = Để chứng minh Mệnh đề ?? ta cần bổ đề sau Bổ đề Cho H N nhóm nhóm G cho N ⩽ H N ◁ G Khi CH (x)N ⩽ CH/N (xN ) N với x ∈ G Hơn nữa, đẳng thức xảy N ∩ [H, G] = Chứng minh Lấy x ∈ G Giả sử y ∈ CH (x) Khi yN ∈ CH (x)N , N ta có xN yN = (xy)N = (yx)N = yN xN C (x)N Do yN ∈ CH/N (xN ) Từ suy H ⩽ CH/N (xN ) N Giả sử N ∩ [H, G] = Ta chứng minh xảy dấu đẳng thức Thật vậy, lấy x ∈ G Giả sử yN ∈ CH/N (xN ) với y ∈ H Khi xN yN = yN xN , (xy)N = (yx)N Từ suy y −1 x−1 yx = (xy)−1 (yx) ∈ N 37 Điều chứng tỏ y −1 x−1 yx ∈ N ∩[H, G] Do theo giả thiết, ta có y −1 x−1 yx = hay xy = yx Từ suy y ∈ CH (x) Do yN ∈ CH (x)N N Điều chứng tỏ CH/N (xN ) ⩽ CH (x)N N Vậy ta có điều phải chứng minh Bây ta chứng minh Mệnh đề ?? Chứng minh Từ Mệnh đề 32 ta có X X |CH (y)| X |H||G| Pr(H, G) = |CH (y)| = y∈G = S∈G/N y∈S X X S∈G/N y∈S = |CN (y)| |CN (y)| X X |CH (y)N | |CH (y)| |CN (y)| = |CN (y)| |N ∩ CH (y)| |N | S∈G/N y∈S X X