BAGIAN 7 Subkelompok Himpunan bilangan bulat bahkan adalah bagian dari himpunan semua bilangan bulat, dan kedua

set adalah kelompok dengan menghormati penambahan. Jadi bahkan bilangan bulat membentuk sebuah sub kelompok dari kelompok semua bilangan bulat, menurut definisi berikut. Definisi. Sebuah H subset dari suatu grup G adalah subkelompok dari G jika H sendiri merupakan kelompok dengan hormat ke operasi pada G. Perhatikan bahwa jika G adalah grup dengan operasi *, H adalah subkelompok G, dan a, b EH, maka * b E H. Artinya, H harus ditutup sehubungan dengan operasi *. Khususnya a * aCHforeach ach. Contoh 7.1 (A) Kelompok bilangan bulat dengan penambahan adalah subkelompok dari kelompok bilangan real dengan penambahan. (B) Dengan perkalian, (1, -11 adalah subkelompok dari kelompok bilangan real bukan nol. (C) Setiap kelompok adalah subkelompok dari dirinya sendiri. (D) Jika e adalah identitas dari grup G, maka {e} adalah subkelompok G. Teorema 7.1 akan memberikan cara mudah untuk memutuskan apakah subset dari kelompok adalah subkelompok. Tapi pertama-tama kita perlu hasil awal berikut. Lemma 7.1 Misalkan G menjadi grup dengan operasi *, dan membiarkan H menjadi subkelompok G. (A) Jika f adalah identitas H dan e adalah identitas G, maka f = e. (B) Jika EH, maka kebalikan dari di H adalah sama dengan kebalikan dari di G. BUKTI. (A) Jika f adalah identitas H, maka f * f = f. Oleh karena itu, jika f menunjukkan inverse off di G, maka f-`* (f * f) f f (F-'f *) * f = e

e*f=e f = e. (B) Asumsikan H. E-Biarkan 'menunjukkan kebalikan dari dalam G dan membiarkan c menunjukkan kebalikan dari dalam H. Kemudian bagian * c = c * a = f, sehingga * c = c * a = e oleh (a) bukti tersebut. Namun, Teorema 5.1 (b) menunjukkan bahwa-'adalah elemen x unik di G memuaskan * x = x * a = e. Oleh karena itu, c = a-'. Teorema 7.1. Biarkan G menjadi grup dengan operasi *, dan membiarkan H menjadi bagian dari G. Maka H adalah subkelompok G IFF (A) H tidak kosong, (B) jika aeHandbeH, maka Beh *, dan (C) jika H E, maka E-1 H. BUKTI. Asumsikan H menjadi subkelompok. Kemudian, sebagai kelompok, maka harus mengandung setidaknya identitas elemen dan dengan demikian menjadi tidak kosong, kondisi konfirmasi (a). Perlunya penutupan untuk kelompok, kondisi (b), telah ditunjukkan. Sekarang perhatikan kondisi (c). Jika a EH, maka harus memiliki invers dalam H. set By Lemma 7.1 (b), invers ini adalah-1, kebalikan dari dalam G. Jadi-1 E H. Kami sekarang telah membuktikan bahwa jika H adalah subkelompok, maka kondisi (a), (b), dan (c) harus puas. Asumsikan sekarang bahwa H adalah subset memuaskan (a), (b), dan (c). Untuk memverifikasi bahwa H adalah kelompok kami harus memverifikasi bahwa sehubungan dengan *, H memenuhi kondisi dalam definisi kelompok dalam Bagian 5. Properti (b) memastikan bahwa * adalah operasi pada H. Hukum asosiatif puas otomatis: Jika * (b * c) = (a * b) * c adalah benar untuk semua elemen dalam G, maka tentu

berlaku untuk semua elemen di H, subset dari G. Untuk menunjukkan bahwa H mengandung e, elemen identitas G, misalkan x menunjukkan adanya unsur H, ada semacam unsur oleh kondisi (a). Dengan kondisi (C), x-1 E H. Oleh karena itu, dengan kondisi (b), e = x * x-1 E H. Jadi H adalah subkelompok. Soal 7.22 mengandung variasi pada Teorema 7.1, menunjukkan bagaimana (b) dan (c) dapat digabungkan ke dalam kondisi tunggal. Jika H dikenal sebagai himpunan berhingga, maka kondisi (c) dari Teorema 7.1 dapat dihilangkan sama sekali (Soal 14.35). Contoh 7.2. Jika k adalah bilangan bulat, himpunan semua kelipatan integral dari k memenuhi kondisi Teorema 7.1 dan karena itu subkelompok Z (sehubungan dengan +). Dalam kasus ini, invers dari unsur adalah negatif dari elemen. Kasus khusus k = 2 memberikan subkelompok semua bahkan bilangan bulat. Contoh 7.3. Tabel 7.1 menunjukkan bahwa jika H = {(1), (1 2 3), (1 2 3)}, maka H adalah subkelompok dari S3. Memeriksa kondisi Teorema 7.1, kita lihat dulu bahwa H tidak kosong. Penutupan terpenuhi karena tidak muncul dalam tabel kecuali (1), (1 2 3), dan (1 3 2). Dan kondisi (c) puas karena (1) -1 = (1), (1 2 3) -1 = (1 3 2), dan (1 3 2) -1 = (1 2 3). Kami sekarang mempertimbangkan kelas umum subkelompok yang Contoh 7.3 adalah khusus kasus. Pertama, kita mendefinisikan transposisi untuk menjadi 2-siklus di S (untuk setiap n). Sebagai contoh, transposisi di S3 adalah (1 2), (1 3), dan (2 3). Hal ini dapat dibuktikan bahwa setiap elemen S. adalah transposisi atau produk transposisi (Soal 6.9). Misalnya, (1 2 3) _ (1 3) (1 2). Ketika kita menulis unsur S. sebagai produk transposisi kita mungkin perlu baik sebagai bahkan sejumlah faktor, seperti dalam (1 2 3 4 5) = (1 5) (1 4) (1 3) (1 2), atau ganjil faktor, seperti dalam

(1 2 5) (3 4) = (1 5) (1 2) (3 4). Kami mendefinisikan permutasi untuk menjadi genap atau ganjil tergantung pada apakah itu dapat ditulis sebagai produk genap atau ganjil transposisi, masing-masing. Jadi sebelumnya persamaan menunjukkan bahwa (1 2 3 4 5) dan bahkan (1 2 5) (3 4) aneh. Kita harus berhati-hati dari satu hal dengan definisi ini. Sebuah permutasi dapat ditulis sebagai produk transposisi di lebih dari satu cara, seperti (1 2 3) = (1 3) (1 2) dan (1 2 3) = (2 3) (1 2) (3 1) (2 3), representasi pertama memiliki dua faktor dan yang kedua memiliki empat. Ini harus membuktikan bahwa, untuk setiap permutasi dari {1, 2, ... , N), jumlah transposisi dibutuhkan adalah selalu baik genap atau ganjil, tergantung hanya pada permutasi diberikan. Sebuah bukti untuk diberikan dalam Bagian 55, yang dapat dibaca sekarang jika diinginkan. Dengan demikian kedua istilah genap dan ganjil yang didefinisikan dengan baik untuk permutasi. Kami sekarang dapat menyatakan hasil berikut. Teorema 7.2 (alternating Group). Himpunan semua permutasi bahkan dalam subkelompok Sforms S untuk setiap n> 2. Subkelompok ini disebut kelompok bolak n derajat, dan akan dilambangkan oleh An. Urutan A adalah 1 (n!). BUKTI. Gunakan Teorema 7.1. Identitas permutasi adalah A. karena (1) = (1 2) (1 2). Jika a, b E An, maka E ab Sebuah karena produk bahkan jumlah transposisi dan bahkan jumlah transposisi akan memberikan bahkan jumlah transposisi. Akhirnya, kebalikan dari a = (aia2) (a3a4) ... (ak-jak) adalah-'= (ak-IAK) ... (a3a4) (aia2), sehingga bahwa-'dapat ditulis dengan menggunakan jumlah yang sama sebagai transposisi. Jadi A. E menyiratkan a-'E A. Untuk membuktikan bahwa urutan An adalah 1 (n!), itu sudah cukup untuk membuktikan bahwa S, memiliki jumlah yang sama bahkan permutasi permutasi sebagai aneh, karena S memiliki rangka n!. Untuk melakukan hal ini, cukuplah

untuk membuktikan bahwa pemetaan B: A - + S didefinisikan oleh 0 (a) = semua 2) adalah satu-ke-satu dan yang adalah himpunan semua permutasi aneh di S. ini yang tersisa untuk Soal 7.7. The H kelompok dalam Contoh 7.3 adalah A3. Soal 7,8 meminta Anda untuk menemukan unsur-unsur dalam A4. Kita menutup bagian ini dengan dua jenis sub kelompok permutasi. Satu ketik akan digunakan dalam Pasal 8 dalam mempelajari simetri, dan lainnya akan digunakan dalam Bab XIV dalam aplikasi untuk combinatorics. Asumsikan bahwa G adalah grup permutasi pada set S, dan T adalah subset dari S. Mari GT = {G E: a (t) = t untuk setiap t E T}. (7.1) Kami mengatakan bahwa unsur-unsur GT meninggalkan T elementwise invarian. Example7.4. Misalkan S = {1, 2, 3, 4}, G = Sym (S) = S4, dan T = {1, 2}. Kemudian GT = {(l) (2) (3) (4), (l) (2) (3 4)} = {(l), (3 4)} (Lihat Gambar 7.1). Ini adalah subkelompok G. Gambar 7.1 Sama seperti dalam contoh, GT selalu subkelompok. Sebelum membuktikan itu, bagaimanapun, kita memperkenalkan satu subset dari G erat kaitannya dengan GT. Jika adalah permutasi dari S, dan T adalah subset dari S, maka (T) menunjukkan himpunan semua elemen a (t) fort E T. Mari G (T) = {AEG: a (T) = T}. (7.2) Dengan demikian, jika EG (T) maka dapat mengubah urutan unsur-unsur T di antara mereka sendiri, tetapi mengirimkan ada unsur luar T T. Kami mengatakan bahwa unsur-unsur G (T) meninggalkan T invarian. Contoh 7.5. Dengan S, G, dan T seperti dalam Contoh 7.4, GT = {(l) (2) (3) (4), (1 2) (3) (4), (1) (2) (3 4), (1 2) (3 4)} _ {(1), (1 2), (3 4), (1 2) (3 4)) (Lihat Gambar 7.2). Ini juga adalah subkelompok S4.

Penyunting Gambar 7.2 Teorema 7.3. Jika G adalah grup permutasi pada S, dan T adalah himpunan bagian dari S, maka GT dan G (T) adalah subkelompok G. Juga, GT adalah subkelompok G (T). BUKTI. Terapkan Teorema 7.1, pertama untuk GT. Karena t, pemetaan identitas S, dalam GT, GT set tidak kosong. Jika, E GT, kemudian (P o) (t) = a (f (t)) = a (t) = t Penyunting untuk setiap t E T, sehingga o $ E GT. Akhirnya, jika GT E dan E t T, maka a (t) = t a-t (a (t)) = a-'(0 (A t o) (t) = a-t (t) t = a-t (t) sehingga t-E GT. Bukti bahwa G (T) adalah kelompok serupa, cukup mengganti t oleh T di jelas tempat (Soal 7.15). Untuk membuktikan bahwa GT adalah subkelompok G (T), mengasumsikan GT E. Kemudian (t) = t untuk setiap t E T sehingga (T) = T. Artinya, G E (T). Soal

7.1. Tentukan dalam setiap kasus apakah subset yang diberikan adalah subkelompok S4. Berikan alasan jawaban Anda. (A) {(1), (1 3 4), (1 4 3)) (b) ((I), (1 2 3), (2 3 4)) (C) {(1), (1 2) (3 4)) (d) ((1), (1 2 3 4), (1 4 3 2)) 7.2. Tentukan dalam setiap kasus apakah subset yang diberikan adalah subkelompok dari S5. Berikan alasan jawaban Anda.

(A) ((1), (1 3 5), (1 5 3)} (B) ((1), (1 3), (2 4), (1 3) (2 4)) (C) ((1), (1 2 3 4 5), (1 5 4 3 2)) (D) {(1), (1 2 3), (1 2 3), (4 5), (1 2 3) (4 5), (1 2 3) (4 5)) 7.3. Misalkan S = (1, 2, 31 dan G = S. Menulis semua unsur Gr dan G (T) dalam setiap kasus. (A) T = (1) (b) T = (2, 31 7.4. Misalkan S = {1, 2, 3, 4) dan G = S4. Menulis semua unsur GT dan G (T) dalam setiap kasus. (A) T = (1) (b) T = {1,2,3} 7,5. Buktikan bahwa (a,, o: a ER, yang $ 0) adalah subkelompok dari kelompok pada Contoh 5.8. Mencirikan kelompok dalam istilah geometris. (Lihat Contoh 4.2.) 7.6. Ulangi Soal 7.5 menggunakan {aI, b: b E R). 7.7. Buktikan klaim tentang 9 dalam bukti Teorema 7.2. 7.8. Cari elemen dalam A4. 7,9. Manakah dari berikut ini adalah subkelompok dari kelompok pada Contoh 5.8? (A) {a,, o: Aeq, A54 0) (b) (a,, oaEZ, A54 0) (C) {al, b: b E Z) (d) {at, b: b E N} 7.10. Biarkan F menunjukkan M (R), himpunan semua pemetaan f: R -> R, dibuat menjadi kelompok seperti pada Soal 5.13. Mari H = (f E F: f (x) EZ untuk XER masing-masing). Buktikan bahwa H adalah subkelompok F. Negara jelas sifat Z yang Anda gunakan. 7.11. Pertimbangkan M kelompok (2, Z), himpunan semua matriks 2 x 2 dengan bilangan bulat sebagai entri, dengan matriks Selain sebagai operasi (Contoh 5.9). (A) Buktikan bahwa himpunan semua matriks diagonal (orang-orang dengan nol di atas kanan dan kiri bawah sudut) membentuk subkelompok.

(B) Cari subkelompok M (2, Z) selain kelompok itu sendiri, subkelompok yang berisi hanya nol matrix [Contoh 7.1 (d)], dan subkelompok pada bagian (a) dari masalah ini. 7.12. Cari subkelompok Q (operasi +) yang berisi Z, tetapi berbeda dari kedua Z dan Q. 7.13. Buktikan bahwa jika H dan K merupakan subgrup dari grup G (* dengan operasi), maka H fl K adalah subkelompok G. (Bandingkan Soal 7.14.) 7.14. Biarkan H = ((1), (1 2)) dan K = [(1), (1 2 3), (1 2 3)}. Kedua H dan K merupakan subgrup dari S3. Tunjukkan bahwa H U K bukanlah subkelompok S3. Oleh karena itu, sebuah serikat subkelompok belum tentu subkelompok. (Bandingkan Soal 7.13. Juga lihat Soal 14.38.) 7.15. Buktikan secara rinci bahwa G (T) adalah subkelompok G. (Artinya, melengkapi bukti Teorema 7.3.) 7.16. Untuk G = S,,, negara kondisi perlu dan cukup pada T, subset dari S = (1, 2, ..., n), untuk G (T) = GT 7.17. Untuk T subset dari S, mari kita T menunjukkan komplemen dari T di S, yaitu, 'T = (X: XES dan XGT}. Buktikan bahwa jika S = (1, 2, ..., n) dan G = S,,, maka G (T) = G (T '). 7.18. Dengan S dan G seperti dalam Soal 7.17, menemukan kondisi perlu dan cukup pada n dan T untuk GT = GT,. 7.19. Dengan S dan G seperti dalam Soal 7.17, menemukan kondisi perlu dan cukup pada n dan T untuk GT C GT .. 7.20. LETS = (1,2, ..., n), T = (1,2, ..., k) (0 <k <n), dan g = S,,. (A) Apa I GT I (urutan GT)? (B) Apa IGEnI? 7.21. Buktikan bahwa jika G adalah grup dengan e identitas, dan x EG dan x * x = x, maka x = e. (Pertanyaan: Bagaimana Anda membuktikan ini di Z dengan + di tempat *, dan 0 di tempat e?) 7.22. Buktikan bahwa jika G adalah grup dengan operasi *, dan H adalah subset dari G, maka H adalah subkelompok G

jika (A) tidak kosong-Nya, dan (B) jika aCHandbeH, maka * b-) E H. 7.23. Asumsikan bahwa G adalah grup dengan operasi dan * bahwa E G. Mari C (a) = (xEG: a * x = x * a}. Buktikan bahwa C (a) adalah subkelompok G. [C (a) disebut pemusat dari dalam G.] 7.24. Asumsikan bahwa G adalah grup dengan operasi * dan biarkan Z (G) = {xEG: a * x = r * a foreveryaEG.}. Buktikan bahwa Z (G) adalah subkelompok G. [Z (G) disebut pusat G.] 7,25. Asumsikan bahwa G adalah grup permutasi pada set S dan T adalah subset dari S. Mari GET) = (AEG: a (T) CT}. Kemudian G (T) S GET] (A) Berikan contoh permutasi pada satu set S dan T subset dari S sedemikian rupa sehingga (T) # T. (Seharusnya, S dan T akan terbatas.) (B) Berikan contoh untuk menunjukkan bahwa GEr] tidak perlu subkelompok G. (Bandingkan Teorema 7.3.)