Contoh 7

G={f 1 , f 2 , f 3 , f 4 }

Diketahui himpunan

di mana

f i : R { 0 } R {0 } , i=1,2,3,4. Didefinisikan
1
f 3 ( z )= f 2 ( z )=z
z

f 1 ( z )=z
f 4 (z)=

1
z
z R {0}

Di mana
1. Apakah

( G , o ) , merupakan grup ?

2. Apakah

( G , o ) , merupakan grup komutatif ? dimana o adalah

operasi transformasi komposisi.

Jawab:
1. Syarat

( G , o ) merupakan grup

a. Sifat tertutup

a,b G

berlaku

a o b G

Tabel cayley
o

f1

f1

f 2 f3

f4

f1

f 2 f3

f4

f 2 f 2 f1
f3

f3

f 4 f3

f 4 f1

f 4 f 4 f3

f2

f 2 f1

Cara memperoleh isi tabel

f 1 o f 1=f 1 ( f 1 )=f 1 ( z ) =z=f 1

f 1 o f 2=f 1 ( f 2 )=f 1 (z )=z=f 2
f 1 o f 3=f 1 ( f 3 ) =f 1

( 1z )= 1z =f

f 1 o f 4 =f 1 ( f 4 ) =f 1

( 1z )= 1z =f

f 2 o f 1=f 2 ( f 1 )=f 2 ( z ) =z=f 2

f 2 o f 2=f 2 ( f 2 )=f 1 (z )=z =f 1

( 1z )=1z =f
1 1
f o f =f ( f ) =f (
= =f
z ) z
f 2 o f 3=f 2 ( f 3 ) =f 2

1
f 3 o f 1=f 3 ( f 1 ) =f 3 ( z )= =f 3
z
f 3 o f 2=f 3 ( f 2 ) =f 1 (z )=

1
=f 4
z

( 1z )=z=f
1
f o f =f ( f ) =f (
=z=f
z )
f 3 o f 3=f 3 ( f 3 ) =f 3

f 4 o f 1 =f 4 ( f 1 ) =f 4 ( z )=

1
=f 4
z

1
f 4 o f 2 =f 3 ( f 2 )=f 4 (z ) = =f 3
z

( 1z )=z=f
1
f o f =f ( f ) =f (
=z=f
z )
f 4 o f 3 =f 4 ( f 3 ) =f 4

Berdasarkan tabel cayley di atas jelas terlihat bahwa

berlaku

a,b G

a o b G . Jadi memenuhi sifat tertutup.

b. Sifat Asosiatif

a , b ,c G

No

berlaku
b

( a o b ) oc =a o ( b o c )
c

(a o b )

(b o c )

( a o b ) oc

a o (b o c )

f1

f1

f1

f1

f1

f1

f1

f1

f1

f2

f1

f2

f2

f2

f1

f1

f3

f1

f3

f3

f3

f1

f1

f4

f1

f4

f4

f4

f1

f2

f1

f2

f2

f2

f2

f1

f2

f2

f2

f1

f1

f1

f1

f2

f3

f2

f4

f4

f4

f1

f2

f4

f2

f3

f3

f3

f1

f3

f1

f3

f1

f3

f3

10

f1

f3

f2

f3

f4

f4

f4

11

f1

f3

f3

f3

f1

f1

f1

12

f1

f3

f4

f3

f2

f2

f2

13

f1

f4

f1

f4

f4

f4

f4

14

f1

f4

f2

f4

f3

f3

f3

15

f1

f4

f3

f4

f2

f2

f2

16

f1

f4

f4

f4

f1

f1

f1

17

f2

f1

f1

f2

f1

f2

f2

18

f2

f1

f2

f2

f2

f1

f1

19

f2

f1

f3

f2

f3

f4

f4

20

f2

f1

f4

f2

f4

f3

f3

21

f2

f2

f1

f1

f2

f1

f1

22

f2

f2

f2

f1

f1

f2

f2

23

f2

f2

f3

f1

f4

f3

f3

24

f2

f2

f4

f1

f3

f4

f4

25

f2

f3

f1

f4

f3

f4

f4

26

f2

f3

f2

f4

f4

f3

f3

27

f2

f3

f3

f4

f1

f2

f2

28

f2

f3

f4

f4

f2

f1

f1

29

f2

f4

f1

f3

f4

f3

f3

30

f2

f4

f2

f3

f3

f4

f4

31

f2

f4

f3

f3

f2

f1

f1

32

f2

f4

f4

f3

f1

f2

f2

33

f3

f1

f1

f3

f1

f3

f3

34

f3

f1

f2

f3

f2

f4

f4

35

f3

f1

f3

f3

f3

f1

f1

36

f3

f1

f4

f3

f4

f2

f2

37

f3

f2

f1

f4

f2

f4

f4

38

f3

f2

f2

f4

f1

f3

f3

39

f3

f2

f3

f4

f4

f2

f2

40

f3

f2

f4

f4

f3

f1

f1

41

f3

f3

f1

f1

f3

f1

f1

42

f3

f3

f2

f1

f4

f2

f2

43

f3

f3

f3

f1

f1

f3

f3

44

f3

f3

f4

f1

f2

f4

f4

45

f3

f4

f1

f2

f4

f2

f2

46

f3

f4

f2

f2

f3

f1

f1

47

f3

f4

f3

f2

f2

f4

f4

48

f3

f4

f4

f2

f1

f3

f3

49

f4

f1

f1

f4

f1

f4

f4

50

f4

f1

f2

f4

f2

f3

f3

51

f4

f1

f3

f4

f3

f2

f2

52

f4

f1

f4

f4

f4

f1

f1

53

f4

f2

f1

f3

f2

f3

f3

54

f4

f2

f2

f3

f1

f4

f4

55

f4

f2

f3

f3

f4

f1

f1

56

f4

f2

f4

f3

f3

f2

f2

57

f4

f3

f1

f2

f3

f2

f2

58

f4

f3

f2

f2

f4

f1

f1

59

f4

f3

f3

f2

f1

f4

f4

60

f4

f3

f4

f2

f2

f3

f3

61

f4

f4

f1

f1

f4

f1

f1

62

f4

f4

f2

f1

f3

f2

f2

63

f4

f4

f3

f1

f2

f3

f3

64

f4

f4

f4

f1

f1

f4

f4

Berdasarkan tabel cayley di atas, jelas terlihat bahwa

berlaku

( a o b ) oc =a o ( b o c ) . Jadi memenuhi sifat tertutup.

c. Adanya unsur identitas

e G a G

Unsur identitas
1

a , b ,c G

berlaku

a o e=e o a=a

e=f 1 karena :