Yerel halka homomorfizması olmayan halka homomorfizması

0 beğenilme 0 beğenilmeme
136 kez görüntülendi

$(A,\mathfrak{m}_A)$ ve $(B,\mathfrak{m}_B)$ birim elemanlı yerel cisim olsunlar. $A$'dan $B$'ye giden bir $f$ halka homomorfizması için $$f^{-1}(\mathfrak{m}_B)=\mathfrak{m}_A$$ eşitliği sağlanıyorsa $f$'ye yerel halka homomorfizması denir. İki tane yerel halka arasında tanımlanmış fakat yerel halka homomorfizması olmayan bir halka homomorfizması örneği verin.

not: halka homomorfizması birim elemanı birim elemana götürmek zorunda.

21, Şubat, 2015 Akademik Matematik kategorisinde Safak Ozden (3,372 puan) tarafından  soruldu

2 Cevaplar

0 beğenilme 0 beğenilmeme

($\mathfrak{p},\ \mathbb{Z}$ de bir asal ideal) $A=\mathbb{Z}_{\mathfrak{p}},\ B=\mathbb{Q},\quad f=$içerme. Bunun benzerleri de kolayca oluşturulabilir.

22, Şubat, 2015 DoganDonmez (3,397 puan) tarafından  cevaplandı
0 beğenilme 0 beğenilmeme

Aşikar olmayan bir örnek diye sormak istemiştim aslında. $\mathbb{Q}$ cisim olduğu için doğal olarak yerel bir halka ama örnekte en azından ben genel örneklerin ne gibi olabileceğinin ipucunu göremiyorum.

Genel olarak verdiğiniz örnekteki durumun olması gerektiği açık. Tersinir olmayan bir elemanın tersinir bir elemana gitmesi gerekiyor, yerel halka homomorfizmaması için. Ve örnekteki fonksiyon bir cisme gittiği için otomatikman bu şartı sağlıyor. Ancak.. Diyerek itiraz edecektim ama bu örneğin aslında genel duruma dair bir fikir verdiğini fark ettim.

Örneğin $A,\mathcal{m}_A$ ve$B,\mathcal{m}_B$ iki yerel halka olsunlar ve $\varphi$ bunlar arasında bunlar arasında bir halka homomorfizması olsun. Ve ekstra olarak $A$ halkasının tek üreteçli ideal bölgesi olduğunu varsayalım ve $\pi$ de $\mathcal{A}_A$'nın bir üreteci olsun. Eğer $(\pi)=\mathcal{m}_A$'dan bir elemanın görüntüsü tersinir ise $\pi$'nin görüntüsü de tersini olmak zorunda. Bu da şu demek oluyor. Eğer $\varphi$ yerel halka homomorfizması değilse, $B$ halkası için $B_{\phi(\pi)}=B$ olmalı. Mesela $\varphi$ birebir ise bu $B$ halkası $A$'nın kesirler biçiminin izomorfik bir kopyasını içeriyor demek.


Buradan yola çıkarak şu örnek de verilebilir:

$$k[x]_{(x)}\hookrightarrow k(x)[y]_{(y)}$$.

Yine de birebir olmayan ilginç bir örnek görmeyi isterim.


22, Şubat, 2015 Safak Ozden (3,372 puan) tarafından  cevaplandı
...