41,811
עריכות
←ממד קוהומולוגי
|
=== ממד קוהומולוגי ===
אם G חבורה, הממד הפרויקטיבי של [[חוג החבורה]] <math>\ \mathbb{Z}[G]</math> נקרא גם '''הממד הקוהומולוגי''' של החבורה G. זהו גם המספר n הקטן ביותר שעבורו כל חבורות הקוהומולוגיה <math>\ H^i(G,M)</math>, עבור <math>\,i>n</math>, מתאפסות.
הממד הקוהומולוגי של [[שדה (מבנה אלגברי)|שדה]] מוגדר כממד הקוהומולוגי של [[חבורת גלואה האבסולוטית]] שלו. לדוגמא, לשדות <math>k(t_1,\cdots,t_n)</math> ו-<math>\ k(\!(t_1)\!)\cdots(\!(t_n)\!)</math> (כאשר k [[שדה סגור אלגברית|סגור אלגברית]]) יש ממד קוהומולוגי n.
== ממד גלפנד קירילוב ==
| |||