به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+1 امتیاز
955 بازدید
در دانشگاه توسط maara (260 امتیاز)

با یک مثال نشان دهید ایده آل های بورل تایپ پایدار نیستند.

1 پاسخ

+2 امتیاز
توسط erfanm (13,881 امتیاز)
انتخاب شده توسط maara
 
بهترین پاسخ

ایده آل $ I=( x_{1}^{2},x_{2}^{2}) $ را در $S=K[ x_{1} , x_{2} ]$ درنظر میگیریم. این ایده آل پایدار نیست چون $x_{2}^{2} \in I $و $1 < m(x_{2}^{2})=2$ اما $ x_{1} ( \frac{x_{2}^{2}}{x_{2}}) = x_{1} x_{2} \notin I $

این ایده آل بورل تایپ است برای اثبات نشان می دهیم که $ I: x_{i}^{ \infty }= I: (x_{1}, x_{2})^{ \infty } $ داریم:

$$(I: x_{1})=( x_{1},x_{2}^{2}) ,\ \ \ (I: x_{1}^{2}) =S ,..., \ \ (I: x_{1}^{n}) =S ,...$$ در نتیجه $ I: x_{1}^{ \infty }= \bigcup_{i=1}^ \infty (I: x_{1}^{i}) =S$ به طور مشابه $ I: x_{2}^{ \infty }=S$

$$I: (x_{1}, x_{2}) =( x_{1}^{2}, x_{1} x_{2} ,x_{2}^{2}) ,\ \ \ \ \ \ \ I: (x_{1}, x_{2})^{2} =( x_{1} , x_{2} )$$ $I: (x_{1}, x_{2})^{3} =S ,... \Rightarrow I: (x_{1}, x_{2})^{ \infty } =\bigcup_{i=1}^ \infty I: (x_{1}, x_{2})^{i } =S $

ریاضیدان، کسی است که شباهت ها را بین قضایا دریابد. ریاضیدان بهتر کسی است که بتواند شباهت بین برهان ها را ببیند. بهترین ریاضیدان کسی است که بتواند به شباهت بین نظریه ها توجه کند. و می توان تصور کرد که ریاضیدان نهایی کسی است که بتواند شباهت بین شباهت ها را مشاهده کند.
...