טבעות, אידיאלים ומודולים
הוצג| English | משמעות |
|---|---|
| ideal/aɪˈdɪəl/ | אידיאל |
| torsion/ˈtɔːʃn/ | טורזיה |
החלטה לפני תשובה
- באריתמטיקה מודולו 6, כפלת שני ערכים אי-אפסיים היא אפס. ביטול אחד מהם יסיר פתרונות תקפים.
- המטרה שלך: להבחין בין יחידות, מחלקי אפס ואזורי אינטגרליות.
קראו את הקשר
- לדוגמאות הבאות לתחום, אידיאל ומכפלה קוואוטिएנט, השתמש במעגל קומטטיבי עם יחידה 1 השונה מ0. בעיה מקורית עשויה לציין מעגל כללי; אל תניח כי הכפל בו קומטטיבי אלא אם כן צוין או הוכח. ליחידה יש מכפיל הפוך. מחלק אפס אי-אפסי כופל אלמנט אי-אפסי כלשהו לאפס. לאזור אינטגרליות אין מחלקי אפס כאלה; לכן ביטול גורם אי-אפסי עובד. שדה הוא תחום שבו כל אלמנט אי-אפסי הוא יחידה. Z הוא תחום אך לא שדה; Z/6Z הוא neither (אף אחד מהם).
- זיהוי אידיאלים ופרשנות של מעגלי קוואוטिएנט.
How many units are in Z/10Z?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Only 1,3,7,9 are coprime to 10; each has a multiplicative inverse.
השתמשו בכלל המגדיר
- אידיאל I הוא תת-קבוצה אדיטיבית שסופגת כפל עם כל אלמנט במעגל. זה חזק מלהיות תת-מעגל. ב-Z, nZ הוא אידיאל; אלמנטים במכפלה קוואוטिएנט הם מחלקות שאריות של שלמים מודולו n. במעגל קומטטיבי, R/I הוא שדה בדיוק כאשר I מקסימלי, והוא תחום בדיוק כאשר I ראשוני. האידיאל חייב להיות ממשי (proper) בשתי הטענות.
- השוואת מודולים מעל מעגלים למרחבים וקטורים מעל שדות.
Which integer ideal is maximal in Z?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Z/7Z is a field because 7 is prime. The composite quotients have zero divisors, and Z/0Z is Z, not a field.
בדיקת התנאים
- מודול מאפשר סקאלרים ממעגל במקום דרישת שדה. כל קבוצה אבלינית היא מודול Z באמצעות חיבור חוזר, אך היא עשויה שלא להיות בעלת בסיס כמרחב וקטורי. ב-Z/6Z כמודול Z, 6 כפול שארית אי-אפסית 1 הוא אפס; זו טורזיה. עבור מרחב וקטורי מעל שדה, סקאלר אי-אפסי הוא הפוך ואינו יכול לאפס וקטור אי-אפסי.
- נגזר תכונות של מעגל בוליאני מבלי להניח קומטטיביות.
ב-Z/6Z, 2·3=0, ולכן 2 ו3 הם מחלקי אפס. היחידות הן 1 ו5 כי ה-GCD שלהם עם 6 הוא 1. ב-Z, האידיאל 5Z נותן את השדה Z/5Z, בעוד ש6Z נותן מכפלה קוואוטिएנט עם מחלקי אפס. כמודולי Z, ההעתקה מ-Z ל-Z/6Z יש ליבה 6Z; המכפלה קוואוטिएנט מזדהה שלמים הנבדלים בכפולה של 6, ולא מייצר מרחב וקטורי אמיתי.
In Z/8Z, the least positive integer k for which k times the residue 2 is zero is ____.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
2k is divisible by 8 first at k=4.
יישמו את פורמט המשימה
- תת-מודול סגור לפי חיבור וכל פעולות הסקאלר המותרות. העתקה ליניארית של מודולים שומרת על שניהם. הליבה והתמונה הן תת-מודולים, והמכפלה קוואוטिएנט לפי הליבה איזומורפית לתמונה. אל תשתמש ברמת nullity לממדים סופיים במודול ארביטרלי ללא הקמת הגדרת מודול חופשי מתאימה; פעולות שורה של שלמים ופעולות שורה של שדות מאפשרות חלוקות שונות. במעגל בוליאני כללי, כל a מקיים a²=a. אל תניח קומטטיביות להוכחת זאת: אידימפוטנציה של a+a נותנת 4a=2a, ולכן 2a=0. פתיחת (a+b)²=a+b נותנת ab+ba=0, ואריתמטיקה מודולו 2 גוררת −ba=ba; ולכן ab=ba. אידימפוטנציה אינה מציעה נילוטנציה: ב-F2, האלמנט האי-אפסי 1 מקיים 1^n=1 לכל n חיובי.
- נגזר תכונות של מעגל בוליאני מבלי להניח קומטטיביות.
קבוצה יכולה להיות תת-מודול מבלי להיות מרחב וקטורי על הרציונליים. חילוק סקאלר תקף רק כאשר ההפוך של הסקאלר שייך למבנה.
איזו תשובה מתאימה למקרה זה?
הבחן בין יחידות, מחלקי אפס ואינטגרליות
Every integral domain is a field.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Z has cancellation but the nonzero integer 2 has no inverse in Z.
שמרו על ההבחנות
- אידיאל — תת-קבוצה אדיטיבית של מעגל שסופגת כפל עם כל אלמנטי המעגל.
- טורזיה — אלמנט שנאפס על ידי סקאלר אי-אפסי במודול המפורש.
- להבחין בין יחידות, מחלקי אפס ואזורי אינטגרליות.
- זיהוי אידיאלים ופרשנות של מעגלי קוואוטिएנט.
- השוואת מודולים מעל מעגלים למרחבים וקטורים מעל שדות.
- נגזר תכונות של מעגל בוליאני מבלי להניח קומטטיביות.
Match each term with its precise meaning in this lesson.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
Difficulty 3/5 · 200 coins + a small bonus on first completion today
The order follows the stated process; check each stage before the next.