به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+1 امتیاز
280 بازدید
در دانشگاه توسط
ویرایش شده توسط 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,871 امتیاز)

این عنصر بدست نیامده بلکه ساخته شده یعنی عنصر را طوری ساختند که عضوی از $ 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 $ نیست..

این چرخ فلک که ما در او حیرانیم<br> فانوس خیال از او مثالی دانیم<br> خورشید چراغ دان و عالم فانوس<br> ما چون صوریم کاندرو حیرانیم
...