Nil ideal ile nilpotent ideal arasındaki ilişki nedir?

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


4, Nisan, 2015 Akademik Matematik kategorisinde Handan (1,511 puan) tarafından  soruldu

nilradikal mi?

hayır nil radikal değil.

tanimi nedir acaba?

Nil ideal: her elemanı nilpotent olan ideal. Nilpotent ideal: İdeal nilpotent yani $I$ nilpotent eğer $I^{n}=0$ olacak şekilde bir $n>0$ var. Nilpotent ise nil ama tersi doğru değil. örnek bulamadım.

tersi icin su dusunulebilir: 
her $n \in \mathbb{N}$ icin (bazilari icin olmasa da olur ama sonsuza gitsin) bir adet $a \in R$ var ki $a^n=0$ ve $a^{n-1} \neq 0$. Bu da ters ornegi verir.


$R$ olarak da (emin olmamakla beraber) $\mathbb{C}$ gibi cebirsel kapali bir cisim uzerinde matris halkasi alinabilir.

Hangi ideali aldık? Matris halkası için pek çok ideal durumu var.
Istedigimiz $I$ ideali icin, 
  • "$\forall a \in I \; , \;\exists n \in \mathbb{N}$ oyle ki $a^n = 0$" onermesi dogru olmali.
  • "$\exists n \in \mathbb{N} \; , \; \forall a \in I$ oyle ki $a^n = 0$" onermesi yanlis olmali. 
Sercan'in dediginin aynisi. Bir ornek bulmak icin, bu onermeleri hafifce degistirelim. Oyle bir ideal yazalim ki bir $p$ asal sayisi icin 
  • "$\forall a \in I \; , \;\exists n \in \mathbb{N}$ oyle ki $a^{p^{n}} = 0$" onermesi dogru olsun.
  • "$\exists n \in \mathbb{N} \; , \; \forall a \in I$ oyle ki $a^{p^n} = 0$" onermesi yanlis olsun.

$I^{n}=0$ düşünüldüğünde $I$ idealinin elemanlarının $n$ çarpımının sonlu toplamını anlıyoruz. yani $I^{n}$ nin elemanlarını bu gözle değerlendirerek yorum yapmanız mümkün mü?

Bir seyleri yanlis yaptigimi hissetmistim yazarken :) Aklima hep grup ornekleri geliyordu.

Birazdan soyleyecegim seyin buyuk ihtimalle daha guzel bir yazimi var, su an beceremedim guzelce yazmayi:

Herhangi bir cisim uzerinde, her yonde sonsuza kadar uzanan matrislerin olusturdugu bir halka alalim. Bu halkanin uzerinde bir ideal yaratacagiz. Biraz notasyon verirsem daha kolay olacak anlatmam.

$D_1$, diagonalin bir uzerindekiler haric butun girileri sifir olan matrisler,

$D_2$, diagonalin iki uzerindekiler haric butun girileri sifir olan matrisler,

genelde , $D_n$, diagonalin n uzerindekiler haric butun girileri sifir olan matrisler olsun.

Butun bu $D_n$'lerin gerdigi ideal istedigimiz sarti sagliyor. Degil mi?

Ahhhh saglamiyor.

Ama bulucam.

Matrisler yerine, sonsuz boyutlu bir vektor uzayinin endomorfizma halkasina bakicam. Bu yorum burada kalsin.

kalsın bakalım. bekliyoruz.

bence $\mathbb{Q}/\mathbb{Z}$'yi alabiliriz. ilk aklima o gelmisti de, galiba dogru: $2^{1/n}$'e denk gelen elemanlara bakarsak isimizi gorur gibi.

$k$ bir cisim, $V$ bir $k$-vektor uzayi, $R = End(V)$ de $V$'den $V$'ye giden dogrusal fonksiyonlarin halkasi olsun.

$\{e_n : n \in\mathbb{N} \}$ kumesi $V$'nin bir bazi olsun.

$T_n : V \to V$ dogrusal fonksiyonunu soyle tanimlayalim:

$$T_n(e_0) = 0 \\ T_n(e_j) = e_{j-1} \quad j = 1, 2, \ldots, n \text{ ise} \\ T_n(e_j) = 0 \quad j > n \text{ ise}$$

O zaman, $T_n^n = 0$ olur. Ama $k < n$ icin $T_n^k \neq 0$'dir. 

Simdi, $R$ icerisinde bu $T_n$'lerin gerdigi $J$ idealini dusunelim. $J$ aradigimiz ideal olabilir mi?

Ekleme: Bazen matrisler yerine dogrusal fonksiyonlar cinsinden dusunmek daha iyi olabiliyor demek ki. Aradigim, istedigim sey belliydi. Ama istedigim matrisi bulamadim. Istedigim fonksiyonu acik acik yazinca, istedigim matrisin de ilk basladigimdan cok farkli bir sey oldugunu gordum.


