משפט הבסיס של הילברט

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