Định lí choquet

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: ĐỊNH LÍ CHOQUET 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 “Kỹ thuật biến phân” thuật ngữ tốn học nhằm nói đến phương pháp chứng minh có sử dụng hàm phụ thích hợp mà đạt giá trị cực tiểu Đây xem mơ hình tốn học ngun tắc tác động tối thiểu vật lý Bởi nhiều kết quan trọng tốn học, mà đặc biệt giải tích, có xuất xứ từ vật lý học, nên việc chúng có nhiều liên quan đến kỹ thuật biến phân điều hoàn toàn tự nhiên 333 2 Các cận cho độ giao hoán tương đối nhóm Mệnh đề sau cho ta cận cận cho độ giao hoán tương đối nhóm nhóm Mệnh đề Cho H nhóm G, p ước nguyên tố nhỏ |G| Khi |Z(G) ∩ H| + |H| |Z(G) ∩ H| p(|H| − |Z(G) ∩ H|) + ⩽ Pr(H, G) ⩽ |H| |H||G| 2|H| Chứng minh Đặt K = Z(G) ∩ H Khi theo Mệnh đề ?? ta có X X X |H||G| Pr(H, G) = |CG (x)| = x∈H |CG (x)| + x∈K = |K||G| + X |CG (x)| x∈H\K |CG (x)| x∈H\K Rõ ràng x ∈ H \ K {1} ⊊ CG (x) ⊊ G p ⩽ |CG (x)| ⩽ Do p(|H| − |K|) ⩽ X |CG (x)| ⩽ (|H| − |K|) x∈H\K |G| |G| Cho nên |K||G| + p(|H| − |K|) ⩽ |H||G| X |CG (x)| ⩽ |K||G| + (|H| − |K|) x∈H\K |G| Từ suy |K| p(|H| − |K|) |K| |H| − |K| + ⩽ Pr(H, G) ⩽ + , |H| |H||G| |H| 2|H| ta có cơng thức cần chứng minh Rõ ràng độ giao hốn tương đối nhóm nhóm giao hốn Kết sau cho ta cận cho độ giao hốn tương đối nhóm một nhóm khơng giao hốn Mệnh đề Cho G nhóm khơng giao hốn H nhóm G Khi (i) Nếu H ⊆ Z(G) Pr(H, G) = Hơn nữa, H nhóm khơng giao hốn Pr(H, G) ⩽ (ii) Nếu H ⊈ Z(G) Pr(H, G) ⩽ Chứng minh X (i) Vì H ⊆ Z(G) nên |CG (x)| = |H||G| Do x∈H Pr(H, G) = 1 X |CG (x)| = |H||G| = |H||G| |H||G| x∈H (ii) Giả sử H ⊈ Z(G) Khi dó Z(G) ∩ H ⊊ H , Cho nên |Z(G) ∩ H| ⩽ |H| Áp dụng Định lý 43 ta |H| + |H| |Z(G) ∩ H| + |H| Pr(H, G) ⩽ ⩽ = |H| |H| Giả sử H khơng nhóm giao hốn Khi theo Mệnh đề ?? ta có Pr(H) ⩽ Do đó, theo Định lý ?? ta có Pr(H, G) ⩽ Pr(H) ⩽ Vậy ta có điều phải chứng minh Kết sau mô tả cấu trúc nhóm trường hợp đạt đươc cận Mệnh đề 44 Mệnh đề Cho H nhóm nhóm G Khi đó: H/(Z(G) ∩ H) ∼ = Z2 ; (ii) Nếu Pr(H, G) = H khơng giao hốn H/(Z(G)∩H) ∼ = Z2 × Z2 (i) Nếu Pr(H, G) = Chứng minh (i) Giả sử Pr(H, G) = Khi đó, theo Định Lý 43 ta có |Z(G) ∩ H| + |H| |Z(G) ∩ H| = Pr(H, G) ⩽ = + 2|H| 2|H| Từ suy |H| ⩽ |Z(G) ∩ H| |H| = |H| = |Z(G) ∩ H|, từ suy H ⊆ Z(G) Khi |Z(G) ∩ H| theo Mệnh đề 44 (i) ta có Pr(H, G) = Điều mâu thuẫn với giả |H| thiết Do = 2, H/(Z(G) ∩ H) ∼ = Z2 , ta có điều |Z(G) ∩ H| Nếu phải chứng minh (ii) Giả sử Pr(H, G) = Bằng cách lập luận tượng tự ta suy |H| ⩽ |Z(G) ∩ H| Vì Z(G) ∩ H ⩽ Z(H) nên H/Z(H) ⩽ H/(Z(G) ∩ H) Vì H khơng giao hốn nên H/Z(H) khơng nhóm xiclíc Do H/(Z(G) ∩ H) khơng nhóm xiclíc Từ suy |H| ⩾ |Z(G) ∩ H| Điều chứng tỏ |H| = 4, |Z(G) ∩ H| H/(Z(G) ∩ H) ∼ = Z2 × Z2 Cấu trúc nhóm số nhóm hữu hạn Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm Dn có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ n, ⩽ l ⩽ n − 1, ⩽ i ⩽ n − 1, ⩽ j ⩽ n − Sau số tính chất nhóm nhị diện, xem [?] Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Rk nhóm xiclíc cấp n , d = (n, k), với ⩽ k ⩽ n; d (ii) Tl nhóm xiclíc cấp với ⩽ l ⩽ n − 1; (iii) Ui,j nhóm nhị diện cấp 2n , d = (n, i), với i|n, ⩽ i ⩽ n− d ⩽ j ⩽ n − Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Nếu n lẻ CDn (1) = Dn , CDn (ri ) = R1 , CDn (rj s) = Tj với ⩽ i ⩽ n − 1, ⩽ j ⩽ n − 1; (ii) Nếu n chẵn CDn (1) = Dn , CDn (rm ) = Dn , CDn (ri ) = R1 , CDn (rj s) = Um,j n với m = , ⩽ i ⩽ n − 1, i ̸= m, ⩽ j ⩽ n − Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm nhóm Dn Khi H nhóm sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với k|n, ⩽ k ⩽ n, ⩽ l ⩽ n − 1, i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn , s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Ui,j nhóm Q4n có dạng sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n, ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − Sau số tính chất nhóm quaternion suy rộng, xem [?] Mệnh đề Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi 2n , d = (2n, k), với ⩽ k ⩽ 2n; d 4n (ii) Ui,j nhóm quaternion suy rộng cấp , d = (n, i), d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − (i) Rk nhóm xiclíc cấp Mệnh đề Cho nhóm Quaternion suy rộng Q4n với n ⩾ Khi CQ4n (1) = CQ4n (rn ) = Q4n , CQ4n (ri ) = R1 , CQ4n (rj s) = Un,j với ⩽ i ⩽ 2n − 1, i ̸= n, ⩽ j ⩽ 2n − Mệnh đề Cho nhóm quaternion suy rộng Q4n với n ⩾ 2, H nhóm Q4n Khi H nhóm sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với k|2n, ⩽ k ⩽ 2n, ⩽ i ⩽ n, i|n, ⩽ j ⩽ i − Cho nhóm giả nhị diện n n−1 SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 −1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm nhóm giả nhị diện SD2n có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n , ⩽ l ⩽ 2n − 1, ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − Sau số tính chất nhóm giả nhị diện, xem [?] Mệnh đề 10 Cho nhóm giả nhị diện SD2n với n ⩾ Khi 2n d = (2n , k), với ⩽ k ⩽ 2n ; (i) Rk nhóm xiclíc cấp d (ii) Tl nhóm xiclíc cấp l chẵn, cấp l lẻ với ⩽ l ⩽ 2n − 1; (iii) Ui,j nhóm giả nhị diện i lẻ với ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − 1; Ui,j nhóm nhị diện i chẵn j chẵn, nhóm quaternion tổng quát i chẵn j lẻ với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − 1; Với i = 2n−1 , Ui,j nhóm xiclíc cấp j lẻ, Ui,j ∼ = C2 × C2 j chẵn 2n+1 Trong tất trường hợp nhóm Ui,j có cấp d n d = (2 , i) Mệnh đề 11 Cho nhóm giả nhị diện SD2n với n ⩾ Khi CSD2n (1) = CSD2n (r2 n−1 ) = SD2n , CSD2n (ri ) = R1 , CSD2n (rj s) = U2n−1 ,j với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − Mệnh đề 12 Cho nhóm giả nhị diện SD2n với n ⩾ 3, H nhóm SD2n Khi nhóm H SD2n nhóm sau (i) Rk = ⟨rk ⟩ với ⩽ k ⩽ 2n ; (ii) Tl = ⟨rl s⟩ với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ; (iii) Ui,j với ⩽ i ⩽ 2n−2 , i|2n , ⩽ j ⩽ i−1, U2n−1 ,j với ⩽ j ⩽ 2n−1 − 1, j chẵn Các cận cho độ giao hốn tương đối nhóm Mệnh đề sau cho ta cận cận cho độ giao hốn tương đối nhóm nhóm Mệnh đề 13 Cho H nhóm G, p ước nguyên tố nhỏ |G| Khi |Z(G) ∩ H| p(|H| − |Z(G) ∩ H|) |Z(G) ∩ H| + |H| + ⩽ Pr(H, G) ⩽ |H| |H||G| 2|H| Chứng minh Đặt K = Z(G) ∩ H Khi theo Mệnh đề ?? ta có X X X |H||G| Pr(H, G) = |CG (x)| = x∈H |CG (x)| + x∈K = |K||G| + X |CG (x)| x∈H\K |CG (x)| x∈H\K Rõ ràng x ∈ H \ K {1} ⊊ CG (x) ⊊ G p ⩽ |CG (x)| ⩽ Do p(|H| − |K|) ⩽ X |CG (x)| ⩽ (|H| − |K|) x∈H\K |G| |G| Cho nên |K||G| + p(|H| − |K|) ⩽ |H||G| X |CG (x)| ⩽ |K||G| + (|H| − |K|) x∈H\K |G| Từ suy |K| p(|H| − |K|) |K| |H| − |K| + ⩽ Pr(H, G) ⩽ + , |H| |H||G| |H| 2|H| ta có cơng thức cần chứng minh Rõ ràng độ giao hốn tương đối nhóm nhóm giao hoán Kết sau cho ta cận cho độ giao hoán tương đối nhóm một nhóm khơng giao hốn Mệnh đề 14 Cho G nhóm khơng giao hốn H nhóm G Khi (i) Nếu H ⊆ Z(G) Pr(H, G) = Hơn nữa, H nhóm khơng giao hốn Pr(H, G) ⩽ (ii) Nếu H ⊈ Z(G) Pr(H, G) ⩽ Chứng minh X (i) Vì H ⊆ Z(G) nên |CG (x)| = |H||G| Do x∈H Pr(H, G) = X |CG (x)| = |H||G| = |H||G| |H||G| x∈H 32 | ∪∞ h=m+1 Eh | = ∞ X |Eh | → m → ∞ từ E < ∞ Vì h=m+1 ν(E) = ∞ X ν(Eh ) h=1 kết cho cách xếp dãy (Eh )h , chuỗi hội tụ tuyệt đối thỏa (??) Hơn nữa, từ |ν(E) ≤ ∥ϕ∥(Lp (Ω))′ |E|1/p , ∀E ∈ M, suy (??) Lưu ý: Nếu p = ∞ đánh giá trước, (??) khơng cịn giữ Theo định lý Radon-Nikodym cho độ đo dấu, tồn M-hàm đo u : Ω → R với u+ u− ∈ L1 (Ω) cho Z ϕ(χE ) = ν(E) = udx, ∀E ∈ M (19) E Thực thỏa mãn u ∈ L1 (Ω) Thật vậy, cho En+ := {x ∈ Ω : u(x) ≥ 0} En− := {x ∈ Ω : u(x) ≤ 0} Từ (??) ta Z 0≤ ± Z u dx = Ω En± udx = ν(En± ) < ∞ Do u± ∈ L1 (Ω) Từ tuyến tính ϕ tích phân, rõ ràng Z ϕ(s) = u s dx (20) Ω với hàm đơn giản đo s : Ω → R Để kết luận, cần chứng minh ′ u ∈ Lp (Ω), ∀p ∈ [1, ∞) (21) Thật vậy, với f ∈ Lp (Ω), theo xấp xỉ hàm đơn giản (Định lý ??), tồn dãy sh : Ω → R, (h = 1, 2, ) hàm đơn gian đo thỏa mãn sh → f Lp (Ω) (22) 33 Từ (??), (??) bất đẳng thức Holder, suy Z u(sh − f )dx ≤ ∥u∥ p′ ∥f − sh ∥Lp (Ω) → L (Ω) (23) Ω Điều kiện (??), (??) tính liên tục ϕ cho Z Z ϕ(f ) = lim ϕ(sh ) = lim h→∞ u f dx, ∀f ∈ Lp (Ω) u sh dx = h→∞ Ω Ω ′ Đặc biệt, tồn u ∈ Lp (Ω) cho T (u) = ϕ Ta điều phải chứng minh Ta chứng minh (??) Trong trường hợp p = 1, giả sử M > cho EM := {x ∈ Ω : u(x) > M } Khi Z udx = ϕ(χEM ) ≤ ∥ϕ∥(Lp (Ω))′ |EM | M |EM | ≤ EM Vì |EM | = M > ∥ϕ∥(Lp (Ω))′ , từ ta suy ≤ u+ (x) ≤ ∥ϕ∥(Lp (Ω))′ hầu khắp nơi x ∈ Ω ⇔ ∥u+ ∥L∞ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ Tương tự ∥u− ∥L∞ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ ′ u = u+ − u− ∈ L∞ (Ω) = L1 (Ω) Trong trường hợp < p < ∞, theo xấp xỉ hàm đơn giản, cho (sh ) dãy hàm đơn giản đo cho ≤ s1 ≤ s2 ≤ ≤ sh ≤ ≤ |u| Ω, (24) lim sh (x) = |u(x)|, ∀x ∈ Ω (25) h→∞ Bây ta chứng minh ước lượng quan trọng sau ∥sh ∥Lp′ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ , ∀h (26) 34 Tập hợp ′ uh (x) := |sh (x)|p −1 sign(u(x)) x ∈ Ω Khi (uh ) dãy hàm đơn giản Z Z (??) ′ ∥sh ∥pLp′ (Ω) p′ |sh | dx ≤ = Ω Ω ′ shp −1 |u|dx Z (??) = uh u dx = ϕ(uh ) Ω Z ≤ ∥ϕ∥(Lp (Ω))′ ∥uh ∥Lp (Ω) = ∥ϕ∥(Lp (Ω))′ (p′ −1)p |sh |  p1 dx Ω Z  p1 p′ = ∥ϕ∥(Lp (Ω))′ |sh | dx Ω p′ = ∥ϕ∥(Lp (Ω))′ ∥sh ∥Lpp (Ω) Nếu ∥sh ∥Lp′ (Ω) = 0, (??) hiển nhiên Nếu ∥sh ∥Lp′ (Ω) > 0, bất đẳng thức (??) chia cho ∥sh ∥ p′ p Lp′ (Ω) p ý p′ (1 − ) = Từ (??), (??) bổ đề Fatou ta có Z Z ′ p ∥u∥L = p′ (Ω) ′ Ω h→∞ ′ ′ |u|p dx ≤ lim inf Ω ′ |sh |p dx = lim inf ∥sh ∥pLp′ (Ω) ≤ ∥ϕ∥p(Lp (Ω))′ < ∞ h→∞ Do (??) < p < ∞ Bước 3: Giả sử |Ω| = ∞ ta chứng minh T is still onto Cho (Ω)h dãy tăng tập bị chặn cho Ω = ∪∞ h=1 Ωh ′ Ta đồng ý với nhận định Lp (Ωh ) Lp (Ωh ), (h = 1, 2, ) với không gian ′ Lp (Ω) Lp (Ω) bao gồm hàm khuyết bên Ωh Đặc biệt, với ϕ ∈ (Lp (Ω))′ suy ϕ ∈ (Lp (Ω))′ ∥ϕ∥(Lp (Ωh ))′ ≤ ∥ϕ∥(Lp (Ω))′ , ∀h (27) ′ Từ bước 2, với h, tồn uh ∈ Lp (Ωh ) cho ∥uh ∥Lp′ (Ω) = ∥ϕ∥(Lp (Ωh ))′ Z ϕ(f ) = Ωh uh f dx, ∀f ∈ Lp (Ωh ) (28) (29) 35 Chú ý từ Lp (Ωh ) ⊂ Lp (Ωh+1 ), theo tính uh+1 = uh hầu khắp nơi Ωh Vì vậy, suy định nghĩa hàm u : Ω → R u(x) := uh (x) x ∈ Ωh Từ (??), (??) định lý đơn điệu hội tụ ∥u∥Lp′ (Ω) = lim ∥u∥Lp′ (Ωh ) = lim ∥uh ∥Lp′ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ < ∞, h→∞ h→∞ ′ u ∈ Lp (Ω) Hơn nữa, f ∈ Lp (Ω), theo định lý tính hội tụ trội f χΩh → f LP (Ω), thế, theo tính liên tục ϕ (??), Z ϕ(f ) = lim ϕ(f χΩh ) = lim h→∞ h→∞ Z u f dx = Ωh u f dx Ω Ta hoàn tất chứng minh Nhận xét 12 Định lý biểu diễn Riesz mở rộng đến khơng gian đo (X, M, µ) Chính xác hơn, ta xác định ′ Lp (X, µ) ≡ (Lp (X, à)) cũn gi nu ã < p < cho o tng quỏt ã p = biết µ σ -hữu hạn Cách xác định sai trường hợp khác Support hàm Lp Ta biết rằng, cho hàm f : Rn R, support f tập hợp spt(f ) := Bao đóng{x ∈ Rn : f (x) ̸= 0} = {x ∈ Ω : f (x) ̸= 0} (S) Định nghĩa khơng cịn phù hợp cho hàm f ∈ Lp (Rn ) Thật vậy, ta muốn khái niệm thỏa mãn tính chất sau f1 = f2 hầu khắp nơi Rn ⇒ spt(f1 ) = spt(f2 ), trừ số phần không đáng kể 36 Nhưng trường hợp khơng Thật Ví dụ: Cho f1 := χQ : R → R f2 ≡ Khi đó, rõ ràng f1 = f2 hầu khắp nơi R spt(f1 ) = Q = R spt(f2 ) = ∅ Mệnh đề 18 (Support thiết yếu cùa hàm) Cho f : Rn → R Ký hiệu Af := {ω ⊂ Rn : ω tập mở f = hầu khắp nơi ω} cho Af := ∪ω∈Af ω Khi Af tập mở f = hầu khắp nơi Af Tập đóng spte (f ) := Rn \ Af (ES) gọi support cần thiết f Rn Nhận xét 13 (i) Từ định nghĩa (ES), suy ra, f1 = f2 hầu khắp nơi Rn , spte (f1 ) = spte (f2 ) (ii) Định nghĩa (S) (ES) giống hàm liên tục Chính xác 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 đề ?? Hiển nhiên Af tập mở Ta chứng minh f (x) = hầu khắp nơi x ∈ Af (30) 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 37 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 (??) 10 Mở rộng Dorroh mở rộng tail ring ∆U vành Mệnh đề 19 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ý 16 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 đề 20 R[D, C] ∆U -vành D C ∆U -vành 10.1 Các nhóm vành Định lý 17 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ý 18 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 38 11 Mở rộng tốn tử ∆ cho vành khơng có đơn vị Bây ta thay đổi định nghĩa ∆ để làm việc vành không chứa đơn vị Cụ thể, xét tập ∆◦ (R) = {r ∈ R|r + U◦ (R) ⊆ U◦ (R)} Khi R vành có đơn vị ∆◦ (R) = ∆(R) Với vành R bất kỳ, không thiết phải có đơn vị Ta ký hiệu R1 vành bao gồm R đơn vị Z Khi đó, U◦ (Z) = Ta dễ dàng kiểm tra bổ đề sau Bổ đề Cho R vành, khơng thiết phải có đơn vị, ta có ∆◦ (R) = ∆◦ (R1 ) = ∆(R1 ) 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ý ?? 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 quát ∆(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ệ ?? 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