Hệ bất biến của một lớp con các đại số lie giải được 4, 5 chiều

Tạp chí KHOA HỌC ĐHSP TP. HCM Lê Anh Vũ, Trần Minh Hải, Lê Thị Thu Trang 
 1 
HỆ BẤT BIẾN CỦA MỘT LỚP CON 
CÁC ĐẠI SỐ LIE GIẢI ĐƯỢC 4, 5 CHIỀU 
Lê Anh Vũ*, Trần Minh Hải†, Lê Thị Thu Trang‡ 
1. Mở đầu 
Trong các năm 1990-1992, tác giả thứ nhất đã nghiên cứu lớp MD4 (xem 
[6], [7]). Vài năm gần đây, tác giả thứ nhất cùng các cộng sự Nguyễn Công Trí, 
Dương Minh Thành, Dương Quang Hòa tiếp tục nghiên cứu lớp MD5 trong các 
công trình [8], [9], [10], [11], [12], [13]. Lý do và ý nghĩa của việc nghiên lớp 
MD đã được giải thích rõ trong các công trinh đó. 
Gần đây, năm 2006, các nhà Toán học V. Boyko, J. Patera và R. Popovych 
([20]) giới thiệu một phương pháp hiệu quả để tính các bất biến của đại số Lie số 
chiều thấp. Khác với phương pháp trước đây, phương pháp này thay việc giải 
một hệ phương trình vi phân phức tạp bằng các phép tính thuần túy đại số. Từ 
đây, một cách tự nhiên nảy sinh ra bài toán: tính hệ bất biến của các MD-đại số 
đã biết bằng phương pháp của Boyko, Patera và Popovych. 
Trong bài báo này, chúng tôi sẽ dùng phương pháp của V. Boyko, J. Patera 
và R. Popovych để tính toán tường minh hệ bất biến của toàn bộ các MD4-đại số 
bất khả phân và các MD5-đại số bất khả phân với ideal dẫn xuất giao hoán (mục 
3). Vì khối lượng tính toán nhiều và có sử dụng phần mềm chuyên dụng Matlab 
nên sau khi giới thiệu tóm tắt phương pháp của V. Boyko, J. Patera và R. 
Popovych , chúng tôi chỉ liệt kê hệ bất biến của các MD-đại số được xét mà 
không trình bày chi tiết các tính toán cụ thể. 
2. Một số khái niệm và tính chất cơ bản 
2.1. Biểu diễn phụ hợp và K–biểu diễn 
2.1.1. K–biểu diễn của một nhóm Lie 
* PGS.TS. – Trường ĐHSP Tp. HCM. 
† ThS. – Trường THPT Phan Bội Châu, Bình Thuận. 
‡ ThS. – Trường THPT Nguyễn Huệ, Tây Ninh. 
Tạp chí KHOA HỌC ĐHSP TP. HCM Số 16 năm 2009 
 2 
Giả sử G là một nhóm Lie tùy ý, G là đại số Lie của nó. Xét tác động Ad: G 
 GL(G) của G lên G được định nghĩa như sau: 
