حلقه کوهن-مکالی

در ریاضیات، یک حلقه کوهن-مکالی ، حلقه ای جابجاییست که برخی از خواص جبری-هندسی واریته های هموار همچون هم-بعدی را دارا می باشد. تحت مفروضاتی ملایم، یک حلقه موضعی دقیقاً زمانی کوهن-مکالی است که مدول آزاد متناهیاً تولید شده ای بر روی زیرحلقه موضعی منظم باشد. حلقه های کوهن-مکالی نقشی مرکزی در جبر جابجایی بازی می کند: آن ها تشکیل دسته بسیار وسیعی داده و با این وجود می توان آن ها از راه های گوناگونی به خوبی شناخت.

این حلقه ها را براساس نام فرنسیس سوربی مکالی (۱۹۱۶)، که قضیه عدم اختلاط را برای حلقه های چند جمله ای اثبات کرد، و ایروین کوهن (۱۹۴۶)، که قضیه عدم اختلاط را برای حلقه های سری توانی صوری اثبات نمود، به حلقه های کوهن-مکالی نامگذاری کردند. تمام حلقه های کوهن-مکالی دارای خاصیت عدم اختلاط اند.

برای حلقه های موضعی نوتری، زنجیره شمولی به صورت زیر موجود است:

 تعریف 
برای یک حلقه موضعی نوتری جابجایی چون ، یک -مدول متناهی (یعنی مدول متناهیاً تولید شده) چون  را مدول کوهن-مکالی نامند اگر  (در حالت کلی داریم: ). از سوی دیگر،  یک مدول روی خودش است، بنابر این ما  را یک حلقه کوهن-مکالی نامیم اگر به عنوان یک -مدول روی خودش، یک مدول کوهن-مکالی باشد. یک مدول کوهن-مکالی ماکسیمال، مدول کوهن-مکالی است به طوری که داشته باشیم .

تعریف فوق برای یک حلقه موضعی نوتری بود. اما می خواهیم اکنون تعریف را برای حالت حلقه نوتری در حالتی کلی تر بسط دهیم: اگر  یک حلقه نوتری جابجایی باشد، آنگاه یک -مدول  را مدول کوهن-مکالی نامند اگر  برای تمام ایده‌آل های ماکسیمال  نیز مدول کوهن-مکالی باشد. (این تعریف موجب ایجاد یک دور منطقی می گردد (یعنی تعریفی که به بخشی از خودش وابسته است) مگر آن که ما مدول های صفر را به عنوان کوهن-مکالی تعریف کنیم. لذا این کار را کرده و مدول های صفر را کوهن-مکالی تعریف می کنیم) اکنون، برای تعریف مدول های کوهن-مکالی ماکسیمال برای این نوع از حلقه ها،  باید برای هر ایده‌آل ماکسیمال  از  چنین -مدولی باشد. همچون حالت موضعی،  یک حلقه کوهن-مکالی است اگر به عنوان -مدول، روی خودش، یک مدول کوهن-مکالی باشد.Bruns & Herzog, from def. 2.1.1

 مثال‌ها 
حلقه های نوتری زیر کوهن-مکالی هستند:
 هر حلقه منظم موضعی. این دسته منجر به مثال های متعددی از حلقه های کوهن-مکالی می گردد، چون حلقه اعداد صحیح، یا حلقه چند جمله ای  روی یک میدان چون  یا یک حلقه سری توانی صوری چون . به زبان هندسی، هر اسکیم منظم چون واریته هموار روی یک میدان کوهن-مکالی است.
 هر حلقه 0-بعدی (یا به طور معادل، هر حلقه آرتینی).
 هر حلقه کاهش یافته 1-بعدی، به عنوان مثال هر حوزه صحیح 1-بعدی.
 هر حلقه نرمال 2-بعدی.
 هر حلقه گورنشتاین. به‌خصوص، هر حلقه اشتراک کامل.
 حلقه ناورداهای ، هنگامی که  جبر کوهن-مکالی روی میدانی با مشخصه صفر و  هم یک گروه متناهی باشد (یا به طور کلی تر، یک گروه جبری خطی که مؤلفه همانی آن کاهشی باشد). این قضیه به قضیه ی هاکستر-رابرتس معروف است.
 هر حلقه دترمینانی. یعنی، فرض کنید  خارج قسمتی از حلقه موضعی منظم  بر روی ایده‌آل تولید شده توسط کهادهای  از یک ماتریس  از عناصر  باشد. اگر هم-بعد (یا ارتفاع) ایده‌آل  طبق انتظار برابر هم-بعد  باشد،  را حلقه دترمینانی نامند. در این صورت،  حلقه کوهن-مکالی استEisenbud (1995), Theorem 18.18.. به طور مشابه، حلقه های مختصاتی واریته های دترمینانی نیز کوهن-مکالی اند.

 پانویس 

 منابع 


  Cohen's paper was written when "local ring" meant what is now called a "Noetherian local ring". 












رده:جبر جابجایی
رده:هندسه جبری