این یادداشتها مربوط به بخش «تناقض» (Contradiction) در اثباتهای ترکیبیاتی مربوط به زیرگروههای ماکزیمال است. در اینجا این استدلال را به عنوان ادامه منطقی بحث قبلی، در قالب یک پست آموزشی منسجم برای وبلاگ شما آماده کردهام.
```html
اثبات تناقض در پوششدهی گروه توسط زیرگروههای ماکزیمال
در ادامه تحلیلهای قبلی، اکنون به مرحله کلیدی اثبات میرسیم. اگر فرض کنیم گروه G توسط اجتماع مزدوجهای دو زیرگروه ماکزیمال K و M پوشانده شده است، با استدلال شمارشی به یک تناقض جبری خواهیم رسید.
۱. فرضِ تقاطعِ بدیهی
اگر تقاطع مزدوجهای این دو زیرگروه تنها شامل عضو واحد باشد، یعنی:
( ⋃g∈G Kg ) ∩ ( ⋃g∈G Mg ) = {1}
۲. استدلال شمارشی و رسیدن به نامساوی
با استفاده از فرمول تعداد عناصر در اجتماع مزدوجها (که در بخش قبل بررسی کردیم)، میتوانیم مجموع عناصر غیر واحد را به دست آوریم. اگر |G|=n، |K|=k و |M|=m باشد، نامساوی زیر حاصل میشود:
n < n(1/k + 1/m) ⇒ 1 < 1/k + 1/m
۳. تحلیل تناقض
این نقطه، کلیدیترین بخش اثبات است:
- از آنجا که K و M زیرگروههای ماکزیمال (و در نتیجه سره) هستند، داریم k, m ≥ 2.
- در نتیجه، مقادیر 1/k و 1/m حداکثر برابر با 1/2 هستند.
- بنابراین، مجموع آنها 1/k + 1/m ≤ 1 است.
نتیجهگیری: نامساوی 1 < 1/k + 1/m که از فرضهای ما به دست آمد، با این واقعیت که مجموع این دو کسر حداکثر یک است، در تناقض است. این تناقض نشان میدهد که فرض اولیه ما (اینکه گروه صرفاً با اجتماع مزدوجهای این دو زیرگروه پوشانده میشود) نادرست است، یا این دو زیرگروه نمیتوانند به این سادگی ساختار گروه را پوشش دهند.
```
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.