In algebraic topology, the Dold–Thom theorem, proved by Albrecht Dold and René Thom (1956, 1958), states that the homotopy group πi(SP(X)) of the infinite symmetric product SP(X) of a connected CW complex X is the i-th singular reduced homology group of X, usually denoted by .