02 Алгебра. Теория колец.
Ошибка.
Попробуйте повторить позже
Доказать, что если - кольцо, - произвольный элемент 0 - ноль кольца то
Поскольку 0 - нейтральный элемент по сложению, то Тогда
C другой стороны, поскольку то имеем
И, вычитая из обеих частей (вернее, если быть чуть более точным, прибавляя
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Показать, что в кольце всех матриц размера есть делители ноля.
Пусть То есть у матрицы единица стоит только на месте, а у матрицы единица стоит на всех ых местах, кроме места Элементы на остальных позициях у обоих матриц равны 0. Тогда ясно, что Таким образом, - левый делитель ноля, а - правый делитель ноля.
Ошибка.
Попробуйте повторить позже
Показать, что - кольцо. А именно, показать, что векторное произведение - дистрибутивно, то есть что
и что
Пусть Тогда, если вспомнить, как считается векторное произведение:
Мы доказали правую дистрибутивность. Левая доказывается аналогично.
Ошибка.
Попробуйте повторить позже
Существует ли бесконечное поле ненулевой характеристики? Потому что пока известные нам поля ненулевой характеристики - это только конечные поля вида где простое.
Рассмотрим поле
множество рациональных дробей с коэффициентами из Складываются такие рациональные
дроби приведением к общему знаменателю, а умножаются как обычные дробные функции - числитель
на числитель и знаменатель на знаменатель. Поскольку - поле, то - коммутативное,
ассоциативное кольцо с единицей единицей будет дробь - отношение константных многочленов
равных 1) без делителей ноля. Кроме того, каждый ненулевой элемент в нём обратим - обратным
к нему, как нетрудно понять, будет
C другой стороны, если мы сложим единиц этого поля, то есть ( раз), то эта
сумма будет равна но константный многочлен равен 0, следовательно, Ясно, что меньше
чем характеристика этого поля быть не может, поскольку простое. Следовательно, В
то время как в самом бесконечно много элементов. Например, в нем есть такие элементы
(очевидно, все различные):
Ошибка.
Попробуйте повторить позже
Вспомним утверждение о делении многочленов с остатком:
Утверждение (о делении многочленов с остатком). Пусть - поле, - кольцо
многочленов с коэффициентами из .
Тогда для любых двух многочленов , при условии, что - ненулевой многочлен,
существуют многочлены такие, что , причем .
Вопрос: Пусть даны конкретные . Причём . Насколько однозначны определены
частное и остаток при делении многочлена на многочлен ? Могут ли при делении одного
многочлена на другой получаться разные частные или, например, разные остатки?
Нет, на самом деле при фиксированных многочленах частное и остаток при делении на
определены однозначно.
Действительно, пусть мы смогли двумя способами поделить на с остатком:
Тогда, вычитая эти равенства почленно:
то есть
Раз многочлен из левой части равен многочлену из правой части, то равны и их степени:
Но тогда, пользуясь тем, что для любых многочленов степень произведения равна сумме степеней, имеем:
Откуда видно, что степень разности остатков равна степени плюс что-то еще (а
именно: ). Но уж точно из этого равенства следует, что степень не меньше,
чем степень .
А это явное противоречие с тем, что и . Ведь если у обоих степень
была строго меньше, чем у , то у их разности степень не могла оказаться больше либо равна, чем у
.
Следовательно, чтобы равенство
было возможным, в его левой и правой части должны стоять минус бесконечности. То есть, степень
произведения . Следовательно, многочлен нулевой, а раз
делили мы на ненулевой , то, значит, - нулевой многочлен, то есть .
Но тогда, поскольку
то и . И мы с вами доказали единственность частного и остатка при делении многочлена на многочлен.
Ошибка.
Попробуйте повторить позже
Пусть - поле, - кольцо многочленов с коэффициентами из . В каком случае многочлен обратим?
Утверждается, что обратим тогда и только тогда, когда . То есть - это
многочлен нулевой степени, то есть , причем (иначе степень была бы ).
Действительно, если , то, поскольку , а - это поле, то .
Следовательно, константный многочлен будет обратным для , ведь если их
перемножить, то получится .
Если же , то есть , то он необратим, поскольку если бы он был обратим, то был
бы обратим 0 в поле , что невозможно.
И, наконец, если , то есть если - многочлен хотя бы первой степени, то он необратим.
Действительно, предположим от противного, что - обратим, при условии, что . Тогда
должен существовать такой , что .
Но тогда должны быть равны и степени левой и правой части:
Однако степень произведения равна сумме степеней:
Но . Значит, нельзя сложить ни с какой степенью, чтобы в сумме получилась
степень константы 1, то есть 0 (так как степень бывает только неотрицательная, либо ).
Полученное противоречие доказывает, что никакой многочлен положительной степени не
обратим.
Ошибка.
Попробуйте повторить позже
a) В каком случае многочлены ассоциированы как элементы кольца многочленов ?
b) В каком случае целые числа ассоциированы как элементы кольца целых чисел?
a) По эквивалентному определению, два элемента кольца ассоциированы, если они отличаются
умножением на обратимый элемент из кольца.
Обратимыми элементами в кольце являются только константные ненулевые многочлены.
То есть ассоциирован с , если такая, что , причём . То есть,
ассоциированные многочлены - это в точности те, которые отличаются умножением на ненулевую
константу.
b) Опять же, элементы кольца ассоциированы, если они отличаются умножением на обратимый
элемент из .
Обратимыми элементами в кольце являются только .
То есть ассоциировано с , если
Ошибка.
Попробуйте повторить позже
Пусть - поле. Описать все простые элементы в .
По определению, элемент из кольца прост, если он не равен 0, необратим, и не раскладывается в
произведение необратимых множителей.
Но в поле не бывает ненулевых необратимых элементов.
Следовательно, в поле нет простых элементов.
Комментарий. В том числе поэтому теория делимости с остатком в полях не представляет никакого
интереса. Там нет ни простых, ни составных элементов, там нет смысла говорить, соответственно, и о
разложении на простые, и о делении с остатком, потому что там всегда можно поделить на любой
ненулевой элемент безо всякого остатка.
Ошибка.
Попробуйте повторить позже
Поделить многочлен на многочлен с остатком в кольце .
Во-первых, заметим, что, поскольку в у нас есть только 2 числа - это 0 и 1, то мы
должны все коэффициенты наших многочленов записывать именно как элементы из .
В у нас , а поэтому наши многочлены переписываются как ,
.
Дальше осталось только поделить многочлены как обычно уголком, учитывая, что мы работаем с
коэффициентами по модулю 2:
Ошибка.
Попробуйте повторить позже
Поделить многочлен на многочлен с остатком в кольце .
Ошибка.
Попробуйте повторить позже
Пусть - многочлен, - какое-то вещественное число.Найти остаток при делении многочлена на многочлен .
Во-первых, как всегда при делении одного многочлена на другой, степень остатка должна быть строго
меньше степени делителя. Но многочлен мы делим на и ясно, что .
Таким образом, степень остатка должна быть . То есть, степень остатка будет либо
0, либо . В любом случае можно сказать, что остаток получается всегда каким-то
константным многочленом - либо нулевым, либо ненулевым, но это в любом случае константа.
Итак, разделим на и запишем результат в общем виде:
Но остаток, раз он есть константа, как мы сказали, ни от какого зависеть не должен. То есть можно написать, что
Тогда заметим, что если подставить в левую часть, то есть в число , то получится, с одной стороны, , но, поскольку , то при подстановке в числа , мы получим как раз значение правой части от , то есть, короче говоря:
Но , то есть первый сомножитель справа зануляется, и мы имеем
То есть, мы как раз нашли остаток. Он равен значению многочлена при . Иначе говоря, .