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!