1. Trang chủ
  2. » Luận Văn - Báo Cáo

Sự không tồn tại nghiệm dương của một số phương trình laplace liên kết với điều kiện biên neumann

99 2 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 99
Dung lượng 559,08 KB

Nội dung

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: SỰ KHƠNG TỒN TẠI NGHIỆM DƯƠNG CỦA MỘT SỐ PHƯƠNG TRÌNH LAPLACE LIÊN KẾT VỚI ĐIỀU KIỆN BIÊN NEUMANN 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 Bài toán truyền nhiệt vấn đề tiêu biểu " Lý thuyết phương trình đạo hàm riêng " Ý nghĩa toán truyền nhiệt thể việc miêu tả tiêu tán nhiệt, nhiều trình tiêu tán khác, tiêu tán hạt lan truyền phản ứng tế bào thần kinh Với tính chất quan trọng trên, toán thu hút quan tâm đặc biệt nhà Toán học khoa học giới Kevorkian.J(2000), Lawrence C., Svesnhikop A.G., Bolgo-liubov A.N., Krapxop V.V(2004 ), Tikhonop A,N.,Samarxki A.A, Titchmars E.(2000), Glusko V.P(2002), Diakonop V(2001), 560 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 (23), 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ý 42 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 đề 22, 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 Một vài tính chất đại số ∆U -vành Mệnh đề 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 đề ??, ∆(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 đề 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 đề ?? (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ổ đề 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 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 đề 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 đề Cho R vành giao hoán có đơn vị Vành đa thức R[x] R ∆U R ∆U Không gian hữu hạn chiều Định nghĩa (i) Một không gian vector E trường số thực gọi hữu hạn chiều bao gồm hữu hạn vector độc lập tuyến tính (ii) Số lớn vector độc lập tuyến tính khơng gian vector hữu hạn chiều E gọi chiều ký hiệu dimR E Hệ B ⊂ E sinh dimR E vector độc lập tuyến tính gọi sở Định lý Giả sử E không gian vector hữu hạn chiều dimR E = n (i) Nếu B ⊂ E sở, B sinh E , cụ thể spanR B = E (ii) E Rn đẳng cấu tuyến tính (iii) Giả sử ∥.∥1 ∥.∥2 hai chuẩn E Khi (E, ∥.∥1 ) (E, ∥.∥2 ) đẳng cấu topo (iv) Giả sử ∥.∥ chuẩn E Khi (E, ∥.∥) (E ′ , ∥.∥E ′ ) đẳng cấu topo Theo tập trước, không gian định chuẩn hữu hạn chiều (E, ∥.∥) đẳng cấu topo với không gian Hilbert Rn Đây đặc trưng mạnh, khơng cịn cho khơng gian định chuẩn vơ hạn chiều Các tính chất tổng quát ∆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) Một vành R gọi ∆U -vành + ∆(R) = U (R) Mệnh đề Một vành 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) hay U (R) + U (R) ⊆ ∆(R) Ngược lại, giả sử U (R) + U (R) ⊆ ∆(R), suy U (R) + U (R) = ∆(R) (vì ∆(R) ⊂ U (R) + U (R)) hay + ∆(R) = U (R) Vậy R ∆U -vành Mệnh đề sau trình bày số tính chất ∆U -vành Mệnh đề Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R thể, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R) (do N (R) ⊆ ∆(R)); (4) R hữu hạn Dedekind; (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 (7) Nếu T vành R thỏa mãn U (T ) = U (R) ∩ T , T ∆U -vành Cụ thể áp dụng cho Z = Z(R) tâm R Chứng minh (1) Từ Mệnh đề 37 ta dễ dàng suy ∈ ∆(R) (2) Nếu R thể ∆(R) = Vì R U J -vành nên ta suy ∼ R = F2 (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 nên 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi phần tử − 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)] ∈ ∆(R) Từ đó, ba ∈ U (R) ba = (5) Nếu I ⊆ J(R) iđêan, ∆(R/I) = ∆(R)/I theo Mệnh đề 36 Giả sử R ∆U -vành Khi đó, u + I ∈ U (R/I), ta có u ∈ U (R) u ∈ + ∆(R) Suy 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) Từ giả thiết U (T ) = U (R) ∩ T suy ∆(R) ∩ T ⊆ ∆(T ) Bây U (R) = + ∆(R) cho + ∆(T ) ⊆ U (T ) = U (R) ∩ T = (1 + ∆(R)) ∩ T = + (∆(R) ∩ T ) ⊆ + ∆(T ) suy + ∆(T ) ⊆ U (T ) hay T ∆U -vành Định lý Vành ma trận Mn (R) ∆U -vành n = R ∆U -vành Chứng minh (⇐:) Hiển nhiên (:⇒) Giả sử Mn (R) ∆U -vành n > Đầu tiên ta chứng minh R thể, tức phần tử khác không khả nghịch Lấy bất 35 c := max{|a|, |b|} Khi |p(x) − q(x)| ≤ m X i=0 ϵ |αi − βi ||x|i ≤ , ∀x ∈ [a, b] (44) Do đó, từ (25) (26) ta ∥f − q∥∞ ≤ ∥f − p∥∞ + ∥p − q∥∞ ≤ 12 ϵ ϵ + = ϵ 2 Mở rộng Dorroh mở rộng ∆U -vành Mệnh đề 13 Cho R vành Khi đó, đ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 Chứng minh (1) ⇒ (2) Giả sử R ∆U -vành Mỗi x ∈ ∆(R), ta có − x ∈ U (R), x = − (1 − x) ∈ U◦ (R) Suy ∆(R) ⊆ U◦ (R) Ngược lại, y ∈ U◦ (R) − y ∈ U (R) = + ∆(R) Suy y ∈ ∆(R) hay ∆(R) = U◦ (R) (2) ⇒ (3) Hiển nhiên (3) ⇒ (1) Giả sử ánh xạ ε : (∆(R), ◦) → (U (R), ) cho ε(x) = − x đẳng cấu nhóm Khi u ∈ U (R), tồn x ∈ ∆(R) thỏa mãn u = ε(x) = − x Điều nghĩa U (R) ⊆ + ∆(R) hay U (R) = + ∆(R) Nếu R vành, mở rộng Dorroh vành có đơn vị Z ⊕ R, với phép toán cộng cộng theo thành phần phép nhân cho (n1 , r1 )(n2 , r2 ) = (n1 n2 , r1 r2 + n1 r2 + n2 r1 ) Chú ý Cho R vành có đơn vị Khi 36 (1) u ∈ U (R) − u ∈ U◦ (R) (2) (1, u − 1) ∈ U (Z ⊕ R) với u ∈ U (R) (3) (1, −x)(1, −y) = (1, −x◦y) (−1, x)(−1, y) = (1, −x◦y) với x, y ∈ R Định lý 17 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 Chứng minh (1) ⇒ (2) Lấy u ∈ U (R) Khi − u ∈ U◦ (R) Tồn v ∈ R thỏa mãn (1 − u) ◦ v = = v ◦ (1 − u) Khi ta có (1, u−1)(1, −v) = (1, −(1−u))(1, −v) = (1, −(1−u)◦v) = (1, 0) = (1, −v)(1, u−1) Điều nghĩa (1, u − 1) ∈ U (Z ⊕ R) Vì Z ⊕ R ∆U -vành, (1, u − 1) ∈ + ∆(Z ⊕ R) (0, u − 1) ∈ ∆(Z ⊕ R) Tiếp theo, ta U (R) = + ∆(R) Thật vậy, t ∈ U (R), ta có + t ∈ U◦ (R), (1 + t) ◦ s = = s ◦ (1 + t) với s ∈ R Khi (−1, + t)(−1, s) = (1, −(1 + t) ◦ s) = (1, 0) = (−1, s)(−1, + t) Do (−1, + t) ∈ U (Z ⊕ R) Theo định nghĩa ∆, ta có (0, u − 1) + (−1, + t) ∈ U (Z ⊕ R) (−1, u + t) ∈ U (Z ⊕ R) Đặt x = u + t Khi đó, (−1, x) ∈ U (Z ⊕ R) (1, −x) ∈ U (Z ⊕ R) Suy tồn (1, −y) ∈ Z ⊕ R thỏa mãn (1, −x)(1, −y) = (1, 0) = (1, −y)(1, −x) Ta có x ◦ y = = y ◦ x nên x ∈ U◦ (R) Vì − x ∈ U (R) nên x − = u + t − ∈ U (R) Suy u + t − = (u − 1) + t ∈ U (R) với t ∈ U (R) Điều nghĩa u − ∈ ∆(R), u ∈ + ∆(R) (2) ⇒ (1) Giả sử R ∆U -vành Ta mở rộng Dorroh Z ⊕ R ∆U -vành, nghĩa U (Z ⊕ R) = + ∆(Z ⊕ R) Lấy ω ∈ U (Z ⊕ R) Khi đó, ω có dạng ω = (1, a) ω = (−1, b) với a, b ∈ R Trường hợp ω = (1, a) ∈ U (Z ⊕ R): Lấy x = −a, tồn (1, −y) Z ⊕ R thỏa mãn (1, −x)(1, −y) = (1, 0) = (1, −y)(1, −x) Điều có nghĩa x◦y = = y ◦x x ∈ U◦ (R), 1+a = 1−x ∈ U (R) Từ R ∆U -vành, 1+a ∈ 1+∆(R) Vì a ∈ ∆(R) a+U (R) ⊆ U (R) 37 Tiếp theo ta chứng minh (1, a) ∈ + ∆(Z ⊕ R), nghĩa ta chứng minh (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Với α ∈ U (Z ⊕ R), α có dạng (1, u) (−1, v) với u, v ∈ R Nếu α = (1, u), từ chứng minh ω ta có + u ∈ U (R) Từ a + U (R) ⊆ U (R), ta lấy a + + u ∈ U (R), −(a + u) ∈ U◦ (R) Lấy b ∈ R với (−(a + u)) ◦ b = = b ◦ (−(a + u)) Đặt c = −(a + u) Khi c ◦ b = b ◦ c (1, a + u)(1, −b) = (1, −c)(1, −b) = (1, −b ◦ c) = (1, 0) = (1, −b)(1, a + u) Ta suy (1, a + u) ∈ U (Z ⊕ R) Hơn nữa, ta có (0, a) + α = (1, a + u) ∈ U (Z ⊕ R), nghĩa (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Nếu α = (−1, v) ∈ U (Z⊕R), (−1, v)(−1, d) = (1, 0) = (−1, d)(−1, v) với d ∈ R Ta suy v◦d = = d◦v = v ∈ U◦ (R), 1−v ∈ U (R) Khi đó, v − ∈ U (R) Từ a + U (R) ⊆ U (R), ta có a + v − ∈ U (R) − (a + v) ∈ U (R) Do đó, a + v ∈ U◦ (R) Nghĩa tồn e ∈ R thỏa mãn (a + v) ◦ e = = e ◦ (a + v), (−1, a + v)(−1, e) = (1, −(a + v) ◦ e) = = (−1, e)(−1, a+v) Điều có nghĩa (−1, a+v) ∈ U (Z ⊕R) Hơn nữa, ta có (0, a) + α = (−1, a + v) ∈ U (Z ⊕ R) Do đó, (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Trường hợp ω = (−1, a) ∈ U (Z ⊕ R): Tương tự Trường hợp Cho C vành vành D, tập hợp R[D, C] := {(d1 , , dn , c, c ) : di ∈ D, c ∈ C, n ≥ 1}, với phép cộng phép nhân định nghĩa theo thành phần gọi vành mở rộng đuôi ký hiệu R[D, C] Mệnh đề 14 R[D, C] ∆U -vành D C ∆U -vành Chứng minh (:⇒) Đầu tiên ta chứng minh D ∆U -vành Lấy u tùy ý thuộc U (D) Khi u¯ = (u, 1, 1, 1, ) ∈ U (R[D, C]) Theo giả thuyết, u¯ ∈ + ∆(R[D, C]), (u − 1, 0, 0, 0, ) + U (R[D, C]) ⊆ U (R[D, C]) Do đó, với v ∈ U (D), (u − + v, 1, 1, 1, ) = (u − 1, 0, 0, 0, ) + (v, 1, 1, 1, ) ∈ U (R[D, C]) 38 Vì u − + v ∈ U (D), nghĩa u − ∈ ∆(D) u ∈ + ∆(D) Để C ∆U -vành, ta lấy v ∈ U (C) thỏa mãn v¯ = (1, , 1, v, v, ) ∈ U (R[D, C]) chứng minh (⇐:) Giả sử D C ∆U -vành Lấy u¯ = (u1 , u2 , , un , v, v, ) ∈ U (R[D, C]), ui ∈ U (D) với ≤ i ≤ n v ∈ U (C) ⊆ U (D) Ta u¯ ∈ ∆(R[D, C]) u¯ − + U (R[D, C]) ⊆ U (R[D, C]) Thật vậy, tất a¯ ∈ (a1 , a2 , , am , b, b, ) ∈ U (R[D, C]) ∈ U (D), ≤ i ≤ m b ∈ U (C) ⊆ U (D) Lấy k = max{m, n} Khi đó, ta có u1 , u2 , , un ∈ U (D), v ∈ U (C) ⊆ U (D) ta suy u1 − + U (D), u2 − + U (D), , un − + U (D) ⊆ U (D), v − + U (D) ⊆ U (D) v − + U (C) ⊆ U (C) Ta có u¯ − = (u1 − 1, u2 − 1, , un − 1, un+1 − 1, , uk − 1, v − 1, v − 1, ), với uj = v j ≥ k , a ¯ = (a1 , a2 , , am , am+1 , , ak , b, b, ), với al = b với l ≥ m Khi ta có u¯ − + a ¯ = (u1 − + a1 , u2 − + a2 , , uk − + ak , v − + b, v − + b, ) Lưu ý ui − + ∈ U (D) với ≤ i ≤ k v − + b ∈ U (C) Ta suy u¯ − + a ¯ ∈ R[U (D), U (C)] = U (R[C, D]) Vì u¯ − ∈ ∆(R[D, C]) u¯ ∈ + ∆(R[D, C]), hay R[D, C] ∆U -vành 13 Một vài tính chất đại số ∆U -vành Mệnh đề 15 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 đề ??, ∆(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], 39 đ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 đề 16 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 đề ?? (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ổ đề 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ó 40 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 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 đề 17 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 xác định ϵ rm m = rm ([?] Mệnh đề II.3.1) Khi ta đủ 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 đề 18 Cho R vành giao hoán có đơn vị Vành đa thức R[x] R ∆U R ∆U 14 Nhóm giả nhị diện Mệnh đề 19 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 41 (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 = 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ẻ 42 Khi l chẵn với ⩽ l ⩽ 2n − Theo Mệnh đề ??, ta có |Tl | = Do Tl = {1, rl s} Khi đó, theo Mệnh đề 16 ta có X 1 Pr(Tl , SD2n ) = = |Tl ||SD2n | |CSD2n (x)| = · 2n+1 x∈Tl |CSD2n (1)| + |CSD2n (rl s)|   1 1 |SD2n | + |U2n−1 ,l | = (2n+1 + 4) = + n 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} Khi đó, theo Mệnh đề 16 ta có X |CSD2n (x)| |Tl ||SD2n | Pr(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ó 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 đề 16 ta có Pr(Ui,j , SD2n ) = X |CSD2n (x)| |Ui,j ||SD2n | x∈Ui,j 43 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 đề 16, 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 đề 16 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 đề 14 44 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 Khi Pr(R1 , SD8 ) = 1 + = , Pr(R2 , SD8 ) = + = , 8 Pr(R4 , SD8 ) = + = 1, Pr(R8 , SD8 ) = 1; Pr(T0 , SD8 ) = Pr(T1 , SD8 ) = Pr(T2 , SD8 ) = Pr(T3 , SD8 ) 1 = Pr(T4 , SD8 ) = Pr(T6 , SD8 ) = + = ; 8 2+2 + = , 16 1 Pr(U4,0 , SD8 ) = Pr(U4,2 , SD8 ) = + = ; 8 Pr(SD8 , SD8 ) = 16 Pr(U2,0 , SD8 ) = Pr(U2,1 , SD8 ) = (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(R1 , SD16 ) = 1 + = , Pr(R2 , SD16 ) = + = , 16 16 16 45 1 P r(R4 , SD16 ) = + = = Pr(R8 , SD16 ) = + = 1, Pr(R16 , SD16 ) = 16 2 16 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 Pr(U2,0 , SD16 ) = Pr(U2,1 , SD16 ) = 2+1 11 + = , 32 32 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 15 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

Ngày đăng: 03/07/2023, 11:34

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w