حلقه (ریاضیات)
نظریه حلقهها → ساختار جبری نظریه حلقهها |
---|
ساختارهای جبری |
---|
یک حلقه (به انگلیسی: ring) در ریاضیات، ساختاری جبری است که میدان را تعمیم میدهد: نیازی نیست که ضرب جابجاییپذیر باشد، و نیازی نیست تا وارون ضربی وجود داشته باشد. به زبان دیگر، یک حلقه یک مجموعه مجهز به دو عمل دوتایی است که ویژگیهایی شبیه جمع و ضرب اعداد صحیح را برآورده میکند. عناصر حلقه میتواند اعدادی مثل عدد صحیح یا عدد مختلط باشد، اما این عناصر میتواند اشیای غیر عددی مثل چندجملهای، ماتریس مربعی، تابع و سری توانی هم باشد.
از نظر صوری، یک حلقه گروهی آبلی است که عملیات آن جمع نامیده شده، به همراه عملگر دوتایی ثانویه که ضرب نامدارد و خاصیت شرکتپذیری داشته و روی عملگر جمع توزیعپذیر است و دارای عنصر همانی ضربی است (این خاصیت اخیر نزد برخی از مؤلفین الزامی نیست، § یادداشتهای مربوط به تعاریف را ببینید). پیرو تعمیم اعداد صحیح، به عملیات گروهی آبلی حلقهها، جمع و به عملگر ثانویه آن ضرب گویند.
این که آیا یک حلقه جابجایی است یا خیر (یعنی این که آیا ترتیب ضرب دو عنصر حلقه بر نتیجه ضربشان اثرگذار است یا نه؟)، اثرات ژرفی بر روی رفتار یک شیء جبری دارد. در نتیجه، نظریه حلقههای جابجایی را اغلب جبر جابجایی گویند، که مبحث کلیدی در نظریه حلقه هاست. توسعه جبرجابجایی به میزان چشمگیری از مسائل و ایدههایی که بهطور طبیعی در نظریه جبری اعداد و هندسه جبری وجود دارند وام گرفتهاست. مثالهایی از حلقههای جابجایی شامل این موارد میشود: اعداد صحیح مجهز به عملیات جمع و ضرب، مجموعه چند جمله ایها به همراه جمع و ضرب بینشان، حلقه مختصاتی یک واریته جبری آفینی و حلقه اعداد یک میدان عددی. مثالهایی از حلقههای ناجابجایی شامل حلقه ماتریسهای حقیقی مربعی که در آن ، حلقه گروهها در نظریه نمایش، جبر عملگرها در آنالیز تابعی، حلقه عملگرهای دیفرانسیلی در نظریه عملگرهای دیفرانسیل و حلقه کوهمولوژی یک فضای توپولوژیکی در توپولوژی.
مفهوم سازی برای حلقهها در دهه ۱۸۷۰ شروع شد و در دههٔ ۱۹۲۰ تکمیل شد. افرادی که نقش کلیدی در این فرایند داشتند شامل ددکیند، هیلبرت، فرانکل و نوتر بودند حلقهها را اولین بار به عنوان تعمیمهایی از دامنههای ددکیند، که در نظریه اعداد، حلقههای چند جمله ای و پایاهایی که در هندسه جبری و نظریه پایا ظاهر میشوند، به صورت صوری و رسمی درآوردند. سپس، مشخص شد که مفهوم حلقهها در دیگر شاخههای ریاضیاتی چون هندسه و آنالیز ریاضی نیز مفیدند.
تعریف و مثال
[ویرایش]آشناترین مثال یک حلقه، مجموعه اعداد صحیح، شامل اعداد زیر است:
خواص آشنای جمع و ضرب اعداد صحیح، مدلی برای اصول موضوعه حلقه هاست.
تعریف
[ویرایش]حلقه، مجموعه ای چون است که به عملهای دوتایی[۱] + و . مجهز شده به گونه ای که در اصول موضوعه زیر به نام اصول موضوعه حلقهها صدق کند:[۲][۳][۴]
- تحت جمع یک گروه آبلیست، یعنی:
- برای تمام در داریم (یعنی + شرکتپذیر است).
- برای تمام در داریم (یعنی + جابجاییست).
- عنصری چون در وجود دارد چنانکه برای تمام در داشته باشیم (یعنی یک عنصر همانی جمعیست).
- برای هر در وجود دارد در چنانکه (یعنی، یک معکوس جمعی برای است).
- تحت ضرب یک مونوئید است، یعنی:
- برای تمام در داریم (یعنی. شرکتپذیر است).
- عنصری چون در وجود دارد به گونه ای که برای تمام در داریم و (یعنی همانی ضربی است).[۵]
- ضرب بر روی جمع توزیع پذیر است، یعنی:
- برای تمام در داریم (توزیع پذیری از چپ).
- برای تمام در داریم (توزیع پذیری از راست).
یادداشتی در مورد تعریف
[ویرایش]همانطور که در بخش تاریخچه در قسمت پایین توضیح داده شده، بسیاری از مؤلفان از قرارداد دیگری استفاده میکنند که در آن برای یک حلقه وجود عنصر همانی ضربی الزامی نیست. در این مقاله از این قرارداد استفاده شده که وجود عنصر همانی ضربی الزامی است، مگر خلاف آن ذکر شود. مؤلفانی که از قرارداد اخیر (وجود عنصر همانی ضربی) پیروی میکنند، به حلقههایی که در آنها عنصر همانی تعریف نشده rng (به صورت rung یا رانگ تلفظ میشود) گویند و برخی مواقع به آن حلقه کاذب (pseudo-ring) هم گفته میشود. به عنوان مثال، مجموعه اعداد زوج تحت جمع و ضرب معمولی یک rng (رانگ) است اما حلقه نیست.
عملیات + و. را به ترتیب جمع و ضرب گویند. معمولاً نماد ضرب یعنی. حذف میشود، لذا کنار هم قرار گرفتن عناصر به صورت ضرب تعبیر میشود. به عنوان مثال معنی میدهد.
گرچه جمع در حلقه جابجاییست، ضرب حلقه لزوماً جابجایی نیست: لزوماً برابر با نیست. حلقههایی که شرط جابجایی ضربی را ارضاء میکنند (مثل حلقه اعداد صحیح) را حلقه جابجایی گویند. کتابهای جبر جابجایی یا هندسه جبری اغلب برای سادهسازی اینگونه قرارداد میکنند که حلقه به معنای حلقه جابجایی است.
در یک حلقه، نیاز نیست که عناصر دارای معکوس ضربی باشند. یک حلقه جابجایی (نابدیهی) که در آن هر عنصر ناصفر معکوس ضربی داشته باشد را میدان گویند.
گروه جمعی یک حلقه صرفاً مجهز به جمع است. گرچه که تعریف حلقه فرض را بر این میگیرد که گروه جمعی آبلی است، اما این مسئله (آبلی بودن گروه جمعی) را میتوان از دیگر اصول موضوعههای حلقه استنباط کرد (یعنی یک اصول موضوعهٔ مستقل نیست).[۶] اثبات نکته اخیر از طریق فرض وجود عنصر "" است، پس اثبات آن در rng قابل استفاده نیست (در مورد رانگها، حذف فرض جابجایی بودن جمع، باعث میشود که جابجایی بودن ضرب عناصر، یعنی را بتوان از بقیه اصول موضعه استنباط کرد).
برخی از مؤلفین حلقه را بدون فرض شرکت پذیری ضربی تعریف میکنند.[۷] این تعریف کلی یک حلقه (که لزوماً شرکت پذیر نباشد، و لزوماً یک دار نباشد) هنگامی مفید است که بخواهیم هر جبر را یک حلقه در نظر بگیریم.
خواص پایه ای
[ویرایش]برخی از خواص پایه ای یک حلقه فوراً از اصول موضعه بدست میآیند:
- همانی جمعی، معکوسهای ضربی هر عنصر و همانی ضربی، همگی منحصر به فردند.
- برای هر عنصری چون در یک حلقه چون ، داریم (صفر نسبت به ضرب یک عنصر جاذب (جذب کننده) است) و .
- اگر در یک حلقه داشته باشیم ، (یا بهطور کلی تر اگر یک عنصر معکوس پذیر ضربی باشد)، آنگاه تنها یک عنصر خواهد داشت، به چنین حلقه ای، حلقه صفر گویند.
- فرمول دو جمله ای برای تمام زوج عناصر جابجا شونده (یعنی، هر و که در رابطه صدق کنند) برقرار است.
مثال: اعداد صحیح به هنگ ۴
[ویرایش]همچنین رجوع کنید به: حساب پیمانه ای
مجموعه به عملیات زیر مجهز شدهاست:
- جمع در برابر باقیمانده تقسیم بر ۴ است (چون همیشه از ۸ کوچکتر است، باقیمانده تقسیم آن بر ۴ یا برابر است یا ). به عنوان مثال، و .
- ضرب در برابر با باقیمانده تقسیم بر است. برای مثال، و .
آنگاه، یک حلقه است: هر اصل موضوع از اصل موضوع متناظرش در بدست آمده و این عنصر را اغلب به صورت "x mod 4" یا نمایش میدهند که با نمادهای سازگاری دارند. معکوس جمعی هر عنصر مثل در به صورت است. به عنوان مثال، .
یادداشتها
[ویرایش]^ a: برخی مؤلفان تنها نیم گروه بودن حلقه تحت ضرب را الزامی میدانند؛ یعنی نیاز نیست حلقه عنصر همانی ضربی داشته باشد (۱).
^ b: عناصری که معکوس ضربی داشته باشند را یکال گویند. , این مرجع را ببینید: Lang 2002, §II.1, p. 84.
^ c: اصل موضوع بسته بودن پیش از این در تعریف دوتایی بودن عملیات +/• لحاظ شدهاست؛ لذا برخی مؤلفین این اصل را حذف میکنند Lang ۲۰۰۲
^ d: انتقال از اعداد صحیح به اعداد گویا با اضافه نمودن کسرها توسط مفهوم «میدان کسرها» تعمیم پیدا میکند.
^ e: بسیاری از مؤلفان جابجا بودن حلقه را در «اصول موضوعه» حلقه میگنجانند و لذا به چنین حلقههایی «حلقههای جابجایی»، یا فقط «حلقه» گویند.
ارجاعات
[ویرایش]- ↑ این بدان معناست که هر عملیات برای هر جفت عناصر در حلقه نتیجه منحصر به فردی را در تولید میکند.
- ↑ Nicolas Bourbaki (1970). "§I.8". Algebra. Springer-Verlag.
- ↑ Saunders MacLane; Garrett Birkhoff (1967). Algebra. AMS Chelsea. p. 85.
- ↑ Serge Lang (2002). Algebra (Third ed.). Springer-Verlag. p. 83.
- ↑ وجود 1 توسط برخی از مؤلفان مفروض واقع نشده؛ اینجا عبارت rng برای حلقههای بدون همانی ضربی استفاده شده. لطفاً بخش یادداشتهای مقاله حلقه (ریاضیات) را ببینید.
- ↑ I. M. Isaacs, Algebra: A Graduate Course, AMS, 1994, p. 160.
- ↑ "Non-associative rings and algebras". Encyclopedia of Mathematics.
منابع
[ویرایش]منابع عمومی
[ویرایش]- Artin, Michael (1991). Algebra. Prentice-Hall.
- Atiyah, Michael; Macdonald, Ian G. (1969). Introduction to commutative algebra. Addison–Wesley.
- Bourbaki, N. (1998). Algebra I, Chapters 1-3. Springer.
- Cohn, Paul Moritz (2003), Basic algebra: groups, rings, and fields, Springer, ISBN 978-1-85233-587-8.
- Eisenbud, David (1995). Commutative algebra with a view toward algebraic geometry. Springer.
- Gallian, Joseph A. (2006). Contemporary Abstract Algebra, Sixth Edition. Houghton Mifflin. ISBN 978-0-618-51471-7.
- Gardner, J.W.; Wiegandt, R. (2003). Radical Theory of Rings. Chapman & Hall/CRC Pure and Applied Mathematics. ISBN 0-8247-5033-0.
- Herstein, I. N. (1994) [reprint of the 1968 original]. Noncommutative rings. Carus Mathematical Monographs. Vol. 15. With an afterword by Lance W. Small. Mathematical Association of America. ISBN 0-88385-015-X.
- Hungerford, Thomas W. (1997). Abstract Algebra: an Introduction, Second Edition. Brooks/Cole. ISBN 978-0-03-010559-3.
- Jacobson, Nathan (2009). Basic algebra. Vol. 1 (2nd ed.). Dover. ISBN 978-0-486-47189-1.
- Jacobson, Nathan (1964). "Structure of rings". American Mathematical Society Colloquium Publications (Revised ed.). 37.
- Jacobson, Nathan (1943). "The Theory of Rings". American Mathematical Society Mathematical Surveys. I.
- Kaplansky, Irving (1974), Commutative rings (Revised ed.), University of Chicago Press, ISBN 0-226-42454-5, MR 0345945.
- Lam, Tsit Yuen (2001). A first course in noncommutative rings. Graduate Texts in Mathematics. Vol. 131 (2nd ed.). Springer. ISBN 0-387-95183-0.
- Lam, Tsit Yuen (2003). Exercises in classical ring theory. Problem Books in Mathematics (2nd ed.). Springer. ISBN 0-387-00500-5.
- Lam, Tsit Yuen (1999). Lectures on modules and rings. Graduate Texts in Mathematics. Vol. 189. Springer. ISBN 0-387-98428-3.
- Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556, Zbl 0984.00001.
- Matsumura, Hideyuki (1989). Commutative Ring Theory. Cambridge Studies in Advanced Mathematics (2nd ed.). Cambridge University Press. ISBN 978-0-521-36764-6.
- Milne, J. "A primer of commutative algebra".
- Rotman, Joseph (1998), Galois Theory (2nd ed.), Springer, ISBN 0-387-98541-7.
- van der Waerden, Bartel Leendert (1930), Moderne Algebra. Teil I, Die Grundlehren der mathematischen Wissenschaften, vol. 33, Springer, ISBN 978-3-540-56799-8, MR 0009016.
- Warner, Seth (1965). Modern Algebra. Dover. ISBN 978-0-486-66341-8.
- Wilder, Raymond Louis (1965). Introduction to Foundations of Mathematics. Wiley.
- Zariski, Oscar; Samuel, Pierre (1958). Commutative Algebra. Vol. 1. Van Nostrand.
منابع تخصصی
[ویرایش]- Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Commutative Noetherian and Krull rings, Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155615-7.
- Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Dimension, multiplicity and homological methods, Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155623-2.
- Ballieu, R. (1947). "Anneaux finis; systèmes hypercomplexes de rang trois sur un corps commutatif". Ann. Soc. Sci. Bruxelles. I (61): 222–227.
- Berrick, A. J.; Keating, M. E. (2000). An Introduction to Rings and Modules with K-Theory in View. Cambridge University Press.
- Cohn, Paul Moritz (1995), Skew Fields: Theory of General Division Rings, Encyclopedia of Mathematics and its Applications, vol. 57, Cambridge University Press, ISBN 978-0-521-43217-7.
- Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry., Graduate Texts in Mathematics, vol. 150, Springer, ISBN 978-0-387-94268-1, MR 1322960.
- Gilmer, R.; Mott, J. (1973). "Associative Rings of Order". Proc. Japan Acad. 49: 795–799. doi:10.3792/pja/1195519146.
- Harris, J. W.; Stocker, H. (1998). Handbook of Mathematics and Computational Science. Springer.
- Jacobson, Nathan (1945), "Structure theory of algebraic algebras of bounded degree", Annals of Mathematics, Annals of Mathematics, 46 (4): 695–707, doi:10.2307/1969205, ISSN 0003-486X, JSTOR 1969205.
- Knuth, D. E. (1998). The Art of Computer Programming. Vol. Vol. 2: Seminumerical Algorithms (3rd ed.). Addison–Wesley.
{{cite book}}
:|volume=
has extra text (help) - Korn, G. A.; Korn, T. M. (2000). Mathematical Handbook for Scientists and Engineers. Dover.
- Milne, J. "Class field theory".
- Nagata, Masayoshi (1962) [1975 reprint], Local rings, Interscience Tracts in Pure and Applied Mathematics, vol. 13, Interscience Publishers, ISBN 978-0-88275-228-0, MR 0155856.
- Pierce, Richard S. (1982). Associative algebras. Graduate Texts in Mathematics. Vol. 88. Springer. ISBN 0-387-90693-2.
- Poonen, Bjorn, Why all rings should have a 1 (PDF)
- Serre, Jean-Pierre (1979), Local fields, Graduate Texts in Mathematics, vol. 67, Springer.
- Springer, Tonny A. (1977), Invariant theory, Lecture Notes in Mathematics, vol. 585, Springer, ISBN 978-3-540-37370-4.
- Weibel, Charles. "The K-book: An introduction to algebraic K-theory".
- Zariski, Oscar; Samuel, Pierre (1975). Commutative algebra. Graduate Texts in Mathematics. Vol. 28–29. Springer. ISBN 0-387-90089-6.
منابع اولیه
[ویرایش]- Fraenkel, A. (1914). "Über die Teiler der Null und die Zerlegung von Ringen". J. Reine Angew. Math. 145: 139–176.
- Hilbert, David (1897). "Die Theorie der algebraischen Zahlkörper". Jahresbericht der Deutschen Mathematiker-Vereinigung. 4.
- Noether, Emmy (1921). "Idealtheorie in Ringbereichen". Math. Annalen. 83 (1–2): 24–66. doi:10.1007/bf01464225.
منابع تاریخی
[ویرایش]- History of ring theory at the MacTutor Archive بایگانیشده در ۲۴ آوریل ۲۰۱۷ توسط Wayback Machine
- Garrett Birkhoff and Saunders Mac Lane (1996) A Survey of Modern Algebra, 5th ed. New York: Macmillan.
- Bronshtein, I. N. and Semendyayev, K. A. (2004) Handbook of Mathematics, 4th ed. New York: Springer-Verlag شابک ۳−۵۴۰−۴۳۴۹۱−۷.
- Faith, Carl (1999) Rings and things and a fine array of twentieth century associative algebra. Mathematical Surveys and Monographs, 65. American Mathematical Society شابک ۰−۸۲۱۸−۰۹۹۳−۸.
- Itô, K. editor (1986) "Rings." §368 in Encyclopedic Dictionary of Mathematics, 2nd ed. , Vol. 2. Cambridge, MA: MIT Press.
- Israel Kleiner (1996) "The Genesis of the Abstract Ring Concept", American Mathematical Monthly 103: 417–424 doi:10.2307/2974935
- Kleiner, I. (1998) "From numbers to rings: the early history of ring theory", Elemente der Mathematik 53: 18–35.
- B. L. van der Waerden (1985) A History of Algebra, Springer-Verlag,