Teşekkür ederim. 

Rica ederim! Ben cok sevdim bu soruyu. Ama begenmeyi unutmusum, simdi begeneyim.

1 cevap

0 beğenilme 0 beğenilmeme

$R$ birimli bir halka, $I$ bir nilpotent (sifirguclu) ideal olsun. Yani $I^n = 0$ olacak sekilde bir $n$ dogal sayisi var. Sorunun altindaki yorumlarda belirtildigi gibi $I^n$ ideali, $I$ idealinin $n$ carpiminin sonlu toplamlarinin olusturdugu idealdir. Ozel olarak, her $a \in I$ icin $a^n = 0$ oldugunu gorebiliriz. Bu da $I$'nin bir nil ideal oldugunu gosterir. Yani her nilpotent ideal bir nil idealdir.

(Ustelik, bu kanitimiz sunu da gosterdi: $I^n = 0$ olacak sekilde bir $n$ dogal sayisi var ise, her $a \in I$ icin $a^n = 0$ olur.)

Ote yandan, yine sorunun altindaki yorumlarda yaptigimiz beyin firtinasindan sonra her nil idealin, nilpotent ideal olmak zorunda olmadigini gosteren bir ornek asagidaki gibi verilebilir:

$k$ bir cisim, $V$ bir $k$-vektor uzayi, $R = End(V)$ de $V$'den $V$'ye giden dogrusal fonksiyonlarin halkasi olsun.

$\{e_n : n \in\mathbb{N} \}$ kumesi $V$'nin bir bazi olsun. Bir $f$ dogrusal fonksiyonunu tanimlamak icin, $f$'nin baz elemanlarina ne yaptigina bakmamiz yeterlidir. Simdi, $n>0$ icin $T_n : V \to V$ dogrusal fonksiyonunu soyle tanimlayalim:

$$T_n(e_0) = 0 \\ T_n(e_j) = e_{j-1} \quad j = 1, 2, \ldots, n \text{ ise} \\ T_n(e_j) = 0 \quad j > n \text{ ise}$$

O zaman, $T_n^n = 0$ olur, zira bu fonksiyonu $n$ defa uygularsak her baz elemani $0$'a gider. Ama $k < n$ icin $T_n^k \neq 0$'dir. Cunku, $k$ adim sonra $e_n$ elemani, $e_{n-k}$ elemanina gitmistir. 

Simdi, butun bu $T_n$ fonksiyonlarinin germis oldugu $J$ idealine bakalim. Bu idealdeki bir fonksiyonu, $$f = a_1 T_1 + \ldots + a_n T_n \quad a_i \in k $$ seklinde gosterebiliriz.

  • Eger $j >n$ ise $f(e_j) = a_1 T_1(e_j) + \ldots + a_n T_n(e_j) = 0 $'dir.
  • Eger $j = n$ ise $f(e_n) = a_1 T_1(e_n) + \ldots + a_n T_n(e_n) = a_ne_{n-1}$'dir.
  • Eger $j=n-1$ ise $f(e_{n-1}) = a_1 T_1(e_{n-1}) + \ldots + a_n T_n(e_{n-1}) = (a_{n-1}+a_n)e_{n-2}$'dir.
  • Eger $1\leq j\leq n$  ise $f(e_j) = (a_j + a_{j+1} + \ldots + a_{n})e_{j-1}$'dir.
  • Eger $j= 0$ ise $f(e_0) = a_1T_1(e_0) + \ldots + a_nT_n(e_0) = 0$'dir.
Yani,
  • $f(e_j) = 0$ eger $j=0$ ya da $j >n$ ise.
  • $f(e_j) \in span\{e_{j-1}\}$ eger $1 \leq j \leq n$ ise.
Bu da gosteriyor ki, $f$'yi $n$ defa uygularsak butun baz elemanlari $0$'a gider. Demek ki $f^n = 0$. 
Yani $J$ bir nil ideal.
Ama! $J$ bir nilpotent ideal degil. Eger oyle olsaydi, yani bir $N$ icin $J^N = 0$ olsaydi, ikinci paragrafta parantez icinde tekrar ettigimiz sonuctan oturu, her $f \in J$ icin, $f^N=0$ olmasini beklerdik. Ama $T_{N+1} \in J$ icin $T_{N+1}^{N}\neq 0$ cunku $T_{N+1}^N(e_{N+1}) = e_0$ .

Demek ki her nilpotent ideal bir nil ideal ama tersi dogru degil. Her nil ideal, nilpotent olmak zorunda degil.

4, Nisan, 2015 Ozgur (2,145 puan) tarafından  cevaplandı
...