(LUẬN văn THẠC sĩ) định thức trên vành giao hoán và định thức dieudonne

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH An Thị Thúy Nga ĐỊNH THỨC TRÊN VÀNH GIAO HOÁN VÀ ĐỊNH THỨC DIEUDONNE LUẬN VĂN THẠC SĨ TỐN HỌC Thành phố Hồ Chí Minh - 2013 download by : skknchat@gmail.com BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH An Thị Thúy Nga ĐỊNH THỨC TRÊN VÀNH GIAO HOÁN VÀ ĐỊNH THỨC DIEUDONNE Chuyên ngành: Đại số lý thuyết số Mã số: 60 46 01 04 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS BÙI XUÂN HẢI Thành phố Hồ Chí Minh - 2013 download by : skknchat@gmail.com LỜI CẢM ƠN Tôi xin chân thành cảm ơn PGS.TS Bùi Xuân Hải - người thầy tận tình giúp đỡ hướng dẫn tơi q trình học tập, nghiên cứu hồn thiện luận văn Tôi xin chân thành cảm ơn Quý thầy Trường, Phịng Sau đại học, Khoa Tốn học, môn Đại số - Trường Đại học Sư phạm TP Hồ Chí Minh Trường Đại học Khoa học Tự nhiên TP Hồ Chí Minh tận tình giảng dạy chúng tơi suốt khóa học tạo điều kiện thuận lợi cho thực luận văn Qua đây, tơi xin bày tỏ lịng cảm ơn sâu sắc đến gia đình, người thân bạn bè giúp đỡ suốt thời gian học tập thực luận văn TP HCM, ngày 27 tháng năm 2013 An Thị Thúy Nga download by : skknchat@gmail.com MỤC LỤC LỜI CẢM ƠN MỤC LỤC BẢNG KÍ HIỆU MỞ ĐẦU CHƯƠNG 1: ĐỊNH THỨC TRÊN VÀNH GIAO HOÁN 1.1 Một số khái niệm .5 1.2 Định nghĩa định thức vành giao hoán 1.3 Một số tính chất định thức vành giao hốn 1.4 Một số định lý khai triển định thức vành giao hoán 1.5 Điều kiện để ma trận vành giao hoán khả nghịch 12 1.6 Một số phương pháp tính định thức vành giao hoán .13 1.6.1 Phương pháp dùng định nghĩa .13 1.6.2 Phương pháp khai triển 14 1.6.3 Phương pháp biến đổi định thức dạng tam giác .15 1.6.4 Phương pháp quy nạp 15 1.7 Hệ phương trình tuyến tính vành giao hốn 16 CHƯƠNG 2: ĐỊNH THỨC DIEUDONNE 22 2.1 Một số khái niệm 22 2.2 Định nghĩa định thức Dieudonne .26 2.3 Một số tính chất định thức Dieudonne 26 2.4 Sự tồn định thức Dieudonne 29 2.5 Một số kết suy từ định nghĩa tính chất định thức Dieudonne 32 2.6 Một số phương pháp tính định thức Dieudonne .36 2.6.1 Phương pháp .36 2.6.2 Phương pháp .36 2.7 So sánh định thức vành giao hoán định thức Dieudonne 37 2.7.1 Một số tính chất giống hai định thức 37 2.7.2 Một số tính chất khác hai định thức .38 KẾT LUẬN 40 TÀI LIỆU THAM KHẢO 41 download by : skknchat@gmail.com BẢNG KÍ HIỆU a, b = {a, a + 1, a + 2, , b} , a, b ∈  a < b R* - Nhóm nhân vành R AT - Ma trận chuyển vị ma trận A Mn ( R ) - Vành ma trận vuông cấp n vành R GLn ( R ) - Nhóm tuyến tính tổng quát bậc n vành R En ( R ) - Nhóm tuyến tính sơ cấp bậc n vành R [ a, b] = a−1b−1ab - Giao hoán tử phần tử [ H , K ] - Nhóm a b nhóm G G sinh tất giao hoán tử dạng [ a, b ] với a ∈ H , b ∈ K ( H , K tập khác rỗng G download by : skknchat@gmail.com MỞ ĐẦU Đại số tuyến tính nói chung Lý thuyết định thức nói riêng xây dựng trường Trường cấu trúc trọn vẹn nên việc xây dựng định thức có nhiều kết đa dạng phong phú Tuy nhiên thay đổi trường cấu trúc đại số khác, mà cụ thể vành giao hốn có đơn vị vành chia kết biết cịn đúng, hay thay đổi Mặt khác, định thức vành giao hốn nghiên cứu dựa tính giao hốn phép nhân phần tử Cịn định thức Dieudonne nghiên cứu vành chia Sự khác biệt vành giao hoán vành chia dẫn đến khác biệt hai định thức Trên số lý chọn đề tài “Định thức vành giao hoán định thức Dieudonne” để nghiên cứu tìm hiểu Luận văn tổng hợp, trình bày Lý thuyết định thức vành giao hốn định thức Dieudonne, sau so sánh điểm giống khác hai định thức Bố cục luận văn chia làm chương: Chương - Định thức vành giao hoán Chương - Định thức Dieudonne Tuy có nhiều cố gắng thời gian khả có hạn nên luận văn khơng tránh khỏi thiếu sót, mong nhận góp ý q thầy bạn Xin chân thành cảm ơn download by : skknchat@gmail.com CHƯƠNG 1: ĐỊNH THỨC TRÊN VÀNH GIAO HOÁN 1.1 Một số khái niệm Định nghĩa 1.1.1 Xét X = {1, 2, , n} với n số nguyên dương Đặt Sn tập hợp song ánh từ X vào X Ta định nghĩa 1) Mỗi phần tử s ∈ Sn gọi phép hoán vị bậc n hay phép bậc n biểu diễn ma trận loại × n  n  s= ,  s (1) s ( ) s ( n )    dịng thứ nhất, phần tử X xếp theo thứ tự (thường 1, 2,…, n), dòng thứ hai gồm ảnh dòng thứ qua song ánh s 2) Với số nguyên k ≥ 2, phép hoán vị s ∈ Sn gọi k - chu trình có chiều dài k tồn phần tử phân biệt i1 , i2 , , ik ∈ X cho = s ( i1 ) i2= s ( ik −1 ) ik= ; s ( i2 ) i3 ; ;= ; s ( ik ) i1 s ( j ) = j với j ∉ {ik , i2 , , ik } Khi ta viết s = ( i1 i2 i k ) Hai chu trình s = ( i1 i2 ik ) t = ( j1 j2 jl ) gọi rời ∅ {i , i , , i } ∩ { j , j , , j } = k l Mỗi - chu trình gọi chuyển vị Như vậy, chuyển vị có dạng s = ( i j ) với ≤ i ≠ j ≤ n Định lý 1.1.2 Mọi phép hốn vị phân tích thành tích chu trình rời Cách phân tích nhất, sai khác đổi chỗ chu trình Bổ đề 1.1.3 Mọi chu trình phân tích thành tích chuyển vị Cách phân tích khơng Định lý 1.1.4 Mọi phép hoán vị phân tích thành tích chuyển vị Cách phân tích khơng tính chẵn lẻ số chuyển vị Chú ý 1.1.5 Xét phép hoán vị s Gọi k số chuyển vị phân tích s thành tích chuyển vị Đặt download by : skknchat@gmail.com sgn ( s ) = ( −1) k Theo Định lý 1.1.4, sgn ( s ) khơng phụ thuộc vào cách phân tích s - Nếu sgn ( s ) = s phân tích dạng tích số chẵn chuyển vị Ta nói s hốn vị chẵn - Nếu sgn ( s ) = −1 s phân tích dạng tích số lẻ chuyển vị Ta nói s hốn vị lẻ - Với phép hoán vị s t, ta có ( ) sgn s −1 = sgn ( s ) sgn= ( st ) sgn ( s ) ⋅ sgn ( t ) - Với s k - chu trình, ta có sgn ( s ) = ( −1) k −1 Ví dụ 1.1.6 Xét hoán vị s = (1 )( 10 ) Ta có s = (1 3)(1 )( )( 10 )( )( ) Vậy s phân tích dạng tích chuyển vị nên sgn ( s ) = 1, s hoán chẵn 1.2 Định nghĩa định thức vành giao hốn Xét R vành giao hốn, có đơn vị Định nghĩa 1.2.1 Cho R vành giao hốn, có đơn vị Cho A  aij  ma trận vuông cấp n R Định thức ma trận A R , kí hiệu detA hay A xác định detA   sgn s a1s1a2s2 ansn s Sn 1.3 Một số tính chất định thức vành giao hốn Tính chất 1.3.1 Cho A ma trận vng cấp n R AT ma trận chuyển vị ma trận A Khi detAT  detA Chứng minh Giả sử A  aij  AT  bij  bij  a ji , i, j  1, n Khi ta có download by : skknchat@gmail.com detAT   sgn s b1s1b2s2 bnsn s Sn   sgn s as11as22 asnn s Sn   s 1 Sn sgn s 1 a1s11a2s12 ans1n   sgn t a1t1a2 t2 antn t Sn  detA Tính chất 1.3.2 Trong định thức đổi chỗ hai dịng cho định thức đổi dấu Chứng minh Đặt A  aij  , giả sử ma trận A đổi dòng i dòng j 1  i, j  n   ta ma trận A  aij Khi detA   sgn s a1s1 aisi a js j ansn s Sn =  sgn s a s Sn 1s 1 .a jsi ais j ansn Với s  Sn , đặt t  Sn cho t i  s  j   t  j   s i  t k   s k  , k  i, j  Khi đó, sgn t   sgn s  a1s1 a jsi ais j ansn  a1t1 aiti a jt j antn Do detA    sgn t a1t1 aiti a jt j antn t Sn  -  sgn t a1t1 aiti a jt j antn t Sn  - detA Tính chất 1.3.3 Nếu ma trận vng A có hai dịng detA  Tính chất 1.3.4 Cho ma trận vng A  aij  cấp n R Nếu nhân vào dòng thứ i ma trận A với k  R định thức ma trận nhận định thức A nhân với k download by : skknchat@gmail.com Chứng minh Giả sử ma trận A tất hệ số dòng i nhân lên k   lần, dòng khác giữ nguyên ta nhận ma trận A  aij Khi detA   sgn s a1s1 aisi ansn s Sn   sgn s a 1s 1 s Sn   kaisi ansn  k  sgn s a1s1 aisi ansn s Sn  kdetA Hệ 1.3.5 Nếu ma trận vng A có dòng bội k  R dòng khác detA  Tính chất 1.3.6 Cho ma trận vuông A  aij  cấp n R giả sử dòng thứ i i  1, n A có tính chất aij  bij  cij với bij , cij  R Khi đó, ta có a11 a12 detA  bi1  ci1 bi  ci an1 an a11 a12 a1n a11 a12 a1n bin  cin  bi1 bi bin  ci1 ci cin a1n an1 an ann  ann detB an1 an ann  detC Chứng minh detA   sgn s a1s1 aisi ansn s Sn   sgn s a s Sn 1s 1   bisi  cisi ansn   sgn s a1s1 bisi ansn   sgn s a1s1 cisi ansn s Sn s Sn  detB  detC Tính chất 1.3.7 Nếu cộng vào dịng ma trận vng A bội k  R dịng khác định thức khơng đổi Chứng minh Áp dụng tính chất 1.3.3 tính chất 1.3.4 1.4 Một số định lý khai triển định thức vành giao hoán Định nghĩa 1.4.1 Cho A  aij  ma trận vuông cấp n R Với i, j ta gọi i j Aij  1 detA i; j  download by : skknchat@gmail.com Chứng minh Thật vậy, A suy biến dịng A phụ thuộc tuyến tính nên A có dịng tổ hợp tuyến tính trái dịng khác Lấy dịng trừ tổ hợp tuyến tính nói ta nhận ma trận có dịng Theo tính chất 2.3.1, định thức không thay đổi qua phép đổi Theo (I) suy detA  Tính chất 2.3.3 Nếu đổi chỗ hai dòng ma trận định thức nhân với 1 Chứng minh Xét A, A '  Mn  K  A ' ma trận nhận từ A cách đổi chỗ hai dòng i j cho Ta cần chứng minh detA '  -1 detA Thật vậy,   a11   a  i1 A     a j1   an1  a1n   a11       ain   a j1     , A '     a jn  a   i1       ann  an1 a1n     a jn     ain     a  nn Đối với A ' ta thực số phép biến đổi loại (E) sau: Thay dòng i dòng i cộng dòng j di  di  d j  , A ' thành:   a11   a j1  ai1  A ''     ai1    a n1    a jn  ain     ain     ann  a1n theo (II) ta có detA ''  detA ' Sau đó, thay dịng j dịng j trừ dòng i d j  d j  di  , ta ma trận  a11    a j1  ai1  A '''     a j1    a n1 a1n     a jn  ain     a jn      a nn 27 download by : skknchat@gmail.com theo (I) detA '''  detA '' Thực tiếp tục cách thay dòng i dòng i cộng dòng j di  di  d j  ta có ma trận  a11     ai1  A ''''    a j1    a n1 a1n     ain     a jn     a  nn Đưa -1 dấu định thức ta có detA '  detA ''  detA '''  detA ''''  1detA Tính chất 2.3.4 detd m   m Chứng minh Vì d ( m ) ma trận có cách nhân dòng cuối I n với m nên detd m   m  det  I n   m 1  m Tính chất 2.3.5 Nếu A ma trận không suy biến A  Bd m  phân tích A Định lý 2.1.8 detA  m Tính chất 2.3.6 detA  A ma trận suy biến Chứng minh Thật vậy, A suy biến theo tính chất 2.3.2 ta có detA  Ngược lại, A không suy biến theo tính chất 2.3.5 ta có detA  m  , điều mâu thuẫn với giả thiết detA  Tính chất 2.3.7 det  AB  detA.detB Chứng minh Nếu A suy biến AB suy biến theo tính chất 2.3.2 ta có detA.detB   det  AB Giả sử A không suy biến thì, A  Cd m  , C  En  K  suy AB  Cd m  B Ma trận d m  B nhận từ ma trận B cách nhân dòng cuối bên trái với m nên theo (I) ta có detd m  B  m detB Mặt khác, ma trận C tích phép co sơ cấp nên theo tính chất 2.3.1 ta có detCd m  B  detd m  B  m detB  detA.detB 28 download by : skknchat@gmail.com Tính chất 2.3.8 Định thức không thay đổi ta áp dụng phép biến đổi loại  E ' ma trận Chứng minh Áp dụng phép biến đổi loại  E ' ma trận A tương đương với việc nhân ma trận A với phép co sơ cấp bên phải Ta có det tij a   suy theo tính chất 2.3.7 nhận det  Atij a   detAdet tij a   detA Tính chất 2.3.9 Nếu đổi chỗ hai cột ma trận định thức nhân với 1 Chứng minh Tương tự tính chất 2.3.3 Tính chất 2.3.10 Nếu nhân bên phải cột ma trận A với m định thức nhân với m Chứng minh Thật vậy, nhân cột cuối ma trận với m det  Ad m   detA.detd m   detA.m Do đó, tính chất 2.3.10 với cột cuối Nếu việc nhân với m xảy cột khơng phải cột cuối sử dụng tính chất 2.3.9 suy điều cần chứng minh 2.4 Sự tồn định thức Dieudonne Trước tiên, ta chứng minh tồn định thức Dieudonne quy nạp theo cấp n ma trận Với n  giả sử A  a detA  a Khi đó, ta kiểm tra điều kiện: detl A  det la  la  l.a  l.detA nên điều kiện (I) thỏa mãn Điều kiện (II) (III) hiển nhiên Giả sử xây dựng định thức Dieudonne cấp n 1 , ta xây dựng định thức cấp n Thật vây, giả sử A ma trận vuông cấp n vành chia K Nếu ma trận A suy biến đặt detA  Do A suy biến nên dịng A phụ thuộc tuyến tính Khi đó, tiên đề (I) (II) thỏa mãn phép biến 29 download by : skknchat@gmail.com đổi tiên đề khơng làm thay đổi phụ thuộc tuyến tính dịng ma trận Vậy tồn detA Nếu A không suy biến Khi đó, dịng A độc lập tuyến tính trái, khơng gian dịng A có số chiều n Véc tơ 1, 0, , 0  K n biểu diễn cách thành tổ hợp tuyến tính dịng ma trận A n  l A  1, 0, , 0 k k 1 (2.1) k với lk  K không đồng thời 0, Ak k  1, 2, , n dòng ma trận A Viết Ai  ai1 , Bi  , Bi véc tơ độ dài n 1 Thay vào (2.1) ta được: n n  lk ak1  1, l B k 1 k 1 k k 0 (2.2) Gọi F ma trận lập nên từ n dòng Bi độ dài n 1 Với  i  n , gọi Ci ma trận từ F cách xóa dịng thứ i Theo giả thiết quy nạp, tồn det Ci Sau số tính chất Ci : Thứ nhất, li  từ điều kiện n l B k 1 k k  kết hợp với lk không đồng thời , suy dòng Ci phụ thuộc tuyến tính, detCi  Thứ hai, giả sử li  0, j  i l j  Gọi D E ma trận nhận từ Ci cách thay B j tương ứng l j B j Bi Khi đó, ta có detCi  l j1detD (2.3) Nếu D thay dòng l j B j tổng với tất dịng cịn lại (tức thay dòng l j B j l B k i k k ) Khi đó, từ (2.2) suy l B k i k k  li Bi Do đó, detD  -li detE Kết hợp với (2.3) ta detCi  lj -li  detE Thực i  j 1 phép biến đổi dịng kế ta đưa ma trận E thành ma trận C j Vậy 30 download by : skknchat@gmail.com i j1 detCi  1 lj -li  detC j Từ suy i 1 j 1 1 li1detCi  1 lj 1detC j (2.4) i 1 Công thức (2.4) chứng tỏ biểu thức 1 li1detCi giống li  Ta gọi đại lượng định thức ma trận A Vậy, theo định nghĩa i 1 detA  1 li1detCi (2.5) Tiếp theo, ta chứng minh định nghĩa nói thỏa mãn tất tiên đề (I), (II) (III) Xét tiên đề (I): Gọi A ' ma trận nhận từ A cách thay dòng Ai m Ai Nếu m  A ' có dịng nên A ' suy biến, detA '   0.detA Vậy giả sử m  Nếu li  i 1 detA  1 li m 1  1 i 1  1 detCi  mli1 detCi i 1  m 1 li1detCi  m detA Nếu lk  với k  i k 1 detA  1 lk1detCk  , Ck  nhận từ Ck cách nhân dòng Bi bên trái với m Theo giả thiết quy nạp, detCk   m detCk Vậy k 1 detA  1 lk1 m detCk  m detA Xét tiên đề (II): Giả sử A nhận từ A cách thay dòng Ai Ai  A j Ta có 31 download by : skknchat@gmail.com n  l A  1, 0, , 0 k 1 k k   lk Ak  li Ai  l j A j  1, 0, , 0 k i , j   lk Ak  li  Ai  A j   l j  li  A j  1, 0, , 0 k i , j   lk Ak  li Ai  l j  li  Aj  1, 0, , 0 k i , j Nếu tồn k  i, j cho lk  k 1 detA  1 lk1detCk  Trong đó, Ck  nhận từ Ck cách thay dòng tổng dịng dịng khác Mà detCk   detCk nên suy detA  detA Nếu li  Ci  Ci ta có i 1 detA  1 li1detCi   detA Nếu l j  0, lk  0, k  j Khi đó, ta có n l B k 1 k k  lj Bj   Bj   Bi  B j  Bi suy C j   C j Do đó, ta có detA  1 j 1 l j1detC j   1 j 1 l j1detC j  detA Vậy, (II) thỏa mãn trường hợp Xét tiên đề (III): Xét ma trận đơn vị I n Khi đó, phân tích (2.1) ta có l1  lk  0, k  Do đó, 11 detI n  1 11detC1  1detI n1  Vậy, ta chứng minh tồn định thức Dieudonne cấp n 2.5 Một số kết suy từ định nghĩa tính chất định thức Dieudonne Từ định nghĩa tính chất định thức Dieudonne ta có GLn  K    A  Mn  K  detA  0 32 download by : skknchat@gmail.com Định nghĩa 2.5.1 Tập hợp SLn  K    A  GLn  K  detA  1 nhóm GLn  K  , gọi nhóm tuyến tính đặc biệt bậc n K Hiển nhiên En  K   SLn  K  Ta chứng minh bất đẳng thức ngược lại, nghĩa thực tế SLn  K   En  K  Bổ đề 2.5.2 Cho c   a, b : aba1b1 , với a, b  K * Khi đó, n  2, d c  En  K  Chứng minh Với n  , xét dãy phép biến đổi sau: 1  0 0 d2 a1d1      1 a 1  d2  a1d1    1 a 0 d1ad2     1 a 1 a  d1 abd2 aba1    1  a b1  a d2 b1a1d1     1 a   d2 ab1 d1 aba1     b1  aba1  d1aba1d2 0 c  d2 b1c1d1 0 d2 ab1a1 d1          1 b1  1  b1  0 c d d 1 0 d d 1 0 d2 d1 2   d c             1 c  1 c 0 c a    b1    b1  c   Kết cho thấy d c tích phép co sơ cấp Vậy d c  E2  K  Với n  : Dùng phép biến đổi áp dụng cho cấp phía ma trận đơn vị, ta suy d c  En  K  1      1                 0      d c    c  Định lý 2.5.3 Với n  , SLn  K   En  K  Ngoài ra, SLn  K  GLn  K  GLn  K  SLn  K   K * Chứng minh Với A  SLn  K  , theo Định lý 2.1.8 ta viết A  B.d m  , B  En  K  , m  K * Khi đó, detA  detB.detd m  , suy  1.m hay m  Do đó, m  c1 cm (các ci i  1, m giao hốn tử) Vì vậy, ta có d m   d c1  d cm  33 download by : skknchat@gmail.com mà d ci   En  K i  1, m , suy d ( m ) ∈ En ( K ) , kéo theo A  En  K  Do đó, SLn  K   En  K  Mặt khác, ta ln có En  K   SLn  K  Vậy SLn  K   En  K  Xét ánh xạ: det : GLn  K   K * A  detA Do det  A.B  detA.detB với A, B  GLn  K  nên ánh xạ đồng cấu nhóm Mặt khác,  m  K * , ta có det d m   m Do đó, det tồn cấu Mặt khác, SLn  K   Ker det  GLn  K  Do đó, GLn  K  SLn  K   K * B Định lý 2.5.4 Cho A    C B   (hoặc A    D C   ), B D ma D trận vng Khi đó, det A  detB.detD Chứng minh Nếu B ma trận suy biến dịng phụ thuộc tuyến tính, nên dịng A phụ thuộc tuyến tính Trong trường hợp này, detA  detB  , cơng thức thỏa mãn Giả sử B ma trận không suy biến Khi đó, áp dụng phép biến đổi loại (E) ma trận B (và ma trận A ) để đưa B dạng d m  , kéo theo detB  m Đưa m ngồi dấu định thức ta có I detA  m det  r C Ir C Đặt A     D   Dùng phép biến đổi loại (E) đưa A dạng D I A   r  0   D Nếu D suy biến A suy biến công thức thỏa mãn Nếu D khơng suy biến dùng phép biến đổi loại (E) để đưa D dạng d h Khi I detA  hdet  r  0    h.1  h I s  Từ suy detA  m h  detB.detD 34 download by : skknchat@gmail.com Như biết, định thức vành giao hốn có tính tuyến tính dòng cột Còn định thức Dieudonne tính chất tuyến tính khơng cịn thỏa mãn Tuy nhiên, ta chứng minh tính chất gần giống Gọi K ′ =  K * , K *  giao hoán tử nhóm nhân K * phần tử khác vành chia K Khi phần tử a ∈ K * viết dạng a = aK ′ Định nghĩa tổng phần tử a b a + b := aK ′ + bK ′= {ak + bk } k1 , k2 ∈ K ′ tập hợp tổng phần tử a b Khi đó, a + b ∈ a + b, kéo theo ( a + b ) c ⊆ ac + bc Lưu ý rằng, K trường a = a, ∀a ∈ K * , kéo theo a + b = a + b Nếu ta xét định thức hàm số dịng đó, chẳng hạn An , ta coi dịng cịn lại khơng thay đổi Kí hiệu hàm D  An  Khi đó, ta có kết sau:     Định lý 2.5.5 D An  An  D  An   D An Chứng minh Vì véc tơ dịng A1 , , An , An phụ thuộc tuyến tính nên tồn tổ hợp tuyến tính khơng tầm thường r A1   r n1 An1  l An  m An  Nếu l  m  n 1 dịng định thức phụ thuộc tuyến tính nên định thức Do bao hàm thức hiển nhiên thỏa mãn Nếu, chẳng hạn l  khơng làm tính tổng qt, giả sử l  Thay dòng cuối ma trận A r1 A1   r n1 An1  An  m An , nhận       D  An   D m An  m D An  m D An Làm ma trận có dòng A1 , , An1 , An  An , nhận   r A1   r n1 An1  An  An  m An  An  1 m  An , 35 download by : skknchat@gmail.com           suy D An  An  D 1 m  An  1 m  D An Do đó, ta có       D An  An  1 m  D An  1.D An  m  D An  D  An   D An 2.6 Một số phương pháp tính định thức Dieudonne Dựa vào định nghĩa số tính chất định thức Dieudonne ta trình bày hai phương pháp tính định thức Dieudonne sau 2.6.1 Phương pháp Phương pháp dựa vào phép biến đổi loại (E) (E’), kết hợp với số tính chất để đưa định thức dạng tam giác, sau định thức Dieudonne tích phần tử đường chéo Ví dụ 2.6.1 Với , b i , g i  K * i  1, 3 , tính a1 b1 g1 a1 b Ta có g1 a1  0 a2 b2 g2 a3 a1 b3  g3 a2 b  b1a11a2 a2 b  b1a11a2 g  g1a11a2 a2 b2 g2 a3 b3 g3 a3 b  b1a11a3 g  g1a11a3 a3 b  b1a11a3 g  g1a11a3  g  g1a11a2 b  b1a11a2  1 b  b1a11a3  1    a1 b  b1a11a2   g  g1a11a3  g  g1a11a2 b  b1a11a2  b  b1a11a3    2.6.2 Phương pháp Phương pháp dựa phần chứng minh tồn định thức Dieudonne Cho A  GLn  K  , giả sử dòng A Ak Khi đó, tồn tổ hợp tuyến tính 36 download by : skknchat@gmail.com n l A k 1 k i j k  0, ,1, , 0 (1 vị trí thứ j ) 1 Khi đó, detA  1 li  detCi Trong đó, Ci ma trận nhận từ A cách xóa dịng i, cột j a Ví dụ 2.6.2 Tính detA  c 0 c b a Ta có a1  a b   c 1  c 0  a1ba1 0 c a   0 0 Khi đó, ta tính detA sau: a  1 detA  1 l11detC1  1 detA  1 l21detC2  1 c  detA  1 l31detC3  1 a 1 1 1 c 0 a  a c Hoặc 2 2 1 1 a b a  a c Hoặc 3 3 1 ba1  1 a c b  a c 2.7 So sánh định thức vành giao hoán định thức Dieudonne 2.7.1 Một số tính chất giống hai định thức Nếu nhân dịng (cột) A với m định thức nhân lên với m Nếu ma trận A có dịng (cột) detA  Nếu đổi chỗ hai dòng (cột) ma trận định thức đổi dấu Nếu ma trận có hai dịng (cột) tỉ lệ với định thức Nếu ta cộng dịng (cột) ma trận A với tổ hợp tuyến tính trái (phải) dịng (cột) cịn lại định thức không đổi 37 download by : skknchat@gmail.com Nếu dịng (cột) ma trận A tổ hợp tuyến tính trái (phải) dịng cịn lại detA  Nếu A ma trận tam giác det A tích phần tử đường chéo detI n  det  A.B  detA.detB 2.7.2 Một số tính chất khác hai định thức Bảng so sánh số tính chất khác định thức vành giao hoán định thức Dieudonne Định thức vành giao hoán Định thức Dieudonne detA  detAT detA  detAT Định thức ma trận A 1 a 1 a b   ab Ví dụ a: Cho A    b ab  định thức ma trận chuyển vị ma trận A suy AT   Khi đó, ta có detA  b detAT  a 1 a  Ví dụ b: Cho A   b ab 1 a b   ab suy AT   Khi đó, ta có a  ab  ab  ab b  ab  ab  ab detA  a  ab b a ab  ba  ab - ba det AT   a b ab b ab  ab  Có thể đưa thừa số bên Không thể đưa thừa số phải dịng ngồi dấu bên phải dịng định thức ngồi dấu định thức Ví dụ c: Ví dụ d: b a b ab a  a 38 download by : skknchat@gmail.com Định thức vành giao hoán Định thức Dieudonne b a  ab a ab  ba  ab - ba Mà b a a  Có thể đưa thừa số bên trái Không thể đưa thừa số cột dấu định bên trái cột thức ngồi dấu định thức Ví dụ e: Ví dụ f: a b ab a 1 b b b  a  ab a ab  ba  ab - ba Mà a b  b Có tính chất tuyến tính Khơng có tính chất tuyến dịng cột Khi det A  tính dòng cột Các dòng A độc lập tuyến Các dịng A độc lập tính trái phải tuyến tính trái Các cột A độc lập tuyến Các cột A độc lập tính trái phải tuyến tính phải 39 download by : skknchat@gmail.com KẾT LUẬN Trong luận văn này, chúng tơi trình bày nội dung sau: - Nhắc lại định nghĩa, tính chất, phương pháp tính định thức đại số tuyến tính cịn với vành giao hốn có đơn vị, đặc biệt chứng minh số tính chất khác với trường điều kiện khả nghịch ma trận, điều kiện để hệ phương trình tuyến tính có nghiệm khơng tầm thường, điều kiện để ma trận ước không vành Mn ( R ) - Từ định nghĩa, tính chất, tồn định thức Dieudonne số phương pháp tính định thức Dieudonne - Đặc biệt số tính chất giống khác định thức vành giao hoán định thức Dieudonne 40 download by : skknchat@gmail.com TÀI LIỆU THAM KHẢO Tiếng Việt Bùi Xuân Hải (2011), Nhóm tuyến tính, Nxb Đại học Quốc gia Thành phố Hồ Chí Minh Bùi Xuân Hải (2009), Đại số tuyến tính ứng dụng, Nxb Đại học Quốc gia Thành phố Hồ Chí Minh Tiếng Anh S Lang (2002), Algebra, GTM 211, Springer-Verlag, pp 511-522 N H McCoy (1962), Rings and Ideals, The Carus Mathematical Monographs, pp 155162 41 download by : skknchat@gmail.com ... chất khác hai định thức Bảng so sánh số tính chất khác định thức vành giao hoán định thức Dieudonne Định thức vành giao hoán Định thức Dieudonne detA  detAT detA  detAT Định thức ma trận A... CHƯƠNG 1: ĐỊNH THỨC TRÊN VÀNH GIAO HOÁN 1.1 Một số khái niệm .5 1.2 Định nghĩa định thức vành giao hoán 1.3 Một số tính chất định thức vành giao hoán 1.4 Một số định. .. hoán vành chia dẫn đến khác biệt hai định thức Trên số lý chọn đề tài ? ?Định thức vành giao hốn định thức Dieudonne? ?? để nghiên cứu tìm hiểu Luận văn tổng hợp, trình bày Lý thuyết định thức vành giao