全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 हिन्दी 版。

गणित · 术语表

什么是 अभाज्य आदर्श?

又称: महत्तम आदर्श

परिभाषा 2.3 विश्वविद्यालय गणित — स्नातक वर्ष 3 · 第 2 章 — वलय और अंकगणित

मान लीजिए I⊊AI \subsetneq A एक उचित आदर्श है। II अभाज्य कहलाता है यदि ab∈I⇒a∈Iab \in I \Rightarrow a \in I या b∈Ib \in I; और II महत्तम कहलाता है यदि II और AA के बीच कड़ाई से कोई आदर्श न हो।

示例

उदाहरण 2.5

Z\Z में: अभाज्य आदर्श (0)(0) और (p)(p) हैं, जहाँ pp अभाज्य है; महत्तम आदर्श (p)(p) हैं (Z/pZ=Fp\Z/p\Z = \mathbb F_p एक क्षेत्र है, Z/(0)=Z\Z/(0) = \Z नहीं)। K[X,Y]K[X, Y] में: (X)⊊(X,Y)(X) \subsetneq (X, Y) दोनों अभाज्य हैं (K[X,Y]/(X)≅K[Y]K[X,Y]/(X) \cong K[Y], एक प्रांत; K[X,Y]/(X,Y)≅KK[X,Y]/(X,Y) \cong K, एक क्षेत्र), अतः (X)(X) अभाज्य है पर महत्तम नहीं।

उदाहरण 2.10

Z\Z में, जहाँ Ik=(mk)I_k = (m_k) है और mkm_k जोड़े-जोड़े में सह-अभाज्य हैं: Z/(m1⋯mn)Z≅∏Z/mkZ\Z/(m_1\cdots m_n)\Z \cong \prod \Z/m_k\Z — यही दूसरे वर्ष के खंड की चीनी शेषफल प्रमेय है। इकाइयों तक सीमित करने पर gcd⁡(m,n)=1\gcd(m,n)=1 के लिए (Z/mnZ)×≅(Z/mZ)××(Z/nZ)×(\Z/mn\Z)^\times \cong (\Z/m\Z)^\times \times (\Z/n\Z)^\times, जिससे ऑयलर के φ\varphi की गुणनात्मकता निकलती है (अभ्यास 2.8)।

在原文中阅读 →