介紹
拓撲學中主要依賴代數工具來解決問題的一個分支。同調與同倫的理論是代數拓撲學的兩大支柱（見同調論，同倫論）。在同調理論研究領域裡,自（J.-）H.龐加萊首先建立可剖分空間的同調之後，人們試圖對於不一定可剖分為復形的一般拓撲空間建立同調理論。後來出現了好幾種關於一般空間的同調論。為了達到統一與簡化的目的，S.艾倫伯格與N.E.斯廷羅德在40年代中期倡導用公理法來引進同調群。有了這種觀點，不僅僅使人們對古典的同調論看得更清楚，同時也為廣義同調論的興起創造了條件。
廣義同調論滿足除開維數公理之外的所有艾倫伯格－斯廷羅德同調論公理。具有各自幾何背景的各種廣義同調論的出現大大開拓了代數拓撲的領域，提高了用代數方法解決幾何問題的能力。廣義同調的表示定理表明可以在同倫概念的基礎上來建立同調論。目前，重要的廣義同調論有K上同調,協邊上同調，MU上同調，BP上同調，等等。
不論同倫或同調，從幾何向代數的過渡總是由函子來實現的。範疇與函子的理論，首先由代數拓撲的需要而產生,現在已在許多數學分支有廣泛的套用。無論同倫或同調，都是對每個拓撲空間X 對應了一個群F(X)，對每一個連續映射ƒ:X →Y 對應了一個同態F(ƒ):F(X)→F(Y)，且滿足：①當X=Y，ƒ=恆等自映射時，F(ƒ)=恆等自同構。②若g:Y→Z,則F(gƒ)=F(g)F(ƒ)。作為用這種函子性質解決拓撲問題的一個例子，考慮ƒ:X →Y 為同胚的情形，這時F(ƒ-1)與F(ƒ)互為逆同態，從而F(ƒ)：F(X)→F(Y)為同構。證明兩個空間X與Y不同胚的一個常用的辦法就是找出一個適當的函子F,使得F(X)不同構於F(Y)。拓撲不變數往往也就是這種函子。
同調與同倫是實質上不同的概念，這從簡單的例子就可以看出來。在圖
中，設F 是將環面挖一個圓洞所得的曲面。則邊界圓周C 在曲面 F上是同調於0的一維閉鏈。但C 看作F上的環道則不同倫於0。人們很早就知道,不一定可交換的基本群交換化之後就同構於一維同調群。對於同調與同倫之間關係進行深入探討的結果促使同調代數迅速地向前發展起來。這一整套強有力的工具不僅對代數拓撲本身產生巨大影響，也深深地滲入到其他數學分支，如代數、代數幾何、泛函分析、微分方程、複分析等等。 與同調對偶的上同調在許多場合用起來比同調更為得力，這是H.惠特尼在30年代的發現。S.萊夫謝茨對流形上的同調交截理論所作的深入研究啟發人們想到上同調乘積的存在。N.E.斯廷羅德在繼H.霍普夫之後研究有限復形K 到球面Sn的連續映射同倫分類問題時發現了一類上同調運算。上同調群配以上同調運算使得對應於幾何對象的代數對象有更為豐富的結構，從而解決問題的能力也更強。
代數拓撲學者從來注重計算具體空間的同調群、上同調群、上同調運算等等。李群以及與之有關的空間是首先被考慮的對象。這種計算在很大程度上依賴於纖維叢或纖維空間的底空間,纖維與全空間的同調關係。1946年，J.勒雷用譜序列對纖維空間的同調計算得到深刻的結果。
緊接著有J.P.塞爾套用纖維空間的同調譜序列在同倫論上的突破, 得到當時幾乎難以想像的結果：πq(Sn)除開q=n以及q=2n-1,n為偶數的情形,都是有限群。塞爾的另一個重要貢獻是將代數裡一個行之有效的原理移植到拓撲學中來，即通過對一個問題的各個p局部化（p為素數）問題的解決來求得原問題的整體解決。經過D.P.沙利文的進一步系統的研究，目前這種局部化以及完備化的思想在代數拓撲里已經成為一個帶根本性的原理。
拓撲空間如果具有連續的乘法以及關於這個乘法的單位元素就叫作H 空間。李群是H 空間的特例。對於H 空間的同調與同倫性質的研究取得了許多有意義的結果，豐富了代數拓撲的內容。
歐氏空間Rn，當n=2,4,8時可以定義乘法·, 滿足關係‖x·y‖=‖x‖‖y‖，這裡‖‖表示Rn的範數；
70年代以後，雖然不象前些年那樣接連出現令人驚嘆的結果,代數拓撲仍然取得了多方面的進展。例如,在廣義同調論、變換群作用下的共變同調與同倫論、無窮環道空間、有理同倫論、同倫群指數估計、來自微分拓撲的代數拓撲問題等方面都獲得了豐碩的成果。目前，一方面在其他數學分支，其他科學與技術領域裡代數拓撲的套用日見廣泛與深入，另一方面，其本身有許多重要問題尚未解決，或尚未徹底解決，代數拓撲另一個發展高潮時期的到來是可以期待的。
