ایده‌آل اولیه

در ریاضیات، بخصوص در جبر جابجایی، یک ایده‌آل محض $Q$ از یک حلقه جابجایی $A$ را اولیه الگو:به انگلیسی گویند اگر از $xy\in Q$ نتیجه شود که برای یک $n>0$ حداقل یکی از $x$ یا $y^n$ عضو $Q$ باشند. به عنوان مثال، در حلقه اعداد صحیح $\mathbb{Z}$، ایده‌آل $⟨p^n⟩$ اولیه است اگر $p$ یک عدد اول باشد.

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

روش های متعددی برای تعمیم ایده‌آل های اولیه به حلقه های ناجابجایی وجود دارد، اما این موضوع اغلب در حلقه ای جابجایی مطالعه می شود. بنابراین، حلقه های این مقاله جابجایی و یک دار فرض می شوند.

منابع

• الگو:Citation
• Bourbaki, Algèbre commutative.
• الگو:Citation
• الگو:Citation
• الگو:Citation
• On primal ideals, Ladislas Fuchs
• الگو:Citation

• الگو:یادکرد-ویکی