I see this notation a lot, but I can't seem to find an answer in my google searches. In particular I am looking at the question
Let $\alpha:S^n\rightarrow S^n$ be the antipodal map. Prove that $n$ is odd, then $\alpha\simeq \operatorname{id}.$
If it is an arbitrary symmetric group, then I understand, but I have seen $S^1$ be used for the circle.
The notation $S^n$ denotes the locally $n$-dimensional unit sphere. For example $S^2$ is your classic sphere cut out in $(x,y,z)$-space by the equation $x^2+y^2+z^2 = 1$.