jacobiSum — Mathlib

English

The Jacobi sum J(χ, ψ) of two multiplicative characters χ and ψ on a finite ring is J(χ, ψ) = ∑x∈R χ(x) ψ(1−x).

Русский

Сумма Якоби J(χ, ψ) двух мультипликативных симметрических символов χ и ψ на конечном кольце определяется как J(χ, ψ) = ∑_{x∈R} χ(x) ψ(1−x).

LaTeX

$$$$ \mathrm{JacobiSum}(\chi, \psi) = \sum_{x \in R} \chi(x) \psi(1 - x). $$$$

Lean4

/-- The *Jacobi sum* of two multiplicative characters on a finite commutative ring. -/
def jacobiSum (χ ψ : MulChar R R') : R' :=
  ∑ x : R, χ x * ψ (1 - x)

Похожие утверждения