ریاضیات

بررسی تصویر نگاشت‌ها (Im γ) و کلاس‌های دنباله دقیق

شمول Im γ' ⊆ Im γ مسئله‌ای اساسی است که مطرح می‌شود. با توجه به این‌که 𝜙 و 𝜓 از توسیع‌ها در رستهٔ A هستند، تانگرهای موجود در E به‌طور دقیق تأثیر می‌پذیرند.

۱. تعریف مشخصه با کلاس 𝜙

به‌وسیلهٔ دنباله‌های دقیق کوتاه در A و همچنین با امکان داشتن تعریف E₀، با تعیین یک کلاس 𝜙 از وجود نتیجهٔ زیر حاصل می‌شود:

تعریف/قضیه: دنبالهٔ دقیق کوتاه A_* متعلق به کلاس 𝜙 است اگر و تنها اگر تانگر ناهومورد آن دارای متناهی طول در F (یا در E) باشد. حال K(E₀) توسط تصویرهای فاکتور تانگر از طول متناهی تولید شده است؛ بنابراین هنوز به‌وسیلهٔ تصویرهای تانگرهای ساده تولید می‌شود (اگر اصلاً چنین مواردی وجود داشته باشد؛ اگر نه، K(E₀) = 0).

۲. رده‌های حافظ طول مدول

فرض کنید 𝜓 نشان‌دهندهٔ کلاس دنباله‌های دقیق کوتاه در A باشد که تانگرهای محافظت‌شده از آن دارای طول متناهی هستند. در این صورت بررسی شرط‌های لازم از Im γ و Im γ' به‌دست می‌آید که مولدهای آن تحت فاکتورهای مشخص بیان می‌شوند.