[MD-sorular] Cebir I

[tibet efendi]

Bir zamandir su soruyla ugrasiyorum. Cözemedim:

(G,*) bi grup ve ~ de bu grup üzerinde bir denklik bagintisidir.
~ bagintisinin * islemine göre ancak ve ancak left compatible oldugunda right compatible oldugunu nasil kanitlarim?

Tanim: Her (x,y,z) icin x~y => z*x~z*y dogruysa ~ bagintisina * islemine göre left compatible denir. Ayni sekilde right compatible tanimlaniyor. tek fark z'nin bu sefer sagdan carpiliyor olusu.

Elimde bir de ipucu var. Soru cözülürken etkisiz elemana ait denklik sinifinin (buna [e] diyorum) bir normal subgroup oldugu gösterilecek.

"~ bagintisi left compatible'sa [e] bir altgruptur"
bunu gösterdim. ama normal altgrup oldugunu gösteremiyorum. Ha onu gösterdikten sonra devamini nasil getirecegim onu da bilmiyorum.

Konuya hakim degilim. O yüzden fikir verecek olanlar "aptallar icin" aciklarlarsa sevinirim.
Yardim edeceklere simdiden tesekkürler.

Tibet


__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20081018/37bb77fe/attachment.htm