Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
Глава III. ДИФФЕРЕНТА И ДИСКРИМИНАНТИзучение дифференты и дискриминанта доставляет информацию о разветвленных простых идеалах, а также вводит некоторую двойственность, существенную как в алгебраической теории ветвления, так и в последующих главах об аналитической двойственности. Кроме того, эти понятия позволяют дать хороший метод вычисления кольца целых чисел в числовом поле; см. ниже предложение 10. § 1. Дополнительные модулиНа протяжении этого параграфа А — дедекиндово кольцо, К — его поле частных,
Пусть Кроме того, имеют место следующие утверждения. Предложение 1. Пусть
где Доказательство. Пусть
где
так что обратное включение также тривиально. Поскольку всякий дробный идеал кольца В зажат между двумя Следствие. Если Предложение 2. Пусть
Тогда базис, двойственный к степенному
Доказательство. Пусть
Для доказательства обозначим символом Многочлены
все сопряжены друг с другом. Если определить след многочлена с коэффициентами в поле коэффициентам,
Сравнивая коэффициенты при каждой степени X в левой и правой частях этого равенства, находим
что доказывает наше утверждение. Следствие. Предположим, что Доказательство. Пользуясь рекуррентными формулами
убеждаемся, что числа Предложение 3. Пусть А — дискретно нормированное кольцо, пусть существует единственный простой идеал в кольце Доказательство. Пусть Тогда
и вычетов Этот результат доставляет критерий возможности применить предложение 2. Оно применимо, в частности, в локальном случае, когда наше дедекиндово кольцо полно. Предложение 4. Пусть
Доказательство. Имеем
так что Для удобства формулировки следующего предложения обозначим символом ВЕ/К модуль, дополнительный к В. Индекс нужен, потому что мы будем иметь дело больше чем с двумя полями. Предложение 5. Пусть
Доказательство. Сначала установим включение
откуда следует требуемое. Обратно, пусть
(можно вставить С, потому что
и
Дробный С-идеал
Умножая на В прежних обозначениях определим дифференту
выражающая мультипликативность дифференты в башне расширений. Дифферента есть обращение дробного идеала, содержащего кольцо целых чисел, и потому она сама является идеалом. Предложение 6. Пусть
Доказательство. Очевидно. Предложение 6 позволяет вычислять дифференту покомпонентно, локализуя относительно простых идеалов. Преимущество этого способа состоит в том, что Выясним теперь, как дифферента ведет себя при пополнении и как ее вычислять чисто локальными средствами. Пользуясь предложением Предложение 7. Пусть А — дискретно нормированное кольцо,
Доказательство. Мы можем вместо дифферент рассматривать модули, дополнительные к кольцам. Поскольку дифференты являются идеалами, достаточно установить, что
Пусть
(как оператор на Пусть Обратно, пусть
Глобальный след слева лежит в А. Каждый член суммы справа лежит в Приведенные рассуждения показывают, что множество В плотно в модуль относительно следа Пусть
Каждый идеал можно интерпретировать как Обычно идеал
|
1 |
Оглавление
|