عمق (نظریه حلقه‌ها)

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



که در آن  بعد کرول مدول  است. از عمق برای تعریف دسته جات مختلفی از حلقه‌ها و مدول‌هایی با خواص مناسب استفاده شده است، مثل، حلقه‌ها و مدول‌های کوهن-مکالی که در موردشان نامساوی فوق تبدیل به تساوی می‌شود.

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



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

براساس قضیه ای از دیوید ریس، عمق را می‌توان با استفاده از مفهوم دنباله منظم نیز تعریف کرد.

 منابع 


 Winfried Bruns; Jürgen Herzog, Cohen–Macaulay rings. Cambridge Studies in Advanced Mathematics, 39. Cambridge University Press, Cambridge, 1993. xii+403 pp. 



رده:جبر جابجایی
رده:نظریه مدول