Category Archives: aljabar abstrak

aljabar abstrak, pembuktian

Center dan Centralizer, Apa Bedanya?

teori GrupCenter dan centralizer, dua definisi pada Teori Grup yang pengertianya mirip-mirip dan sering membuat orang bingung membdekan keduanya. Melalui postingan ini, saya akan menjelasa perbedaannya keduanya. Oya literatur yang saya pakai adalah Abstract Algebra, Grillet. Literatur utama saya ketika skripsi dulu.

kita bahas Centralizer terlebih dahulu.

Definisi 1: Untuk sebarang, grup G, Centralizer pada G dari suatu x\in G adalah

C_{G}\left(x\right)=\left\{ g\in G|gx=xg\right\}

Untuk suatu x\in G maka C_{G}\left(x\right) adalah himpunan bagian tak-kosong dari G yang berisikan elemen-elemen yang bersifat komutatif terhadap x.  Jika G adalah grup abelian maka jelas C_{G}\left(x\right)=G, untuk sebarang x\in G. Jika  G grup non-abelian maka e\in C_{G}\left(x\right), untuk sebarang  x\in G. Itulah sebabnya centralizer mustahil himpunan kosong, apapun grupnya, apapun elemen x yang dipilih pastilah elemen identitas termuat didalam centralizer. Karena elemen identitas bersifat komutatif terhadap semua elemen di grup, maka untuk sebarang grup G berlaku C_{G}\left(e\right)=G.

Jika Centralizer berisikan elemen-elemen yang komutatif terhadap suatu x\in G maka center berisikan elemen-elemen yang komutatif terhadap SEMUA   x\in G. Continue reading →

Standard
aljabar abstrak, Topologi

Grup Topological

Di Matematika, salah satu cara mendapatkan konsep baru adalah menggabungkan 2 konsep yang sudah ada. Contohnya Topological Grup yang merupakan gabungan Grup dan Ruang Topologi. Grup Topological adalah suatu grup G yang dilengkapi topologi pada G dengan operasi binernya dan fungsi inversnya adalah fungsi kontinyu menurut topologi. Secara formal didefiniskan sebagai berikut:

Definisi: Grup Topological adalah grup G yang dilengkapi topologi pada G dan berlaku aksioma-aksioma berikut:

(i) Terdapat fungsi kontinyu  f:G\times G\rightarrow G yang didefiniskan f\left(g,h\right)=gh dengan G\times G dilengkapi dengan produk topologi

(ii) Terdapat fungsi invers kontinyu inv:G\rightarrow G yang didefinsikan inv\left(g\right)=g^{-1}.

Nah.. sekarang perhatikan aksioma (i) ekuivalent dengan pernyataan, untuk sebarang himpunan terbuka U\subseteq G dan g_{1}g_{2}\in U maka terdapat himpunan terbuka V_1,V_2 dengan g_{1}\in V_{1},g_{2}\in V_{2} dan V_{1}V_{2}=\left\{ v_{2}v_{2}| v_{1}\in V_{1}, v_{2}\in V_{2}\right\} \subseteq U. Sedangkan aksioma (ii) ekuivalent dengan menunjukkan untuk sebarang himpuan terbuka U\subseteq G maka U^{-1}=\left\{ g^{-1}|g\in U\right\} adalah himpunan terbuka juga.

Continue reading →

Standard
aljabar abstrak

Teorema Sylow

Teorema Lagrange menyatakan jika G grup berhingga dan H subgrup dari G maka order dari H akan membagi order dari G.

Pertanyaannya, apakah sebaliknya berlaku. Jika  G berorder n dan m membagi  n. Apakah akan selalau ada subgrup dari  G yang beroder m.

Jawabannya Tidak, contohnya: A_5 berorder 60 dan jelas 15 membagi 60 tetapi A_5 tidak mempunyai subgrup berorder 15.

Teorema Sylow memberikan kebalikan parsial dari Teorema Lagrange. Menurut teorema Sylow jika G berorder m maka akan terdapat subgrup berorder p^n dengan p prima dan p^n membagi m

Nah.. subgrup berorder p^n, dinamakan subgrup p-sylow.

Defenisi: Diberikan bilangan prima p, Suatu subgrup dinamaka p-subgrup jika berorder p^j unntuk suatu j\in\mathbb{N}. Sedangkan subgrup  p-sylow dari suatu grup hingga G berorder n adalah subgrup S  berorder  p^k dengan k\in\mathbb{N} berlaku p^{k}\mid n dan p^{k+1}\nmid n.

Jadi subgrup  p-sylow adalah p-subgrup maksimal dari suatu grup berhingga yang mempunyai pangkat terbesar yang membagi order dari grup berhingga tersebut. Teorema sylow menyatakan subgrup p-sylow itu eksis dan memberikan beberapa sifat dari subgrup p-sylow.

Continue reading →

Standard
aljabar abstrak

Barisan Komposisi dan Teorema Jordan-Hölder

