Cayley Theorem Every group is isomorphic to a permutation group. Example: U(10) • U(10) = {1, 3, 7, 9} • Definition: For g in U(10), let Tg(x)= gx • T1(x) = x T1 = • T3(x) = 3x T3 = (1 3 9 7) • T7(x) = 7x T7 = (1 7 9 3) • T9(x) = 9x T9 = (1 9)(3 7) Every group is isomorphic to a permutation group Proof: Let G be any group. 1. For g in G, define Tg(x) = gx. We show Tg is a permutation on G. 2. Let S = {Tg | for g in G} We show S is a permutation group. 3. Define the map :G S by (g)=Tg We show is an isomorphism. 1. Tg is a permutation on G. Suppose Tg(x) = Tg(y). Then gx = gy. By left cancellation, x=y. Hence Tg is 1 to 1. Choose any y in G. Let x = g-1y Then Tg(x) = gx = gg-1y = y So Tg is onto. This shows that Tg is a permutation. 2. {Tg | g in G} is a group The operation is composition. For a,b,x, TaTb(x) = Ta(bx) = a(bx) = (ab)x =Tab(x) So TaTb = Tab (*) From (*), TeTa = Tea = Ta, So Te is the identity in S. If b = a-1 we have, TaTb = Tab = Te So Ta-1 = Tb and S has inverses. Function composition is associative. Therefore, S is a group. 3. (g) = Tg is isomorphism 1. Choose a, b in G. Suppose (a) = (b). Then Ta = Tb. In particular, for any x in G, Ta(x) = Tb(x) ax = bx a=b Therefore is one-to-one. (g) = Tg is isomorphism 2. Choose any Tg in S. Then (g) = Tg Therefore, is onto. (g) = Tg is isomorphism 3. Choose any a, b in G. Then (ab) = Tab = TaTb by (*) = (a) (b) Therefore, is Operation Preserving. It follows that is an isomorphism. Why do we care? • The permutation group we constructed is called the Left Regular Representation of G. • Every abstract group can be represented in a concrete way • It shows that abstract groups are all permutation groups, unifying the study of both.