Жорданов тотиент

Жорданов тотиент или Функция Жордана — количество $k$-кортежей натуральных чисел меньших либо равных $n$, образующих вместе с $n$ набор взаимно простых (в совокупности) чисел. Функция является обобщением функции Эйлера, которая равна $J_{1}$. Функция носит имя французского математика Жордана.

Определение

Функция Жордана мультипликативна и может быть вычислена по формуле

$J_{k}(n)=n^{k}\prod _{p|n}\left(1-{\frac {1}{p^{k}}}\right)\,$, где $p$ пробегает простые делители числа $n$.

Свойства

• $\sum _{d|n}J_{k}(d)=n^{k}\,$,

что можно записать на языке свёрток Дирихле как

$J_{k}(n)\star 1=n^{k}\,$,

а через обращения Мёбиуса как

$J_{k}(n)=\mu (n)\star n^{k}$.

Поскольку производящая функция Дирихле $\mu$ равна $1/\zeta (s)$, а производящая функция Дирихле $n^{k}$ равна $\zeta (s-k)$, ряд для $J_{k}$ превращается в

$\sum _{n\geq 1}{\frac {J_{k}(n)}{n^{s}}}={\frac {\zeta (s-k)}{\zeta (s)}}$.

• Средний порядок для $J_{k}(n)$ равен

${\frac {n^{k}}{\zeta (k+1)}}$.

• Пси-функция Дедекинда равна

$\psi (n)={\frac {J_{2}(n)}{J_{1}(n)}}$,

и при исследовании определения (обратим внимание, что каждый множитель в произведении по простым является круговым многочленом $p_{-k}$), можно показать, что арифметические функции, определённые как ${\frac {J_{k}(n)}{J_{1}(n)}}$ или ${\frac {J_{2k}(n)}{J_{k}(n)}}$, являются целочисленными мультипликативными функциями.

• $\sum _{\delta \mid n}\delta ^{s}J_{r}(\delta )J_{s}\left({\frac {n}{\delta }}\right)=J_{r+s}(n)$.      

Порядок групп матриц

Полная линейная группа матриц порядка $m$ над $\mathbb {Z} _{n}$ имеет порядок

$|\operatorname {GL} (m,\mathbb {Z} _{n})|=n^{\frac {m(m-1)}{2}}\prod _{k=1}^{m}J_{k}(n).$

Специальная линейная группа порядка $m$ над $\mathbb {Z} _{n}$ имеет порядок

$|\operatorname {SL} (m,\mathbb {Z} _{n})|=n^{\frac {m(m-1)}{2}}\prod _{k=2}^{m}J_{k}(n).$

Симплектическая группа матриц порядка $m$ над $\mathbb {Z} _{n}$ имеет порядок

$|\operatorname {Sp} (2m,\mathbb {Z} _{n})|=n^{m^{2}}\prod _{k=1}^{m}J_{2k}(n).$

Первые две формулы были открыты Жорданом.

Примеры

Списки в OEIS J₂ в A007434, J₃ в A059376, J₄ в A059377, J₅ в A059378, от J₆ до J₁₀ в списках A069091 — A069095.

Мультипликативные функции, определённые отношением J₂(n)/J₁(n) в A001615, J₃(n)/J₁(n) в A160889, J₄(n)/J₁(n) в A160891, J₅(n)/J₁(n) в A160893, J₆(n)/J₁(n) в A160895, J₇(n)/J₁(n) в A160897, J₈(n)/J₁(n) в A160908, J₉(n)/J₁(n) в A160953, J₁₀(n)/J₁(n) в A160957, J₁₁(n)/J₁(n) в A160960.

Примеры отношений J_2k(n)/J_k(n): J₄(n)/J₂(n) в A065958, J₆(n)/J₃(n) в A065959 и J₈(n)/J₄(n) в A065960.

Литература

• Dickson L. E. History of the Theory of Numbers, Vol. I. — Chelsea Publishing, 1971. — С. 147. — ISBN 0-8284-0086-5.
• M. Ram Murty. Problems in Analytic Number Theory. — Springer-Verlag, 2001. — Т. 206. — С. 11. — (Graduate Texts in Mathematics). — ISBN 0-387-95143-1.
• Jozsef Sándor, Borislav Crstici. Handbook of number theory II. — Dordrecht: Kluwer Academic, 2004. — С. 32–36. — ISBN 1-4020-2546-7.
• Matthew Holden, Michael Orrison, Michael Varble. Yet another Generalization of Euler's Totient Function. Архивировано 5 марта 2016 года.
• Dorin Andrica, Mihai Piticari. On some Extensions of Jordan's arithmetical Functions // Acta universitatis Apulensis. — 2004. — № 7.

Ссылки

• Мерзляков Ю.И. Рациональные группы. — Москва: «Наука», 1980. — (Современная алгебра).