WikiDer > Экспонента Карлица

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. Пожалуйста помоги улучшить статью к обеспечение большего контекста для читателя. (Май 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья может быть сбивает с толку или неясно читателям. В частности, не объясняется, как это обобщение экспоненциальной функции. Пожалуйста, помоги нам прояснить статью. Возможно обсуждение этого вопроса на страница обсуждения. (Май 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к сделать понятным для неспециалистов, не снимая технических деталей. (Май 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

В математика, то Экспонента Карлица это характеристика п аналог обычного экспоненциальная функция учился в настоящий и комплексный анализ. Он используется в определении Модуль Карлитца - пример Модуль Дринфельда.

Определение

Работаем над кольцом многочленов F_q[Т] одной переменной над конечное поле F_q с q элементы. В завершение C_∞ из алгебраическое замыкание поля F_q((Т⁻¹)) из формальная серия Laurent в Т⁻¹ будет полезно. Это полное и алгебраически замкнутое поле.

Для начала нам нужны аналоги факториалы, которые фигурируют в определении обычной экспоненциальной функции. За я > 0 определим

${ Displaystyle [я]: = Т ^ {д ^ {я}} - Т, ,}$

${ displaystyle D_ {i}: = prod _ {1 leq j leq i} [j] ^ {q ^ {i-j}}}$

и D₀ : = 1. Обратите внимание, что обычный факториал здесь неуместен, поскольку п! исчезает в F_q[Т] пока не п меньше, чем характеристика из F_q[Т].

Используя это, мы определяем экспоненту Карлица е_C:C_∞ → C_∞ сходящейся суммой

${ displaystyle e_ {C} (x): = sum _ {i = 0} ^ { infty} { frac {x ^ {q ^ {i}}} {D_ {i}}}.}.$

Отношение к модулю Карлитца

Экспонента Карлица удовлетворяет функциональному уравнению

${ Displaystyle е_ {C} (Tx) = Te_ {C} (x) + left (e_ {C} (x) right) ^ {q} = (T + tau) e_ {C} (x), ,}$

где мы можем посмотреть ${ Displaystyle тау}$ как сила ${ displaystyle q}$ карта или как элемент кольца ${ Displaystyle F_ {д} (Т) { тау }}$ из некоммутативные многочлены. Посредством универсальная собственность колец многочленов от одной переменной это продолжается до гомоморфизма колец ψ:F_q[Т]→C_∞{τ}, определяя Drinfeld F_q[Т] -модуль завершен C_∞{τ}. Он называется модулем Карлица.

Рекомендации

• Госс, Д. (1996). Основные структуры арифметики функциональных полей. Ergebnisse der Mathematik и ихрер Гренцгебиете (3) [Результаты по математике и смежным областям (3)]. 35. Берлин, Нью-Йорк: Springer-Verlag. ISBN 978-3-540-61087-8. МИСТЕР 1423131.
• Такур, Динеш С. (2004). Арифметика функционального поля. Нью-Джерси: World Scientific Publishing. ISBN 978-981-238-839-1. МИСТЕР 2091265.