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


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

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.

3 Cevaplar

1 beğenilme 0 beğenilmeme

Yıllaaaar sonra bir örnek de ben vereyim. :)

            $R_p = \{ (\bar{a_1} ,\bar{a_2} , ... ) \mid \bar{a_t}  \in Z_{p^t}$ ve sonlu $t$ dışında $\bar{a_t}=0\}$ olsun.

Bu küme bileşensel toplama ve çarpma altında bir halkadır. Halkanın nilpotent elemanları, yani bir $ k > 0 $ sayısı için $k$ nıncı kuvveti $0$ olan elemanların kümesi 

            $N=\{ (0,\bar{a_2},\bar{a_3},...,\bar{a_n},0,0,...) \in R_p \mid \bar{a_t}=\bar{m_t}\bar{p}, t=2,3,...,n$ ve $m_t \in Z_{p^t }\}$

olup N kümesine nil ideal denir. N kümesini açıklayalım; bir elemanın $k$ nıncı kuvveti sıfır ise tüm bileşenlerin $k$ nıncı kuvveti sıfır olmalı. Bileşenler $Z_{p^t}$ de olduğundan bir $k>0$ sayısı için $\bar{a_t}^{k}=0$ ancak ve ancak $\bar{a_t}=\bar{m_t}\bar{p}$.  İlk bileşenin neden sıfır olduğunu görmek zor olmasa gerek.

$N$ kümesi nilpotent ideal mi ? Herhangi bir $k > 0$ sayısı için $(0,0,...,0,\bar{p},0,0,...)$ elemanını alalım öyle ki $\bar{p}$ olan bileşen $(k+1)$ inci bileşen olsun. $R_p$'nin tanımından  $\bar{p} \in Z_{p^{k+1}}$ ve dolayısıyla $\bar{p}^{k+1}=0$. Söz konusu  elemanın $(k+1)$ inci kuvveti sıfır olduğundan nilpotent eleman ve $N$'nin içinde. O halde $(0,0,...,0,\bar{p}^k,0,0,...) \in N^k$. Ama $\bar{p}^k$, $(k+1)$ inci bileşen olup $Z_{p^{k+1}}$'de sıfıra denk değil.  Her $k > 0$ için $N^k$ da sıfırdan farklı bir eleman bulduk. Demek ki $N$ nilpotent ideal değil.

 

(25 puan) tarafından 
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.

(2.5k puan) tarafından 
0 beğenilme 0 beğenilmeme
Noteryen halkalarda bu ikisi aynı şey olacaktır. O yüzden örnek mecburen noteryen olmayan bir halkadan gelmedi.

 

Mesela $k[X_1,X_2,\cdots]/(X_i^i:i\in\mathbb{N})$ halkasinda $\overline{X_i}$'ilerin gerdiği ideal nilpotent elemanlar tarafından gerilmiş olsa da, kendisi sıfır güçlü değildir.
(3.7k puan) tarafından 
tarafından düzenlendi
20,200 soru
21,726 cevap
73,275 yorum
1,887,750 kullanıcı