Ad(g) = 1
*
.g gL R : G G, g G , 
trong đó gL (tương ứng 1gR ) là phép tịnh tiến trái (tương ứng, phải) của G theo 
phần tử g G (tương ứng, 1g G ). Tác động Ad còn gọi là biểu diễn phụ hợp 
của G trong G. 
Ký hiệu G* là không gian đối ngẫu của đại số Lie G. Khi đó biểu diễn Ad 
cảm sinh ra tác động K=Ad*: G GL(G*) của G lên G* như sau: 
1 ,*K(g)f, X = f, Ad(g )X , X , f g G        G G , 
ở đây ký hiệu f,X  chỉ giá trị của dạng tuyến tính f *G tại trường vectơ 
(bất biến trái) X G . Tác động K được gọi là biểu diễn đối phụ hợp hay K–biểu 
diễn của G trong G*. Mỗi quỹ đạo ứng với K–biểu diễn được gọi là K–quỹ đạo 
hay quỹ đạo Kirillov của G (trong G*). 
Mỗi K–quỹ đạo của G luôn là một G–đa tạp vi phân thuần nhất với số chiều 
chẵn và trên đó có thể đưa vào một cấu trúc symplectic tự nhiên tương thích với 
tác động của G. 
Ký hiệu O(G) là tập hợp các K–quỹ đạo của G và trang bị trên đó tôpô 
thương của tôpô tự nhiên trong G*. Nói chung thì tôpô thu được khá “xấu”, nó có 
thể không tách, thậm chí không nửa tách. 
2.2. Các MD–nhóm và MD–đại số 
Giả sử G là một nhóm Lie thực giải được G là đại số Lie của G và G* là 
không gian đối ngẫu của G. 
Nhóm G được gọi là có tính chất MD hay là MD–nhóm nếu các K–quỹ đạo 
của nó hoặc là không chiều hoặc có số chiều cực đại. Trường hợp số chiều cực 
đại đúng bằng số chiều của nhóm thì nhóm G được gọi là có tính chất MD hay 
còn gọi là MD –nhóm. Đại số Lie thực giải được G ứng với MD–nhóm (tương 
ứng, MD–nhóm) được gọi là MD–đại số (tương ứng, MD –đại số). 
Tạp chí KHOA HỌC ĐHSP TP. HCM Lê Anh Vũ, Trần Minh Hải, Lê Thị Thu Trang 
 3 
2.3. Khái niệm về các bất biến của một đại số Lie 
Xét đại số Lie G có số chiều dimG = n < trên trường  hoặc  , nhóm 
Lie liên thông tương ứng G và không gian đối ngẫu G* của không gian vectơ G. 
Bất kỳ cơ sở (cố định) e1, e2, , en của G cũng đều thỏa mãn các hệ thức 
[ , ] ki j ij ke e c e , trong đó ( , , 1, )
k
ijc i j k n là các thành phần tensor của các hằng số 
cấu trúc của G trong cơ sở đã chọn. 
Ảnh AdG của G bởi tác động phụ hợp Ad là nhóm tự đẳng cấu trong Int(G) 
của đại số Lie G. Ảnh của G bởi tác động đối phụ hợp K = Ad* là nhóm con của 
GL(G*) và được ký hiệu bởi *GAd hay K(G). Một hàm 
*( )F C G được gọi là 
bất biến của *GAd nếu 
 * ( ),gF Ad f F f *, g G f G . 
Đặt x = (x1, x2, , xn) là tọa độ của x trong G* trong cơ sở đối ngẫu của cơ 
sở e1, e2, , en. Bất biến bất kỳ F(x1, x2, , xn) của *GAd là nghiệm của hệ 
phương trình đạo hàm riêng cấp một (xem [2] và [3]) 
XiF = 0, nghĩa là 0
j
k
ij k xc x F , (1) 
trong đó 
j
k
i ij k xX c x  là phần tử sinh hữu hạn của nhóm 1- tham số 
 * (exp )G iAd e tương ứng với ei. Mỗi ánh xạ ei Xi cho ta một biểu diễn của đại 
số Lie G. 
Số dương lớn nhất NG của các hàm bất biến độc lập Fl(x1, x2, , xn), l = 1, 
, NG, là số nghiệm độc lập của hệ (1) (xem [3] và [17]) và nó chính là số phần 
tử cơ sở của các hàm bất biến của *GAd . Số này được cho bởi hiệu 
NG = dimG – rankG, (2) 
ở đây 
rankG = 
1
, =1( , , )
sup rank
n
nk
ij k
i jx ... x
c x . 
Tạp chí KHOA HỌC ĐHSP TP. HCM Số 16 năm 2009 
 4 
