๋ชจ๋๋ฌ ๊ณฑ์ ์ญ์(modulo m)์ด๋?
์ ์ a์ ๋ฒ m์ ๋ํ ๋ชจ๋๋ฌ ๊ณฑ์ ์ญ์์ \((a \cdot x) \bmod m = 1\)์ ๋ง์กฑํ๋ 1๋ถํฐ mโ1 ์ฌ์ด์ ์ ์ x๋ฅผ ๋งํฉ๋๋ค. ์ฝ๊ฒ ๋งํด a์ x๋ฅผ ๊ณฑํ ๋ค m์ผ๋ก ๋๋๋ฉด ๋๋จธ์ง๊ฐ ์ ํํ 1์ด ๋๋ ๊ฐ์ ๋๋ค. ์ด๋ ๋ชจ๋๋ฌ ์ฐ์ฐ์์ 'a๋ก ๋๋๊ธฐ'์ ํด๋นํ๋ ๊ฐ๋ ์ผ๋ก, ์ ์๋ก ๊ณผ ์ํธํ(RSA ํค ์์ฑ, ํด์ฑ, ์ค๊ตญ์ธ์ ๋๋จธ์ง ์ ๋ฆฌ ๋ฑ)์ ํต์ฌ ๋๊ตฌ์ ๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
์ ์ a์ ๋ฒ m(m์ 2 ์ด์์ด์ด์ผ ํฉ๋๋ค)์ ์ ๋ ฅํ์ธ์. ๊ณ์ฐ๊ธฐ๋ a๋ฅผ m์ผ๋ก ๋๋ ๋๋จธ์ง๋ก ์ ๋ฆฌํ ๋ค ํ์ฅ ์ ํด๋ฆฌ๋ ์๊ณ ๋ฆฌ์ฆ์ ์คํํ์ฌ, ์ญ์์ด ์กด์ฌํ๋ค๋ฉด ๊ทธ ๊ฐ์ ๋ฐํํฉ๋๋ค. a๊ฐ ์์์ผ ๊ฒฝ์ฐ์๋ ์๋์ผ๋ก 0๋ถํฐ mโ1 ๋ฒ์๋ก ํ์ฐํ์ฌ ์ฒ๋ฆฌํฉ๋๋ค.
๊ณต์ ์ค๋ช
์ญ์์ ์ค์ง \(\gcd(a, m) = 1\)์ผ ๋๋ง ์กด์ฌํฉ๋๋ค. ์ฆ a์ m์ด 1 ์ธ์ ๊ณต์ฝ์๋ฅผ ๊ฐ์ง ์์ ๋(์๋ก์์ผ ๋)์ ๋๋ค. ํ์ฅ ์ ํด๋ฆฌ๋ ์๊ณ ๋ฆฌ์ฆ์ ๋ค์์ ๋ง์กฑํ๋ ์ ์ s์ t๋ฅผ ์ฐพ์๋ ๋๋ค.
$$a \cdot s + m \cdot t = \gcd(a, m)$$gcd๊ฐ 1์ผ ๋, ๊ณ์ s๋ฅผ ๋ฒ m์ผ๋ก ํ์ฐํ ๊ฐ์ด ๋ฐ๋ก ์ญ์์ ๋๋ค. \(\gcd(a, m) \neq 1\)์ด๋ผ๋ฉด ์ญ์์ ์กด์ฌํ์ง ์์ต๋๋ค.
์์ ํ์ด
๋ฒ 11์ ๋ํ 3์ ์ญ์์ ๊ตฌํด ๋ด ์๋ค. \((3 \cdot x) \bmod 11 = 1\)์ ๋ง์กฑํ๋ x๊ฐ ํ์ํฉ๋๋ค. ์ง์ ๋ฐ์ ธ ๋ณด๋ฉด ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
$$3 \cdot 4 = 12, \quad 12 \bmod 11 = 1$$์ด๋ฏ๋ก ์ญ์์ 4์ ๋๋ค. \(\gcd(3, 11) = 1\)์ด๋ฏ๋ก ํ์ฅ ์ ํด๋ฆฌ๋ ์๊ณ ๋ฆฌ์ฆ๋ ์ฆ์ ๋์ผํ ๊ฒฐ๊ณผ๋ฅผ ๋ด๋์ต๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ญ์์ด ์กด์ฌํ์ง ์๋ ๊ฒฝ์ฐ๋ ์ธ์ ์ธ๊ฐ์? a์ m์ด ์๋ก์๊ฐ ์๋ ๋์ ๋๋ค. ์๋ฅผ ๋ค์ด 4๋ ๋ฒ 8์์ ์ญ์์ด ์๋๋ฐ, \(\gcd(4, 8) = 4 \neq 1\)์ด๊ธฐ ๋๋ฌธ์ ๋๋ค.
๋ฒ(m)์ด ๋ฐ๋์ ์์์ฌ์ผ ํ๋์? ์๋๋๋ค. a๊ฐ m๊ณผ ์๋ก์์ด๊ธฐ๋ง ํ๋ฉด ์ด๋ค ๋ฒ์ด๋ ์ฌ์ฉํ ์ ์์ต๋๋ค. ๋ค๋ง m์ด ์์๋ผ๋ฉด 1๋ถํฐ mโ1๊น์ง์ ๋ชจ๋ 0์ด ์๋ a๊ฐ ์ญ์์ ๊ฐ์ง๋๋ค.
๊ฒฐ๊ณผ๋ ์ ํญ์ 1๊ณผ mโ1 ์ฌ์ด์ธ๊ฐ์? ์ญ์์ ๋ฒ m์ผ๋ก ํ์ฐํ์ฌ ๊ฐ์ฅ ์์ ์์ ๋ํ๊ฐ์ ํ์ค์ผ๋ก ์ ์ํ๊ธฐ ๋๋ฌธ์ ๋๋ค.