Nhóm đồng luân của các hình cầu

Trong toán học, và cụ thể hơn là trong tô pô đại số, các nhóm đồng luân của hình cầu là các bất biến mô tả, một cách đại số, những cách mà các hình cầu  chiều và  chiều có thể quấn quanh nhau. Khái niệm này, vốn ban đầu được xác định cho các mặt cầu 1 chiều (vòng tròn) và 2 chiều (hình cầu), được khái quát cho các mặt cầu  chiều.

 Định nghĩa  
Nhóm đồng luân bậc  của hình cầu  chiều , là tập hợp, ký hiệu , các lớp đồng luân của các hàm liên tục giữa hai hình cầu sao cho một điểm cố định của hình cầu  được gửi tới một điểm cố định của hình cầu  (gọi là hai điểm cơ sở).

Tập hợp  có thể được trang bị một cấu trúc nhóm abel.

Nếu , nhóm này là nhóm tầm thường: .

Nếu , ta có  (có thể chứng minh bằng định lý Hurewicz).

 1 chiều: các nhóm đồng luân của đường tròn 
Ta có:

 ; 
 với.

 2 chiều và 3 chiều 
Các hình cầu có ít nhất hai chiều là đơn liên, nói riêng:



Với mọi  lớn hơn hoặc bằng 3, ta có: , nói riêng:



Với mọi , ta có: , nói riêng:

 , 
 .

nhỏ|Biểu diễn ba chiều của một phần thành thớ Hopf

Thành thớ Hopf cho ta một dãy khớp đồng luân,  Từ  và với ,  ta có một đẳng cấu

  với ,

nói riêng



Với các nhóm đồng luân bậc cao hơn, nhiều kỹ thuật khác cho ta các kết quả sau





+ Các nhóm đồng luân của  và     3  4  5  6  7  số 8  9  10  11  12  13  14  15  16  17  18  19  20  21  22    Z  Z2  Z12  Z2  Z3  Z15  Z2  Z22  Z12×Z2  Z84×Z22  Z22  Z6  Z30  Z2×Z6  Z22×Z12  Z22×Z132 

 Chiều cao hơn 

 Bảng 
Tính toán các nhóm đồng luân của các hình cầu nói chung là phức tạp. Bảng sau tóm gọn lại kết quả thu được. 
π1π2π3π4π5π6π7π8π9π10π11π12π13π14π15π16S1Z000000000000000S20ZZZ2Z2Z12Z2Z2Z3Z15Z2Z22Z12×Z2Z84×Z22Z22Z6S300ZZ2Z2S4000ZZ2Z2Z×Z12Z22Z22Z24×Z3Z15Z2Z23Z120×Z12×Z2Z84×Z25Z26S50000ZZ2Z2Z24Z2Z2Z2Z30Z2Z23Z72×Z2Z504×Z22S600000ZZ2Z2Z240ZZ2Z60Z24×Z2Z23Z72×Z2S7000000ZZ2Z2Z2400Z2Z120Z23Z24S80000000ZZ2Z2Z2400Z2Z×Z120Z24S900000000ZZ2Z2Z2400Z2Z240

 Ổn định khi số chiều lớn 
Bảng đồng luân của  dễ nhìn hơn: 
Snπnπn+1πn+2πn+3πn+4πn+5πn+6πn+7πn+8πn+9πn+10πn+11πn+12πn+13πn+14πn+15S1Z000000000000000S2ZZZ2Z2Z12Z2Z2Z3Z15Z2Z22Z12×Z2Z84×Z22Z22Z6Z30S3ZZ2Z2Z12Z2Z2Z3Z15Z2Z22Z12×Z2Z84×Z22Z22Z6Z30Z30S4ZZ2Z2Z×Z12Z22Z22Z24×Z3Z15Z2Z23Z120×Z12×Z2Z84×Z25Z26Z24×Z6×Z2Z2520×Z6×Z2Z30S5ZZ2Z2Z24Z2Z2Z2Z30Z2Z23Z72×Z2Z504×Z22Z23Z6×Z2Z6×Z2Z30×Z2S6ZZ2Z2Z240ZZ2Z60Z24×Z2Z23Z72×Z2Z504×Z4Z240Z6Z12×Z2Z60×Z6S7ZZ2Z2Z2400Z2Z120Z23Z24Z24×Z2Z504×Z20Z6Z24×Z4Z120×Z23S8ZZ2Z2Z2400Z2Z×Z120Z24Z25Z242×Z2Z504×Z20Z6×Z2Z240×Z24×Z4Z120×Z25S9ZZ2Z2Z2400Z2Z240Z23Z24Z24×Z2Z504×Z20Z6Z16×Z4Z240×Z23S10ZZ2Z2Z2400Z2Z240Z22Z×Z23Z12×Z2Z504Z12Z6Z16×Z2Z240×Z22S11ZZ2Z2Z2400Z2Z240Z22Z23Z6×Z2Z504Z22Z6×Z2Z16×Z2Z240×Z2S12ZZ2Z2Z2400Z2Z240Z22Z23Z6Z×Z504Z2Z6×Z2Z48×Z4×Z2Z240×Z2S13ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z6Z16×Z2Z480×Z2S14ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z×Z3Z8×Z2Z480×Z2S15ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z3Z4×Z2Z480×Z2S16ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z3Z22Z×Z480×Z2S17ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z3Z22Z480×Z2S18ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z3Z22Z480×Z2S19ZZ2Z2Z2400Z2Z240Z22Z23Z6Z5040Z3Z22Z480×Z2
Với số chiều đủ lớn, ta có

  (cột đầu tiên màu vàng của bảng trên) 
  (cột thứ hai - màu tím - của bảng trên) 
  (cột thứ ba - màu lam - của bảng trên)

