Eulerのtotient関数

$$\newcommand{AA}[0]{\mathscr{A}} \newcommand{abs}[1]{\left\lvert#1\right\rvert} \newcommand{BB}[0]{\mathscr{B}} \newcommand{bbe}[0]{\mathbb{e}} \newcommand{Bu}[0]{\mathbf{u}} \newcommand{Bv}[0]{\mathbf{v}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathscr{C}} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{ind}[0]{\operatorname{ind}} \newcommand{K}[0]{\mathbb{K}} \newcommand{LCM}[0]{\mathrm{LCM}} \newcommand{Mod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{N}[0]{\mathbb{N}} \newcommand{nequiv}[0]{\not\equiv} \newcommand{ord}[0]{\operatorname{Ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{Z}[0]{\mathbb{Z}} $$

Eulerのtotient関数

$\varphi(N)$ Eulerの定理 にあらわれたEuler関数とする。すなわち
$1, 2, \ldots, N-1$ のうち $N$ と互いに素な整数の個数とする。
合同式:定理7.2 で述べたように
$$N=p_1^{e_1} p_2^{e_2} \cdots p_r^{e_r}$$
と素因数分解すると
$$\varphi(N)=\prod_{i=1}^r p_i^{e_i-1}(p_i-1)$$
となる。このことは包含と除去の原理から証明することもできる。

$S=\{0, 1, \ldots, N-1\}$ とし、$1\leq i\leq r$ に対して
$$S_i=\{m\in S, p_i\mid m\}$$
$0, 1, \ldots, N-1$ のうち $p_i$ の倍数全体の集合とする。
とおく。
$T$$0, 1, \ldots, N-1$ のうち、$N$ と互いに素な整数全体の集合とすると
$$T=S\backslash \bigcup_{p\mid d}S_p$$
が成り立つ。一方
$$S_I=\bigcap_{i\in I}S_I$$
とおくと、$S_I$$\prod_{i\in I}p_i$ の倍数全体の集合だから
$$\#S_I=\frac{N}{\prod_{i\in I}p_i}$$
が成り立つ。よって包含と除去の原理より
$$\begin{split} \# T= & \sum_{I\in \{1, 2, \ldots, r\}}(-1)^{\# I}\frac{N}{\prod_{i\in I}p_i} \\ = & N\sum_{I\in \{1, 2, \ldots, r\}} \prod_{i\in I}\left(-\frac{1}{p_i}\right) \\ = & N\prod_{i=1}^r \left(1-\frac{1}{p}\right) \end{split}$$
となる。

このことから、約数関数と同様に、次のことがわかる。

$\gcd(m, n)=1$ ならば $\varphi(mn)=\varphi(m)\varphi(n)$.

$\varphi(n)$ の値について、次のことがすぐにわかる。

$\varphi(n)$ が奇数ならば、$n=1$ または $2$ で、$\varphi(n)=1$.

$p$ が奇素数のとき、$\varphi(p^e)=p^{e-1}(p-1)$$p-1$ で割り切れるから偶数。よって、$n$ が奇素数を素因数にもつとき、$n$ は偶数。
また、$n=2^e$ のとき、$\varphi(n)=2^{e-1}$ なので、$\varphi(n)$ が奇数ならば $e=1$ でなければならない。
よって、$\varphi(n)$ が奇数ならば、$n=1$ または $2$ である。このとき、$\varphi(n)=1$ となる。

参考文献

[1]
G. H. Hardy and E. M. Wright, revised by D. R. Heath-Brown and J. H. Silverman, An Introduction to the Theory of Numbers, 6th Ed., Oxford University Press, 2008
[2]
G. H. Hardy and E. M. Wright, 訳: 示野 信一、矢神 毅, 数論入門I 原書6版, 数学クラシックス, 丸善出版, 2022
[3]
G. H. Hardy and E. M. Wright, 訳: 示野 信一、矢神 毅, 数論入門II 原書6版, 数学クラシックス, 丸善出版, 2022
[5]
D. P. Parent, Exercises in Number Theory, Springer-Verlag, 1984
[6]
Trygve Nagell, Introduction to Number Theory, Reprint Edition, American Mathematical Society (original: John Wiler & Sons, Inc.), 2001
[7]
Paulo Ribenboim, The New Book of Prime Number Records (3rd ed. pbk.), Springer, 2013
[9]
Edouard Lucas, Théorie des nombres, Gauthier-Villars, 1891
[11]
D. P. Parent, Exercices des théorie des nombres, BORDAS, 1978
[12]
H. C. Pocklington, The determination of the prime or composite nature of large numbers by Fermat's theorem, Proc. Cambridge Phil. Soc., 1914, 29
[15]
F. Proth, Théorèmes sur les nombres premiers, C. R. Acad. Sci., 87, 926
Mathpediaを支援する

現在のページ

Eulerのtotient関数
前のページへ
26 / 38
次のページへ
前ページへ
初等整数論の表紙
次ページへ