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

Şunu göstermek istiyoruz:

Bir $R$ değişmeli birimli halkası için $\mathfrak{p_1},\mathfrak{p_2} \dots \mathfrak{p_n}$ asal idealler ve $\mathfrak{a}$ bir ideal olsun. Eğer  $\mathfrak{a} \subset \bigcup_{i=1}^{n} \mathfrak{p_i}$ ise bir $i \in \{1, \dots, n\}$ için $\mathfrak{a} \subset \mathfrak{p_i}$ olur. 

Kanıtı linkteki gibi. Önermenin kontrapozitifini tümevarım ile kanıtlıyoruz.

Yani $\mathfrak{a}  \not\subset \mathfrak{p_i} \quad \forall i \in \{1,\dots, n\} \implies \mathfrak{a} \not\subset \bigcup_{i=1}^{n} \mathfrak{p_i}$ gösteriyoruz. Kanıttaki inşayı bir türlü yapamıyorum mesela şöyle bir şey demek istiyorum:
 $\mathfrak{a}  \not\subset \mathfrak{p_i} \quad \forall i \in \{1,\dots, n\} $ ise o zaman bir $x \in \mathfrak{a}$ vardır öyle ki $x \notin \mathfrak{p_i} \quad \forall i$

ama teknik olarak bir yanlışlık olduğunu seziyorum.

Tane tane nasıl bir inşa yaptığımızı anlatabilir misiniz?

bir cevap ile ilgili: Asal idealden kurtulma
Lisans Matematik kategorisinde (477 puan) tarafından  | 484 kez görüntülendi
20,275 soru
21,807 cevap
73,489 yorum
2,448,888 kullanıcı