https://nuriwiki.net/index.php?action=history&feed=atom&title=%EC%9C%84%EC%88%98%28%EC%88%98%EB%A1%A0%29 2026-07-19T03:47:05Z 이 문서의 편집 역사 MediaWiki 1.39.17 https://nuriwiki.net/index.php?title=%EC%9C%84%EC%88%98(%EC%88%98%EB%A1%A0)&diff=3631&oldid=prev 2013-08-30T10:44:10Z

<p>새 문서: {{다른뜻|위수}} <a href="/index.php?title=%EC%88%98%EB%A1%A0&amp;action=edit&amp;redlink=1" class="new" title="수론 (없는 문서)">수론</a>에서 어떤 <a href="/index.php?title=%EC%A0%95%EC%88%98&amp;action=edit&amp;redlink=1" class="new" title="정수 (없는 문서)">정수</a> \(a\)의 \(n\)을 법으로 한 &#039;&#039;&#039;위수&#039;&#039;&#039;(the order of \(a\) modulo \(n\)), \(\operatorname{ord}_n a\)란 \(a^k \equiv 1\; ...</p> <p><b>새 문서</b></p><div>{{다른뜻|위수}}<br /> <br /> [[수론]]에서 어떤 [[정수]] \(a\)의 \(n\)을 법으로 한 &#039;&#039;&#039;위수&#039;&#039;&#039;(the order of \(a\) modulo \(n\)), \(\operatorname{ord}_n a\)란 \(a^k \equiv 1\; (\operatorname{mod} n)\)을 만족하는 최소의 양의 정수 \(k\)이다. 예를 들어, \(2^1\not\equiv 1\), \(2^2\not\equiv 1\), \(2^3\equiv 1\) \((\operatorname{mod} 7)\)이므로, \(\operatorname{ord}_7 2=3\)이다. <br /> <br /> == 성질 및 정리 ==<br /> # \(\operatorname{ord}_n a \le \phi(n)\).&lt;ref&gt;\(\operatorname{ord}_n a = \phi(n)\)인 경우에, \(a\)를 \(n\)의 [[원시근]](primitive root)이라고 한다.&lt;/ref&gt;<br /> #* 사실, \(\operatorname{ord}_n a\)는 \(\phi(n)\)의 [[약수]]이다. <br /> # 임의의 [[정수]] \(k\)에 대하여, \(a^{k(\operatorname{ord}_n a)} \equiv 1\) (\(\operatorname{mod} n)\).<br /> #* 역으로, \(a^x \equiv 1\) (\(\operatorname{mod} n)\)라면, 어떤 정수 \(k\)가 있어서 \(x=k(\operatorname{ord}_n a)\)이다. <br /> # \(a^i \equiv a^j\) (\(\operatorname{mod} n)\) \(\iff\) \(i \equiv j\) (\(\operatorname{mod} \operatorname{ord}_n a)\). <br /> <br /> == 같이 보기 == <br /> * [[오일러 피 함수]] <br /> * [[원시근]] <br /> * [[합동(수론)|합동]] <br /> <br /> == 주석 ==<br /> &lt;references/&gt;<br /> <br /> [[분류:수학]]<br /> [[분류:수론]]</div>

ProtArie