SỰ TỒN TẠI CỦA PHỨC ĐƠN HÌNH CÓ CÁC NHÓM ĐỒNG ĐIỀU ĐẲNG CẤU VỚI CÁC NHÓM ABEL HỮU HẠN SINH CHO TRƯỚC

Tóm tắt

Trong Ví dụ 2.40 trong [1], với mỗi nhóm cyclic hữu hạn, người ta đã tìm được một CW phứcsao cho nhóm đồng điều p-chiều là đẳng cấu với nó (không gian Moore). Để tính toán các nhóm đồng điều của CW phức này, người ta đã sử dụng đồng điều của CW phức và bậc của một ánh xạ từ mặt cầu lên chính nó. Nhưng chúng ta không biết không gian Moore có là phức đơn hình hay không. Mục đích của chúng tôi là tìm một phức đơn hình sao cho các nhóm đồng điều của nólà các nhóm Abel hữu hạn sinh cho trước, ở đây chúng tôi tính toán trực tiếp nhóm đồng điều 1-chiều của phức đơn hình này. Đầu tiên, với mỗi nhóm cyclic hữu hạn chúng tôi xây dựng một phức đơn hình và sử dụng phương pháp tương tự trong [2] (§78) để tính toán nhóm đồng điều 1-chiều của nó. Nhóm này đẳng cấu với nhóm cyclic hữu hạn cho trước. Sau đó, chúng tôi xây dựng phức đơn hình khác và tính toán nhóm đồng điều p-chiều của nó dựa vào dãy Mayer - Vietoris trong [3](§25).