قضیهٔ کرول–اشمیت: منشور تجزیهٔ یکتای مدول‌ها
ستون فقرات نظریهٔ نمایش بر این پرسش استوار است: آیا می‌توان هر مدول را به جمع مستقیمی از سازنده‌های تجزیه‌ناپذیر خرد کرد، و آیا این تجزیه یکتاست؟ پاسخ قطعی این پرسش در قلمرو جبرهای متناهی‌بعد، «قضیهٔ کرول–اشمیت» (Krull–Schmidt Theorem) است.
۱. جبر خودریختی‌های موضعی (Local Endomorphism Ring):
یک مدول با طول متناهی تجزیه‌ناپذیر است اگر و تنها اگر حلقهٔ درون‌ریختی‌های آن «موضعی» باشد؛ یعنی هر درون‌ریختی یا پوشا و معکوس‌پذیر باشد یا پوچ‌توان (Nilpotent). این قضیه امکان هرگونه شکافتگی پنهان را منتفی می‌کند.
۲. یکتایی تجزیه تا حد یک‌ریختی:
قضیهٔ کرول–اشمیت تضمین می‌کند که اگر یک مدول به دو صورت مختلف به مدول‌های تجزیه‌ناپذیر تجزیه شود، تعداد مؤلفه‌ها برابر بوده و میان عوامل نظیربه‌نظیر یک‌ریختی برقرار است (جابه‌جایی مؤلفه‌ها تأثیری در ذات تجزیه ندارد).
۳. نقش در جبرهای گروهی:
این قضیه تضمین می‌کند که بلوک‌های ماتریس نمایش، و در سطحی بالاتر رأس‌ها و منابع (Vertices and Sources)، هویتی مستقل و یکتا دارند و تحت تغییر پایه‌ها ساختار خود را حفظ می‌کنند.
۴. لم فیتینگز (Fitting's Lemma):
موتور محرک اثبات کرول–اشمیت، لم فیتینگز است که نشان می‌دهد هر عملگر خطی روی مدولِ با طول متناهی، فضا را به دو بخشِ اکیداً پوچ‌توان و اکیداً خودریخت تجزیه می‌نماید.
جان کلام: کرول–اشمیت به رستهٔ مدول‌ها خاصیت تجزیهٔ یکتای اعداد اول را در دنیای جبرهای خطی و ماتریسی اعطا می‌کند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.