Dalam Teori Bilangan, kita mengenal Teorema Fundamental aritmatika yang mengatakan setiap bilangan dapat dipecah menjadi faktor-faktor prima dan faktor-faktor prima tersebut tunggal.

Nah… pada teori grup ada konsep yang mirip.

Barisan Komposisi

Barisan komposisi adalah cara memecah grup menjadi grup-grup sederhana.

Definsi: Suatu grup dikatakan sederhana jika hanya mempunyai subgrup normal: \left\{ 1\right\} dan dirinya sendiri.

Karena hanya mempunyai subgrup normal: \left\{ 1\right\}  dan dirinya sendiri maka grup sederhana hanya mempunyai grup faktor: \left\{ 1\right\} dan dirinya sendiri. Serupa dengan bilangan prima, ya kan?

Sekarang kita lihat definisi formal dari barisan komposisi.

Definsi: Barisan komposisi dari suatu grup G adalah rantai berhinga dari subgrup:

\left\{ 1\right\} =G_{n}\vartriangleleft G_{n-1}\vartriangleleft\ldots\vartriangleleft G_{1}\vartriangleleft G_{0}=G

Yang memenuhi aksioma-aksioma berikut:

1. Untuk i=0,1,\ldots,n-1, berlaku  G_{n-1} adalah subgrup normal dari G_1

2. Grup faktor G_i/G_{i+1} adalah sederhana dan grup-grup faktor

G_{0}/G_{1},G_{1}/G_{2},\ldots,G_{n-1}/G_{n}, disebut komposisi faktor.

Nah..tidak semua grup mempunyai barisan komposisi lho.

Continue reading →

Standard
aljabar abstrak

Quasigrup dan Loop

Quasigrup

Kita tahu bahwa himpunan bilangan bulat Z yang dilengkapi dengan operasi penjumlahan merupakan grup. Bagaimana jika diganti dengan operasi pengurangan.

Apakah (Z,-) merupakan grup?

Untuk menjawabnya tentunya kita harus mengecek (Z,-) memenuhi aksioma-aksioma dari grup, yaitu:

  • Operasi binernya bersifat asosiatif
  • Mempunyai elemen identitas
  • Setiap Elemennya mempunyai invers.

Pertama-tama kita lihat apakah operasi pengurangan itu asosiatif. Tidak, kita ambil counterexample nya

4-(2-2)=4 disisi lain  (4-2)-2=0

Karena operasi pengurang tidak asosiatif maka (Z,-) bukanlah Grup. Meskipun begitu kita akan tetap cek apakah  (Z,-) mempunyai elemen identitas dan invers.

Jika (Z,-) memepunyai elemen identitas e maka untuk sebarang bilangan bulat a berlaku

e-a=a-e=a

Mmm…kayaknya persamaan diatas hanya berlaku jika a=e=0. Itu berarti (Z,-) tidak mempunyai elemen identitas dan menyebabkan elemen-elemen di  (Z,-) tidak mempunyai invers.

Struktur  (Z,-) bukan juga merupakan semigrup karena aksioma dari semigrup adalah sifat asosiatif

Continue reading →

Standard
aljabar abstrak, Topologi

Grup Fundamental

Konsep grup fundamental adalah salah satu konsep paling penting dalam topologi. Jika kita menganalogikan ruang topologi sebagai permukaan (surface) maka grup fundamental berjuan untuk mengetahui karakteristik dari permukaan tersebut dan melihat apakah 2 buah permukaan mempunyai karakter yang sama atau tidak

Bayangkan kalian mempunyai sebuah permukaan, permukaan apa? Bebas terserah kalian bissa permukaan bola, permukaan gelas, permukaan batu dan lain sebagainya. Selanjutnya pilih sebuah titik x_0 pada permukaan tersebut, tentunya kalin bisa menggambarkan putaran (loop) yang melalui titik x_0,  apa itu putaran? Yaitu sebuah lintasan yang berawal dan berkahir di titik x_0. Nah… karena titik x_0 merupakan awal dan akhir dari sebuah putaran maka  x_0 disebut BasePoint.

Secara formal putaran didefiniskan sebagai berikut:

Definisi: Diberikan ruang topologi X dan x_{0}\in X, sebuah fungsi kontinyu

f:\left[0,1\right]\rightarrow X

dengan sifat f\left(0\right)=x_{0}=f\left(1\right) disebut putaran dengan basepoint x_{0}\in X

Jadi putaran itu adalah sebuah fungsi kontinyu yang berawal dan berakhir pada titik yang sama.  Dua buah putaran f dan g dikatakan ekuivalen atau homotopic dinotasikan f\simeq g  jika putaran f bisa diubah bentuknya ( dengan cara: direnggangkan, di tarik, diperbesar, atau diperkecil) ke putaran g tanpa memotongnya, begitupula sebaliknya. Seacara formal 2 buah fungsi dikatakan homotopic jika terdapat fungsi kontinyu

h:\left[0,1\right]\times\left[0,1\right]\rightarrow X

