Формула Гросса–Коблица

Выражает сумму Гаусса с помощью произведения значений p-адической гамма-функции

В математике формула Гросса –Коблица , введенная Гроссом и Коблицем  (1979), выражает сумму Гаусса с использованием произведения значений p -адической гамма-функции . Она является аналогом формулы Чоулы–Сельберга для обычной гамма-функции . Она подразумевает соотношение Хассе–Дэвенпорта и обобщает теорему Штикельбергера . Боярский (1980) дал еще одно доказательство формулы Гросса–Коблица («Боярский» — псевдоним Бернарда Дворка ), а Роберт (2001) дал элементарное доказательство.

Заявление

Формула Гросса–Коблица утверждает, что сумма Гаусса может быть выражена через -адическую гамма-функцию следующим образом: τ {\displaystyle \тау} п {\displaystyle p} Г п {\displaystyle \Гамма _{p}}

τ д ( г ) = π с п ( г ) 0 я < ф Г п ( г ( я ) д 1 ) {\displaystyle \tau _{q}(r)=-\pi ^{s_{p}(r)}\prod _{0\leq i<f}\Gamma _{p}\!\left({\frac {r^{(i)}}{q-1}}\right)}

где

  • д {\displaystyle д} является степенью простого числа , п ф {\displaystyle p^{f}} п {\displaystyle p}
  • г {\displaystyle r} это целое число с , 0 г < д 1 {\displaystyle 0\leq r<q-1}
  • г ( я ) {\displaystyle r^{(я)}} — целое число, основание которого представляет собой циклическую перестановку цифр по позициям , п {\displaystyle p} ф {\displaystyle f} г {\displaystyle r} я {\displaystyle я}
  • с п ( г ) {\displaystyle s_{p}(r)} это сумма базовых цифр числа , п {\displaystyle p} г {\displaystyle r}
  • τ д ( г ) = а д 1 = 1 а г ζ π Тр ( а ) {\displaystyle \tau _{q}(r)=\sum _{a^{q-1}=1}a^{-r}\zeta _{\pi }^{{\text{Tr}}(a)}} , где сумма ведется по корням из единицы в расширении , В п ( π ) {\displaystyle \mathbb {Q} _{p}(\pi )}
  • π {\displaystyle \пи} удовлетворяет , и π п 1 = п {\displaystyle \пи ^{p-1}=-p}
  • ζ π {\displaystyle \дзета _{\пи}} является корнем й степени из единицы, сравнимым по модулю . п {\displaystyle p} 1 + π {\displaystyle 1+\пи} π 2 {\displaystyle \пи ^{2}}

Ссылки

Взято с "https://en.wikipedia.org/w/index.php?title=Gross–Koblitz_formula&oldid=1229575343"