S_n has Trivial Center for n greater than 3

We will prove that for n\geq 3, Z(S_n)=1.


Clearly, 1\in Z(S_n). Let 1\neq \sigma\in S_n. There exists a, b distinct elements of \{1, 2, \dots , n\} such that \sigma(a)=b.

Consider the transposition \tau =(b\ c), where c is distinct from a, b. (Since n\geq 3, such a c exists.)

Then, \tau\sigma (a)=\tau (b)=c

\sigma\tau (a)=\sigma (a)=b

\therefore \tau\sigma\neq\sigma\tau

\therefore \sigma \notin Z(S_n).

Therefore, Z(S_n)=1

Do check out some of our recommended Math Olympiad books!


About mathtuition88

This entry was posted in permutation and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s