PEMBAHASAN
grup simetri-3 sampai grup simetri-5. Langkah awal yang dilakukan penulis yaitu
(normalizers) subgrup sejati yang terdapat pada grup simetri-3 sampai grup simetri-
5 serta membuktikannya.
{ |: } antara lain:
Dari unsur-unsur grup simetri-3 tersebut didapatkan subgrup sejati sebagai berikut:
batasan masalah. Sehingga pada grup simetri-3 hanya akan ditentukan pola
simetri-3.
(1 2 3) (1) = (1) (1 2 3)
(1 3 2) (1) = (1) (1 3 2)
(1) (1 2 3) = (1 2 3) (1)
(1 2 3) (1 2 3) = (1 2 3) (1 2 3)
(1 3 2) (1 2 3) = (1 2 3) (1 3 2)
(1) (1 3 2) = (1 3 2) (1)
(1 2 3) (1 3 2) = (1 3 2) (1 2 3)
(1 3 2) (1 3 2) = (1 3 2) (1 3 2)
3 (2 ) = {(1), (2 3)}
3 (3 ) = {(1), (1 3)}
3 (4 ) = {(1), (1 2)}
sedemikian sehingga 3 (3 (1 )) = { 3 | = , 3 (1 )}
maka
(1 2 3) (1) = (1) (1 2 3)
(1 3 2) (1) = (1) (1 3 2)
(1) (1 2 3) = (1 2 3) (1)
(1 2 3) (1 2 3) = (1 2 3) (1 2 3)
(1 3 2) (1 2 3) = (1 2 3) (1 3 2)
(1) (1 3 2) = (1 3 2) (1)
(1 2 3) (1 3 2) = (1 3 2) (1 2 3)
(1 3 2) (1 3 2) = (1 3 2) (1 3 2)
3 (3 (2 )) = {(1), (2 3)}
3 (3 (3 )) = {(1), (1 3)}
3 (3 (4 )) = {(1), (2 3)}
3 (1 ) = 1
3 (3 (1 )) = 3 (1 )
= 1
3 (3 (3 (1 ))) = 3 (3 (1 ))
= 3 (1 )
= 1
3 (3 (3 (3 (1 ) )) = 1
3 (3 (3 (3 (2 ) )) = 2
3 (3 (3 (3 (3 ) )) = 3
3 (3 (3 (3 (4 ) )) = 4
Lenma 3.1
Bukti
3 ( ) =
3 (3 ( )) = 3 ( )
3 (3 (3 ( ))) = 3 (3 ( ))
= 3 ( )
3 (3 (3 (3 ( ) )) =
ditentukan fungsi bijektif dari ke , analog dengan bagian 3.1 didapatkan unsur-
4 = {(1), (1 2), (1 3), (1 4), (3 4), (2 4), (2 3), (2 3 4), (2 4 3), (1 3 4),
berikut:
1 = (1), (1 4)}
2 = {(1), (1 2)}
3 = {(1), (3 4)}
4 = {(1), (2 3)}
5 = {(1), (1 3)}
6 = {(1), (2 4)}
25 = {(1), (1 4), (2 3), (1 2 4 3), (1 3 4 2), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
26 = {(1), (1 2), (3 4), (1 3 2 4), (1 4 2 3), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
27 = {(1), (1 3), (2 4), (1 2 3 4), (1 4 3 2), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
Subgrup trivial dan subgrup tak sejati tidak dibahas karena tidak memenuhi
batasan masalah. Sehingga pada grup simetri-4 hanya akan ditentukan pola
simetri-4.
4 (7 ) = {(1), (1 2), (3 4), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3), (1 4 2 3),
(1 3 2 4)}
4 (8 ) = {(1), (1 4), (2 3), (1 4)(2 3), (1 2)(3 4), (1 3)(2 4), (1 3 4 2),
(1 2 4 3)}
4 (9 ) = {(1), (1 3), (2 4), (1 3)(2 4), (1 2)(3 4), (1 4)(2 3), (1 2 3 4),
(1 4 3 2)}
4 (21 ) = {(1)}
4 (22 ) = {(1)}
4 (23 ) = {(1)}
4 (24 ) = {(1)}
4 (28 ) = {(1)}
4 (4 (21 )) = {(1), (1 2), (1 3), (1 4), (3 4), (2 4), (2 3), (2 3 4), (2 4 3), (1 3 4),
4 (4 (23 )) = {(1), (1 2), (1 3), (1 4), (3 4), (2 4), (2 3), (2 3 4), (2 4 3), (1 3 4),
4 (4 (24 )) = {(1), (1 2), (1 3), (1 4), (3 4), (2 4), (2 3), (2 3 4), (2 4 3), (1 3 4),
4 (4 (25 )) = {(1), (1 4), (2 3), (1 4)(2 3), (1 2)(3 4), (1 3)(2 4),
(1 3 4 2), (1 2 4 3)}
4 (4 (26 )) = {(1), (1 2), (3 4), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3),
(1 4 2 3), (1 3 2 4}
4 (4 (27 )) = {(1), (1 3), (2 4), (1 3)(2 4), (1 2)(3 4), (1 4)(2 3),
(1 2 3 4), (1 4 3 2)}
4 (4 (28 )) = {(1), (1 2), (1 3), (1 4), (3 4), (2 4), (2 3), (2 3 4), (2 4 3), (1 3 4),
ditentukan fungsi bijektif dari ke , analog dengan bagian 3.1 didapatkan unsur-
(1 2 5), (1 5 2), (1 2 4), (1 4 2), (1 2 3), (1 3 2), (4 5), (3 5), (3 4), (2 5),
(2 4), (2 3), (1 5), (1 4), (1 3), (1 2), (1 2)(3 4 5), (1 2)(3 5 4), (1 3)(2 4 5),
(1 3)(2 5 4), (1 4)(2 3 5), (1 4)(2 5 3), (1 5)(2 3 4), (1 5)(2 4 3), (2 3)(1 4 5),
(2 3)(1 5 4), (2 4)(1 3 5), (2 4)(1 5 3), (2 5)(1 3 4), (2 5)(1 4 3), (3 4)(1 2 5),
(3 4)(1 5 2), (3 5)(1 2 4), (3 5)(1 4 2), (4 5)(1 2 3), (4 5)(1 3 2), (2 3)(4 5),
(2 4)(3 5), (2 5)(3 4), (1 3)(4 5), (1 4)(3 5), (1 5)(3 4), (1 2)(4 5), (1 4)(2 5),
(1 5)(2 4), (1 2)(3 5), (1 3)(2 5), (1 5)(2 3), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
berikut:
1. id
88. {(1), (1 4 5), (1 5 4), (1 4)(2 3), (1 5)(2 3), (2 3)(4 5)}
89. {(1), (2 3 5), (2 5 3), (1 4)(2 3), (1 4)(2 5), (1 4)(3 5)}
90. {(1), (2 3 4), (2 4 3), (1 5)(2 3), (1 5)(2 4), (1 5)(3 4)}
91. {(1), (3 4 5), (3 5 4), (1 2)(3 4), (1 2)(3 5), (1 2)(4 5)}
92. {(1), (1 2 3), (1 3 2), (1 2)(4 5), (1 3)(4 5), (2 3)(4 5)}
93. {(1), (1 2 5), (1 5 2), (1 2)(3 4), (1 5)(3 4), (2 5)(3 4)}
94. {(1), (1 3 4), (1 4 3), (1 3)(2 5), (1 4)(2 5), (2 5)(3 4)}
95. {(1), (1 2 4), (1 4 2), (1 2)(3 5), (1 4)(3 5), (2 4)(3 5)}
96. {(1), (1 3 5), (1 5 3), (1 3)(2 4), (1 5)(2 4), (2 4)(3 5)}
97. {(1), (2 4 5), (2 5 4), (1 3)(2 4), (1 3)(2 5), (1 3)(4 5)}
108. {(1), (1 2 5 3 4), (1 3 2 4 5), (1 4 3 5 2), (1 5 4 2 3), (1 2)(4 5), (1 3)(2 5), (1 4)(2 3),
109. {(1), (1 2 3 4 5), (1 3 5 2 4), (1 4 2 5 3), (1 5 4 3 2), (1 2)(3 5), (1 3)(4 5), (1 4)(2 3), (1 5
(2 5)(3 4)}
110. {(1), (1 2 4 3 5), (1 3 2 5 4), (1 4 5 2 3), (1 5 3 4 2), (1 2)(4 5), (1 3)(2 4), (1 4)(3 5), (1 5
(2 5)(3 4)}
111. {(1), (1 2 3 5 4), (1 3 4 2 5), (1 4 5 3 2), (1 5 2 4 3), (1 2)(3 4), (1 3)(4 5), (1 4)(2 5), (1 5
(2 4)(3 5)}
112. {(1), (1 2 5 4 3), (1 3 4 5 2), (1 4 2 3 5), (1 5 3 2 4), (1 2)(3 5), (1 3)(2 4), (1 4)(2 5), (1 5
(2 3)(4 5)}
113. {(1), (1 2 4 5 3), (1 3 5 4 2), (1 4 3 2 5), (1 5 2 3 4), (1 2)(3 4), (1 3)(2 5), (1 4)(3 5), (1 5
(2 3)(4 5)}
114. {(1), (1 4), (2 3), (1 2 4 3), (1 3 4 2), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
115. {(1), (1 2), (3 4), (1 3 2 4), (1 4 2 3), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
116. {(1), (1 3), (2 4), (1 2 3 4), (1 4 3 2), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
117. {(1), (1 3), (2 5), (1 2 3 5), (1 5 3 2), (1 2)(3 5), (1 3)(2 5), (1 5)(2 3)}
118. {(1), (1 5), (2 3), (1 2 5 3), (1 3 5 2), (1 2)(3 5), (1 3)(2 5), (1 5)(2 3)}
119. {(1), (1 2), (3 5), (1 3 2 5), (1 5 2 3), (1 2)(3 5), (1 3)(2 5), (1 5)(2 3)}
120. {(1), (1 4), (2 5), (1 2 4 5), (1 5 4 2), (1 2)(4 5), (1 4)(2 5), (1 5)(2 4)}
121. {(1), (1 2), (4 5), (1 4 2 5), (1 5 2 4), (1 2)(4 5), (1 4)(2 5), (1 5)(2 4)}
122. {(1), (1 5), (2 4), (1 2 5 4), (1 4 5 2), (1 2)(4 5), (1 4)(2 5), (1 5)(2 4)}
123. {(1), (1 4), (3 5), (1 3 4 5), (1 5 4 3), (1 3)(4 5), (1 4)(3 5), (1 5)(3 4)}
124. {(1), (1 5), (3 4), (1 3 5 4), (1 4 5 3), (1 3)(4 5), (1 4)(3 5), (1 5)(3 4)}
125. {(1), (1 3), (4 5), (1 4 3 5), (1 5 3 4), (1 3)(4 5), (1 4)(3 5), (1 5)(3 4)}
126. {(1), (2 5), (3 4), (2 3 5 4), (2 4 5 3), (2 3)(4 5), (2 4)(3 5), (2 5)(3 4)}
127. {(1), (2 3), (4 5), (2 4 3 5), (2 5 3 4), (2 3)(4 5), (2 4)(3 5), (2 5)(3 4)}
128. {(1), (2 4), (3 5), (2 3 4 5), (2 5 4 3), (2 3)(4 5), (2 4)(3 5), (2 5)(3 4)}
129. {(1), (1 4), (1 5), (2 3), (4 5), (1 4 5), (1 5 4), (1 4)(2 3), (1 5)(2 3), (2 3)(4 5),
130. {(1), (1 4), (2 3), (2 5), (3 5), (2 3 5), (2 5 3), (1 4)(2 3), (1 4)(2 5), (1 4)(3 5),
131. {(1), (1 5), (2 3), (2 4), (3 4), (2 3 4), (2 4 3), (1 5)(2 3), (1 5)(2 4), (1 5)(3 4),
132. {(1), (1 2), (3 4), (3 5), (4 5), (3 4 5), (3 5 4), (1 2)(3 4), (1 2)(3 5), (1 2)(4 5),
134. {(1), (1 2), (1 5), (2 5), (3 4), (1 2 5), (1 5 2), (1 2)(3 4), (1 5)(3 4), (2 5)(3 4),
135. {(1), (1 3), (1 4), (2 5), (3 4), (1 3 4), (1 4 3), (1 3)(2 5), (1 4)(2 5), (2 5)(3 4),
136. {(1), (1 2), (1 4), (2 4), (3 5), (1 2 4), (1 4 2), (1 2)(3 5), (1 4)(3 5), (2 4)(3 5),
137. {(1), (1 3), (1 5), (2 4), (3 5), (1 3 5), (1 5 3), (1 3)(2 4), (1 5)(2 4), (2 4)(3 5),
138. {(1), (1 3), (2 4), (2 5), (4 5), (2 4 5), (2 5 4), (1 3)(2 4), (1 3)(2 5), (1 3)(4 5),
139. {(1), (1 2 3), (1 2 4), (1 3 2), (1 3 4), (1 4 2), (1 4 3), (2 3 4), (2 4 3), (1 2)(3 4), (1 3)(2 4
(1 4)(2 3)}
140. {(1), (1 2 3), (1 2 5), (1 3 2), (1 3 5), (1 5 2), (1 5 3), (2 3 5), (2 5 3), (1 2)(3 5), (1 3)(2 5
(1 5)(2 3)}
141. {(1), (1 2 4), (1 2 5), (1 4 2), (1 4 5), (1 5 2), (1 5 4), (2 4 5), (2 5 4), (1 2)(4 5), (1 4)(2 5
(1 5)(2 4)}
142. {(1), (1 3 4), (1 3 5), (1 4 3), (1 4 5), (1 5 3), (1 5 4), (3 4 5), (3 5 4), (1 3)(4 5), (1 4)(3 5
(1 5)(3 4)}
143. {(1), (2 3 4), (2 3 5), (2 4 3), (2 4 5), (2 5 3), (2 5 4), (3 4 5), (3 5 4), (2 3)(4 5), (2 4)(3 5
(2 5)(3 4)}
144. {(1), (1 2 3 5), (1 2 4 3), (1 3 4 2), (1 3 5 4), (1 4 2 5), (1 4 5 3), (1 5 2 4), (1 5 3 2), (2 3 4
145. {(1), (1 2 4 3), (1 2 5 4), (1 3 2 5), (1 3 4 2), (1 4 3 5), (1 4 5 2), (1 5 2 3), (1 5 3 4), (2 3 5
146. {(1), (1 2 3 4), (1 2 5 3), (1 3 4 5), (1 3 5 2), (1 4 2 5), (1 4 3 2), (1 5 2 4), (1 5 4 3), (2 3 5
147. {(1), (1 2 4 5), (1 2 5 3), (1 3 2 4), (1 3 5 2), (1 4 2 3), (1 4 3 5), (1 5 3 4), (1 5 4 2), (2 3 4
148. {(1), (1 2 3 4), (1 2 4 5), (1 3 2 5), (1 3 5 4), (1 4 3 2), (1 4 5 3), (1 5 2 3), (1 5 4 2), (2 4 3
149. {(1), (1 2 3 5), (1 2 5 4), (1 3 2 4), (1 3 4 5), (1 4 2 3), (1 4 5 2), (1 5 3 2), (1 5 4 3), (2 4 3
150. {(1), (1 2 ), (1 3), (1 4), (2 3), (2 4), (3 4), (1 2 3), (1 2 4), (1 3 2),
151. {(1), (1 2 ), (1 3), (1 5), (2 3), (2 5), (3 5), (1 2 3), (1 2 5), (1 3 2),
152. {(1), (1 2 ), (1 4), (1 5), (2 4), (2 5), (4 5), (1 2 4), (1 2 5), (1 4 2),
153. {(1), (1 3 ), (1 4), (1 5), (3 4), (3 5), (4 5), (1 3 4), (1 3 5), (1 4 3),
154. {(1), (2 3 ), (2 4), (2 5), (3 4), (3 5), (4 5), (2 3 4), (2 3 5), (2 4 3),
155. {(1), (1 2 3 ), (1 2 4), (1 2 5), (1 3 2), (1 3 4), (1 3 5), (1 4 2), (1 4 3), (1 4 5), (1 5 2), (1 5
(1 5 4), (2 3 4), (2 3 5), (2 4 3), (2 4 5), (2 5 3), (2 5 4), (3 4 5), (3 5 4), (1 2 3 4 5),
(1 2)(3 5), (1 2)(4 5), (1 3)(2 4), (1 3)(2 5), (1 3)(4 5), (1 4)
(2 3), (1 4)(2 5), (1 4)(3 5), (1 5)(2 3), (1 5)(2 4), (1 5)(3 4),
Subgrup trivial dan subgrup tak sejati tidak dibahas karena tidak memenuhi
batasan masalah. Sehingga pada grup simetri-5 hanya akan ditentukan centralizer,