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