ايده آل هاي خطي به ترتيب كوهن مكوالي

ايده آل هاي خطي به ترتيب كوهن-مكوالي
چكيده- 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- را در نظر بگيريد. يك 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 تشكيل شده توسط را بپوشاند.پس هر پوشش راسي بايد حداقل شامل رئوس باشد.
اگر يك پوشش راس G باشد كه شامل x است ،پس بايد يك پوشش راس باشد.اگر يك پوشش راس شامل نباشد پس بايد شامل باشد.اما سپس بايد يك پوشش راس باشد. (در اين حالت وقتي كه اين زيرگراف يك راس جدا باشد، در نتيجه . هيچ خطي موجودنيست، مجموعه خالي يك پوشش راس است. همانطور كه در هر زير مجموعه از از رئوس است.
را در نظر بگيريد را ايده آل خطي به ترتيب آنها در نظر بگيريد. از بحث بالا نتيجه مي گيريم كه
را به عنوان ايده‌آل هاي R با مولد هاي يكسان مانند ملاحضه مي كنيم.
چون H2,H1 هر دو وتري و با رئوس كمتري از G هستند، با استنباط، خارج قسمت هاي خطي دارند. فرض مي كنيم كه Bis , Ais در ترتيب درست براي خارج قسمت هاي خطي نوشته شده اند. ما اكنون نشان مي دهيم كه
خارج قسمت هاي خطي با درنظر گرفتن اين ترتيب مولدهاي دارد.
چون واضح است كه خارج قسمت هاي خطي دارد، ما بايد چك كنيم كه ايده آل زير به خارج قسمت هاي خطي داشته باشد:

نخست توجه كنيد كه چون B1 به يك پوشش راس G{x} مرتبط است ،‌B1 حداقل با t-1 از قابل تعبيه است. پس حداكثر يك y به صورت y(B) وجود دارد.
حال فرض كنيم كه pyAj , mxB1 غيرمربع هستند. دو حالت براي توجه كردن وجود دارد.
حالت 1- اگر yB1 ،پس چون B1 به يك پوشش راس G{x} مرتبط است، به يك پوشش راس به اندازه d-t-1 از مرتبط است. پس . توجه كنيدكه اگر يك متغير zm ،‌پس z بايد متغيري ز حلقه باشد. از طرف ديگر نبايد غيرمربع باشد. پس،براي هر متغير z كه zm ، ، و بنابراين بنابراين (براي هر z كه بر m را تقسيم شود).
حالت 2-فرض كنيد yB1 .ملاحظه بالا، وجود دارد كه .چون mxB=pyAg1و چون ، قسمت دست راست را تقسيم مي كند، بايد داشته باشيم .توجه كنيد كه پوشش G
با اندازه d با پوششي از H2 با اندازهd-t است.بنابراين . در نتيجه .
دو حالت بالا نشان مي دهند كه ، خارج قسمت خطي دارد. بريا خاتمه دادن به اثبات بايد چك كنيم كه آيا توسط زير مجموعه از متغيرهاي تبديل شده است يا خير. اگر براي چند تك جمله اي mباشد، پس چون خارج قسمت هاي خطي دارد، يك متغير xi وجود دارد كه m را چنان تقسيم مي كند كه . اگر يك تك جمله اي m وجوددارد كه mxBi ، بحث بالا مي تواند تكرار شود.
نكته 3-3- اثبات قضيه 2-3 نشان ميدهد كه گراف هاي وتري،كوهن-مكوالي هستند البته صرف نظر از خا صيت K، چون ويژگي خارج قسمت هاي خطي از K مستقل است. فريدي ]4[ نشان داد كه اگر I هر ايده آل تك جمله اي باشدكه به ترتيب كوهن مكوالي است،پس جمع كردن I ، يك ايده آل تك جمله اي غيرمربع مربوط به I ، نيز به ترتيب كوهن مكوالي است. بنابراين اگرI هر ايده آل تك جمله اي باشد كه جمع كردن آن ايده آل خطي
يك گراف وتري است، I بايد به ترتيب كوهن-مكوالي باشد.
به خاطر بياوريد كه گراف G اگر هيچ دايره اي نداشته يك توده است. يك توده ، يك نمونه از گراف وتري است.پس داريم:
نتيجه پيامد 4-3-اگر G يك توده باشد ،پس G به ترتيب كوهن مكوالي است.
نكته 5-3-در ]3[ فريدي ثابت كردكه اگر ايده آل سطح انبوده ساده شده باشد، سپس به ترتيب كوهن-مكوالي است. وقتي توده ساده شده بدا را دارد، پس به سادگي ايده‌آل خطي يك توده است. پس نتيجه ما ميتواند به صورت يك كليت بخشي نسبي به نتيجه فريدي باشد.
4-به ترتيب كوهن-مكوالي بودن و گراف وتري
در بخش قبلي نشان داديم كه اگر G يك گراف وتري باشد پس به ترتيب كوهن-مكوالي است.
حالا حالتي كه آن G وتري نيست را بررسي مي كنيم. همان طور كه نشان ميدهيم ، مي تواند به ترتيب كوهن-مكوالي باشد يا نباشد.
با يك طبقه بندي n دايره اي با ترتيب كوهن-مكوالي شروع مي كنيم.
قضيه 1-4-G را يك n دايره براي در نظر بگيريد. پس G به ترتيب كوهن-مكوالي است اگر
وفقط اگر 5 يا 3=n . درواقع وقتي 5 يا 3=n ، n دايره، كوهن-مكوالي است.
اثبات.چون يك 3دايره وتري است ،نتيجه براي 3=n از فرضيه 2-3 پيگيري مي شود و ديدن كوهن –مكوالي بودن راحت است. وقتي n=5 گرنشاين است.
حالا فرض كنيد براي ماخطوط 2r براي پوشش داريم، وهرراسي به دقيقا هر دو خط مماس است .بنابراين حداقل نقطه اصلي پوشش راس r است و شاخص هاي فرد و شاخص هاي زوج ، حداقل 2 پوشش هاي راس هستند. در نتيجه كه يك نيم بري كامل تك جمله هاي درجه است. و بنابراين يك تجزيه خطي ندارد. بنابراين خطي و به جهت مولفه نيست، و G به ترتيب كوهن-مكوالي نيست.
براي محاسبه اعداد y Betti را محاسبه كنيم، از هومولوژي (همگون سازي) ساده شده استفاده مي كنيم. يك بردار غيرمربع را براي يك بردار با مدخلش در {0,1} تعريف كنيد.
بگذاريد M يك ايدهآل تك جمله اي باشد و
{بردارهاي غيرمربعc مانند
اين مجموعه بالايي ساده شده كوزل M مثلا در (12) تعريف شده است. ما ميتوانيم اعداد بتي درجه Nn مربوط به M را با نسبت از (تئوري 34-1) محاسبه كنيم. جمع كردن تمام b هاي غيرمربع بادرجه j و Bij(M) را به دست ميدهد.
يا نشان مي دهيم كه ، كه ثابت مي كند J يك تجزيه خطي ندرد (وقتي . يگ بردار غيرمربع واحد ،مرتبط با درجه b=(1,…,1) , 2r+1 وجوددارد كه به حداقل مربوطند. در اينجا يك مجموعه زنجيره اي داريم
در زير ، ما بايد از نكته پايين استفاده كنيم: اگر يك بردار با مدخل هايي در {0,1} مربوط به صورتي در مجموعه ساده شده مان باشد،غالبا بايد صورت را به صورت بنويسيم، كه در آن jt دقيقا مدخل هاي غيرصفر مربوط به مي باشد و
تمامي صورت هايي كه با آنها كار مي كنيم، حداكثر دو بعد دارند .ما صورت ها را به نحوي ميگردانيم كه اگر
را در مسير مثبت و رادر جهت منفي قرار دهيم. به طور مشابه ما خطوط را به نحوي هدايت ميكنيم كه رفتن از xi0 به xi1 در جهت مثبت باشد.
براي يافتن ، ما نيازمند حساب كردن هستيم. اگر بتوانيم عنصري در ايجادكنيم كه در نباشد، نشان داده ايم.
كه . ما بايد به پوشش هاي رئوس وتك جمله اي مرتبط پايين به صورت متغير رجوع مي كرديم.
نخست فرض كنيد كه 2r+1>v ،ما حالت 2r+1=v را به طور جداگانه انجام مي دهيم. ما نخست ادعا مي كنيم كه . اگر بود ،پس بايد يك پوشش راس حداقل وجود داشته باشد كه آن را تقسيم كرده باشد. اما بعد را تقسيم مي كند چون وجود ندارند. براي پوشاندن خطوط9-27 باقي مانده اي كه پوشانده نشده اند حداقل به رئوس 4-r نيازمنديم. اين يعني اينكه درجه ،اما همه پوشش هاي رئوس حداقل وبنابراين حداقل توليد كننده هاي j درجه r+1 دارند. (توجه كنيدكه وقتي 2r+1=9 ، حداقل توليد كننده هاي J درجه 5 دارند ، و درجه 6
دارند.بنابراين بعد نشان ميدهيم كه در J هستند.
براي اثبات اين امر بايد نشان بدهيم كه يك پوشش راس حداقل هر يك از اين تك جمله اي ها را تقسيم مي كند. درنخستين حالت از استفاده كنيد ؛ در دومي عمل مي كند. و در آخري از استفاده كنيد.
بنابراين خطوط هستند، اما صورتي از نيست. بنابرين در تصوير وجود ندارد.
البته ،
بنابراين f در قسمت است و سپس J يك تجزيه خطي ندارد.
وقتي 2r+1=7 مباحث كمي متفاوتي نياز داريم. يك فرد مي تواند حساب كند كه در اين حالت ،دوگانگي الكساندر به صورت زير است.
و تجزيه آزاد حداقل درجه را دارد:
بدليل جفت دوم دردرجه هفتم، يك تجزيه خطي ندارد. بنابراين G به ترتيب كوهن-مكوالي نيست.
نكته 2-4-قضيه 1-4 مستقل از خاصيت K است.توجه كنيد كه اگر k ويژگي اوليه داشته باشد،اعداد درجه بندي شده بتني R/J مانند حالت در صفر هستند يا بالا مي روند، به اين دليل است كه رفتار براي بعد گروه هاي هومولوژي كه ما حساب كرده ايم، يكسان است. ابعاد گروههاي هومولوژي در ويژگي p>0 با حالت صفر يكسان هستند يا ممكن است اگر يك قسمت پيچش p معرفي مي شود، افزايش يافند. براي نمونه ، قسمت پاياني بحث ضرايب جهاني را در فصل 9و13 ببينيد. بنابراين براي تمامي حالت هاي k داريم
حالت 5 دايره اي نشان ميدهد كه عكس فرضيه 2-3 نادرست است .گراف هاي غيروتري بسياري هستند كه به ترتيب كوهن-مكوالي مي باشند. ما اينجا دونمونه ساده مي آوريم تا نشان دهيم كه تغييرات كوچك در گرافي كه به ترتيب كوهن-مكوالي نيست ميتواند گرافي را به دست بدهد كه چنين ويژگي را داراست.
مثال 3-4-G را در 4-دايره در نظر بگيريد و H را گراف G با يك راس پنجم كه توسط يك خط واحد به G متصل شده است فرض كنيد.بنابراين ,
با توجه به قضيه 1-4-، G به ترتيب كوهن-مكوالي نيست.دوگانه الكساندر اينگونه است:

چك كردن اين كه خطي و هم جهت مولفه است راحت است چون عملگر واحدي در درجه 2 ونظم 3 دارد. بنابراين H به ترتيب كوهن-مكوالي است.
مثال 4-4- به عنوان يك مسئله كمي پيچيده تر، فرض كنيد كه G يك 6 دايره است و ماگراف H را با اضافه كردن يك راس هفتم واتصال آن به دو راس مجاور G به دست مي آوريم.
بنابراين :
وهمچنين:
يك فرد مي تواند در ملكوالي 2 چك كند كه خطي و به جهت مولفه است ،پس H به ترتيب كوهن-ملكوالي بودن خارج قسمت ها توسط ايده آل هاي تك جمله اي با تو جه به Daral [2] سود مي برد.
به خاطر بياوريد كه يك عنصر و جايي كه يك مجموعه ساده شده است، يك صورت ناميده مي شود. بعد صورت F ، است. بعد در نتيجه مي باشد. ما مي نويسيم ،تا زير مجموعه كه صورت هاي بيشينه اش (صفحات ) تمامي صورت هايي بعد I هستند را نشان دهيم.
فرضيه 5-4 ] 2، فرضيه 3-3[ .I را يك ايده آل تك جمله اي غيرمربع فرض كنيد و را مجموعه
ساده شده تعريف شده توسط I از طريق تناظر استنلي، رسيند در نظر بگيريد. تا را زير مجموعه I بعدي خالص در نظر بگيريد. پس R/I به ترتيب كوهن-مكوالي است اگر وتنها اگر هر كوهن –مكوالي باشد.
ما همچنين به تعريف زير نيازمنديم:
تعريف 6-4- اگر مجموعه ساده شده اي از بعد d-1 باشد پس بردار f در جايي كه fi تعداد صورت هاي بعد I است (جايي كه .
اگر
سري هاي هيلبرت –پوينكر باشد، در نتيجه بردار به صورت است.
تكميل يك گراف G كه با نشان داده شده است. گرافي است با مجموعه رئوسي يكساني چون G ، اما با مجموعه خط
فرضيه 7-4-G را به عنوان يك گراف ساده در نظر بگيريد. H2 را مجموعه رئوس جداي Gc و در نظر بگيريد (پس ،اتحاد غير متصل است).
اگر در نتيجه به ترتيب كوهن-مكوالي نيست.
اثبات. چون يك ايده آل تك جمله اي غرمربع است، همچنين با يك مجموعه ساده شده از طريق تناظر استنلي – رسيند مرتبط است. به ويژه ، است جايي كه يك مجموعه گروه مرتبط با است.بگذاريد زير مجموعه 1بعدي خالص را نشان دهد.حالا به سادگي اسكلت است كه يعني اين يك گراف مي باشد. به طور مشخص، چون يك گراف است، بردار f به صورت است.
با استفاده از نسبت بين بردارهاي F و h همان طور كه در صفحه 56 كتاب استنلي داده شده است داريم:

اگر ، در نتيجه يك ترتيب نيست (تمام مقادير بايد مثبت باشند).پس توسط (نتيجه پيامد 2-3) كوهن –مكوالي نيست چون بردار h يك حلقه كوهن-مكوالي استني –رسيند بايد يك ترتيب 0 باشد. بنابراين با توجه به فرضيه 5-4، به ترتيب كوهن-مكوالي نيست.
مثال 8-4-نتايج بالا توجيهي ديگر براي اين است كه چرا 4-دايره به ترتيب كوهن-مكوالي نيست.

فایل : 26 صفحه

فرمت : Word