dengan sifat untuk semua 0\leq t\leq1 berlaku

  • h\left(t,0\right)=f\left(t\right)
  • h\left(t,1\right)=g\left(t\right)
  • h\left(0,t\right)=x_{0}=h\left(1,t\right)

Continue reading →

Standard
aljabar abstrak

Lemma Zassenhaus sebgai generaliasasi dari Teorema Isomorfisma kedua

Pada postingan Lemma Zassenhaus, saya mengatakan

Lemma Zassenhaus merupakan generalisasi dari teorema isomorfisma kedua.

Tanpa ada penjelasan lebih lanjut dan ternyata hal tersebut membuat penasaran mbak Rossi Fauzi. Postingan saya kali ini merupakan penjelasan dari kata-kata saya tersebut.

Sekarang, mari kita lihat Lemma Zassenhaus dan Teorema Isomorfisma kedua

Lemma Zassenhaus: Diberikan grup G dengan A_{1}\trianglelefteq A\leq G dan B_{1}\trianglelefteq B\leq G maka berlaku:

  • A_{1}\left(A\cap B_{1}\right)\trianglelefteq A_{1}\left(A\cap B\right)
  • B_{1}\left(A_{1}\cap B\right)\trianglelefteq B_{1}\left(A\cap B\right)
  • {\displaystyle \frac{A_{1}\left(A\cap B\right)}{A_{1}\left(A\cap B_{1}\right)}\cong\frac{B_{1}\left(A\cap B\right)}{B_{1}\left(A_{1}\cap B\right)}\cong\frac{A\cap B}{\left[\left(A\cap B_{1}\right)\left(A_{1}\cap B\right)\right]}}

Teorema Isomorfisma kedua: Diberikan Grup G dengan S\leq G dan T\trianglelefteq G maka berlaku

  • ST\leq G
  • S\cap T\trianglelefteq G
  • {\displaystyle \frac{ST}{T}\cong\frac{S}{S\cap T}}

Nah…pada Lemma Zassenhaus, coba kalian ganti A=G, A_1=T, B=S dan B_1=S\cap T maka lemma tersebut akan menjadi Teorema Isomorfisma kedua. Silahkan kalian coba sendiri ya.

Nah.. mulai keliatankan letak generalisasinya. Jadi Teorema Isomorfisma kedua merupakan bentuk khusus dari Lemma Zassenhaus, ketika G=A, dan B_1= B\cap A_1.

***

Mmm… postingan yang pendek dengan judul yang panjang, bukan? :)

 

———————————————————————————————————————————————-
**Ingin mendapatkan kaos unik bertema matematika silahkan kunjungi kaos.ariaturns.com **

 

Standard
aljabar abstrak

Masalah Burnside

Masalah Burnside adalah masalah yang paling berpengaruh didalam Teori Grup yang dilontarkan oleh William Burnside

Definsi: Diberikan grup G,suatu elemen g\in G dikatakan mempunyai order hingga (Finite order) jika terdapa n\in\mathbb{Z} sedemikian hingga g^n=e

Definsi: Grup G dikatakan periodik jika \forall g\in G,\,\exists n\in\mathbb{Z} sedemikian hingga g^n=e. Dengan kata lain semua elemen di G mempunyai order berhingga. Grup periodik dikatakan mempunyai eksponen n , jika \forall g\in G,\, g^{n}=e untuk n tetap atau dengan kata lain setiap elemennya mempunyai nilai order yang sama

(note: e adalah elemen identitas)

Kalian jangan rancu dengan grup siklik, meskipun demikian semua grup siklik berhingga adalah periodik, begitupula dengan grup berhingga pastilah periodik.

Pada tahun 1902, Burside menulis sebuah paper dan didalam papernya, ia melempar pertanyaan.

Diberikan sebarangG grup periodik eksponen n yang dibangun secara berhingga, Apakah G merupakan grup hingga?

Continue reading →

Standard
aljabar abstrak

nZ dan mZ tidak isomorphic

Ini lanjutan postingan saya kemarin. Kemarin saya telah menunjukan bahwa gelanggang 2\mathbb{Z} dan 3\mathbb{Z} tidak isomorphic. Nah..sekarang kita generalisasi permasalahannya.

Diberikan sebarang gelanggang n\mathbb{Z} dan m\mathbb{Z} dengan n\neq m bilangan bulat positif

Apakah n\mathbb{Z} dan m\mathbb{Z} isomorphic?

Nah..untuk menjawab pertanyaan tersebut, kita harus menggunakan salah satu sifat dari gelanggang homomorfisma n\mathbb{Z}

Teorema: Diberikan gelanggang homorfisma \theta dari n\mathbb{Z} ke R

\theta:n\mathbb{Z}\rightarrow R

maka \theta\left(nk\right)=k\theta\left(n\right) untuk sebarang bilangan bulat k

Bukti: Jika k=0, jelas trivial. Andaikan k\neq 0, diperoleh

Continue reading →

Standard