Sei \(f:S_n\rightarrow \mathbb{R}\) ein Gruppenhomomorphismus,
dann ist \(f(S_n)\) eine endliche Untergruppe der additiven Gruppe \(\mathbb{R}\).
\(\mathbb{R}\) besitzt aber nur eine endliche Untergruppe, nämlich \(\{0\}\),
d.h. \(f=0\) ist der einzige Gruppenhomomorphismus.