Кольца, идеалы и модули
Введено| English | Значение |
|---|---|
| ideal/aɪˈdɪəl/ | идеал |
| torsion/ˈtɔːʃn/ | торсион |
Решение перед ответом
- В арифметике по модулю 6 произведение двух ненулевых значений дает ноль. Сокращение любого из них привело бы к потере допустимых решений.
- Ваша цель: различать обратимые элементы, делители нуля и области целостности.
Прочитайте соотношение
- Для примеров с областью, идеалом и факторкольцом ниже используйте коммутативное кольцо с единицей 1, отличным от 0. Исходная задача может указывать общее кольцо; не предполагайте коммутативность умножения, если это не указано или не доказано. Обратимый элемент имеет мультипликативный обратный. Ненулевой делитель нуля умножается на некоторый ненулевой элемент, давая ноль. Область целостности не содержит таких делителей нуля; сокращение ненулевого множителя при этом возможно. Поле — это область, в которой каждый ненулевой элемент является обратимым. Z является областью, но не полем; Z/6Z ни тем, ни другим.
- Определяйте идеалы и интерпретируйте факторкольца.
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 прост. В обоих утверждениях идеал должен быть собственным.
- Сравнивайте модули над кольцами с векторными пространствами над полями.
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 идеал ⟨5⟩Z порождает поле Z/5Z, а ⟨6⟩Z дает факторкольцо с делителями нуля. Как Z-модули, отображение из Z в Z/6Z имеет ядро ⟨6⟩Z; фактор кольцо идентифицирует целые числа, отличающиеся на кратное ⟨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.
Применяйте формат задания
- Подмодуль замкнут относительно сложения и всех разрешенных скалярных действий. Линейное отображение модулей сохраняет оба свойства. Ядро и образ являются подмодулями, а фактор по ядру изоморфен образу. Не применяйте ранг-нулевое соотношение для конечномерных пространств к произвольному модулю без установления подходящего свободно-модульного контекста; целочисленные и полевые строковые операции допускают различные деления. В общем булевом кольце каждый a удовлетворяет a²=a. Не полагайтесь на коммутативность для доказательства: идемпотентность a+a дает 4a=2a, следовательно 2a=0. Раскрывая (a+b)²=a+b получаем ab+ba=0, и характеристика два делает −ba=ba; следовательно ab=ba. Идемпотентность не влечетervicesность: в 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.
Сохраняйте различия
- идеал — Аддитивная подгруппа кольца, поглощающая умножение на все элементы кольца.
- торсионный элемент — Элемент аннулируется nonzero скаляром в данном модуле.
- Различайте единицы, делители нуля и интегральные области.
- Определяйте идеалы и интерпретируйте факторкольца.
- Сравнивайте модули над кольцами с векторными пространствами над полями.
- Выведите свойства булева кольца без предположения о коммутативности.
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.