اول وابسته

در جبر مجرد، یک اول وابسته  از مدولی چون  روی حلقه ای چون ، نوعی ایده‌آل اول از  است که به صورت نابودگر یک زیرمدول (اول) از  ظاهر می شود. مجموعه اول‎های وابسته را اغلب با  نشان داده و برخی مواقع به آن قاتل  نیز می گویند (این کلمه در انگلیسی بازی با نماد این مفهوم و این حقیقت است که اول وابسته یک نابودگر  مدولی است).

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

 تعاریف 
یک -مدول  را مدول اول گویند اگر برای هر زیرمدول  از  داشته باشیم . برای هر مدول اول ، نابودگر آن یعنی ، یک ایده‌آل اول در  است.

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

در حلقه جابجایی ، عناصر مینیمال درون  (براساس رابطه شمول نظریه مجموعه ای) را اول های منزوی میگویند، در حالی که بقیه اول های وابسته (یعنی آن هایی که به طور محض شامل اول های وابسته ای باشن) را اول های نشانه شده نامند.

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

 پانویس 

 منابع 

Bourbaki, Algèbre commutative





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