Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
502 kez görüntülendi

$K$ bir number field ve $O_K$ da onun ring of integers'ı olsun. $K$ nın ideal class grubunun mertebesi (yani class number) ile $O_K$ nın UFD olmaya ne kadar yakın olduğunun anlaşılması arasındaki ilişkinin sezgisi nasıl anlaşılabilir?

Akademik Matematik kategorisinde (210 puan) tarafından  | 502 kez görüntülendi

UFD ingilizce kisaltma oluyor galiba. Gerci cogu ingilizceymis terimlerin.

sayi cismi
tam sayilarinin halkasi
ideal sinif grubu
sinif sayisi

vs diye oneri de bulunacagim ama cok da guzel olmayabilirler.

1 cevap

2 beğenilme 0 beğenilmeme

Hep doğru olan bir ifade şu: PID $\Rightarrow$ UFD. İfadenin tersi her zaman doğru değil ne yazık ki. Örneğin $\mathbb{Z}[X]$ bir karşı örnek. Gel gelelim, bu iki ifadenin birbirine denk olduğu durumlar da söz konusu.

Sav 1: Bir Dedekind bölgesi (Dedekind domain), PID $\Leftrightarrow$ UFD.

Bunu nerede kullanacağız diye soracak olursak,

Sav 2: Bir sayı cisminin (number field), sayı halkası (ring of integers) bir Dedekind bölgesidir.

Şimdi bir $K$ sayı cisminin ideal sınıf grubunun (ideal class group) ne olduğunu hatırlayalım. Bu grup, tüm kesirli ideallerin (fractional ideal), tek elemanl tarafından üretilen kesirli ideallere (principal fractional ideal) bölümüydü. Diğer yandan biliyoruz ki,

Sav 3. İdeal sınıf grubu sonludur. 

Bu grubun eleman sayısı da sınıf sayısı (class number) olarak tanımlanır. Açık ki, bu grubun eleman sayısının $1$ olması demek, tüm kesirli ideallerin aslında tek bir eleman tarafından üretiliyor olması demek. Diğer yandan her ideal bir kesirli ideal olduğu için, tüm idealler tek bir elemen tarafından üretiliyor diyebiliriz. Bu da tam olarak sayı cismimizin PID olması demek. Sav 1 ve Sav 2'nin bir sonucu olarak bu durumda sayı halkamız bir UFD olur.

Benzer bir argümanla sayı halkasının UFD olması durumunda, sınıf sayısı $1$ olacaktır.

(1.1k puan) tarafından 
20,200 soru
21,728 cevap
73,275 yorum
1,887,937 kullanıcı