180 likes | 342 Views
GRUP FAKTOR ( LANJUTAN). Teorema IX.4 Untuk sebarang integer positif n berlaku ( aS ) n = a n S . Bukti : Akan dibuktikan dengan prinsip induksi . Untuk n = 1 , berlaku ( aS ) 1 = a 1 S . Berarti teorema benar untuk n = 1.
E N D
Teorema IX.4 • Untuksebarang integer positifnberlaku (aS)n = an S. Bukti : • Akandibuktikandenganprinsipinduksi. • Untukn = 1 , berlaku (aS)1 = a1S. • Berartiteoremabenaruntukn = 1. • Dianggapbahwateoremabenaruntukn = k. Berarti (aS)k = ak S. • Untukn = k + 1, berlaku (aS)k+1 = (aS) (aS)k = (aS) (akS) = (a . ak)S = ak+1S. • Terbuktibahwateoremabenaruntuksemuabilanganbulatpositifn.■
Teorema IX.5 • MisalkanG/Ssebaranggrupfaktor. • Jika G berhinggamakaordeG/Ssamadengan |G| / |S|. • JikaGsiklikmakaG/Ssiklik. • JikaamempunyaiordeberhinggamakaordedariaSdalamG/Smembagiordedaria. • JikaGAbelianmakaG/SAbelian.
Teorema IX.6 • MisalkanG/Ssebaranggrupfaktor. Fungsif : GG/S yang didefinisikandenganaturanf(x) = xSmerupakanhomomorfismasurjektifdariGkeG/SdenganintinyaS. • PemetaanS yang didefinisikandalamteoremadiatasseringdikenaldengannamahomomorfismaalam (natural homorphism) atauhomomorfismakannonik (canonical homomorphism).
Teorema IX.7 • JikaG/SsiklikdansetiapanggotaSkomutatifdengansemuaanggotaGmakaGAbelian.
Teorema IX.8 (Teorema Fundamental dariHomomorfismaGrup). • Jikaf : GHhomomorfismagrupdenganintiKdanpetaf(G) makaG/Sisomorfisdenganf(G). Bukti: • Definisikanfungsig : G/Kf(G) dengang(aK) = f(a). • Telahdibuktikanbahwagbijektifsehinggatinggalmembuktikanbahwaghomomorfisma. Padasatusisi, g(aKbK) = g(abK) = f (ab) = f(a) f(b) danpadasisi lain, g(aK) g(bK) = f(a) . f(b) sehinggag(aKbK) = g(aK) g(bK) untuksemuakosetaKdanbK. ■
Contoh IX.6 : • MisalkanT = { xdalamC* | Abs(x) = 1 }. • Mudahdibuktikanbahwafungsi Abs : C* R* merupakanhomomorfisma. • Karena 1 identitasdalamR* danT = Ker(Abs) makadenganmenggunakanteorema fundamental homorfismadiperolehbahwaC*/Tisomorfisdenganpetadarifungsi Abs yaituR+. • OlehkarenaituC*/TsehinggaC*/Tjugamempunyaisifat-sifat yang dimilikiR+. • JadiR+grupabeliantidaksiklik, ordenyatakhinggadanmempunyaianggotadenganorde 1 atau .■
Isomorfisma • Suatugrup yang nampaknyaberbedasecaraesensidapatsama. Secaraintuisiidebahwaduagrupsecaraesensisamaakanmenujupadapemikirantentangkonsepisomorfisma. Definisi IX.3 • Misalkan < G, * > dan < H, . > grup. GrupG isomorfisdenganHjikaterdapatfungsi f : GHsehingga • finjektif, • fsurjektif, • fhomomorfisma • makafdikatakanisomorfisma.
Teorema IX.9 • MisalkangrupGdanHisomorfis. Sifat-sifatberikutiniberlaku : • GrupGdanHmempunyaiorde yang sama. • GrupGdanHkeduanyaabelianatautidakabelian. • GrupGdanHkeduanyasiklikatautidaksiklik.
Contoh IX.7 : • DiketahuiGrupZ4danZ8*. • Keduagrupmempunyaiorde 4 danabeliantetapiZ4 = (1) sikliksedangkanZ8* tidaksiklikkarenatidakadaanggotanya yang mempunyaiorde 4. • OlehkarenaituZ4tidakisomorfisdenganZ8*.
Teorema IX.10 • SebaranggrupsikliktakberhinggaisomorfisdenganZ. • SebaranggrupsiklikberhinggaordenisomorfisdenganZn.
LATIHAN • MisalkanS = { (1), (2) } dananggapbahwasemuakosetaSuntukadalamZ4. • BerikancontohkhususuntukmenunjukkanbahwapergandaankosetaS . bS = ab Stidakterdefinisikandenganbaik. • Tunjukanbahwatidakadaduadarihimpunan-himpunanini yang isomorfis : R*, R+danC*. • Buktibahwafungsi-fungsiberikutsuatuisomorfisma. • f : Z100Z100denganf(x) = 3x. • h : Z10* Z10* denganh(x) = x3.
Tunjukkanbahwafungsiberikutmengawetkanoperasitetapitidaksurjektifmaupuninjektif.Tunjukkanbahwafungsiberikutmengawetkanoperasitetapitidaksurjektifmaupuninjektif. • f : Z100Z100denganf(x) = 2x. • h : Z10* Z10* denganh(x) = x2. • Didefinisikanf : RRdenganf(x) = -3x. BuktikanbahwafsuatuautomorfismaRyaituisomorfismadariRkeR. • MisalkanGsebaranggrupdanbanggotaG. • Didefinisikanfb : GGdenganaturanfb(x) = b-1xb. • TunjukkanbahwafbsuatuautomorfismadariG.
DiketahuigrupfaktorZ6/S dengan S = { 0,3 }. Tentukan order darigrupfaktordan order darielemen-elemendalamZ6/S. ApakahZ6/S siklik ? • Diketahuigrupfaktorf : Z7* Z7* dengan f(x) = x2. TentukanIm(f) dan K=Ker(f). ApakahZ7*/K isomorfisdenganf(Z7*) = Im(f) ? • MisalkanS = { AM22* | det(A) = 1 }. BuktikanbahwaSgrupbagian normal dariM22*.