Cho bất biến bất kỳ F(x1, x2, , xn) của *GAd , chúng ta tìm bất biến tương 
ứng của đại số Lie G bằng cách đối xứng hóa, SymF(e1, e2, , en), của F. Nó 
thường được gọi là toán tử Casimir tổng quát của G. Nếu F là đa thức, SymF(e1, 
e2, , en) gọi là toán tử Casimir thông thường. Chính xác hơn, toán tử đối xứng 
hóa Sym chỉ tác động trên các đơn thức dạng 
1 2
.
ri i i
e e ...e gồm các phần tử không 
giao hoán trong số 
1 2
, ,
ri i i
e e ..., e , và được định nghĩa bởi công thức 
  1 1
1Sym ( ... ) ...
!r rr
i i i i
S
e e e e
r   
  , 
trong đó i1, i2, , ir lấy các giá trị từ 1 đến n, r  , Sr là số các hoán vị của 
nhóm gồm r phần tử. 
Tập các bất biến của *GAd và G lần lượt được ký hiệu bởi Inv(
*
GAd ) và 
Int(G). Một tập các hàm bất biến độc lập Fl(x1, x2, , xn), l = 1, , NG, tạo thành 
một cơ sở hàm (bất biến cơ bản) của Inv( *GAd ). Vì vậy, tập các SymF
l(e1, e2, , 
en), l = 1, , NG , được gọi là cơ sở của Inv(G). 
3. Tính hệ bất biến của các MD4 và MD5- đại số bằng phương pháp 
Boyko – Patera – Popovych 
3.1. Thuật toán tính các bất biến 
Phương pháp cơ bản của việc xây dựng các toán tử Casimir tổng quát là 
phép lấy tích phân của hệ phương trình vi phân tuyến tính (1), nhưng việc tính 
toán theo phương pháp này khá phức tạp. Phương pháp đại số hóa sử dụng trong 
quá trình tính toán hệ bất biến của các đại số Lie của Boyko – Patera – Popovych 
(xem [20]) mà chúng tôi tóm tắt dưới đây đơn giản hơn nhiều. 
Bước 1: Xây dựng ma trận B  của GAd* 
Ma trận B  được tính toán từ các hằng số cấu trúc của đại số Lie bằng 
ánh xạ mũ với  
1
exp ad
n r i
r
ei
i
B
   . Ma trận là ma trận của phép tự đẳng 
cấu trong của đại số Lie G trong cơ sở đã cho 1, ..., ne e , 1,..., r    là nhóm 
các tham số (tọa độ) của Int(G), Z(G) là tâm của G và 
Tạp chí KHOA HỌC ĐHSP TP. HCM Lê Anh Vũ, Trần Minh Hải, Lê Thị Thu Trang 
 5 
 *dim Ad dim dimGr Int n Z G G . Ở đây 1, ..., n re e được xem như là 
một cơ sở của Z(G); adu là biểu diễn phụ hợp của Gu trong GL(G): 
 , ad  Guw u, w w= , còn ma trận của adu đối với cơ sở 1, ..., ne e được kí hiệu 
là ad u . Đặc biệt,  
, 1i
nk
e ij j k
ad c
 . 
Khi n = dimG là một số nguyên nhỏ thì việc tính toán hoàn toàn không 
phức tạp. Thời gian tính toán về cơ bản phụ thuộc vào việc lựa chọn cơ sở của 
đại số Lie G. 
Bước 2: Xây dựng các phép biến đổi hữu hạn 
Các phép biến đổi từ *GAd có thể được trình bày theo dạng tọa độ như sau: 
 1 1 1,..., ,..., . ,...,n n rx x x x B     , (3) 
hoặc ngắn gọn .x x B   . Vế phải .x B  của đẳng thức (3) là dạng chi tiết của 
bất biến nâng cơ bản  của *GAd với hệ tọa độ đã chọn , x trong * *GAd G . 
Bước 3: Khử các tham số trong hệ (3) 
Hệ phương trình hệ quả của (3) có đúng NG phương trình đại số độc lập đối 
với tham số của  (xem [Fe-Olv1] và [Fe-Olv2]). Chúng có thể được viết dưới 
dạng: 
 1 1,..., ,..., , 1,..., .l ln nF x x F x x l N   G 
