משפט קולצ'ין

באלגברה, משפט קולצ'ין קובע כי ניתן לשלש סימולטנית מונואיד של מטריצות אוניפוטנטיות (מעל שדה סגור אלגברית). את המשפט ניסח והוכיח אליס קולצ'ין, שעסק רבות באלגברה דיפרנציאלית ובחבורות אלגבריות ליניאריות.

הקדמה וניסוח
מטריצה  תקרא אוניפוטנטית אם  היא מטריצה נילפוטנטית. מונואיד של מטריצות נקרא אוניפטנטי אם כל איבר אוניפטנטיים.

משפט קולצ'ין קובע כי אם  מונואיד (ואפילו חבורה למחצה) אוניפטנטי של מטריצות מעל שדה סגור אלגברית, אז ניתן לשלש סימולטנית את כל איברי המונואיד. כלומר, קיים בסיס אחד לפיו כל איברי המונואיד הם בצורה משולשית (עליונה). 

זהו הניסוח הראשוני של המשפט. למעשה, ניתן לוותר על הדרישה שהשדה יהיה סגור אלגברית, כלומר בעזרת מעבר אל הסגור האלגברי הטענה נכונה לכל שדה.

הוכחה
ההוכחה שתינתן בעלת רעיון חשוב שחוזר על עצמו במשפטים דומים (ראו בהמשך). ניעזר במשפט של ודרברן, הקובע כי אלגברה ממד סופי מעל השדה ובעלת בסיס נילפוטנטי היא בעצמה נילפוטנטית. 

תהי  חבורה למחצה, ויהי  המרחב הליניארי הנפרש על ידי האיברים מהצורה , עבור . מתקיים, ולכן זוהי תת-אלגברה בעלת בסיס נילפוטנטי, ולפי המשפט של ודרברן היא עצמה נילפוטנטית: נניח . לכן, אם , אז לכל  מתקיים , כלומר  ולכן יש וקטור עצמי משותף לכל איברי תת-החבורה. לכן, כל איבר  ניתן להביא אל הצורה  עבור , ומכאן ממשיכים באינדוקציה.

משפטים דומים
משפט קולצ'ין קובע תכונות מבנה של מטריצות אוניפטנטיות. למשפט מספר הקבלות טבעיות למקרים אחרים:
 משפט לי-קלוצ'ין בחבורות פתירות
 משפט לי באלגברות לי פתירות
 משפט אנגל באלגברות לי נילפטוניות

הכללה לחוג עם זהויות
ישראל הרשטיין הוכיח טענה מקבילה עבור חוג עם זהויות נוצר סופית  (עם יחידה).

ראשית, איבר  הוא אוניפוטנט אם  הוא איבר נילפוטנטי. תהי  תת-חבורה למחצה אוניפוטנטית. אזי קיים  כך ש- לכל .

סקירת ההוכחה: כמו בהוכחה לעיל, יהי  המרחב הנפרש על ידי . תוך שימוש בטענות על חוגים עם זהויות ניתן להוכיח כי זוהי תת-אלגברה נילית. כעת, בחוג נוצר סופית עם זהויות, ניתן להוכיח כי כל תת-אלגברה נילית מוכלת ברדיקל ג'ייקובסון, ולכן בעצמה נילפוטנטית. לכן, כמו קודם, ניתן למצוא  כך ש-.

עבור ההוכחה המלאה, ראו בקריאה נוספת.

בעיית קולצ'ין
בעיית קולצ'ין (the Kolchin Problem) שואלת האם ניתן להכליל את הטענה עבור מטריצות מעל חוג עם חילוק. כלומר, האם ניתן לשלש סימולטנית תת-חבורה (או ביתר כלליות מונואיד) של מטריצות הפיכות מעל חוג עם חילוק. Mochizuki הוכיח כי הטענה נכונה עבור תתי חבורות במאפיין אפס.

הראשונים לשאול את השאלה היו ארווינג קפלנסקי ובוריס פלוטקין. ניסוח כללי יותר של השאלה, המתקשר גם אל איברים נילפוטנטיים וההוכחה לפי המשפט של ודרברן, הוא: נניח ש- היא תת-קבוצה של איבר נילפוטנטיים, כך שלכל  מתקיים . האם נובע ?

לקריאה נוספת
 Graduate Algebra: Noncommutative View, Rowen, p.60-62
 On Klochin's Theorem, I.N.Herstein, 1986

קטגוריה:משפטים באלגברה
קטגוריה:תורת החוגים