به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+1 امتیاز
298 بازدید
در دانشگاه توسط
ویرایش شده توسط erfanm

قضیه: فرض کنیم ‎$J_{G_1,G_2}$‎ ایده‌آل یالی دوجمله‌ای جفت گراف ‎$(G_1,G_2)$‎ باشد. در این صورت، گزاره‌های زیر معادلند:

1. ‎$J_{G_1,G_2}$‎ ایده‌آل رادیکال است، یعنی، ‎$J_{G_1,G_2}=\sqrt{J_{G_1,G_2}}$‎.

2. ‎$G_1$‎ و ‎$G_2$‎ کامل است.

در قسمت اثبات ‎$(1) \Rightarrow (2)$ عنصر ‎$ f_{L_{1},L_{2}}=[i~j~k \vert r~s~t]=x_{it}x_{jr}x_{ks}-x_{ir}x_{js}x_{kt}$ چطوری به دست آمده است؟

مرجع: از مقاله هرزوگ ‎‎V‎. ‎Ene‎, ‎J‎. ‎Herzog and T‎. ‎Hibi and A‎. ‎A‎. ‎Qureshi‎. ‎{The binomial edge ideal of a pair of graphs}‎. ‎Nagoya Math‎. ‎J‎. ‎213:105-125‎, ‎({2014})‎.

1 پاسخ

می توانید به پاسخ(ها) امتیاز دهید یا آن را انتخاب کنید.

+1 امتیاز
توسط erfanm (13,881 امتیاز)

این عنصر بدست نیامده بلکه ساخته شده یعنی عنصر را طوری ساختند که عضوی از $ I=( p_{e,f} \mid e \in E( L_{1} ) ,f \in E( L_{2} ))$ نشود.

تعریف:اگر $e=\{i,j\} $ و $f=\{k,l\} $ آنگاه تعریف میکنیم $ p_{e,f} = x_{ik} x_{jl} - x_{il} x_{jk} $

نحوه ساخت:

طبق سوال $ L_{1}=\{\{i,j\} ,\{j,k\} \} =\{ e_{1} , e_{2} \} $ و$ L_{2}=\{\{r,s\} ,\{s,t\} \} =\{ f_{1} , f_{2} \} $ لذا عنصری را باید بسازیم که ترکیب خطی از $ p_{e_{i},f_{j}} $ها نباشد لذا اگر اندیسهای اول یکی از عناصر $L_{1} $ باشند باید اندیس دوم را طوری قرار دهیم که هیچ کدام از اعضای $ L_{2}$ نباشد. مثلا اگر $ x_{i \Box } x_{j \Box } $ را داشتیم نباید اندیسهای دوم$ r,s$ یا $ s,t $ باشند لذا باید $ t,r $ باشند.

البته این یک حدسه که نویسندگان مقاله هم اینجوری اون عنصر را ساخته باشند. خلاصه نویسندگان این عنصر رو ساخته اند که در$ I $ نیست..

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