Bước 4: Đối xứng hóa 
Các hàm 1,...,l nF x x mà tạo thành cơ sở của *GInv Ad được đối xứng hóa 
thành 1,...,l nSymF e e , chính là cơ sở của Inv G . 
3.2. Hệ bất biến của các MD4-đại số bát khả phân và các MD5-đại số với 
ideal dẫn xuất giao hoán 
Áp dụng phương pháp nêu trên, tính toán trực tiếp với sự hỗ trợ của phần 
mềm chuyên dụng Matlab chúng tôi nhận được hệ bất biến của toàn bộ các các 
MD4-đại số bất khả phân và các MD5-đại số bất khả phân với ideal dẫn xuất 
Tạp chí KHOA HỌC ĐHSP TP. HCM Số 16 năm 2009 
 6 
giao hoán. Do có khá nhiều các MD4 và MD5-đại số, hơn nữa khuôn khổ bài báo 
lại hạn chế, chúng tôi sẽ không liệt kê lại các MD-đại số này mà đề nghị bạn đọc 
tham khảo trong các tài liệu [7], [13] của tác giả thứ nhất. 
Bảng 1: liệt kê các bất biến của các MD4 – đại số bất khả phân 
MD4– 
đại số 
Các hoán tử khác 0 Các bất biến 
3X  
1G 
G 4, 1, 1  4 1 3X ,X X 2 3X ,X 
G 4, 1, 2  4 3 3X ,X X 1 2X ,X 
2
2 3X ,X  
1G 
  
1 44 1 2 20 X XX ,X ,ad Mat ,ad GL  
 G 4, 2, 1    4 2 2 4 3 3X ,X X ; X ,X X  21
3
XX ,
X 
G 4, 2, 2    4 2 2 4 3 2 3X ,X X ; X ,X X X 3
1
2 2
1 exp XX ,
X X
 G 4, 2, 3  
 
4 2 2 3
4 3 2 3
, .cos .sin
, .sin .cos
X X X X
X X X X
1 2, exp 2 cos .arctan1 sin2 2 32 3
X
X
XX X
G 4, 2, 4      
 
1 2 3 1 3 2 4 2 2
4 3 3
X ,X X ; X ,X X ; X ,X X
X ,X X
 Không có 
4
3
3
1 2 3
X
X ,X ,X ,
ad GL
 


1G 
 2, G 14, 3, 1
      4 1 1 1 4 2 2 2 4 3 3X ,X X ; X ,X X ; X ,X X  
 1 1 2 23 3 3 3
1 1 2 2
x x x x
,
x x x x
 
 
    
 G 4, 3, 2    
 
4 1 1 4 2 1 2
4 3 3
X ,X X ; X ,X X X
X ,X X
  2 2
3 1 1 1
1 1exp , expX X
X X X X
 
G 4, 3, 3    
 
4 1 1 4 2 1 2
4 3 2 3
X ,X X ; X ,X X X ;
X ,X X X
 2
32 2
1 1 1 1
1 1e x p ,
2
XX X
X X X X
  G 4, 3, 4 ,  
 
 
4 1 1 2
4 2 1 2
4 3 3
, cos sin
, sin cos
,
X X X X
X X X X
X X X

2
sin
13
1 exp arctan X
XX 

3
1 2 3X ,X ,X h 
1G (Đại số Lie Heisenberg 3 chiều) 
      
41 2 3 1 3 2 3 30 XX ,X X , X ,X X ,X ,ad Mat 
G 4, 4, 1    4 1 2 4 2 1X ,X X ; X ,X X 
 2 23 1 2 3 4 4 3X ,X X X X X X 
G 4, 4, 2    4 1 1 4 2 2X ,X X ; X ,X X 3 4 4 31 2 2 13
2 2
X X X XX X X X
X ,
Tạp chí KHOA HỌC ĐHSP TP. HCM Lê Anh Vũ, Trần Minh Hải, Lê Thị Thu Trang 
 7 
