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

برای ترجمه ی یک جمله از انگلیسی به فرانسوی دو چیز ضروری است. اول، باید جمله ی انگلیسی را تماما بفهمیم. دوم، باید با اصطلاحات ویژه ای که در زبان فرانسوی هستند آشنا باشیم. این وضعیت خیلی شبیه هنگامی است که سعی داریم شرط را که با کلمات بیان شده است با نمادهای ریاضی بیان کنیم. اول، باید آن را تمام درک کنیم. دوم، باید با اصطلاحات ریاضی ریاضی آشنا باشیم.
...