M.E.Ervina_Rprop_mantik JURNAL MATEMATIKA “MANTIK” Oktober 2018. Vol. 04 No. 02 ISSN: 2527-3159 E-ISSN: 2527-3167 116 SEBARANG PEMBANGUN SUBGRUP SIKLIK DARI SUATU GRUP ( ),n +Z Indra Bayu Muktyas1 dan Samsul Arifin2 Program Studi Pendidikan Matematika - STKIP Surya1,2 indrabayu.muktyas@stkipsurya.ac.id1, samsul.arifin@stkipsurya.ac.id2 DOI: https://doi.org/10.15642/mantik.2018.4.1.116-121 Abstrak ( ),n +Z adalah grup himpunan bilangan bulat modulo n dengan suatu operasi penjumlahan modulo n. Suatu subgrup siklik adalah subgrup yang dibangun oleh satu buah elemen dari suatu grup. Pada grup ( ),n +Z , sebarang subgrup siklik di dalamnya dapat ditentukan melalui pembangun yang merupakan faktor dari n. Tujuan dari penelitian ini adalah untuk menentukan sebarang pembangun subgrup siklik dari suatu grup ( ),n +Z dengan menggunakan bantuan pemrograman Python. Hasil penelitian menunjukkan bahwa dengan menggunakan Python, untuk sebarang subgrup siklik, dapat ditentukan sebarang pembangunnya. Kata kunci: grup ( ),n +Z , subgrup siklik, pembangun, Python Abstract ( ),n +Z is a group of the integer modulo n with an addition operation. A cyclic subgroup is a subgroup that is generated by one element of a group. In group ( ),n +Z , any cyclic subgroup can be determined through a generator which is a factor of n. The aim of this article is to get all generator of the cyclic subgroup of a group ( ),n +Z using Python. The result of our study shows that by using Python, for any cyclic subgroup of ( ),n +Z , we can get all their generator. Keywords: group ( ),n +Z , cyclic subgroup, generator, Python 1. Pendahuluan Suatu grup adalah himpunan G dengan operasi biner *, sedemikian hingga berlaku tertutup, asosiatif, terdapat elemen identitas dan setiap elemen memiliki invers. Jika suatu grup memiliki sifat * *a b b a= ,untuk setiap elemen a dan b, maka dikatakan bahwa grup tersebut komutatif. Sifat-sifat dasar mengenai grup dapat dipelajari di [1], [3] dan [5]. Grup Siklik adalah suatu grup yang setiap elemennya dapat ditulis sebagai perpangkatan dari setiap unsur tetap pada grup tersebut. Karakteristik dari grup siklik dapat dilihat di [4], [7] dan [8]. Subgrup adalah subhimpunan H di dalam grup G yang juga merupakan grup dengan operasi yang sama di G. Untuk suatu a elemen grup G, dapat dibentuk subhimpunan S berisi semua elemen G yang merupakan hasil perpangkatan dari elemen a. Subhimpunan S tersebut membentuk subgroup di G, dan disebut subgroup siklik yang dibangun oleh a. Ingat bahwa setiap grup siklik adalah grup komutatif dan subgrup dari suatu grup siklik juga siklik. Himpunan semua bilangan bulat modulo n, dinotasikan dengan nZ , adalah suatu grup terhadap operasi penjumlahan modulo. Grup ini sangat penting dalam mempelajari teori grup, karena banyak konsep dalam teori grup yang menggunakannya sebagai contoh. Grup ( ),n +Z dikonstruksi dengan menggunakan algoritma mailto:indrabayu.muktyas@stkipsurya.ac.id mailto:samsul.arifin@stkipsurya.ac.id2 JURNAL MATEMATIKA “MANTIK” Oktober 2018. Vol. 04 No. 02 ISSN: 2527-3159 E-ISSN: 2527-3167 117 pembagian pada himpunan semua bilangan bulat Z . Proses pembentukan nZ ini dapat dipelajari di [2]. Python adalah bahasa pemrograman yang multiguna dan mudah untuk dipelajari. Python juga dapat berjalan di berbagai platform system operasi, seperti Windows (lihat [9]), Linux, Mac OS, Android (lihat [10]), dan lain lain. Dalam tulisan ini akan dikaji penentuan semua subgroup siklik dari grup ( ),n +Z dengan menggunakan bantuan pemrograman Python. 2. Tinjauan Pustaka 2.1. Pengertian Grup nZ Di sesi ini akan dikaji mengenai konstruksi dari grup ( ),n +Z . Dalam tulisan ini diasumsikan bahwa semua grup bersifat komutatif. Berikut diberikan pengertian dari grup. Definisi 2.1. Fraleigh [1]. Diberikan himpunan tidak kosong G yang dilengkapi dengan operasi “ ”. Himpunan G disebut grup terhadap operasi “ ” jika memenuhi empat aksioma berikut ini: 1. ( ),a b G a b G    2. ( )( ) ( ), ,a b c G a b c a b c    =   3. ( )( )e G a G a e e a a     =  = 4. ( )( )1 1 1a G a G a a a a e− − −     =  = Dalam [7], telah dibuktikan bahwa elemen identitas dan elemen invers dari suatu grup adalah tunggal, berlaku sifat kanselasi dan berlaku sifat Socks-Shoes. Selanjutnya akan diberikan pengertian mengenai suatu grup khusus yang sangat penting dalam mempelajari teori grup, sebab banyak konsep dalam teori grup yang menggunakannya sebagai contoh. Grup tersebut dikonstruksi menggunakan algoritma pembagian pada himpunan semua bilangan bulat Z . Diberikan suatu a Z dan bilangan bulat positif nZ . Dengan menggunakan algoritma pembagian pada bilangan bulat, maka terdapat dengan tunggal ,q r Z sedemikian hingga berlaku a qn r= + dengan 0 1r n  − . Bilangan bulat q disebut dengan hasil bagi (quotient) dan bilangan bulat r disebut dengan sisa (residu). Sisa pembagian r dinotasikan dengan modr a n= . Selanjutnya, diperkenalkan konsep mengenai kongruensi pada bilangan bulat sebagai berikut. Misalkan diberikan bilangan bulat ,a bZ dan bilangan bulat positif nZ . Bilangan bulat a dikatakan kongruen b modulo n jika n membagi habis a b− , ditulis dengan ( )moda b n . Dapat dibuktikan bahwa kongruensi modulo n merupakan relasi ekuivalensi. Akibatnya, pada Z terpecah menjadi kelas-kelas yang saling asing. Untuk suatu a Z , dapat dibentuk kelas yang memuat a, yaitu ( ) moda x x a n=  Z . Secara umum, jika diberikan bilangan bulat positif nZ , maka relasi ekuivalensi kongruen modulo n mempunyai n partisi yang saling asing pada Z , yaitu 0 , 1 , 2 , ..., dan 1n − . Dibentuk nZ adalah himpunan semua kelas yang didapatkan dari relasi ekuivalensi kongruen modulo n, yaitu  0, 1, 2,..., 1n n= −Z . Pada himpunan nZ didefinisikan operasi penjumlahan “+”, yaitu untuk setiap , na b Z didefinisikan :a b a b+ = + . Dapat ditunjukkan bahwa ( ),n +Z merupakan grup komutatif komutatif dengan elemen identitasnya adalah 0 nZ . 2.2. Pengertian Subgrup Siklik Dalam sesi ini akan dikaji mengenai subgrup siklik. Berikut adalah definisi dari grup siklik dan pembangun dari suatu grup. Definisi 2.1. Adkins [6]. Suatu grup ( ),G  disebut grup siklik jika terdapat g G sedemikian hingga untuk setiap a G dapat dinyatakan sebagai n a g= , untuk suatu n . Elemen g G tersebut dinamakan dengan elemen pembangun atau JURNAL MATEMATIKA “MANTIK” Oktober 2018. Vol. 04 No. 02 ISSN: 2527-3159 E-ISSN: 2527-3167 118 generator dari G, dan G dikatakan grup siklik yang dibangun oleh g, dinotasikan dengan G g= . Dari definisi grup siklik di atas, dapat dilihat bahwa grup siklik G yang dibangun oleh g G , yaitu G g= dapat dinyatakan sebagai  ng g n= Z . Lebih lanjut, setiap grup siklik adalah grup komutatif (lihat[1]). Perhatikan contoh berikut. Grup ( )72 , +Z merupakan grup siklik yang dibangun oleh 72 1Z , yaitu 72 1=Z . Di lain pihak, grup ( )72 , +Z ternyata juga dibangun oleh 7211Z , yaitu 72 11=Z . Misalkan diberikan grup ( ),G  dan himpunan bagian tidak kosong H G . Ingat bahwa himpunan H disebut subgrup dari G jika H juga merupakan grup terhadap operasi biner “ ” yang sama pada grup G, dinotasikan dengan H G .(lihat [3]). Rotman menjelaskan dalam [4] bahwa suatu subhimpunan dari suatu grup dapat diuji apakah merupakan subgroup atau bukan, yaitu misalkan diberikan grup ( ),G  dan H suatu subhimpunan tidak kosong dari G, maka H subgrup dari G jika dan hanya jika ( ) 1,a b H a b H−    . Selanjutnya akan dibuktikan bahwa untuk suatu elemen g G , dapat dibentuk subhimpunan yang dibangun oleh g dan membentuk subgrup di G. Teorema 2.2. Dummit [2]. Diberikan grup G dan g G , maka  ng g n=  merupakan subgrup dari G. Selanjutnya, g disebut dengan subgrup siklik dari G yang dibangun oleh g. Bukti: Jelas bahwa g G dan g tidak kosong, sebab 0 g e g=  . Selanjutnya diambil sebarang ,a b g , maka m a g= dan n b g= , untuk suatu ,m nZ , sehingga m n− Z . Selanjutnya, perhatikan bahwa ( ) 1 1 m n m n m n ab g g g g g g − − − − = = =  . Dengan demikian, terbukti bahwa g subgrup dari G. Ingat bahwa order suatu subgrup adalah banyaknya elemen dari subgrup tersebut. Perhatikan contoh berikut. Contoh 2.3. Diberikan grup  106 0,1, 2,...,105=Z terhadap operasi penjumlahan modulo 106. Himpunan  0, 2,...,104S = adalah subgrup dari ( )106 , +Z yang dibangun oleh 1062Z dengan order 53. Misalkan diberikan sebarang ,n k Z . Perhatikan bahwa ( ), 1FPB n k = bermakna bahwa faktor persekutuan terbesar antara bilangan n dan k adalah 1. Berikut adalah lemma yang mengatakan bahwa pembangun dari grup n Z adalah bilangan k sedemikian hingga berlaku ( ), 1FPB n k = , serta subgrup-subgrup di grup n Z adalah subhimpunan yang dibangun oleh faktor-faktor dari n. Lemma 2.4. Gallian [7]. a) Suatu nk Z adalah pembangun dari nZ jika dan hanya jika ( ), 1FPB n k = . b) Di grup nZ , untuk setiap pembagi positif k dari n , himpunan n k adalah subgrup tunggal di nZ dengan order k. Lebih lanjut, hanya n k subgrup-subgrup di nZ . Lemma tersebut menjamin bahwa semua subgroup siklik di grup nZ adalah subhimpunan yang dibangun oleh semua faktor dari n. Hal ini yang akan menjadi dasar dari penentuan semua JURNAL MATEMATIKA “MANTIK” Oktober 2018. Vol. 04 No. 02 ISSN: 2527-3159 E-ISSN: 2527-3167 119 subgrup siklik di pemrograman menggunakan Python. Perhatikan contoh berikut. Contoh 2.5. Misalkan diberikan grup  70 0,1, 2,..., 69=Z . Ingat bahwa faktor dari n adalah {1, 2, 5, 7, 10, 14, 35, 70}, sehingga diperoleh subgrup- subgrup di ( )70 , +Z adalah:                 1 0,1,..., 69 70 2 0, 2,..., 68 35 5 0, 5,..., 65 14 7 0, 7,..., 63 10 10 0,10,..., 60 7 14 0,14,..., 56 5 35 0, 35 70 70 0 70 order order order order order order order order = = = = = = = = Elemen pembangun suatu subgrup siklik tidak tunggal. Perhatikan kembali contoh berikut. Misalkan diberikan grup ( )100 , +Z . Subgrup siklik yang dibangun oleh 10010Z adalah    10 10 0,10, 20,..., 90n n=  =Z . Subgrup siklik yang dibangun oleh 10011Z adalah sebagai berikut,  11 11n n=  =Z    0 1 2 3 10011 0,11 11,11 22,11 33,... 0,1, 2,..., 99 .= = = = = = Z Dapat dilihat bahwa 10011 = Z , yaitu 10011Z merupakan elemen pembangun dari grup siklik ( )100 , +Z . Di lain pihak grup ( )100 , +Z juga dibangun oleh 1, yaitu 100 1=Z . 3. Metodologi Penelitian 3.1. Python Dalam sesi ini akan dikaji pemrograman dalam menentukan semua subgroup siklik dari grup nZ dengan menggunakan Python 2.7.14, yang merupakan hasil utama dari tulisan ini. Hal-hal yang menjadi dasar dalam pembuatan program adalah Lemma 3.4. di atas. Berikut adalah tampilan pemrograman yang digunakan dalam tulisan ini. lagi = "y" while lagi == "y": from functools import reduce def factors(n): return set(reduce(list.__add__, ([i, n//i] for i in range(1, int(pow(n, 0.5) + 1)) if n % i == 0))) print "================================= =========" print "Menentukan Semua Subgrup Siklik di Grup Zn" n = input("Masukkan n:") print "Z_%d : %s" %(n, range(n)) faktor = factors(n) listfaktor = list(faktor) listfaktor.sort() print "Faktor-faktor dari",n," = %s" %(listfaktor) print "------------------------------------------" print "Semua subgrup siklik di Z_",n,":" for a in listfaktor: bangunan = [] for i in range(n): hasil = a*i%n if hasil not in bangunan: bangunan.append(hasil) bangunan.sort() print "<",a,"> =", bangunan, ", ---> orde", len(bangunan) quotient = [] for i in range(n): hasil2 = [ (i+b)%n for b in bangunan ] hasil2.sort() if hasil2 not in quotient: quotient.append(hasil2) lagi = raw_input("Mau lagi? (y atau t):") Berikut adalah tampilan program menggunakan Python. dan contoh keluaran dari program di atas, yaitu untuk grup ( )72 , +Z dan ( )108 , +Z untuk versi OS Windows. JURNAL MATEMATIKA “MANTIK” Oktober 2018. Vol. 04 No. 02 ISSN: 2527-3159 E-ISSN: 2527-3167 120 4. Hasil Berikut adalah tampilan program menggunakan Python. dan contoh keluaran dari program di atas, yaitu untuk grup ( )72 , +Z dan ( )108 , +Z untuk versi OS Windows. Tampilan keluaran berikut akan menutup sesi ini. a) Untuk grup ( )72 , +Z ================================== ======== Menentukan Semua Subgrup Siklik di Grup Zn ------------------------------------------ Masukkan n:72 Z_72 : [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71] Faktor-faktor dari 72 = [1, 2, 3, 4, 6, 8, 9, 12, 18, 24, 36, 72] ------------------------------------------ Semua subgrup siklik di Z_ 72 : < 1 > = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71] ---> orde 72 < 2 > = [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70] ---> orde 36 < 3 > = [0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 66, 69] --- > orde 24 < 4 > = [0, 4, 8, 12, 16, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68] ---> orde 18 < 6 > = [0, 6, 12, 18, 24, 30, 36, 42, 48, 54, 60, 66] ---> orde 12 < 8 > = [0, 8, 16, 24, 32, 40, 48, 56, 64] ---> orde 9 < 9 > = [0, 9, 18, 27, 36, 45, 54, 63] ---> orde 8 < 12 > = [0, 12, 24, 36, 48, 60] ---> orde 6 < 18 > = [0, 18, 36, 54] ---> orde 4 < 24 > = [0, 24, 48] ---> orde 3 < 36 > = [0, 36] ---> orde 2 < 72 > = [0] ---> orde 1 Mau lagi? (y atau t): b) Untuk grup ( )108 , +Z ================================== ======== Menentukan Semua Subgrup Siklik di Grup Zn ------------------------------------------ Masukkan n:72 Z_72 : [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71] ================================== ======== Menentukan Semua Subgrup Siklik di Grup Zn ------------------------------------------ Masukkan n:108 Z_108 : [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107] Faktor-faktor dari 108 = [1, 2, 3, 4, 6, 9, 12, 18, 27, 36, 54, 108] ------------------------------------------ Semua subgrup siklik di Z_ 108 : JURNAL MATEMATIKA “MANTIK” Oktober 2018. Vol. 04 No. 02 ISSN: 2527-3159 E-ISSN: 2527-3167 121 < 1 > = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107] ---> orde 108 < 2 > = [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106] ---> orde 54 < 3 > = [0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105] ---> orde 36 < 4 > = [0, 4, 8, 12, 16, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 100, 104] ---> orde 27 < 6 > = [0, 6, 12, 18, 24, 30, 36, 42, 48, 54, 60, 66, 72, 78, 84, 90, 96, 102] ---> orde 18 < 9 > = [0, 9, 18, 27, 36, 45, 54, 63, 72, 81, 90, 99] ---> orde 12 < 12 > = [0, 12, 24, 36, 48, 60, 72, 84, 96] ---> orde 9 < 18 > = [0, 18, 36, 54, 72, 90] ---> orde 6 < 27 > = [0, 27, 54, 81] ---> orde 4 < 36 > = [0, 36, 72] ---> orde 3 < 54 > = [0, 54] ---> orde 2 < 108 > = [0] ---> orde 1 Mau lagi? (y atau t): Referensi [1] A First Course in Abstract Algebra, Sixth Edition, John B. Fraleigh, Addison-Wesley, New York, 2000 [2] Abstract Algebra, 3rd Edition, David S. Dummit, 2004 [3] Abstract Algebra, 3rd Edition, Herstein I., Prenntice, 1996 [4] Advanced Modern Algebra, Rotman, J. J., Prentice Hall, New York, 2003 [5] Algebra, A Graduate Course, I. Martin Isaacs, 1994 [6] Algebra: An Approach Via Module Theory, Adkins Weintraub, 1992 [7] Contemporary Abstract Algebra, 9th Edition, J.A.Gallian, USA, 2017 [8] Fundamentals of Abstract Algebra, D.S. Malik, John N. Moderson and M.K. Sen, USA, 1997 [9] Python. (2018, 30 April) https://www.python.org/ [10] Google. (2018, 30 April) https://play.google.com/store/apps/detai ls?id=org.qpython.qpy&hl=en https://www.python.org/ https://play.google.com/store/apps/details?id=org.qpython.qpy&hl=en https://play.google.com/store/apps/details?id=org.qpython.qpy&hl=en