vonMangoldt_apply_pow

Mathlib.NumberTheory.VonMangoldt

URI: https://scilib.ai/kg/mathlib#ArithmeticFunction.vonMangoldt_apply_pow

English

For all n and k ≠ 0, Λ(n^k) = Λ(n).

Русский

Для всех n и k ≠ 0 выполняется Λ(n^k) = Λ(n).

LaTeX

$$$$\Lambda(n^{k}) = \Lambda(n) \quad (k \neq 0).$$$$

Lean4

theorem vonMangoldt_apply_pow {n k : ℕ} (hk : k ≠ 0) : Λ (n ^ k) = Λ n := by
  simp only [vonMangoldt_apply, isPrimePow_pow_iff hk, pow_minFac hk]

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru