CONTOH Ideal utama (x) pada ring [x] terdiri dari polinomial yang
merupakan kelipatan dari x, yaitu polinomial dengan nol konstanta. Oleh
karena itu x [x] jika () = + 0 () = + + 0
dan ()() , maka konstanta ()() yaitu 0 0, harus Menjadi 0.
Hal ini dapat terjadi jika hanya 0 = 0 atau 0 = 0 , yaitu jika hanya ()
() atau () (x). Oleh karena itu (x) adalah ideal utama. Setelah
Teorema 6.11 yang menunjukkan bahwa gelanggang hasil bagi [x] / (x)
adalah isomorfik sampai . Oleh karena itu [x] / (x) adalah domain
integral namun bukan bidang.
Mengingat contoh sebelumnya, teorema berikutnya adalah yang terbaik
yang bisa kita lakukan dengan ideal utama.
TEOREMA 6.12 Misalkan P menjadi ideal dalam ring komutatif R dengan
identitas. Maka P adalah ideal utama jika dan hanya jika ring quotient R / P
adalah domain integral.
Bukti Kita sering menggunakan fakta berikut, yang mengikuti dari
Teorema 6.4
Berikut adalah definisi formal dari sifat yang disarankan dari contoh-contoh
dibawah ini:
DEFINISI M ideal pada ring R dikatakan maksimal jika MR dan apabila J
adalah antara lain ideal bahwa M GJGR, maka MJ atau J R.
Misalnya, ideal (3) maksimal di Z dan ideal (r) tidak maksimal di
ZIx]. Perhatikan bahwa sebuah ring mungkin memiliki lebih dari satu ideal
maksimal. Yang ideal (0, 2, 4) maksimal di Zo, dan begitu juga yang ideal
(0, 3). Ada banyak ideal maksimal Z (Latihan 3). Ideal maksimal
memberikan jawaban berikut atas pertanyaan yang diajukan di atas:
TEOREM 6.13 Misalkan M ideal dalam ring komutatif R dengan
identitas. Maka M adalah ideal maksimal jika dan hanya jika ring quotient
ring R / M adalah field.
Bukti Seperti dalam bukti Teorema 6.12, R / M adalah ring komutatif
dengan identitas dan MR jika dan hanya jika iR M 0R M. Akibatnya, R / M
adalah field jika dan hanya jika setiap elemen bukan nol memiliki invers
perkalian.
Misalkan R / M adalah bidang dan M CJC R untuk beberapa ideal J. Jika
MJ, maka
Disisnin Ada EJ dengan af M. Oleh karena itu, M t 0R M dpada field R / M,
dan pada M memiliki invers b M sedemikian hingga (a M) (b M) ab M IR
M Kemudian ab iR (mod M) By Teorema 6.4, sehingga ab 1 m untuk
beberapa M. Jadi I ab m. Karena a dan m berada di ideal J, maka EJ dan J
R. Oleh karena itu M adalah ideal maksimal.
Sekarang anggaplah M maksimal. Jika M adalah elemen bukan nol dari R /
M, maka M (jika tidak M adalah koset nol). Jika J (mrahr e A dan m M )
adalah ideal dalam R yang berisi M By Exercise 27 Bagian 6.1 Selanjutnya,
a- 0R 1R adalah di J, sehingga MJ Dengan memaksimalkannya kita harus
memiliki Ja R. Oleh karena itu la EJ, yang diimplikasikan bahwa 1 m ca
untuk beberapa M dan c R. Perhatikan bahwa ca 1R- m EM, sehingga ca
bahwa E IR (mod M), dan karenanya ca M 1H M oleh Teorema
6.4. Akibatnya, koset c M adalah kebalikan dari M pada R / M
(C M) (a M) ca M i M
Oleh karena itu RVM adalah field
COROLLARY 6.14 Dalam ring komutatif R dengan identitas, setiap ideal
maksimal adalah bilangan prima Jika M adalah ideal maksimal, maka R / M
adalah field dengan Teorema 6.13. Oleh karena itu R / M adalah domain
integral oleh Corollary 3.8. Oleh karena itu, M adalah prima by Teorema
6.12
Teorema 7.32
Misal H subgrup dari G, maka
1. G adalah gabungan dari koset kanan H. =
2. Ada dua koset kanan dari H salah satu sama atau terpisah : =
=
3. bijektif f : . Akibatnya, jika H adalah hingga, ada
dua koset kanan dari H yang mempunyai jumlah elemen yang sama
Bukti :
1. Setiap koset terdiri dari elemen G, kita mempunyai . jika
maka = , dengan demikian
=
2. Corollary 7.19
3.
() =
Maka surjektif (def. Ha)
() =
() = ()
= (T.7.2 penghapusan kanan)
Maka bijektif
Jika H adalah subgrup dari G grup hingga, maka order dari H membagi
habis order dari G.
|| = || [: ]
Bukti :
Jika A adalah himpunan beringga maka |A| merupakan jumlah elemen
A. Jika A dan B saling terpisah tapi juga himpunan berhingga, maka
| | = || + ||.
Anggap |G:H| = n dan n mempunyai koset yang berbeda dari H pada G
dengan Hc1, Hc2, Hc3, . . . Hcn. Maka by T.7.32 point 1 = Hc1
Hc2 Hc3 . . . Hcn karena semua koset berbeda, mereka saling lepas
by T.7.32 point 2.
Akibatnya = | Hc1| + |Hc2| + |Hc3|+. . . +|Hcn| .Untuk masing-
masing c1 maka |Hc1| = |H| by T. 7.32 point 3. Oleh karena itu,
Corollary 7.34
Misalkan G grup hingga, maka
1. Jika , maka order dari a membagi habis order G
2. Jika |G|= k, maka ak = e untuk setiap
3. Jika n adalah sebuah grup norma dari G maka |G/N| = |G| / |N|
Bukti :
Contoh 7.34
= = 4 = =
= 1 14 = 1
= 1 14 = 1
= 4 = 1
= 4 = 1
Lihat pembuktian bahwa = {1, 1, , } grup dengan e = 1.
Teorema 7.35
Misalkan p merupakan bilangan bulat prima positif. setiap grup dari order p
adalah siklik dan isomorfik ke Zp (bilangan bulat modulo p)
Bukti:
Jika G adalah grup dari order p dan a bukan elemen identitas G, maka
subgrup siklik <a> adalah grup dari order lebih besar 1, karena order dari
grup <a> harus membagi p dan p adalah prima, <a> harus menjadi
sebuah grup order p. Dengan demikian <a> adalah semua dari G, dan G
adalah grup siklik dari order p. maka (T.7.13)
Teorema 7.36
Setiap grup dari order 4 adalah isomorfik ke Z4 atau Z2 x Z2
Bukti:
Misalkan G adalah grup dari orde 4. G mengandung elemen order 4 atau
tidak. Jika ya, maka subgrup siklik yang dihasilkan oleh elemen ini
memiliki orde 4 (by Teorema 7.10) dan semua dari G. Oleh karena itu G
adalah grup siklik dari order 4 dan 4 (by Teorema 7.13).
e a b c
e e a b c
a a e
b b e
c c e
e a b c
e e a b c
a a e c b
b b c e a
c c b a e
Teorema 7.37
Bukti:
Grup G tidak memuat elemen dari order 6 karena jika G memuat elemen
dari order 6 akan menjadi grup siklik dan abelian.
By T. 7.34 setiap elemen yang bukan identitas dari G mempunyai order 2
dan 3, tapi setiap elemen bukan identitas dari G tidak akan mempunyai
order 2 karena ini akan menjadikan G abelian by Exercise 21 dari section
7.2. oleh karena itu G harus memuat elemen a dari order 3. Misal N
menjadi subgroup siklik <a>= {e,a,a2} dan misal b memuat elemen dari
G yang tidak ada dalam N. coset Ne={e, a, a2} dan Nb={b, ab, a2b}
adalah bukan identitas karena = dan oleh sebab itu harus
disjoin(memisahkan) (teorema 7.32). oleh karena tu G terdiri dari 6
elemen , , 2 , , , 2 .
Teorema 7.38
Jika G adalah grup hingga abelian dan jika p adalah prima yang membagi
habis order dari G maka G memuat elemen dari order p.
Teorema 7.39
Misal p dan q bilangan prima positif yang berbeda. Setiap grup abelan dari
order pq adalah isomorfik ke Zpq.
Bukti:
by teorema Cauchy, jika G mempunyai order pq, maka G memuat
elemen a dari order p dan elemen b dari order q.
Karena G adalah abelian, elemen ab mempunyai order pq (by exrcise
29). Oleh karena itu subgroup siklik <ab> mempunyai order pq (by
teorema 7.10) dan semuanya adalah dari G. oleh karena tu , by T 7.13
Teorema 7.40