Một định lí mới về ổn định lũy thừa của họ tiến hóa tuần hoàn trên không gian banach

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MỘT ĐỊNH LÍ MỚI VỀ ỔN ĐỊNH LŨY THỪA CỦA HỌ TIẾN HĨA TUẦN HỒN TRÊN KHƠNG GIAN BANACH 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 điều khiển ứng dụng nhiều ngành khoa học khác nhau, chẳng hạn Giải tích số, Lý thuyết điều khiển mạch điện tử, Vật lý, Bài toán truyền nhiệt Các đối tượng nghiên cứu đối tượng thường mô hệ phương trình vi phân đại số, việc nghiên cứu tính điều khiển vấn đề cần thiết nhiều nhà toán học quan tâm Các kết nghiên cứu hệ điều khiển ứng dụng ngày nhiều lĩnh vực khác nhau, Vật lý Vì vấn đề nghiên cứu tính điều khiển hệ mô tả phát triển mạnh mẽ theo lý thuyết ứng dụng 860 Không gian hàm p-khả tích Lp (Ω) Ta nhớ lại khơng gian hàm p-khả tích độ đo Lebesgue n chiều Định nghĩa Cho A ⊂ Rn tập đo Lebesgue p ∈ [1, ∞], Lp (A) := {f : A → R : f đo Lebesgue ∥f ∥Lp < +∞} ∥f ∥Lp Z 1/p   p |f (x)| dx = ∥f ∥Lp (A) := A   ≤ p ≤ ∞ inf{M > : |f (x)| ≤ M, x ∈ A} p = ∞ Số ∥f ∥Lp gọi chuẩn Lp f A Định lý (Fisher - Riesz) (Lp (A), ∥.∥Lp ) không gian Banach ≤ p ≤ ∞ Hơn L2 (A) không gian Hilbert với tích vơ hướng Z (f, g)L2 := f g dx f, g ∈ L2 (A) A Theo kết định lý Riesz - Fisher ta thu kết hữu ích Định lý Cho Ω ⊂ Rn tập mở, (fh )h ⊂ Lp (Ω) f ∈ Lp (Ω) với ≤ p ≤ ∞ Giả sử lim ∥fh − f ∥Lp (Ω) = h→∞ Khi đó, tồn dãy (fhk )k hàm g ∈ Lp (Ω) thỏa mãn (i) fhk (x) → f (x) hầu khắp nơi x ∈ Ω (ii) |fhk (x)| ≤ g(x) hầu khắp nơi x ∈ Ω, ∀k Nhận xét Nó khơng cịn giữ ý nghĩa (MC) ⇒ fh (x) → f (x) hầu khắp nơi x ∈ Ω Nhận xét Chú ý C0 ⊂ Lp (Ω) với p ∈ [1, ∞], với Ω ⊂ Rn tập mở bị chặn, khơng quan hệ bao hàm khơng giữ giữ quan hệ bao hàm C0c (Ω) ⊂ Lp (Ω) với p ∈ [1, ∞] tập mở Ω, C0c (Ω) := {f ∈ C0 (Ω) : spt(f ) compact chứa Ω} spt(f ) := Bao đóng{x ∈ Ω : f (x) ̸= 0} Hơn nhớ lại C0 (Ω, ∥.∥L2 ) khơng gian tuyến tính định chuẩn, khơng phải khơng gian Banach Tính compact (Lp (Ω), ∥.∥Lp ) Trong mục thảo luận kết compact không gian Lp Chúng ta nêu kết không chứng minh Cho f : Rn → R v ∈ Rn , ta định nghĩa τv f : Rn → R hàm v -dịch chuyển f định nghĩa (τv f )(x) := f (x + v) Định lý (M.Riesz - Fréchét - Kolmogorov) Cho F tập bị chặn (Lp (Rn ), ∥.∥Lp ) với ≤ p < ∞ Giả sử lim ∥τv f − f ∥Lp = v→0 với f ∈ F , nghĩa ∀ϵ > 0, ∃δ(ϵ) > : ∥τv f − f ∥Lp < ϵ, ∀v ∈ Rn với |v| < δ, ∀f ∈ F (N EF ) Khi F|Ω := {f |Ω : f ∈ F} compact tương đối (Lp (Ω), ∥.∥Lp ), nghĩa bao đóng compact (Lp (Ω), ∥.∥Lp ), với tập mở Ω ⊂ Rn với độ đo Lebesgue hữu hạn Từ định lý 24 ta suy điều kiện compact (Lp (Ω), ∥.∥Lp ) Nếu f : Ω → R, ta ký hiệu fe : Rn → R hàm định nghĩa ( f (x) x ∈ Ω fe(x) := x ∈ /Ω Hệ Cho Ω ⊂ Rn tập mở với độ đo hữu hạn, cho F ⊂ Lp (Ω) cho Fe := {fe : f ∈ F} Giả sử (i) F bị chặn (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞; (ii) lim ∥τv f − f ∥Lp = với f ∈ F , nghĩa Fe thỏa mãn (ENF ) v→0 Khi F compact tương đối (Lp (Ω), ∥.∥Lp ) Chứng minh Từ định lý 24, Fe tập compact tương đối Lưu ý Fe compact dãy tương đối (Lp (Rn ), ∥.∥Lp ) F compact dãy tương đối (Lp (Ω), ∥.∥Lp ) Do đặc tính tập compact khơng gian metric (Định lý 12) có điều phải chứng minh Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý Cho F ⊂ Lp (Rn ) với ≤ p < ∞ Khi F compact tương đối (Lp (Rn ), ∥.∥Lp ) (i) F bị chặn (Lp (Rn ), ∥.∥Lp ); (ii) với ϵ > 0, tồn rϵ > thỏa mãn ∥f ∥Lp (Rn \B(0,rϵ )) < ϵ ∀f ∈ F; (iii) lim ∥τv f − f ∥Lp = f ∈ F v→∞ Nhận xét (i) Giả thiết (ENF ) cần thiết định lý 24 Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa   ≤ x ≤ h fh (x) := h 0 ngược lại Ω := (0, 1) Khi dễ thấy ∥f ∥L1 R = với h ∈ N F|Ω không compact tương đối (L1 (Ω), ∥.∥L1 ), khơng có dãy (fh )h hội tụ L1 (Ω) Mặt khác, v > 0, với h > 1/v Z Z v ∥τv fh − fh ∥L1 (R) ≥ fh (x + v) dx = −∞ fh (x) = Do đó, (ENF ) khơng cịn cho F (ii) Nếu Ω khơng có độ đo hữu hạn, kết định lý 24 khơng cịn Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa fh (x) := f (x + h) f ∈ Lip(R) với spt(f ) = [−a, a], a > 0, f khơng triệt tiêu Khi ∥f ∥L1 (R) = ∥f ∥L1 (R) > ∀h (1) Hơn F thỏa mãn (ENF ), |τv f − f (x)| = |f (x + v)f (x)| ≤ L|v|X [−a−1,a+1] (x) ∀x ∈ R, v ∈ [−1, 1] ∥τc fh − fh ∥L1 (R) = ∥τv f − f ∥L1 (R) ∀h L := Lip(f ) Cho Ω := R quan sát F = F|Ω không compact tương đối (L1 (R), ∥.∥L1 ) Ngược lại mâu thuẫn nảy sinh (13), từ fh (x) → với x ∈ R Tính tách (Lp (Ω), ∥.∥Lp ) Nhận xét Cho Ω ⊂ tập bị chặn, quan hệ bao hàm C0 (Ω) ⊂ L∞ (Ω) chặt Hơn nữa, với f ∈ C0 (Ω) ∥f ∥∞,Ω = ∥f ∥L∞ (Ω) (∗) Thật ∥f ∥L∞ (Ω) := inf{M > : |f (x)| ≤ M, x ∈ Ω} ≤ sup |f (x)| := ∥f ∥∞,Ω x∈Ω Để chứng minh bất đẳng thức ngược lại, ta quan sát, N ⊂ Ω tập không đáng kể với mối quan hệ đến L, Ω \ N ⊇ Ω Vì thế, theo tính liên tục f , tồn M > cho |f (x)| < M, x ∈ Ω ⇒ |f (x)| ≤ M ∀x ∈ Ω Đặc biệt, từ (∗), C0 (Ω) hóa đóng (L∞ (Ω), ∥.∥L∞ (Ω) ) Không gian đối ngẫu Lp (Ω) Định lý (Định lý biểu diễn Riesz) Cho ≤ p < ∞ ký hiệu   p < p < ∞ ′ p := p − (số mũ của) p ∞ p = ′ Khi ánh xạ T : Lp (Ω) → (Lp (Ω))′ , định nghĩa Z uf dx, ∀f ∈ Lp (Ω), ⟨T (u), f ⟩(Lp (Ω))×Lp (Ω) := Ω đẳng cấu metric có đặc trưng xác định ′ Lp (Ω) ≡ (Lp (Ω))′ ≤ p < ∞ Chứng minh Ta chia chứng minh thành ba bước Bước 1: Ta chứng minh T phép đẳng cự, nghĩa ′ ∥T (u)∥(Lp (Ω))′ = ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (2) Theo bất đẳng thức Holder, suy bất đẳng thức ′ ∥T (u)∥(Lp (Ω))′ ≤ ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (3) Ta bất thức ngược lại Đầu tiên, giả sử < p < ∞, điều có nghĩa < p′ < ∞ Nếu ∥u∥Lp′ (Ω) = 0, đó, u = hầu khắp nơi Ω bất đẳng thức rõ ràng Giả sử < ∥u∥Lp′ (Ω) < ∞, ta cần giả sử < |u(x)| < ∞ hầu khắp nơi x ∈ Ω Định nghĩa ′ fu (x) := |u(x)|p −2 u(x) hầu khắp nơi x ∈ Ω Quan sát fn ∈ Lp (Ω), từ ′ 1/p−1 |fu (x)|p = |u(x)|p hầu khắp nơi x ∈ Ω ⇒ ∥fu ∥Lp (Ω) = ∥u∥Lp′ (Ω) Vì Z ⟨T (u), fu ⟩(Lp (Ω))×Lp (Ω) = Ω ′ ′ u|u|p −2 udx = ∥u∥pLp′ (Ω) (4) Từ (15) (16), suy ′ ∥u∥pLp′ (Ω) = ⟨T (u), fu ⟩(Lp (Ω))′ ×Lp (Ω) ≤ ∥T (u)∥(Lp (Ω))′ ∥fu ∥Lp (Ω) 1/p−1 = ∥T (u)∥(Lp (Ω))′ ∥u∥Lp′ (Ω) Điều có nghĩa ∥T (u)∥(Lp (Ω))′ ≥ ∥u∥Lp′ (Ω) ′ ∀u ∈ Lp (Ω) (5) Vì (15) (17) cho ta (14) Cuối cùng, cho trường hợp p = 1, p′ = ∞, giả sử < M < ∥u(x)∥L∞ (Ω) Khi tập hợp EM := {x ∈ Ω : |u(x)| > M } ∈ M |EM | > Từ không gian đo (Ω, Mn ∩ Ω, Ln ) σ−hữu hạn, tồn tập F ∈ Mn ∩ Ω cho < |EM ∩ F | < ∞ Tập hợp fu (x) := sign(u(x))χEM ∩F (x) hầu khắp nơi x ∈ Ω |EM ∩ F | Khi Z ∥fu ∥L1 (Ω) = |fu (x)|dx = Ω ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) = |EM ∩ F | Z |u|dx ≥ M, ∀M ∈ (0, ∥u∥L∞ (Ω) ) (43b) EM ∩F Từ (15) (43b), suy M ≤ ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) ≤ ∥T (u)∥(L1 (Ω))′ ∥fu ∥L1 (Ω) = ∥T (u)∥(L1 (Ω))′ , ∀M ∈ (0, ∥u∥L∞ (Ω) ), Từ ∥T (u)∥(L1 (Ω))′ ≥ ∥u∥L∞ (Ω) , ∀u ∈ L∞ (Ω) (24b) Từ (15) (44b), đồng (14) p = Bước 2: Đầu tiên giả sử |Ω| < ∞ ta chứng minh T toàn ánh, ′ nghĩa ∀ϕ ∈ (Lp (Ω))′ , ∃u ∈ Lp (Ω) cho T (u) = ϕ ⇔ ⟨T (u), f ⟩(Lp (Ω))′ ×Lp (Ω) = ϕ(f ), ∀f ∈ Lp (Ω) Bởi |Ω| < ∞, χE ∈ Lp (Ω) với E ∈ M := Mn ∩ Ω, p ∈ [1, ∞) Định nghĩa tập hợp hàm ν : M → R ν(E) := ϕ(χE ), E ∈ M Chỉ ν σ -hữu hạn, độ đo có dấu; (6) ν ≪ Ln M (7) Thật |ν(E)| < ∞ với E ∈ M, ν σ -hữu hạn Giả sử (Eh )h ⊂ M dãy rời nhau, ta chưng minh ν(∪∞ h=1 Eh ) = ∞ X ν(Eh ) Tập hợp E := ∪∞ h=1 Eh Với số nguyên m h=1 13 Bài tập Nếu f : Rn → R liên tục, Rn \ Af = {x ∈ Rn : f (x) ̸= 0} Chứng minh mệnh đề 16 Hiển nhiên Af tập mở Ta chứng minh f (x) = hầu khắp nơi x ∈ Af (19) Từ Rn khơng gian metric tách được, thỏa mãn tiên đề thứ hai tính đếm (Định lý ??) Do tồn họ đếm tập mở U = {Ui : i ∈ N} thỏa mãn với tập mở Rn hợp phần tử đếm U Với ω ∈ Af , giả sử ω = ∪i∈Jω Ui cho số phù hợp Jω ⊂ N cho J := ∪ω∈Af Jω Do Af = ∪i∈J Ui Từ f = hầu khắp nơi Ui với i ∈ J , theo (31) 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 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 (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 14 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 n−1 k  − |R1 | k 2n+1 (2n−1 + k) 2n − 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 · = = + n n n+1 n ·2 k 2 (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 đề ta có X 1 Pr(Tl , SD2n ) = = |Tl ||SD2n | |CSD2n (x)| = · 2n+1 x∈Tl |CSD2n (1)| + |CSD2n (rl s)|
1 1 n | + |U n−1 | |SD (2n+1 + 4) = + n 2 ,l = n+1 n+1 2·2 2·2 2 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}
15 Khi đó, theo Mệnh đề 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
n | + |U n−1 | + |SD2n | + |U n−1 n−1 = |SD | 2 ,l ,l+2 · 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ó |Ui,j | = 2n+1 2n+1 = n−1 = i Do Ui,j = {1, r2 n−1 , rj s, r2 n−1 +j s} Khi đó, theo Mệnh đề ta có Pr(Ui,j , SD2n ) = X |CSD2n (x)| |Ui,j ||SD2n | x∈Ui,j 2n−1 j 2n−1 +j s)| = )| + |C |C n (1)| + |CSD2n (r n (r s)| + |CSD2n (r SD SD 2 · 2n+1
= |SD2n | + |SD2n | + |U2n−1 ,j | + |U2n−1 ,2n−1 +j | n+1 4·2 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 | = 2n+1 i 16 Do  Ui,j = li r ,r li+j  2n −1 s 0⩽l⩽ i Khi đó, theo Mệnh đề 1, ta có X X |CSD2n (rli )| + |CSD2n (x)| = 0⩽l⩽ 2i −1 0⩽l⩽ 2i −1 = |CSD2n (1)| + |CSD2n (r2 n−1 |CSD2n (rli+j s)| n n x∈Ui,j X )| + X |CSD2n (rli )| + n 1⩽l⩽ 2i −1 l̸=  = |SD | + |SD | + 2n = n+1 +2 2n n+1  + 2n X |CSD2n (rli+j s)| n 0⩽l⩽ 2i −1 2n−1 i 2n − |R1 | + |U2n−1 ,li+j | i i  2n 2n+1 (2n−1 + i + 2) 2n − 2n + = i i i  Do đó, theo Mệnh đề 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 2n+1 (2n−1 + i + 2) 2n−1 + i + i+2 = = + 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 đề 25 Ví dụ (i) Với n = 3, xét nhóm giả nhị diện SD8 = ⟨r, s | r8 = s2 = 1, s−1 rs = r3 ⟩ Các nhóm SD8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = ⟨r4 ⟩, R8 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩ T3 = ⟨r3 s⟩, T4 = ⟨r4 s⟩, T6 = ⟨r6 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩, U4,0 = ⟨r4 , s⟩, U4,2 = ⟨r4 , r2 s⟩; SD8 17 Khi 1 + = , Pr(R2 , SD8 ) = + = , 8 4 Pr(R4 , SD8 ) = + = 1, Pr(R8 , SD8 ) = 1; Pr(R1 , SD8 ) = Pr(T0 , SD8 ) = Pr(T1 , SD8 ) = Pr(T2 , SD8 ) = Pr(T3 , SD8 ) 1 = Pr(T4 , SD8 ) = Pr(T6 , SD8 ) = + = ; 8 2+2 Pr(U2,0 , SD8 ) = Pr(U2,1 , SD8 ) = + = , 16 1 Pr(U4,0 , SD8 ) = Pr(U4,2 , SD8 ) = + = ; 8 Pr(SD8 , SD8 ) = 16 (ii) Với n = 4, xét nhóm giả nhị diện SD16 = ⟨r, s | r1 = s2 = 1, s−1 rs = r7 ⟩ Các nhóm SD16 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = ⟨r4 ⟩, R8 = ⟨r8 ⟩, R16 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩, T3 = ⟨r3 s⟩, T4 = ⟨r4 s⟩, T5 = ⟨r5 s⟩, T6 = ⟨r6 s⟩, T7 = ⟨r7 s⟩, T8 = ⟨r8 s⟩, T10 = ⟨r10 s⟩, T12 = ⟨r12 s⟩, T14 = ⟨r14 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩, U4,0 = ⟨r4 , s⟩, U4,2 = ⟨r4 , r2 s⟩, U4,3 = ⟨r4 , r3 s⟩, U8,0 = ⟨r8 , s⟩, U8,2 = ⟨r8 , r2 s⟩, U8,4 = ⟨r8 , r4 s⟩; SD16 Khi + = , Pr(R2 , SD16 ) = + = , 16 16 16 1 P r(R4 , SD16 ) = + = = Pr(R8 , SD16 ) = + = 1, Pr(R16 , SD16 ) = 16 2 16 Pr(R1 , SD16 ) = Pr(T0 , SD16 ) = Pr(T1 , SD16 ) = Pr(T2 , SD16 ) = Pr(T3 , SD16 ) = Pr(T4 , SD16 ) = Pr(T5 , SD16 ) = Pr(T6 , SD16 ) = Pr(T7 , SD16 ) = Pr(T8 , SD16 ) 1 = Pr(T10 , SD16 ) = Pr(T12 , SD16 ) = Pr(T14 , SD16 ) = + = ; 16 16 2+1 11 Pr(U2,0 , SD16 ) = Pr(U2,1 , SD16 ) = + = , 32 32 18 4+2 Pr(U4,0 , SD16 ) = Pr(U4,1 , SD16 ) = Pr(U4,2 , SD16 ) = Pr(U4,3 , SD16 ) = + = , 32 16 1 Pr(U8,0 , SD16 ) = Pr(U8,2 , SD16 ) = Pr(U8,4 , SD16 ) = Pr(U8,6 , SD16 ) = + = ; 16 16 11 Pr(SD16 , SD16 ) = Pr(SD16 ) = 32 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 aben với phép tốn cộng, R nửa nhóm với phép toán nhân phép toá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 toán A) Định nghĩa Iđêan 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 iđêan trái, vừa iđêan phải gọi iđêan vành R Cho I iđêan 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, 19 (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 Định nghĩa Cho R vành có đơn vị 1R Một R-mơđun phải M bao gồm (M, +) nhóm aben tốn tử · : M × R → M thỏa mãn (1) (x + y) · r = x · r + y · r, (2) x · (r + s) = x · r + x · s, (3) (xr) · s = x · (rs), (4) x · 1R = x, r, s ∈ R x, y phần tử tùy ý M Lúc R gọi vành sở, M R-môđun phải ta thường ký hiệu MR Tương tự ta đinh nghĩa R-môđun trái Cho R, S hai vành Nhóm aben (M, +) song môđun R-bên phải S -bên trái (ký hiệu S MR ) a) M R-môđun phải M S -môđun trái b) Ta phải có (sx)r = s(xr), (r ∈ R, s ∈ S, x ∈ M ) Định nghĩa Cho M R-môđun phải Tập A M gọi môđun M (ký hiệu A ≤ M hay AR ≤ MR ), A R-môđun phải với phép toán cộng nhân hạn chế A Định nghĩa (1) Môđun MR gọi đơn M ̸= với A ≤ M A = A = M , nghĩa M ̸= M có hai mơđun M (2) Vành R gọi đơn R ̸= với A ≤R RR A = A = 0, nghĩa R ̸= R có hai iđêan hai phía R (3) Mơđun A ≤ M gọi môđun cực tiểu môđun M A ̸= với B ≤ M thỏa mãn B < A B = 20 (4) Tương tự, môđun A ≤ M gọi môđun cực đại A ̸= M với B ≤ M thỏa mãn B > A B = M Bổ đề MR đơn M ̸= ∀m ∈ M, m ̸= M = mR Cho MR N ≤ MR Vì N nhóm nhóm cộng aben M nên nhóm thương M/N nhóm aben (theo phần lý thuyết nhóm) Các phần tử M/N lớp ghép x + N N M phép toán cộng (x + N ) + (y + N ) = x + y + N Ta cần xây dựng phép nhân môđun để M/N trở thành môđun phải Định lý Cho MR N ≤ M (i) Quy tắc M/N × R → M/N cho (m + N, r) → (m + N )r = mr + N phép nhân môđun (ii) Nhóm aben M/N với phép tốn nhân mơđun trở thành R-môđun phải Định nghĩa M/N xác định Định lý 47 gọi môđun thương môđun M môđun N Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề ??, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề ?? Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 2, RG ∆U -vành 21 Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ linh chứa J(RG) Ta kiểm tra J(R)G ⊆ J(RG), J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề ?? (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề ?? (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành Nhóm quaternion suy rộng Mệnh đề Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn = 1, s−1 rs = r−1 ⟩ với n ⩾ H nhóm Q4n Khi (i) Nếu H = Rk với k|2n, ⩽ k ⩽ 2n Pr(H, Q4n ) =  n+k   k | n, 2n   2n + k k ∤ n 4n 22 (ii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Pr(H, Q4n ) = n+i+2 4n Chứng minh (i) Giả sử H = Rk với k|2n, ⩽ k ⩽ 2n Theo Mệnh đề ?? ta có 2n 2n = (2n, k) k |Rk | = Do Rk = ⟨rk ⟩ =