Bảng 2: liệt kê hệ bất biến của các MD5 – đại số 
MD5–đại số Các bất biến 
1
5 .X    G 
5,1G [X1, X2] = X5; [X3, X4] = X5 X5 
1 2
4 5,X X    G 
5,2,1G [X1, X2] = X4; [X2, X3] = X5 X X X X X X X XX X 1 5 5 1 3 4 4 34 5, , 2
5,2,2( )G 
[X1, X2] = [X3, X4] = X5; 
 [X2, X3] =  X4 ( \{0}).  
X5 
1
3 4 5, ,X X X
    G ; 
1
3( ) ( ), 1, 2;iXad End Mat i  G 1 2 3[ , ] .X X X 
1 25,3,1( , ) G
 1 2
1
2
1 2 1 2
0 0
0; 0 0 ;
0 0 1
, \{1}, 0
X Xad ad 


   
 
 

 
XX
 X X
XX
11
2
54
1 1 3
33
, , .
5,3,2( )G 1 2
1 0 0
0; 0 1 0 ;
0 0
\{0,1}.
X Xad ad 


 

XX
 X X
X X
54
1 3
3 3
, , 
5,3,3( )G 1 2
0 0
0; 0 1 0 ;
0 0 1
\{1}.
X Xad ad 


 
X X X X
X X

 5 4 3 1
4 3
0 : , , 
X XX X
X X
5 1
3 4
4 3
0 : , , exp 
5,3,4G 1 2
1 0 0
0; 0 1 0 .
0 0 1
X Xad ad
X X
 X X
X X
5 4
3 1
4 3
, , .
5,3,5( )G 1 2
0 0
0; 0 1 1 ;
0 0 1
\ {1}.
X Xad ad 


 

 
XX
 X X 
X X X
54
3 1
3 4 4
10 : , , exp
XX XX X 
X X X
51 1
3 4
3 4 3
0 : , exp , 
5,3,6( )G
 1 2
1 1 0
0; 0 1 0 ;
0 0
\{0,1}.
X Xad ad 


 

X X
 X X 
X XX
5 4
1 3
3 33
1, , exp 
Tạp chí KHOA HỌC ĐHSP TP. HCM Số 16 năm 2009 
 8 
5,3,7G 1 2
1 1 0
0; 0 1 1
0 0 1
X Xad ad
XX X
X X 
X X X X
2
54 4
3 1
3 3 3 3
1 1, exp ,
2
5,3,8( , ) G 
1 2
cos sin 0
0; sin cos 0 ;
0 0
\{0}, (0, ).
X Xad ad

 
 
X X
XX
X
3 4
34
3
exp cot .arctan ,
cos arctan

X
X
X
4
5
3
exp .arctan ,
sin
 X X X1 3 4cos sin . 
1 4
2 3 4 5, , ,X X X X    G ; 
1
1
4( ) ( ).Xad End Mat  G 
1 2 35,4,1( , , )  G
1
1
2
3
1 2 3 2 3 1
0 0 0
0 0 0
;
0 0 0
0 0 0 1
, , \ {0,1}, .
X
1
ad 



      
 
 
 
X XX
XX X
1 11
2 3
3 54
22 2
, , 
1 25,4,2( , ) G
 1
1
2
1 2 2
0 0 0
0 0 0
;
0 0 1 0
0 0 0 1
, \ {0,1}, .
X
1
ad 


   
 
 

X XX
X XX
1 11
2
3 54
2 22
, , 
5,4,3( )G 1
0 0 0
0 0 0
; \ {0,1}.
0 0 1 0
0 0 0 1
Xad 




X XX
X X X
3 54
2 2 2
, , 
5,4,4( )G 1
0 0 0
0 1 0 0
; \ {0,1}.
0 0 1 0
0 0 0 1
Xad 



 X XX
X X X
3 54
2 2 2
, , 
5,4,5G 1
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
Xad
 X XX
X X X
3 54
2 2 2
, , 
Tạp chí KHOA HỌC ĐHSP TP. HCM Lê Anh Vũ, Trần Minh Hải, Lê Thị Thu Trang 
 9 
1 25,4,6( , ) G
 1
