Universal evaluation phantom map

ID: universal-evaluation-phantom-map

Choose one representative of each finite spectrum and form . Let evaluate each summand and let . Every map from a finite spectrum factors through its corresponding summand, so is a phantom map of spectra. If , exactness supplies a section of , making a retract of . Consequently a spectrum that is not a retract of any wedge of finite spectra has a nonzero such phantom.

New to topics? Read the docs here!