دانلود مقاله ایده آل های خطی به ترتیب کوهن - مکوالی

چکیده- G را یک نمودار غیرمستقیم ساده n راسی در نظر بگیرید و بگذارید برایده آل خطی مرتبطش دلالت کند.

مانشان می دهیم که تمام نمودارهای و تری G ، به ترتیب کوهن- مکوالی هستند ، دلیل ما بر پایه نشان دادن این است که دوگانه الکساندر I(G) ،خطی و ازمولفه است.

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

ما همچنین ویژگی های دایره های مرتب کوهن- مکوالی را بیان می کنیم و نمونه‌هایی از گراف های مرتب غیروتری کوهن- مکوالی را هم ارائه می کنیم.

1-مقدمه G را یک گراف ساده n راسی در نظر بگیرید پس G هیچ حلقه یا خطوط چندگانه ای پهن دو راس ندارد.) رئوس ومجموعه های خطی G توسط EG,VG را به ترتیب نشان دهید.

ما ایده آل تک جمله ای غیر مربع چهارگانه با K که یک میزان است و جایی که را به G ارتباط می دهیم.ایده ال ایده آل خطی Gنامیده می شود.

توجه اولیه این مقاله ایده آل های خطی گراف های وتری است.

یک گراف G وتری است اگر هر دایره طول یک وتر داشته باشد.

اینجا اگر ،خطوط یک دایره طول n باشند، ما می گوییم که دایره وری یک وتر دارد اگر دو راس xj,xi در دایره به نحوی وجود داشته باشند که یک خط برای G باشند اما خطی در دایره نباشد.

ما می گوییم که یگ گراف G کوهن –مکوالی است اگر کوهن-مکوالی باشد.

