Các phép biến đổi đồ thị và tính IBN của đại số đường đi Leavitt

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:4

Thêm vào BST

Báo xấu

13
lượt xem 2
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài viết Các phép biến đổi đồ thị và tính IBN của đại số đường đi Leavitt chứng minh phép khử đỉnh nguồn và phép mở rộng bảo toàn tính chất UGN nhưng không bảo toàn tính chất IBN của đại số đường đi Leavitt của các đồ thị liên kết.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Các phép biến đổi đồ thị và tính IBN của đại số đường đi Leavitt

ISSN 1859-1531 - TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ ĐẠI HỌC ĐÀ NẴNG, VOL. 17, NO. 4, 2019 37 CÁC PHÉP BIẾN ĐỔI ĐỒ THỊ VÀ TÍNH IBN CỦA ĐẠI SỐ ĐƯỜNG ĐI LEAVITT THE GRAPH TRANFORMATIONS AND IBN PROPERTY OF LEAVITT PATH ALGEBRAS Tăng Võ Nhật Trung, Ngô Tấn Phúc Trường Đại học Đồng Tháp; tangvonhattrung0307@gmail.com, ntphuc@dthu.edu.vn Tóm tắt - Năm 2005, Abrams – Aranda Pino và nhóm Ara – Moreno Abstract - In 2005, Abrams – Aranda Pino and independently Ara – Pardo đã giới thiệu lớp đại số đường đi Leavitt với hệ số trên một – Moreno – Pardo constructed the Leavitt path algebras with trường. Để khảo sát tương đương Morita của đại số đường đi coefficients in a field. To investigate Morita equivalence of Leavitt Leavitt, Abrams – Louly – Pardo – Smith đã giới thiệu các phép biến path algebras, Abrams – Louly – Pardo – Smith introduced the đổi đồ thị cơ bản và chứng minh rằng chúng bảo toàn tương đương basic tranformations on the digraph and proved that they preserve Morita của đại số đường đi Leavitt trên các đồ thị liên kết. Các phép Morita equivalence of the associated Leavitt path algebras. These biến đổi đồ thị này giúp cho vấn đề khảo sát tính chất IBN trên đại số graph moves make the IBN investigating problem simplier. đường đi Leavitt trở nên đơn giản hơn. Tuy nhiên, tính chất IBN trên However, it is known that the IBN property is not a Morita invariant vành nói chung không phải là một bất biến Morita. Vì thế, chúng ta property for rings. So we study the impact of the basic graph cần nghiên cứu tác động của các phép biến đổi đồ thị cơ bản đến tranformations on the IBN property of the associated Leavitt path tính chất IBN của đại số đường đi Leavitt của các đồ thị liên kết. algebras. In this paper, we show that the source elimination and Trong bài viết này, chúng tôi chứng minh phép khử đỉnh nguồn và the expansion on diraph preserve the UGN but not the IBN property phép mở rộng bảo toàn tính chất UGN nhưng không bảo toàn tính of the associated Leavitt path algebras. chất IBN của đại số đường đi Leavitt của các đồ thị liên kết. Từ khóa - Đại số đường đi Leavitt; phép khử đỉnh nguồn; phép mở Key words - Leavitt path algebra; source elimination; expansion; rộng; tính chất IBN; tính chất UGN. IBN property; UGN property. 1. Đặt vấn đề Một đồ thị E = ( E0 , E1 , s, r ) là một bộ bao gồm hai tập Trong [7], W. Leavitt đã đề xuất khái niệm UGN và hợp E 0 và E1 và hai ánh xạ r , s : E1 → E 0 . Các phần tử của IBN như sau: một vành R được gọi là thỏa mãn điều kiện UGN (tương ứng, IBN) nếu có một đơn cấu (tương ứng, E 0 được gọi là các đỉnh và các phần tử của E1 được gọi đẳng cấu) từ Rm đến R n thì m  n (tương ứng, m = n ). là các cạnh. Đối với mỗi cạnh e trong E1 , s ( e ) được gọi Dễ thấy tính chất IBN là hệ quả của tính chất UGN. Các là điểm đầu của e và r ( e ) được gọi là điểm cuối của e . khái niệm này đóng vai trò quan trọng trong lí thuyết vành Đồ thị E được gọi là hữu hạn nếu các tập E 0 và E1 là các hay lí thuyết môđun nói chung. Một số kết quả gần đây về tập hữu hạn phần tử. Trong bài viết này, ta chỉ xét những tính UGN và IBN có thể tham khảo tại [6], [7]. đồ thị hữu hạn. Cho một đồ thị (trực tiếp) E và một trường số K , Một đường đi trong một đồ thị E là chuỗi các cạnh Abrams - Aranda Pino trong [1] và Ara – Moreno – Pardo p = e1e2 ...en sao cho r ( ei ) = s ( ei +1 ) với mọi trong [4] đã giới thiệu lớp đại số đường đi Leavitt LK ( E ) i = 1, 2,..., n −1. Đường đi p được gọi là một chu trình của đồ thị E . Lớp đại số này là mở rộng của đại số Leavitt LK (1, n) trong [7]. Trong [3], Abrams – Nam - Phuc đã chỉ nếu như s ( p ) := s(e1 ) = r (en ) =: r ( p ) và s ( ei )  s ( e j ) ra các điều kiện về đồ thị E để LK ( E ) thỏa mãn tính UGN. với mọi i  j . Nói cách khác, một chu trình là một đường Sau đó, trong [8], Nam - Phuc đã chỉ ra điều kiện cần và đủ đi mà bắt đầu - kết thúc trên cùng một đỉnh và không đi qua trên ma trận liên thuộc của đồ thị thị E để LK ( E ) thỏa bất kì đỉnh nào quá một lần. Kí hiệu p 0 là tập tất cả các mãn tính IBN. Trong [2], Abrams – Louly – Pardo – Smith đỉnh trong p . Nếu c là một chu trình thì các phần tử trong đã giới thiệu các phép biến đổi đồ thị cơ bản và chứng minh 0 rằng chúng bảo toàn tương đương Morita của đại số đường tập c được gọi là tập đỉnh của một chu trình. đi Leavitt trên các đồ thị liên kết. Trong bài viết này, chúng Trong đồ thị E , một đỉnh v được gọi là ngọn nếu như tôi nghiên cứu tác động của các phép biến đổi đồ thị cơ bản s ( v ) =  và v được gọi là gốc nếu như r −1 (v) =  , nếu −1 đến tính chất IBN của đại số đường đi Leavitt của các đồ v không phải là ngọn thì được gọi là đỉnh chính quy. Một thị liên kết. Cụ thể, chúng tôi chứng minh phép khử đỉnh đỉnh vừa là ngọn, vừa là gốc thì được gọi là đỉnh cô lập. nguồn và phép mở rộng bảo toàn tính chất UGN nhưng không bảo toàn tính chất IBN của đại số đường đi Leavitt Với hai đỉnh ta u , v  E 0 kí hiệu u  v nếu tồn tại một của các đồ thị liên kết. đường đi p mà s ( p) = u, r ( p ) = v . Ta định nghĩa ma trận 2. Tính IBN của đại số đường đi Leavitt liên thuộc của E , kí hiệu AE , là ma trận xác định như sau: gọi E = {v1 , v2 ,..., vh } , khi đó 0 Trong phần này, giới thiệu lại kết quả chính trong [2], AE là ma trận vuông [3], [8] mà nhóm tác giả sẽ sử dụng xuyên suốt trong bài viết của mình. Trước tiên, nhắc lại một số khái niệm về đồ ( aij ) h trong đó aij là số các cạnh nối từ vi đến v j . thị trực tiếp và đại số đường đi Leavitt. Cho một đồ thị trực tiếp E = ( E0 , E1 , s, r ) và một
38 Tăng Võ Nhật Trung, Ngô Tấn Phúc trường bất kì K , đại số đường đi Leavitt LK ( E ) của đồ thị và [ AEt − J E b] là ma trận có được từ AEt − J E bằng cách E với hệ tử trên K là một K - đại số sinh bởi tập E 0 và thêm vào cột b . Cho K là một trường bất kì. Khi đó E1 , cùng với tập cạnh ảo {e* | e  E1} , thỏa mãn các điều LK ( E ) thỏa mãn tính chất IBN khi và chỉ khi kiện sau với mọi v, w  E 0 và e, f  E1 : rank( AEt − J E )  rank([ AEt − J E b]). (1) vw = v, w w , (  là kí hiệu Kronecker); 3. Kết quả chính (2) s (e)e = e = er (e) và r (e)e* = e* = e*s(e) ; Trong phần này, nhóm tác giả chứng minh phép khử (3) e* f =  e, f r (e) ; đỉnh nguồn và phép mở rộng bảo toàn tính chất UGN nhưng không bảo toàn tính chất IBN của đại số đường đi (4) v =  ee* với mọi đỉnh chính quy v . Leavitt của các đồ thị liên kết dựa vào Định lí 1 và Định lí es −1 ( v ) 2 ở trên. Cho E = ( E0 , E1 , r, s) là một đồ thị, và v  E là một 0 Định nghĩa 1. (i) Giả sử c1 và c2 là hai chu trình trong đồ gốc. Ta gọi đồ thị thu gọn gốc E v của E là đồ thị được thị E (ta qui ước mỗi đỉnh cũng là một chu trình có độ dài 0 ). xác định như sau: ( E v )0 = E 0 {v} , Nếu có một đường đi p mà s( p)  c10 , r( p)  c20 (điểm đầu ( E v )1 = E1 s −1 (v) , sE v = s |( E )1 và rE v = r |( E )1 . tại một đỉnh thuộc c10 và điểm cuối tại một đỉnh thuộc c20 ) thì v v Nói cách khác, E v là đồ thị có được từ E bằng cách bỏ ta nói chu trình c1 kéo theo chu trình c2 . Kí hiệu c1  c2 . đi v và các cạnh trong E có điểm đầu là v . Trong trường (ii) Chu trình c trong đồ thị E được gọi là chu trình hợp E là đồ thị chỉ có một đỉnh v và không có cạnh nào gần nhất nếu trong E không tồn tại bất cứ chu trình nào (đỉnh cô lập) thì ta qui ước E v = E . khác c kéo theo chu trình c . Tương tự, một đỉnh v trong E được gọi là đỉnh gần nhất nếu trong E không tồn tại Trong [3], Abrams – Nam – Phuc đã đưa ra một tiêu bất cứ chu trình nào kéo theo v . chuẩn cho tính UGN của đại số đường đi Leavitt của đồ thị hữu hạn. Ví dụ 2. Trong đồ thị dưới đây thì chu trình c1 = e1e2 Định lí 1. [3, Theorem 3.16] Cho E là một đồ thị hữu kéo theo chu trình c2 = f1 f 2 f 3 f 4 và c1 là chu trình gần hạn và K là một trường. Đặt nhất trong đồ thị E . E = E0 → E1 → → Ei → → Et = Esf là một dãy các đồ thị thu gọn gốc trong đó Esf là đồ thị không có gốc. Khi đó LK ( E ) thỏa mãn điều kiện UGN khi và chỉ khi 0  j  t để E j chứa một đỉnh cô lập, hoặc Esf chứa một chu trình c với | r −1 (v) |= 1 với mọi v  c (chu 0 trình không có cạnh đi vào). Định lí 3. Cho E là một đồ thị hữu hạn và K là một Ví dụ 1. Từ đồ thị sau đây, sau các bước thu gọn gốc ta trường. Khi đó LK ( E ) thỏa mãn điều kiện UGN khi và chỉ sẽ thu được đồ thị mới chứa đỉnh cô lập là w1 , w2 và chu khi E chứa ngọn gần nhất hoặc chu trình gần nhất. trình c = ef không có cạnh đi vào. Chứng minh. Ta sẽ chứng minh Định lí 3 tương đương với Định lí 1. Để làm điều đó, ta cần chứng tỏ “ngọn gần nhất” trong Định lí 3 tương ứng với “đỉnh cô lập” trong Định lí 1 và “chu trình gần nhất” trong Định lí 3 tương ứng với “chu trình không có cạnh đi vào” trong Định lí 1. Giả sử v0 là một ngọn gần nhất trong E . Khi đó, hoặc v0 là đỉnh cô lập hoặc tồn tại một đỉnh v1 trước v0 , tức là tồn tại một cạnh có điểm đầu tại v1 và điểm cuối tại v0 . Nếu v1 Trong [8], các tác giả đã chỉ ra một điều kiện cần và đủ dựa vào ma trận liên thuộc của đồ thị để đại số đường đi không là gốc thì tồn tại đỉnh v2 trước v1 . Quá trình này phải Leavitt của nó thỏa mãn tính chất IBN. dừng sau hữu hạn bước do tính hữu hạn của đồ thị và tính gần Định lí 2. ([8], Theorem 2.5). Cho E là một đồ thị hữu nhất của v0 . Tức là, ta được một dãy các đỉnh và các cạnh hạn có tập đỉnh là {vi |1  i  h} và {v1 ,..., vz } ( z  h) là tập các đỉnh chính quy của E . Đặt I 0 JE =  k   M h ( ), b = [1...1]  M h1 ( ) t Khi đó, sau các phép khử gốc tại vn rồi lần lượt tại 0 0
ISSN 1859-1531 - TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ ĐẠI HỌC ĐÀ NẴNG, VOL. 17, NO. 4, 2019 39 vn−1 , ..., v2 , v1 ta được một đồ thị mới chứa đỉnh cô lập v0 . Như vậy, nếu E chứa ngọn gần nhất thì sau hữu hạn bước thu gọn gốc, ta sẽ thu được một đồ thị mới chứa đỉnh cô lập. Bây giờ, thay vai trò của v0 trong các lập luận trên bởi Khi đó, áp dụng Định lí 2 để xét tính IBN của LK ( E ) chu trình gần nhất c ta cũng thu được kết quả tương tự là: và LK ( F ) ta có nếu E chứa chu trình gần nhất c thì sau hữu hạn bước thu  −1 0 0 0 1 gọn gốc, ta sẽ thu được một đồ thị mới trong đó c là chu 1 1 0 0 1 trình không có cạnh đi vào. [ AEt − J E b] =  0 1 −1 0 1 Ví dụ 3. Trong đồ thị đã xét ở Ví dụ 1, w1 , w2 là các   0 0 1 0 1 đỉnh cô lập và c = ef là chu trình gần nhất. Suy ra rank ([ AEt − J E ]) = 3 = rank ([ AEt − J E b] Bổ đề 1. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn. Hay LK ( E ) không thỏa mãn tính IBN. Nếu E không chứa chu trình thì E phải chứa ngọn gần nhất. Chứng minh. Gọi v0 là một đỉnh trong E . Nếu v0 không 1 0 0 1 Mặt khác [ A − J F b] = 1 −1 0 1 t F là ngọn thì tồn tại một đỉnh v1 sau v0 , tức là tồn tại một  0 1 0 1 cạnh có điểm đầu tại v0 và điểm cuối tại v1 . Nếu v1 không Suy ra là ngọn thì tồn tại đỉnh v2 sau v1 . Quá trình này phải dừng rank ([ AFt − J F ]) = 2  3 = rank ([ AFt − J F b] sau hữu hạn bước do tính hữu hạn của đồ thị. Vì đồ thị không Hay LK ( F ) thỏa mãn tính IBN. chứa chu trình nên các đỉnh trong dãy v0 , v1 , v2 là phân Tiếp theo, chúng tôi xét sự thay đổi tính IBN của đại số biệt. Tức là, ta được một dãy các đỉnh và các cạnh đường đi Leavitt qua phép mở rộng đồ thị. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn và v là một trong đó vn là ngọn gần nhất. đỉnh trong E. Ta kí hiệu Ev = ( Ev 0 , Ev1 , rv , sv ) là đồ thị mở rộng của E tại v. Trong đó, Hệ quả 1. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn Ev0 = E0 {v*}, Ev1 = E1 { f }, các ánh xạ sv , rv cảm và K là một trường. Nếu E không chứa chu trình thì LK ( E ) sinh từ s, r bằng cách cho sv ( f ) = v, rv ( f ) = v * và với thỏa mãn tính UGN. mọi e  s−1 (v), sv (e) = v * . Tóm lại, từ đồ thị E, để xây dựng Chứng minh. Suy trực tiếp từ Định lí 3 và Bổ đề 1. đồ thị mở rộng E v ta thêm vào một đỉnh v * , một cạnh f Bổ đề 2. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn nối từ v đến v * và dời các cạnh có điểm đầu từ v sang v * . và v là một gốc trong E. Nếu E chứa ngọn gần nhất hoặc chu trình gần nhất thì E\v cũng vậy. Ví dụ 5. Các đồ thị sau đây tương ứng là đồ thị E ban Chứng minh. Giả sử v là một gốc trong đồ thị E và E\v là đầu và đồ thị mở rộng tại đỉnh v của nó: đồ thị thu gọn gốc của E tại v. Vì v không là đỉnh ngọn và không thuộc bất kì chu trình nào trong E nên dễ thấy số đỉnh ngọn và số chu trình trong E và E\v là như nhau. Do đó nếu E chứa ngọn gần nhất hoặc chu trình gần nhất thì E\v cũng vậy. Từ Bổ đề 2 và Định lí 3 ta suy ra được kết quả sau: Định lí 4. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn và v là một gốc trong E. Cho K là một trường. Khi đó tính UGN của LK ( E ) và LK ( E \ v) là như nhau. Bổ đề 3. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn Nhận xét 1. Như vậy, phép thu gọn gốc bảo toàn tính và v là một đỉnh trong E. Nếu E chứa ngọn gần nhất hoặc UGN. Tuy nhiên, ví dụ dưới đây chứng tỏ phép thu gọn gốc chu trình gần nhất thì đồ thị mở rộng E v cũng vậy. không bảo toàn tính IBN. Chứng minh. Giả sử w là một ngọn gần nhất trong đồ thị Ví dụ 4. Xét đồ thị E và E v là đồ thị mở rộng của E tại đỉnh v của E. Nếu v  w thì w vẫn là một ngọn gần nhất trong E v . Nếu v = w thì trong E v , w không còn là ngọn và v * sẽ là ngọn gần nhất. Như vậy, số ngọn gần nhất trong E và E v là như nhau. và gọi đồ thị thu gọn gốc của E tại v0 là Giả sử c = e1e2 ...en là một chu trình gần nhất trong đồ
40 Tăng Võ Nhật Trung, Ngô Tấn Phúc thị E và E v là đồ thị mở rộng của E tại đỉnh v của E. Nếu toàn tính chất IBN của đại số đường đi Leavitt của các đồ thị liên kết (Ví dụ 4, Nhận xét 2). v  c thì c vẫn là một chu trình gần nhất trong E v . Nếu 0 Ghi chú. Bài báo được hỗ trợ bởi đề tài nghiên cứu khoa 1  i  n : v = vi := r (ei ) = s(ei +1 ) thì trong Ev , học sinh viên mã số SPD2018.02.51. c = e1e2 ...ei fei +1 ...en sẽ là chu trình gần nhất. Như vậy, số chu trình gần nhất trong E và E v là như nhau. TÀI LIỆU THAM KHẢO Từ hai lập luận trên ta được điều phải chứng minh. □ [1] G. Abrams and G. Aranda Pino, “The Leavitt path algebra of a graph”, Journal of Algebra (293), 2005, p. 319-334. Từ Bổ đề 3 và Định lí 3 ta suy ra được kết quả sau: [2] G. Abrams, A. Louly, E. Pardo and C. Smith, “Flow invariants in Định lí 5. Cho E = ( E0 , E1 , r, s) là một đồ thị hữu hạn the classification of Leavitt path algebras”, Journal of Algebra, (333), 2011, p. 202--231. và v là một đỉnh trong E. Cho K là một trường. Khi đó tính [3] G. Abrams, T. G. Nam and N. T. Phuc, “Leavitt path algebras having UGN của LK ( E ) và LK ( Ev ) là như nhau. unbounded generating number”, Journal of Pure and Applied Algebra, 6(221), 2017, p. 1322-1343. Nhận xét 2. Tương tự như phép thu gọn gốc, phép mở [4] P. Ara, M. A. Moreno and E. Pardo, “Nonstable K-theory path algebras”, rộng cũng bảo toàn tính UGN nhưng không bảo toàn tính Algebras and Representation Theory, (10), 2007, p. 157 - 178. IBN. Chẳng hạn, xét đồ thị E và đồ thị mở rộng của E tại v [5] V. N. Khánh, N. T. Phúc, “Về tính UGN của đại số đường đi Leavitt như ở Ví dụ 5. Khi đó, tính toán tương tự như Ví dụ 4, ta trên các đồ thị rời rạc chu trình”, Tạp chí Khoa học – Đại học Đà Nẵng 5 (126), 2018, p. 135-139. thấy LK ( E ) thỏa mãn tính IBN nhưng LK ( Ev ) thì không. [6] T. Y. Lam, Lectures on modules and rings, Springer - Verlag, New York – Berlin, 1999. 4. Kết luận [7] W. G. Leavitt, “The module type of a ring”, Trans. Amer. Math. Soc Bài viết đã đưa ra khái niệm chu trình gần nhất (Định (42), 1962, p. 113-130. nghĩa 1) và dung nó để chứng minh một kết quả tương [8] T. G. Nam and N. T. Phuc, “The structure of Leavitt path algebras and the Invariant Basis Number property”, Journal of Pure and đương với [3, Theorem 3.16] là Định lí 3. Tứ đó, bài viết Applied Algebra, 2019, DOI: 10.1016/j.jpaa.2019.02.017. đã chứng minh phép khử đỉnh nguồn và phép mở rộng bảo toàn tính chất UGN (Định lí 4, Định lí 5) nhưng không bảo (BBT nhận bài: 15/3/2019, hoàn tất thủ tục phản biện: 20/4/2019)