نظریهٔ گروه‌ها: یک مثال ماتریسی از گروهِ متناهی‌مولد که شرط کمینه/بیشینه روی زیرگروه‌ها را ندارد
صورت مثال (طبق یادداشت):
فرض کنید G گروهِ ضربیِ تولیدشده توسط دو ماتریس حقیقی زیر باشد (با ضرب ماتریسی):
x = [ [1, 0], [0, 1] ] ، y = [ [1, 1], [0, 1] ]
یعنی G = 〈x, y〉 ⊆ GL₂(ℝ).
ادعای یادداشت:
G یک گروهِ متناهی‌مولد است، اما هیچ‌یک از دو شرط زیر را برای زیرگروه‌ها ارضا نمی‌کند:
(۱) شرط کمینه (minimal condition) روی زیرگروه‌ها: هر زنجیرهٔ نزولیِ زیرگروه‌ها در نهایت ثابت شود.
(۲) شرط بیشینه (maximal condition) روی زیرگروه‌ها: هر زنجیرهٔ صعودیِ زیرگروه‌ها در نهایت ثابت شود.
توضیح کوتاهِ ایده (در حد متن وبلاگی):
در چنین مثال‌هایی معمولاً یک خانوادهٔ طبیعی از زیرگروه‌ها ساخته می‌شود که یا به طور strict صعود می‌کند یا strict نزول؛ مثلاً با نگاه کردن به زیرگروه‌های تولیدشده توسط توان‌های y (یا زیرگروه‌هایی که با محدود کردن «پارامتر انتقال» در ماتریس بالامثلثی به دست می‌آیند). این زنجیره‌ها پایان‌پذیر نیستند و بنابراین شرط کمینه/بیشینه شکست می‌خورد.
نکتهٔ مهم (برای خواننده):
این مثال نشان می‌دهد «متناهی‌مولد بودنِ گروه» به‌تنهایی تضمین نمی‌کند که روی شبکهٔ زیرگروه‌ها رفتار نُترین (ACC) یا آرتینی (DCC) داشته باشیم.
یادآوری نمادگذاری:
در این بخش توان‌ها را کتابی می‌نویسیم (مثل y²، y³، y⁻¹ و …) تا در موبایل و قالب بلاگفا خوانا باشد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.