چنانکه هرزوگ، هیبی و ژنگ اشاره می کنند، طبقه بندی تمام گراف های کوهن-مکوالی شاید اکنون قابل کشیدن نباشند، این مسئله به سختی طبقه بندی کردن تمام مجموعه های ساده شده کوهن-مکوالی است.]9[.البته هرزوگ، هیبی و ژنگ در ]9[ ثابت کردند که وقتی G یک گراف وتری باشد،پس G در هر میدانی کوهن-مکوالی است اگر وفقط اگر به هم نریخته باشد.

ویژگی کوهن –مکوالی به ترتیب بودن، که شرایطی است ضعیف تر از کوهن-مکوالی بودن، توسط استنلی ]14[ در ارتباط با تئوری قابلیت جدا شدن غیرخالص [1] معرفی شد.

تعریف 1-1- را در نظر بگیرید.

یک M معیار B درجه دار کوهن –مکوالی به ترتیب نامیده می شود اگر یک تصفیه معین از معیارهای R درجه بندی وجود داشته باشد.

به نحوی که کوهن –مکوالی باشد، و ابعاد کرول خارج قسمت در حال افزایش باشند: ما میگوییم یک گراف G کوهن-مکوالی به ترتیب است و در K اگر کوهن-مکوالی به ترتیب باشد.

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

نتیجه اصلی ما فرضیه زیر است (که مستقل از خاصیت (K) است.

فرضیه 2-1 فرضیه 2-3.تمام گراف های وتری کوهن-مکوالی به ترتیب هستند.

بنابراین حتی گراف های وتری که ایده آل های خطی نشان در هم نریخته نیستند نیز هنوز یک ویژگی جبری را دارا هستند.فرضیه 2-3 همچنین حالت یک بعدی کار فردی در توده های ساده شده ]3[ را نیز عمومیت می بخشد.

مقاله ما به صورت زیر سازمان می یابد.

در قسمت بعدی ، ما نتایجی از این ادبیات درباره دوگانگی الکساندر ودرباره گراف های وتری جمع می کنیم.

در بخش 3،فرضیه 2.3 را ثابت می کنیم.

ما برخی از گراف های غیروتری در قسمت 4 را که دایره های کوهن-مکوالی را به ترتیب طبقه بندی می کنند بررسی می کنیم و در مورد برخی ازویژگی های گراف‌های شامل دایره های –n برای n>3 تحقیق می کنیم.

همچنین شرایط کافی را برای گرافی که نمی تواند کوهن-مکوالی به ترتیب باشد ،ارائه می کنیم.

2-اجزا مورد نیاز درطول این مقاله، G بر یک گراف ساده روی رئوس n با مجموعه نقطه ای VG ومجموعه خطی EG دلالت می کند.

ایده آل خطی ،جایی که را به G مربوط می سازیم.

گراف کامل در رئوس n که بر Kn دلالت شده است،گرافی است با مجموعه خطی ، یعنی گراف این ویژگی را دارد که خطی بین هر جفت رئوس وجود دارد.

اگر x نقطه ای در G باشد باید بنویسیم N(x) که بر همسایه‌های x دلالت کند،یعنی آن رئوسی که خطی را با x شریکند.

ما ابتدا باید به حالتی توجه کنیم که G یک گرافی وتری است.گراف های وتری ویژگی زیر را دارند: لم 21- G,[6,7,12,15] را یک گراف وتری در نظر بگیرید، x را یک زیر نمودار کامل از G در نظر بگیرید.اگر ،پس نقطه ای به نام وجود داردکه زیرگراف به وجود آمده توسط مجموعه همسایه مربوط به x، یک گراف کامل باشد.

این امر همچنین زیر نمودار به وجود آمده در را وادار می کند که یک زیر گراف کامل باشد.

یک پوشش راس گراف G یک زیر مجموعه از VG است به نحوی که هر خط G حداقل به یک راس A برخوردار داشته باشد.

توجه کنیدکه ما هیچ وقت به داشتن یک راس مجزا در پوشش راس نیاز نداریم.

مثلا ، اگر ما گرافی در سه راس داشته باشیم و تنها خط موجود باشد، پس هر دو پوشش های راس هستند.

پوشش های راس یک گراف G به دو گانه الکساندر مربوطند.

تعریف 2-2- I را یک ایده آل تک جمله ای غیرمربع در نظر بگیرید.

دوگانه الکساندر غیرمربع ایده آل است.

پس نتیجه ساده ای گرفته می شود: لم 3-2- G را یک گراف ساده با ایده آل خطی در نظر بگیرید.پس یک پوشش راس برای G است.

یک تجزیه درجه بندی شده آزاد حداقل به هر ایده آل همگون I از R مرتبط است.

که در آن R(j) بر معیار R به دست آمده از تغییر درجات R توسط j دلالت می کند.

عدد ij,Bi,j(I) امین عدد درجه بندی شده «بتی» مربوط به Iاست و برابر تعداد حداقل مولد های درجه j در I امین معیار یک جفتی است.

تعریف 4-2-فرض کنید که I ایده آل همگون R است که تمام مولدهایشان در جه d دارند.

پس I یک تجزیه خطی دارد اگر تما برای تمام برای یک ایده آل همگون I ، ما (Id) را می نویسیم که بر ایده آل تبدیل شده توسط تمام عناصر که درجه d دارند،دلالت می کند.

توجه کنید که (Id) با Id فرق می کند، که فضای برداری تمام عناصر I با درجه d است.هرزوگ وهیبی تعریف زیر را در ]7[ معرفی کردند.

تعریف 5-2-یک ایده آل همگون I خطی و از مولفه است اگر (Id) یک تجزیه خطی برای تمام d4 داشته باشد.

اگر I توسط تک جمله ای های غیرمربع تبدیل شود،بگذارید I(d) بر ایده‌آل تبدیل شده توسط تک جمله های غیر مربع درجه d برای I دلالت کند.

هرزوگ وهیبی ] 7،قضیه 5-1[ نشان دادند که : فرضیه 6-2-فرض کنید I یک ایده آل تک جمله ای تبدیل شده توسط تک جمله های غیرمربع باشد.

پس I خطی و از مولفه است اگر وتنها اگر I[d] یک تجزیه خطی برای تمامی d ها داشته باشد.

یک فرد می تواند از خارج قسمت های خطی برای تعیین اینکه ایده آل یک تجزیه خطی دارد استفاده کند.

تعریف 7-2- I را ایده آل تک جمله ای R در نظر بگیرید.

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

سپس ما به ]لم [3,5-2 نیازمندیم: لم 8-2-اگر یک ایده آل تک جمله باشد که خارج قسمت های خطی داشته باشد، و تمامی uiها درجه یکسانی داشته باشند.در نتیجه I یک تجزیه خطی دارد.

ما این سمت را با استفاده از این نظرها برای ایده آل های خطی به پایان می بریم.

لم 9-2-اگر ایده آل خطی گراف G باشد در نتیجه یک پوشش راس برای G در اندازه d است.

اثبات.

چون توسط پوشش های راس حداقل تبدیل شده است،هر حداقل غیرمربعی از درجه d در به مجموعه ای از رئوس d مرتبط است که شامل یک پوشش راس حداقل باشد و در نتیجه رئوس d نیز یک پوشش راس بر G را تشکیل می دهند.

لم را یک گراف کامل در رئوس n در نظر بگیرید.

برای هر d، خارج قسمت های خطی دارد، در نتیجه خطی وهم جهت مولفه است.

اثبات: ما نشان میدهیم که برای هر d ، خارج قسمت های خطی دارد وبنابراین یک تجزیه خطی دارد که یعنی خطی هم جهت مولفه توسط فرضیه 6-2- است.

پوشش های رئوس حداقل kn همگی زیر مجموعه های با اندازه n-1 هستند.

بنابارین توسط لم 9-2 ، وقتی که d=n ، یک ایده آل اصلی است.

این حالات به میزان ناچیزی خارج قسمت های خطی دارند.

بنابراین برای نشان دادن اینکه که خارج قسمت های خطی دارد.

کافی است.

توجه کنید که به میزان حداقل توسط تمامی تک جمله ای های درجه n-1 تبدیل شده اند و بنابراین .حالا یک ایده آل تک جمله‌ای غیرمربع ثابت قوی است (همچنین یک ایده آل و رنس غیرمربع در حالت ]8[ است.بنابراین خارج قسمت های خطی دارد اگر کسی تک جمله ها را به ترتیب واژه نویسی پایین آمدنی مرتب کند.

نکته 11-2-یک اظهارنامه عمومی تر از لم 10-2 صحیح است.

J را کوچکتر یا مساوی n بگیرید و بگیرید.

ما میتوانیم ایده آل هایی را در نظر بگریم که مولفه هایشان تمامی ایده آل ممکن تولید شده توسط j مربوط به متغیرهای n باشند: ما میتوانیم این ایده آل را به صورت دو گانه ای استنلی –رسند یک مجموعه ساده شده با تمامی صورت های ممکن (j-1) اما نه صورت های j یا به بصورت ایده آل سطح یک مجموعه ساده شده با تمامی صورت های ممکن j به مانند سطح هایش مشاده کنیم.

I به صورت حداقل توسط تمامی تک جمله ای های غیرمربع درجه n-j+1 تبدیل می شود ودر نتیجه یک ایده آل غیرمربع و رسن است.

بنابراین I یک تجزیه خطی دارد و درنتیجه خطی و درجهت مولفه است.

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

لم 12-2-G را یک گراف ساده روی رئوس n با ایده آل خطی در نظر بگیرید.

H را گراف G که به رئوس مجزای x+1,…,xn به آن اضافه شده در نظر بگیرید.

فرض کنید که خطی و هم جهت مولفه باشد.

پس خطی وهم جهت مولفه است.

توجه کنیدکه ایده آل های خطی H,G مولدهای حداقل یکسانی دارند، گرچه در حلقه های مختلفی موجودند.

بنابراین مولدهای حداقل یکسانی دارند.

توسط لم 9-2-6 چون خطی وهم جهت مولفه است ، نیز خطی و درجهت مولفه است.

3-فرضیه اصلی در این بخش ما نتیجه اصلی این مقاله را ثابت می کنیم.

اثبات ما به نتیجه بعدی هرزوگ و هیبی ]7[ وهرزوگ، رنیز و واکد ] 10[ که نکات خطی بودن درجهت مولفه و کوهن-ماکوالی به ترتیب بودن را به هم متصل می کند، ارتباط دارد.

فرضیه 1-3-I را یک ایده آل تک جمله ای غیرمربع از Rدر نظر بگیرید.پس R/I به ترتیب کوهن-ماکوالی است اگر وتنها اگر خطی و در جهت مولفه باشد.

ما به نتیجه اصلی مان رسیده ایم.

فرضیه 2-3-تمامی گراف های وتری به ترتیب کوهن-مکوالی هستند.

اثبات .G را یک گراف وتری در نظر بگیرید.

فرضیه 1-3 برای نشان دادن اینکه خطی ودر جهت مولفه است کافی است.

برای نشان دادن اینکه خطی و در جهت مولفه است، ما دلیلمان را بر پایه اثبات فریدی (فرضیه 4-5) قرار داده ایم که می گوید بخش غیرمربع ایده آل سطح یک انبوه ساده شده خارج قسمت های خطی در هر درجه ای دارد.

در فرضیه 6-2- ما نیاز داریم نشان دهیم که یک تجزیه خطی برای هر d دارد.

لم 8-2 کافی است نشان دهد خارج قسمت های خطی برای هر d دارد.

ما روی تعداد رئوس در گراف وتری توجه می کنیم.

با توجه به لم 12-2 ،میتوانیم فرض کنیم که G هیچ راس جدایی ندارد.

بنابراین اولین حالت برای بررسی هنگامی است که ما گراف G در 2 راس متصل به خط داشته باشیم.

در این حالت G=k2 ،پس خارج قسمت های خطی برای هر d (با توجه به لم 10-2) دارد.

حال فرض کنید که G یک گراف وتری در رئوس باشد که هیچ نقطه راس مجزایی نداشته باشد پس G حداقل دو خط دارد.اگر G=kn در نتیجه ما طبق لم 10-2 عمل کرده ایم.پس ما میتوانیم فرض می کنیم که G کامل نیست.

(مثلا ،k را هر خطی از G بگیرید، وسپس x نقطه راسی خواهد بود که بر آن خط مماس نیست.) بنویسید ملاحظه کنیدکه باید وتری باشد.

توجه کنیدکه ممکن است یک راس جدا( یا رئوس جدا) باشد؛ در این حالت، ایده آل خط،ایده آل صفر است.

حالا با توجه به لم 9-2 ، به تک جمله های غیرمربعی تبدیل می شود که به پوشش های رئوس G به اندازه های d مربوطند.

توجه کنید که هر پوشش راس از G باید زیرگراف کامل kt+1 تشکیل شده توسط را بپوشاند.پس هر پوشش راسی باید