1
2
1 2 2
0 0 0
0 0 0
;
0 0 1 1
0 0 0 1
, \{0,1}, .
X
1
ad 


   
 
 

X XX
X X XX
1 1
2
3 54
2 4 42
1, , exp 
5,4,7( )G 1
0 0 0
0 0 0
; \ {0,1}.
0 0 1 1
0 0 0 1
Xad 




 
X XX
X X X X
3 54
2 2 4 4
1, , exp 
5,4,8( )G 1
1 0 0
0 0 0
; \ {0,1}.
0 0 1 1
0 0 0 1
Xad 




 
X X XX
, 
X X X X X
3 5 34
2 4 2 4 2
1 exp , . 
5,4,9( )G 1
0 0 0
0 1 1 0
; \{0,1}.
0 0 1 1
0 0 0 1
Xad 



 
X XX X
X X X X X
2
3 54 4
2 3 3 3 3
1 1, exp ,
2
5,4,10G 1
1 1 0 0
0 1 1 0
0 0 1 1
0 0 0 1
Xad
X XX
X X X X
X X X X X X
X XX
2
3 34
2 2 2 2
3
5 4 3 3 4 3
2
2 22
1 1exp , ,
2
. . 1
32
1 25,4,11( , , )  G
 1 1
2
1 2
cos sin 0 0
sin cos 0 0
;
0 0 0
0 0 0
\ {0}, (0, ).
Xad 


  
 



X X
 X
XX
XX
XX
X
1
2
5 31
4
24
32
23
2
, exp arctan ,
sin
exp cot .arctan .
cos arctan
5,4,12( , ) G 1
cos sin 0 0
sin cos 0 0
;
0 0 0
0 0 0
\ {0}, (0, ).
Xad


 
 
 
X X
 X 
X X
XX
XX
X
5 3
4
4 2
32
23
2
, exp arctan ,
sin
exp cot .arctan .
cos arctan
5,4,13( , ) G 1
cos sin 0 0
sin cos 0 0
;
0 0 1
0 0 0
\{0}, (0, ).
Xad 


 
 

X
X X
XX
XX
X
X X
X X
5
4 4
32
23
2
5 3
4 2
1
exp ,
exp cot .arctan ,
cos arctan
1 arctan .
sin
Tạp chí KHOA HỌC ĐHSP TP. HCM Số 16 năm 2009 
 10 
5,4,14( , , )  G 
1
cos sin 0 0
sin cos 0 0
;
0 0
0 0
, \{0}, 0, (0, ).
Xad 
 
 
   
 


XX
XX
X
54
45
4
exp arctan ,
cos arctan
XX
XX
X
32
23
2
exp cot .arctan ,
cos arctan
 
X X
X X
5 3
4 2
1 1arctan arctan .
sin
TÀI LIỆU THAM KHẢO 
[1]. A. Kirillov (1976), Elements of the Theory of Representations, Springer – 
Verlag, Berlin – Heidenberg – New York. 
[2]. Abellanas L. and Martinez Alonso L. (1975), A general setting for Casimir 
invariants, J. Math. Phys, V. 16, 1580 - 1584. 
[3]. Beltrametti E. G. and Blasi A. (1966), On the number of Casimir operators 
associated with any Lie group, Phys. Lett., V. 20, 62 - 64. 
[4]. Fels M. and Olver P. (1998), Moving coframes: I. A practical algorithm, Acta 
Appl. Math., V. 51, 161 - 213. 
[5]. Fels M. and Olver P. (1999), Moving coframes: Regularization and theoretical 
foundations, Acta Appl. Math., V. 55, 127 - 208. 
[6]. Lê Anh Vũ – Nguyễn Công Trí (2006), Vài ví dụ về các MD5-đại số và các 
MD5-phân lá đo được liên kết với các MD5-nhóm tương ứng, Tạp chí Khoa 
học trường Đại học Sư phạm thành phố Hồ Chí Minh, số 42, tr.14 - 32. 
[7]. Lê Anh Vũ, Dương Quang Hòa (2007), Bức tranh hình học các K-quỹ đạo của 
các MD5-nhóm liên thông đơn liên mà các MD5-đại số tương ứng có ideal dẫn 
xuất giao hoán bốn chiều, Tạp chí Khoa học trường Đại học Sư phạm thành 
phố Hồ Chí Minh, số 46 (12), Tr. 16 - 28. 
[8]. Le Anh Vu (2003), Foliations Formed by K – orbits of Maximal Dimension of 
Some MD5–Groups, East–West Journal of Mathematics, Vol. 5, NO 3, pp. 159 
– 168. 
Tạp chí KHOA HỌC ĐHSP TP. HCM Lê Anh Vũ, Trần Minh Hải, Lê Thị Thu Trang 
 11 
