Seperti yang akan segera kita temukan, grup hingga — yaitu grup dengan banyak elemen —
memiliki sifat aritmatika yang menarik. Untuk memfasilitasi studi kelompok hingga, akan lebih
menemukan urutan 11, kami menghitung 111 5 11, 112 5 1, jadi | 11 | 5 2. Perhitungan serupa
trik yang membuat perhitungan ini lebih mudah. Daripada menghitung urutan 131, 132, 133,
134, kita dapat mengamati bahwa 13 5 22 mod 15, sehingga 132 5 (22) 2 5 4, 133 5 22? 4 5 28,
2, dll.)
CONTOH 3 Pertimbangkan Z dalam penambahan biasa. Di sini setiap elemen bukan nol
memiliki urutan tanpa batas, karena urutan a, 2a, 3a,. . . tidak pernah menyertakan 0 saat 0.
Pembaca perseptif mungkin telah memperhatikan di antara contoh kelompok kami dalam Bab 2
bahwa beberapa adalah himpunan bagian dari orang lain dengan operasi biner yang sama. Grup
SL (2, R) dalam Contoh 18, misalnya, adalah bagian dari grup GL (2, R) dalam Contoh 9.
Demikian pula, kelompok bilangan kompleks {1, 21, i, 2i} di bawah perkalian adalah subset
grup yang dijelaskan dalam Contoh 15 untuk n sama dengan kelipatan 4. Situasi ini sangat sering
Definisi Subkelompok
Jika himpunan bagian H dari grup G itu sendiri adalah grup di bawah operasi G, kita mengatakan
Kami menggunakan notasi H # G yang berarti bahwa H adalah subkelompok dari G. Jika kita
ingin menunjukkan bahwa H adalah subkelompok dari G tetapi tidak sama dengan G itu sendiri,
kita menulis H, G. Subkelompok seperti itu disebut tepat subkelompok. Subkelompok {e}
disebut subkelompok sepele dari G; subkelompok yang bukan {e} disebut subkelompok
nontrivial dari G.
Tes Subkelompok
Ketika menentukan apakah subset H dari grup G adalah sub-grup G, kita tidak perlu
tiga hasil memberikan tes sederhana yang cukup untuk menunjukkan bahwa subset grup adalah
subkelompok.
Misalkan G adalah grup dan H subset kosong dari G. Jika ab21 adalah dalam H setiap kali a dan
BUKTI Karena operasi H sama dengan operasi G, jelas bahwa operasi ini asosiatif. Selanjutnya,
kami menunjukkan bahwa e ada di dalam H. Karena H adalah kosong, kita dapat memilih
xx21 5 ab21 dalam H. Untuk memverifikasi bahwa x21 ada di H setiap kali x ada di H, yang
perlu kita lakukan adalah memilih 5 e dan b 5 x dalam pernyataan teorema. Akhirnya, buktinya
akan lengkap ketika kami menunjukkan bahwa H ditutup; yaitu, jika x, y milik H, kita harus
menunjukkan bahwa xy juga ada di H. Baiklah, kita telah menunjukkan bahwa y21 ada di H
setiap kali y berada; jadi, membiarkan 5 x dan b 5 y21, kami memiliki xy 5 x (y21) 21 5 ab21
adalah dalam H.
Meskipun kami telah menjuluki Teorema 3.1 Tes Satu Kelompok Satu Langkah, sebenarnya ada
empat langkah yang terlibat dalam penerapan teorema. (Setelah Anda mendapatkan beberapa
pengalaman, tiga langkah pertama akan menjadi rutin.) Perhatikan kesamaan antara tiga langkah
terakhir yang tercantum di bawah ini dan tiga langkah yang terlibat dalam Prinsip Kedua Induksi
Matematika.
menentukan.
Buktikan bahwa identitas memiliki properti P. (Ini memverifikasi bahwa H tidak kosong.)
Gunakan asumsi bahwa a dan b memiliki properti P untuk menunjukkan bahwa ab21 memiliki
properti P.
adalah subkelompok dari G. Di sini, properti definisi dari H adalah kondisi x2 5 e. Jadi, pertama-
tama kita perhatikan bahwa e2 5 e, sehingga H tidak kosong. Sekarang kita mengasumsikan
bahwa a dan b milik H. Ini berarti a2 5 e dan b2 5 e. Akhirnya, kita harus menunjukkan bahwa
subkelompok dari G.
Dalam banyak kasus, sebuah subkelompok akan terdiri dari semua elemen yang memiliki bentuk
tertentu. Maka properti P adalah bahwa elemen memiliki bentuk tertentu. Ini diilustrasikan dalam
contoh berikut.
Kemudian H 5 {x2 | x [G} adalah subkelompok G. (Dengan kata lain, H adalah himpunan semua
"kotak.") Karena e2 5 e, identitas memiliki bentuk yang benar. Selanjutnya, kita menulis dua
elemen H dalam bentuk yang benar, katakanlah, a2 dan b2. Kita harus menunjukkan bahwa a2
(b2) 21 juga memiliki bentuk yang benar; yaitu, a2 (b2) 21 adalah kuadrat dari beberapa elemen.
Karena G adalah Abelian, kita dapat menulis a2 (b2) 21 sebagai (ab21) 2, yang merupakan
Siswa pemula sering lebih suka menggunakan teorema berikutnya daripada Teorema 3.1.
Biarkan G menjadi grup dan biarkan H menjadi himpunan bagian nonempty dari G. Jika ab
berada di H setiap kali a dan b berada di H (H ditutup di bawah operasi), dan a21 di H setiap kali
Jadi, kita mengira bahwa a, b [H. Karena H ditutup dengan mengambil invers, kita juga memiliki
Ketika menerapkan Tes Sub-Kelompok Dua-Langkah, kami melanjutkan persis seperti dalam
kasus Tes Sub-Kelompok Satu-Langkah, kecuali kami menggunakan asumsi bahwa a dan b
memiliki properti P untuk membuktikan bahwa ab memiliki properti P dan bahwa a21 memiliki
properti P.
Langkah, kami mengasumsikan bahwa a dan b milik H dan membuktikan bahwa ab dan a21
milik H. Biarkan | a | 5 m dan | b | 5 n. Kemudian, karena G adalah Abelian, kita memiliki (ab)
mn 5 (am) n (bn) m 5 musuh 5 e. Jadi, ab memiliki urutan yang terbatas (ini tidak menunjukkan
bahwa | ab | 5 mn). Moveover, (a21) m 5 (pagi) 21 5 e21 5 e menunjukkan bahwa a21 memiliki
pesanan terbatas.
grup dari yang sudah ada. Metode ini akan diperluas ke beberapa sub-grup dari kelompok non-
Kemudian HK 5 {hk | h [H, k [K} adalah subkelompok dari G. Catatan pertama bahwa e 5 ee
milik HK karena e berada dalam H dan K. Sekarang anggaplah bahwa a dan b berada di HK.
Kemudian dengan definisi H ada elemen h1, h2 [H dan k1, k2 [K sedemikian sehingga 5 h1k1
dan b 5 h2k2. Kita harus membuktikan bahwa ab [HK dan a21 [HK. Perhatikan bahwa karena G
adalah Abelian dan H dan K adalah subkelompok G, kita memiliki ab 5 h1k1h2k2 5 (h1h2)
Bagaimana Anda membuktikan bahwa subset grup bukan subkelompok? Berikut adalah tiga cara
yang mungkin, yang salah satunya menjamin bahwa subset tersebut bukan subkelompok:
Perlihatkan dua elemen himpunan yang produknya tidak ada dalam himpunan.
CONTOH 8 Misalkan G adalah kelompok bilangan real yang tidak nol dengan perkalian, H 5
berikut.
Biarkan H menjadi himpunan bagian tak terbatas dari suatu grup G. Jika H ditutup di bawah
BUKTI Dalam Teorema 3.2, kita hanya perlu membuktikan bahwa a21 [H setiap kali a [H. Jika a
5 e, maka a21 5 a dan kita selesai. Jika ∞ e, pertimbangkan urutan a, a2,. . . . Dengan penutupan,
semua elemen ini milik H. Karena H adalah terbatas, tidak semua elemen ini berbeda. Katakan ai
5 aj dan saya. j. Kemudian, ai2j 5 e; dan karena ∞ e, i 2 j. 1. Jadi, aai2j21 5 ai2j 5 e dan, oleh
karena itu, ai2j21 5 a21. Tapi saya 2 j 2 1 $ 1 menyiratkan ai2j21 [H dan kita selesai.
Contoh Subkelompok
Bukti-bukti dari beberapa teorema berikut menunjukkan cara kerja pengujian subkelompok
kami. Kami pertama-tama memperkenalkan notasi penting. Untuk elemen apa pun dari
grup, kita biarkan kal menunjukkan set {an | n [Z}. Secara khusus, amati bahwa eksponen dari
semua bilangan bulat negatif termasuk 0 dan bilangan bulat positif (a0 didefinisikan sebagai
identitas).
Teorema 3.4 kal Adalah Subkelompok
Biarkan G menjadi grup, dan biarkan elemen apa pun dari G. Kemudian, kal adalah sub-grup
dari G.
BUKTI Karena [kal, kal tidak kosong. Biarkan, saya [kal. Kemudian, an (pagi) 21 5 an2m [kal;
Subkelompok kal disebut subkelompok siklik dari G yang dihasilkan oleh a. Dalam kasus G5
kal, kita mengatakan bahwa G adalah siklik dan a adalah generator G. (Grup siklik mungkin
memiliki banyak generator.) Perhatikan bahwa walaupun ada daftar. . . , a22, a21, a0, a1, a2,. . .
memiliki banyak sekali entri, himpunan {an | n [Z} mungkin hanya memiliki banyak elemen.
Juga perhatikan bahwa, karena aiaj 5 ai1j 5 aj1i 5 ajai, setiap grup siklik adalah Abelian.
351? 3.36534? 3259, ...; 32157 (sejak 3? 7 5 1), 322 5 9, 323 5 3, 324 5 1, 325 5 324? 321 5 1?
CONTOH 10 Dalam Z10, k2l 5 {2, 4, 6, 8, 0}. Ingat, berarti na ketika operasi adalah
penambahan.
CONTOH 11 Dalam Z, k21l 5 Z. Di sini setiap entri dalam daftar. . . , 22 (21), 21 (21), 0 (21), 1
CONTOH 12 Dalam Dn, gugus dihedral orde 2n, misalkan R menunjukkan rotasi 360 / n
derajat. Kemudian,
360 °
Demikian pula, R21 5 Rn21, R 22 5 Rn22,. . . , sehingga kRl 5 {e, R,. . . , Rn21}. Kita melihat,
Grup
dengan periode n. Secara visual, menaikkan R ke kekuatan positif berturut-turut sama dengan
bergerak berlawanan arah jarum jam di sekitar lingkaran satu simpul pada satu waktu, sedangkan
menaikkan R ke kekuatan negatif berturut-turut sama dengan bergerak di sekitar lingkaran searah
Rn 5 e
Rn12 5 R2 22 n22
R5R
Pada Bab 4 kita akan menunjukkan bahwa | kal | 5 | a |; yaitu, urutan subkelompok yang
dihasilkan oleh a adalah urutannya sendiri. (Sebenarnya, definisi | a | dipilih untuk memastikan
Untuk setiap elemen a dari grup G, akan berguna untuk menganggap kal sebagai subkelompok
terkecil dari G yang mengandung a. Gagasan ini dapat diperluas ke sembarang kumpulan S
elemen dari grup G dengan mendefinisikan kSl sebagai subkelompok G dengan properti yang
kSl berisi S dan jika H adalah subkelompok G yang mengandung S, maka H juga mengandung
kSl Dengan demikian, kSl adalah subkelompok terkecil dari G yang berisi S. Himpunan kSl
disebut sub-kelompok yang dihasilkan oleh S. Kami menggambarkan konsep ini dalam contoh
CONTOH 13 Dalam Z20, k8,14l 5 {0, 2, 4,…, 18} 5 k2l; dalam Z, k8, 13l 5 Z; dalam D4, kH,
Vl 5 {H, H2, V, HV} 5 {R0, R180, H, V}; dalam D4, kR90, Vl 5 {R90, R902, R903, R904, V,
R90V, R902V, R903V} 5 D4; dalam C *, kelompok bilangan kompleks bukan nol di bawah
Pusat, Z (G), dari grup G adalah subset elemen dalam G yang berpindah dengan setiap elemen G.
Dalam simbol,
[Notasi Z (G) berasal dari fakta bahwa kata Jerman untuk pusat adalah Zentrum. Istilah ini
e [Z (G), jadi Z (G) tidak kosong. Sekarang, anggap a, b [Z (G). Kemudian (ab) x 5 a (bx) 5 a
(xb) 5 (ax) b 5 (xa) b 5 x (ab) untuk semua x dalam G; dan, oleh karena itu, ab [Z (G).
Selanjutnya, asumsikan bahwa [Z (G). Kemudian kita memiliki kapak 5 xa untuk semua x dalam
G. Apa yang kita inginkan adalah a21x 5 xa21 untuk semua x dalam G. Secara informal, semua
yang perlu kita lakukan untuk mendapatkan persamaan kedua dari yang pertama secara
kapak 5 xa
menjadi xa21 5 a21x. (Hati-hati di sini; kelompok tidak perlu komutif. A di sebelah kiri muncul
sebagai a21 di sebelah kiri, dan a di kanan muncul sebagai a21 di sebelah kanan.) Secara formal,
persamaan yang diinginkan dapat diperoleh dari yang asli dengan mengalikannya di sebelah kiri
exa21 5 a21xe,
xa21 5 a21x.
CONTOH 14 Untuk n $ 3, 6
Untuk memverifikasi ini, pertama amati 55 bahwa karena setiap rotasi dalam Dn adalah kekuatan
R360 / n, rotasi bolak-balik dengan rotasi. Kami sekarang menyelidiki ketika rotasi dilakukan
dengan refleksi. Misalkan R adalah setiap rotasi dalam Dn dan biarkan F menjadi refleksi apa
pun dalam Dn. Perhatikan bahwa karena RF adalah refleksi kita memiliki RF 5 (RF) 21 5 F21
R21 5 FR21. Dengan demikian, maka R dan F pergi jika dan hanya jika FR 5 RF 5 FR21.
jika R 5 R21. Tapi R 5 R21 hanya ketika R 5 R0 atau R 5 R180, dan R180 dalam Dn hanya
ketika n adalah genap. Jadi, kita telah membuktikan bahwa Z (Dn) 5 {R0} ketika n ganjil dan Z
Meskipun suatu elemen dari grup non-Abelian tidak harus bolak-balik dengan setiap elemen
grup, selalu ada beberapa elemen yang dengannya ia akan bolak-balik. Misalnya, setiap elemen
bolak-balik dengan semua kekuatan a. Pengamatan ini mendorong definisi dan teorema
berikutnya.
Definisi Sentralisasi a di G
Biarkan a menjadi elemen tetap dari grup G. Sentralisasi a dalam G, C (a), adalah himpunan
{g [G | ga 5 ag}.
C (R0) 5 D4 5 C (R180),
(Latihan 41).
Perhatikan bahwa untuk setiap elemen a dari grup G, Z (G) # C (a). Juga, perhatikan bahwa G
adalah Abelian jika dan hanya jika C (a) 5 G untuk semua a dalam G.
Latihan
arnold ross
Untuk setiap grup dalam daftar berikut, temukan urutan grup dan urutan setiap elemen dalam
grup. Apa hubungan yang Anda lihat antara perintah unsur-unsur suatu kelompok dan urutan
kelompok?
Misalkan Q adalah kelompok bilangan rasional di bawah penjumlahan dan misalkan Q * adalah
kelompok bilangan rasional bukan nol di bawah penggandaan. Di Q, buat daftar elemen dalam
Misalkan Q dan Q * seperti dalam Latihan 2. Temukan urutan setiap elemen dalam Q dan di Q *.
Buktikan bahwa dalam grup apa pun, elemen dan kebalikannya memiliki urutan yang sama.
Tanpa benar-benar menghitung pesanan, jelaskan mengapa dua elemen dalam masing-masing
pasangan elemen dari Z30 berikut harus memiliki urutan yang sama: {2, 28}, {8, 22}. Lakukan
hal yang sama untuk pasangan elemen berikut dari U (15): {2, 8}, {7, 13}.
a 5 6, b 5 2
a 5 3, b 5 8
a 5 5, b 5 4
Apa yang dapat Anda katakan tentang subkelompok D3 yang berisi R240 dan F refleksi? Apa
yang bisa Anda katakan tentang subkelompok D3 yang berisi dua refleksi?
Apa yang bisa Anda katakan tentang subkelompok D4 yang berisi R270 dan refleksi? Apa yang
dapat Anda katakan tentang subkelompok D4 yang berisi H dan D? Apa yang bisa Anda katakan
Tentukan semua elemen dari urutan hingga dalam R *, kelompok bilangan real nol di bawah
multiplikasi.
Jika a dan b adalah elemen grup dan ab Z ba, buktikan bahwa aba Z e.
Misalkan H adalah himpunan bagian kosong dari grup G yang ditutup di bawah operasi grup dan
memiliki properti bahwa jika a tidak dalam H maka a21 tidak dalam H. Apakah H subkelompok?
Misalkan G adalah grup polinomial yang ditambahkan dengan koefisien dari Z10. Temukan
pesanan f (x) 5 7x2 1 5x 1 4, g (x) 5 4x2 1 8x 1 6, dan f (x) 1 g (x) 5 x2 1 3x. Jika h (x) 5 anxn 1
an21xn21 1… 1 a0 milik G, tentukan | h (x) | mengingat bahwa gcd (a1, a2,…, an) 5 1; gcd (a1,
a2,…, an) 5 2; gcd (a1, a2,…, an) 5 5; dan gcd (a1, a2,…, an) 5 10.
Jika a adalah elemen dari grup G dan | a | 5 7, tunjukkan bahwa a adalah kubus dari beberapa
elemen G.
Misalkan H adalah himpunan bagian kosong dari grup G dengan properti yang jika a dan b milik
H maka a21b21 milik H. Buktikan atau bantah bahwa ini cukup untuk menjamin bahwa H adalah
subkelompok dari G.
Buktikan bahwa jika grup Abelian memiliki lebih dari tiga elemen orde 2, maka ia memiliki
setidaknya 7 elemen orde 2. Temukan contoh yang menunjukkan ini tidak benar untuk grup non-
Abelian.
Misalkan a adalah elemen grup dan a6 5 e. Apa kemungkinan untuk | a | Berikan alasan untuk
jawaban Anda.
Jika a adalah elemen grup dan memiliki urutan yang tak terbatas, buktikan itu? kapan m? n.
Biarkan x milik grup. Jika x2 2 e dan x6 5 e, buktikan bahwa x4 2 e dan x5 ∞ e. Apa yang bisa
Tunjukkan bahwa U (14) 5 k3l 5 k5l. [Karenanya, U (14) bersifat siklis.] Apakah U (14) 5 k11l?
Tunjukkan bahwa U (20) 2 kkl untuk setiap k di U (20). [Karenanya, U (20) bukan siklik.]
Misalkan n adalah bilangan bulat genap dan H adalah subkelompok Zn. Buktikan bahwa setiap
anggota H adalah genap atau persis setengah dari anggota H adalah genap.
Buktikan bahwa untuk setiap subkelompok Dn, baik setiap anggota subkelompok adalah rotasi
Buktikan bahwa grup dengan dua elemen pesanan 2 yang bepergian harus memiliki
subkelompok pesanan 4.
Untuk setiap bilangan bulat genap n, tunjukkan bahwa Dn memiliki subkelompok urutan 4.
Misalkan H adalah subkelompok Z yang tepat di bawah penjumlahan dan H berisi 18, 30, dan
40. Tentukan H.
Misalkan H adalah subkelompok Z yang tepat di bawah penambahan dan bahwa H berisi 12, 30,
Untuk setiap pembagi k. 1 dari n, misalkan Uk (n) 5 {x [U (n) | x mod k 5 1}. [Misalnya, U3
(21) 5 {1, 4, 10, 13, 16, 19} dan U7 (21) 5 {1, 8}.] Daftar elemen-elemen dari U4 (20), U5 (20),
U5 (30), dan U10 (30). Buktikan bahwa Uk (n) adalah subkelompok U (n). Biarkan H 5 {x [U
(10) | x mod 3 5 1}. Apakah H subkelompok U (10)? (Latihan ini dirujuk dalam Bab 8.)
Jika H dan K adalah subkelompok G, tunjukkan bahwa H> K adalah subkelompok G. (Dapatkah
Anda melihat bahwa bukti yang sama menunjukkan bahwa persimpangan sejumlah subkelompok
Biarkan G menjadi grup. Tunjukkan bahwa Z (G) 5> a [GC (a). [Ini berarti persimpangan semua
Biarkan G menjadi grup, dan biarkan [G. Buktikan bahwa C (a) 5 C (a21).
Untuk elemen grup a dan integer apa pun k, tunjukkan bahwa C (a) # C (ak). Gunakan fakta ini
untuk melengkapi pernyataan berikut: “Dalam sebuah grup, jika x bepergian dengan a, maka. . . .
12345678
112345678
221436587
334217865
443128756
556871
665781
778561
887651
12345678
112345678
221876543
334567812
443218765
556781234
665432187
778123456
887654321
Temukan Z (G).
Jika a dan b adalah elemen grup yang berbeda, buktikan bahwa a2 2 b2 atau a3 2 b3.
Misalkan S adalah himpunan bagian dari grup dan misalkan H adalah persimpangan dari semua
Jika S tidak kosong, buktikan bahwa kSl 5 {s1n1 s2n2… smnm | m $ 1, si [S, ni [Z}. (Istilah si