חוג בעל מספר בסיס קבוע

בתורת החוגים, אומרים שחוג הוא בעל מספר בסיס קבוע, ובקיצור נאמר שהחוג מקיים IBN (מאנגלית: Invariant basis number) אם הממד של המודולים החופשיים מעליו מוגדר היטב. משפחות מוכרות ורחבות של חוגים מקיימות IBN.

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

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

תכונות
ראשית, כל שדה מקיים IBN - זוהי למעשה הטענה מאלגברה ליניארית על (קיום ו)יחידות מרחב וקטורי מכל ממד טבעי.

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

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

כל חוג נתרי, חוג ארטיני, חוג עם חילוק, חוג עם זהויות וחוג מקומי למחצה מקיים את IBN.

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

אם חוג מקיים IBN, גם כל חוג מטריצות מעליו מקיים IBN, אבל התכונה אינה נשמרת על ידי שקילות מוריטה.

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

ראו גם
 חוג סופי באופן חלש

לקריאה נוספת
Rowen, Ring Theory I, p.61

תורת המודולים
תורת החוגים