Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
Уравнения (6) могут быть записаны в несколько более простой форме, если сумму по / представить как скалярное произведение
2 С/Л’л- = У/ ? Рл 1
При этом, как всегда, V] — 2 С/хЩ и Р/ = Р/ (Р)— это набор (у/1, ..., у;/). Чтобы сохранилась связь с предыдущими обозначениями, ПОЛОЖИМ V) = У;,/ и
Р/ (V') — ар* (/+* = —!)•
Тогда (6) запишется в виде
я =2 2 Vе*!»*“0» (7)
р /+б=,_1
где
562
АЛГЕБРАИЧЕСКИЕ ФУНКЦИИ ОДНОЙ ПЕРЕМЕННОЙ
(ГЛ. XIX
Заменим теперь А на некоторое его кратное Л' = ]^[ра' (а'^а).
Тогда
ЭЛ (В) = ЭЛ (А) = ЭЛ {А').
Так как дивизор А', будучи кратным дивизора А, не является специальным, то существует г (В) линейно независимых соотношений
я'Ы = 2 Ц о, (8)
р /+к=—1
где Ь^1г^а' — I, выполняющихся для всех и из ЭЛ (Л').
Соотношения Я, а точнее, системы их коэффициентов {ар*}, образуют некоторый А-модуль ранга ? (В). Точно так же соотношения Я' образуют А-модуль ранга I (В).
Если в соотношении Я' отбросить слагаемые с к>а — 1, то получится некоторое соотношение Я, выполняющееся для всех и из ЭЛ (Л). С помощью этой «проекции» каждое соотношение Я' дает некоторое соотношение Я и отображение Я' >—»? Я линейно. Если бы ненулевое соотношение Я'фО при указанной проекции переходило в Я = 0, то это означало бы, что в Я' существуют слагаемые лишь с к~>а— 1, т. е.
— о' / <; — а.
Любое такое соотношение Я' выполнялось бы для всех и из ЭЛ (Л'). Если мы опять выпишем уравнения, которым должен удовлетворять элемент из ЭЛ (Л'), чтобы являться элементом из ЭЛ (Л), то соотношение Я' будет говорить о том, что между этими п(А') — п(А) уравнениями имеется некоторая зависимость. Но тогда должно выполняться неравенство
1(А')-1(А)<п(А')-п(А),
а это невозможно, так как для Л' и для Л имеет место (1).
Следовательно, отображение Я' >—*? Я взаимно однозначное. Оно изоморфно переводит модуль соотношений Я' на некоторый модуль того же ранга ? (В) в модуле всех соотношений Я, т. е. на весь модуль соотношений Я• Это означает следующее:
Каждое соотношение Я может быть единственным образом продолжено до некоторого соотношения Я’.
Если теперь устремить показатель степени а' к бесконечности, начиная с о, и при этом каждый раз осуществлять продолжение соотношения Е, то получится однозначно определенная бесконечная последовательность
{ар*} (к — Ь, Ь + 1, ...).
(9)
§ 153] ДИФФЕРЕНЦИАЛЫ. ТЕОРЕМА ОБ ИНДЕКСЕ СПЕЦИАЛЬНОСТИ
То же самое можно сделать для каждого плейса р. В результате получится система последовательностей (9) для всех плейсов р, т. е. некоторый ковектор Я. Но тогда соотношения (8) можно переписать в следующем виде:
и-Я —0. (10)
Соотношение (10) имеет место для всех элементов и из ЭЛ (А'). Для каждой функции и из данного поля можно найти такой дивизор А', который делится на дивизор В и на дивизор (м-1)-Но тогда иА'— целый дивизор, т. е. функция и принадлежит модулю ЭЛ (Л'), а потому удовлетворяет соотношению (10). Следовательно, соотношение (10) имеет место для всех функций и поля К.
Так как имеется г (В) линейно независимых соотношений Л, то существует I (В) линейно независимых ковекторов Я, определенных с помощью (9) и обладающих свойством (10). Следуя А. Вейлю, введем теперь понятие дифференциала:
Определение 1. Ковектор Я со свойством (10) для всех и из К называется дифференциалом поля К.
Связь дифференциалов Вейля с дифференциалами классической теории функций будет описана в § 156.
Определение 2. Ковектор Я называется кратным дивизора # = ^[р6, если в определении этого ковектора участвуют арк лишь с ? + 6.
Из определения ковектора немедленно следует утверждение: для каждого ковектора Я существует такой дивизор В, что Я является кратным этого дивизора.
На основании определений 1 и 2 можно следующим образом резюмировать доказанное в этом разделе:
Теорема об индексе специальности. Индекс специальности I (В) равен числу линейно независимых дифференциалов Я, кратных дивизору В.
Определение 3. Дифференциал называется всюду конечным или дифференциалом первого рода, если он является кратным единичного дивизора (1), т. е. если все арь с отрицательными индексами к равны нулю.
Чтобы подсчитать число линейно независимых дифференциалов первого рода, нужно лишь применить теорему об индексе специальности к дивизору В = (1). Формула (15) из § 151 дает
1(1) = /(1)-п(1) + 8-1 = 1-0 + §-1=?г.
Отсюда следует: число линейно независимых дифференциалов первого рода равно роду g данного поля.
Другое применение теоремы об индексе специальности мы получаем тогда, когда выбираем дивизор В равным дивизору С-1, где С — некоторый целый дивизор, отличный от единичного.
564
АЛГЕБРАИЧЕСКИЕ ФУНКЦИИ ОДНОЙ ПЕРЕМЕННОЙ
[ГЛ XIX
В этом случае / (В) = 0, потому что единственной функцией,
кратной целому дивизору В-1 —С, является нуль. Далее п(В) =
= — п (С), а потому
1(С-1)=«(С)+?-1. (11)
В частности, возьмем С = так что 5 = р-”; тогда п(С) — = пД и мы получаем соотношение
1'(Гя) = п/ + ?-1. (12)
Итак, имеет место утверждение:
Если / — степень простого дивизора р, то существует м/ 4- ? — 1 линейно независимых дифференциалов, являющихся кратными дивизора р-л.
