ریاضیات

رسته‌های دقیق کویلن (Quillen Exact Categories) و K-گروه‌ها

قضیه برقرار است اگر Ʌ داشته باشد نوع نمایش متناهی. همچنین شامل شده بعضی روش‌های سودمند برای اثبات قدردانی شده در پایان از:

۱. رسته‌های دقیق و K-گروه‌های کویلن

Exact Category and Higher K-groups:

نسبت به K-گروه‌های کویلن K_n(C, 𝒪) برای n ≥ 0، (C, 𝒪) یک رستهٔ کامل است که هست، برای هر زوج (C′, C) یک زیررستهٔ 𝒪 یک کلاس از توسيع در C صدق می‌کند.

۲. رفتار تانگرها روی دنباله‌های دقیق

عبارت است از یک گروه آبلی. تانگر ارزیابی‌شده از این نوع در دنبالهٔ دقیق کوتاه 0 → C′ → C → C″ → 0 در 𝒪، به صورت دنبالهٔ زیر درمی‌آید:

0 → 𝒪(X, C′) → 𝒪(X, C) → 𝒪(X, C″)

عبارتند از تانگرهای همورد ارزیابی‌شده در گروه آبلی.