Hóa ra là  không phụ thuộc vào  với  đủ lớn. Hiện tượng này được gọi là sự ổn định. Nó xuất phát từ định lý suspension Freudenthal sau đây:

 Các đồng cấu suspension  là một đẳng cấu với  
 và là một toàn cấu (theo nghĩa một đồng cấu toàn ánh) với .

 Danh sách các nhóm đồng luân ổn định 
Các nhóm ổn định đầu tiên  là như sau:












Các nhóm đồng luân ổn định là hữu hạn ngoại trừ . 
+ Nhóm đồng luân ổn định     với  nhỏ hơn 23    0  1  2  3  4  5  6  7  số 8  9  10  11  12  13  14  15  16  17  18  19  20  21  22    Z  Z2  Z2  Z24  0  0  Z2  Z240  Z22  Z23  Z6  Z504  0  Z3  Z22  Z480⊕Z2  Z22  Z24  Z8⊕Z2  Z264⊕Z2  Z24  Z22  Z22 
Từ ,  trở nên phức tạp, ví dụ:




+ Nhóm đồng luân ổn định   với  nhỏ hơn 6001234567ZZ2Z2Z24=Z8⊕Z300Z2Z240=Z16⊕Z3⊕Z589101112131415Z22Z23Z6=Z2⊕Z3Z504=Z8⊕Z9⊕Z70Z3Z22Z480⊕Z2=Z32⊕Z2⊕Z3⊕Z51617181920212223Z22Z24Z8⊕Z2Z264⊕Z2=Z8⊕Z2⊕Z3⊕Z11Z24Z22Z22Z16⊕Z8⊕Z2 ⊕Z9⊕Z3 ⊕Z5⊕Z7⊕Z132425262728293031Z22Z22Z22⊕Z3Z24=Z8⊕Z3Z2Z3Z6=Z2⊕Z3Z64⊕Z22⊕Z3 ⊕Z5⊕Z173233343536373839Z24Z25Z4⊕Z23Z8⊕Z22⊕Z27⊕Z7⊕Z19Z6=Z2⊕Z3Z22⊕Z3Z2⊕Z60=Z2⊕Z4⊕Z3⊕Z5Z16⊕Z25⊕Z32⊕Z25⊕Z114041424344454647Z25⊕Z4⊕Z3Z25Z8⊕Z22⊕Z3Z552=Z8⊕Z3⊕Z23Z8Z16⊕Z23 ⊕Z9⊕Z5Z24⊕Z3Z32⊕Z4⊕Z23 ⊕Z9⊕Z3 ⊕Z5⊕Z7⊕Z134849505152535455Z24⊕Z4Z22⊕Z3Z3⊕Z23Z8⊕Z4⊕Z22⊕Z3Z23⊕Z3Z24Z4⊕Z2Z16⊕Z32⊕Z5⊕Z295657585960616263Z22Z24Z22Z8⊕Z22⊕Z9⊕Z7⊕Z11⊕Z31Z4

 Các nhóm đồng luân không ổn định 
Một số nhóm đồng luân không ổn định:

 Với chiều 2 và 3 (): 



 Với chiều 4: 

 Nhóm đồng luân vô hạn 
Các nhóm đồng luân ổn định  là hữu hạn ngoại trừ  (().

Các nhóm đồng luân không ổn định là hữu hạn ngoại trừ các nhóm  (với p > 0). Những nhóm này , , ,...) đẳng cấu với tổng trực tiếp của  và một nhóm hữu hạn.

Tham khảo

 Boris Doubrovine (de), Anatoli Fomenko et Sergueï Novikov, Géométrie contemporaine - Méthodes et applications, tomes 2 et 3
 Claude Godbillon, Éléments de topologie algébrique
 Fabien Morel, «Groupes d'homotopie de sphères algébriques et formes quadratiques», trong Leçons de mathématiques d'aujourd'hui, vol. 3, Cassini, 2007

Thể loại:Tô pô đại số