<<
Math 375
Week 5
5.1 Symmetric Groups
The Group S
X
Now let X be any non-empty set. Let
S = fj : X ! X and f is b oth surjective and injective g:
X
Notice that if ; 2 S , then : X ! X and is surjective and injec-
X
tiveby previous arguments. That is, the comp osition 2 S .Thus
X
comp osition is a binary op eration on S .
X
THEOREM 1 S is a group under comp osition. S is called the Symmteric Group
X X
on X .
PROOF i We just checked closure. ii Asso ciativity: mentioned last time
see text Chapter 0. iii The identityinS is i b ecause X x=
X X
i x = x, that is, i = . Similarly i = . iv Evidently
X X X