"오일러 토션트 함수"의 두 판 사이의 차이

2015년 11월 11일 (수) 21:13 판

정의

1부터 n까지의 양의 정수 중에 n과 서로소인 수의 개수를 나타내는 함수
\(\varphi(n)\) 으로 나타냄

성질

서로 소인 자연수 \(m,n\) 에 대하여, \(\varphi(mn)=\varphi(m)\varphi(n)\)
소수 \(p\) 에 대하여, \(\varphi(p^{k}) = (p - 1)p^{k - 1}\)
\(\varphi (1) = 1\)
일반적으로, 2 이상의 자연수 n의 소인수분해가 \(n=p_1 ^{\alpha _1} p_2 ^{\alpha _2} ... p_k ^{\alpha _k}\) 으로 주어지면, \(\varphi (n) = p_1 ^{\alpha _1 - 1} p_2 ^{\alpha _2 - 1} ... p_k ^{\alpha _k - 1} (p_1 - 1)(p_2 - 1) .. (p_k - 1) \)
이 된다.
- 포함과 배제의 원리 를 사용하여 증명할 수 있다

합동식에의 응용

1부터 n까지의 양의 정수 중에 n과 서로소인 수로 구성된 집합은 곱셈 (mod n) 에 대한 군의 구조를 이룸
이 군을 \((\mathbb{Z}/n\mathbb{Z})^\times\) 로 표현하며, 원소의 개수는 \(\varphi(n)\) 이 됨.

합동식과 군론 항목 참조

원분체

원분체 (cyclotomic field) \(K = \mathbb Q(\zeta_n)\)
\([\mathbb Q(\zeta_n): \mathbb Q)] = \varphi(n)\)
갈루아군은 \(\text{Gal}(\mathbb Q(\zeta_n) /\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times\)를 만족하며, 그 크기는 \(\varphi(n)\) 이 됨.

100까지의 자연수에 대한 totient 함수값 목록

\(n\) \(\varphi(n)\)

1    1
2    1
3    2
4    2
5    4
6    2
7    6
8    4
9    6
10    4
11    10
12    4
13    12
14    6
15    8
16    8
17    16
18    6
19    18
20    8
21    12
22    10
23    22
24    8
25    20
26    12
27    18
28    12
29    28
30    8
31    30
32    16
33    20
34    16
35    24
36    12
37    36
38    18
39    24
40    16
41    40
42    12
43    42
44    20
45    24
46    22
47    46
48    16
49    42
50    20
51    32
52    24
53    52
54    18
55    40
56    24
57    36
58    28
59    58
60    16
61    60
62    30
63    36
64    32
65    48
66    20
67    66
68    32
69    44
70    24
71    70
72    24
73    72
74    36
75    40
76    36
77    60
78    24
79    78
80    32
81    54
82    40
83    82
84    24
85    64
86    42
87    56
88    40
89    88
90    24
91    72
92    44
93    60
94    46
95    72
96    32
97    96
98    42
99    60
100    40

역사

수학사 연표

수학용어번역

사전형태의 자료

@@ 70번째 줄: / 70번째 줄: @@
 ==수학용어번역==
+* http://english.stackexchange.com/questions/23694/where-does-the-word-totient-come-from
 * [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 ** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=totient