Group representations and the Adams spectral sequence