[9]. Le Anh Vu (1993), Foliations Formed by Orbits of Maximal Dimension in the 
Co– adjoint Representation of a Class of Solvable Lie Groups, Vest. Moscow 
Uni., Math. Bulletin, Vol. 48, N0 3, 24 – 27. 
[10]. Le Anh Vu, K.P. Shum (2008), On a Subclass of 5-dimentional Solvable Lie 
Algebras Which Have Commutative Derived Ideal, Advances in Algebra and 
Combinatorics, World Scientific Publishing Co., pp. 353 – 371. 
[11]. Le Anh Vu (2006), On a Subclass of 5-dimentional Solvable Lie Algebras 
Which Have 3-dimentional Commutative Derived Ideal, East – West Journal of 
Mathematics, Vol. 7, pp. 13 – 22 . 
[12]. Le Anh Vu (1990), On the Foliations Formed by the Generic K– orbits of the 
MD4–Groups, Acta Math.Vietnam, N0 2, 39 – 55. 
[13]. Lê Anh Vũ (2007), Phân loại lớp các MD5-đại số với ideal dẫn xuất giao hoán 
4 chiều, Tạp chí Khoa học trường Đại học Sư phạm thành phố Hồ Chí Minh, số 
46, tr. 3-15. 
[14]. M. Hausner and J. T. Schwartz (1968), Lie Group – Lie Algebra, Gordon and 
Breach, Sci. Publisher, New York – London – Paris. 
[15]. Morozov V. V. (1958), Classification of nilpotent Lie algebras of sixth order, 
Izv. Vys. Ucheb. Zaved. Matematika, N4 (5), 161-171. 
[16]. Mubarakzyanov G. M. (1963), On solvable Lie algebras, Izv. Vys. Ucheb. 
Zaved. Matematika, N1 (32), 114-124. 
[17]. Pauri M. and Prosperi G. M. (1966), On the construction of the invariants 
operators for any finite-parameter Lie group, Nuovo Cimento A, V.43, 533-
537. 
[18]. Pecina-Cruz J. N. (1944), An algorithm to calculate the invariants of any Lie 
algebra, J. Math. Phys, V.35, 3146-3162. 
[19]. Turkowski P. (1990), Solvable Lie algebras of dimention six, J. Math. Phys, 
V.31, 1344-1350. 
[20]. Vyacheslav Boyko, Jiri Patera and Roman Popovych (2006), Computation of 
Lie Algebras by Means of Moving frames, J. Phys. Math. Gen. V.39, 5749 – 
5762. 
Tóm tắt 
Tạp chí KHOA HỌC ĐHSP TP. HCM Số 16 năm 2009 
 12 
Hệ bất biến của một lớp con các đại số Lie giải được 4, 5 chiều 
Bài báo này cho một tính toán tường minh hệ bất biến của các MD4-đại số 
bất khả phân và các MD5-đại số bất khả phân với ideal dẫn xuất giao hoán bằng 
phương pháp Boyko – Patera – Popovych. 
Abstract 
The system of invariants of a subclass of solvable Lie algebras of 
dimension 4 or 5 abstract 
The paper give the system of invariants of indecomposable MD4-algebras 
and indecomposable MD5-algebras having commutative derived ideals by the 
method of Boyko – Patera – Popovych.