نظریه گروهها
نظریه گروهها به مطالعه ساختار جبری مجموعههایی میپردازد که مجهز به یک عمل دوتایی شرکتپذیر و معکوسپذیر هستند و زبان جهانی تقارن را در سراسر ریاضیات و علوم فیزیکی فراهم میکند.
Definition
یک گروه، مجموعهای G همراه با یک عمل دوتایی است که شرکتپذیر بوده، دارای عنصر همانی باشد و برای هر عنصر یک معکوس اختصاص دهد. نظریه گروهها مطالعه سیستماتیک چنین ساختارهایی و نگاشتهای بین آنها است.
Scope
این حوزه شامل مفهوم انتزاعی گروه، زیرگروهها و همدستهها، همریختیها و گروههای خارجقسمتی، کنشهای گروهی، قضایای سیلو، سریهای ترکیبی و مشتقشده، و عناصر نظریه نمایش میشود. این حوزه گروههای متناهی و نامتناهی، گروههای آبلی و غیرآبلی، و نتایج طبقهبندی ساختاری را که زیربنای برنامه درسی جبر در مقاطع تحصیلات تکمیلی است، در بر میگیرد.
Sub-topics
Core questions
- چه ناورداییهایی دو گروه را تا یکریختی متمایز میکنند؟
- چگونه میتوان یک گروه متناهی را از طریق زیرگروههای نرمال و خارجقسمتیها به قطعات سادهتر تجزیه کرد؟
- کدام گروههای متناهی به عنوان گروههای تقارن یک شیء یا کنش معین ظاهر میشوند؟
- چه زمانی یک گروه حلپذیر یا ساده است و این چه معنایی از نظر ساختاری دارد؟
Key theories
- قضیه لاگرانژ
- در یک گروه متناهی، مرتبه هر زیرگروه، مرتبه گروه را تقسیم میکند و اندازههای ممکن زیرگروهها و مرتبه عناصر را محدود میسازد.
- قضایای سیلو
- برای یک توان اول که مرتبه گروه را تقسیم میکند، زیرگروههایی با آن مرتبه (زیرگروههای سیلو) وجود دارند، همگی مزدوج هستند و تعداد آنها شرایط همنهشتی دقیقی را برآورده میکند که ابزاری قدرتمند برای تحلیل گروههای متناهی فراهم میآورد.
- قضیه جردن-هولدر
- هر دو سری ترکیبی یک گروه متناهی دارای طول یکسان و مجموعه چندگانه یکسانی از عوامل ترکیبی ساده تا یکریختی هستند که این عوامل را به ناورداهای ساختاری تبدیل میکند.
Clinical relevance
نظریه گروهها مبنای ریاضیاتی تقارن است: این نظریه زیربنای طبقهبندی گروههای نقطهای بلورنگاری و مولکولی در شیمی، تحلیل کمیتهای پایسته و تقارنهای پیمانهای در فیزیک، و ساختار جایگشتها و کدهای تصحیح خطا در علوم کامپیوتر است.
History
مفهوم گروه در قرن نوزدهم از مطالعه گالوا بر روی جایگشتهای ریشههای چندجملهایها و کار کوشی بر روی جانشینیها متبلور شد، توسط کیلی انتزاعی گردید و توسط جردن، سیلو و دیگران به یک نظریه ساختاری توسعه یافت. طبقهبندی گروههای ساده متناهی، که در اواخر قرن بیستم تکمیل شد، یکی از بزرگترین دستاوردهای مشترک در ریاضیات محسوب میشود.
Key figures
- Évariste Galois
- Arthur Cayley
- Camille Jordan
- Ludwig Sylow
- Sophus Lie
Related topics
Seminal works
- lang2002
- rotman1995
- dummit2004
Frequently asked questions
- چه چیزی یک گروه را از یک حلقه یا میدان متمایز میکند؟
- یک گروه دارای یک عمل دوتایی واحد است؛ یک حلقه دارای دو عمل (جمع و ضرب) است و یک میدان یک حلقه جابجاییپذیر است که در آن هر عنصر غیرصفر معکوسپذیر است. گروهها تقارن را به تصویر میکشند، در حالی که حلقهها و میدانها ساختار حسابی را به تصویر میکشند.
- چرا قضایای سیلو تا این حد محوری هستند؟
- آنها وجود زیرگروههایی با مرتبه توان اول را تضمین میکنند و تعداد و مزدوج بودن آنها را به شدت کنترل میکنند، که این امر آنها را به موتور اصلی برای اثبات نتایج طبقهبندی و عدم سادگی در مورد گروههای متناهی تبدیل میکند.