나눗셈 정리

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기
한 줄에 5개씩 나열하여 마지막 줄에 2개가 남은 총 17개의 원
17개를 5개씩 묶으면 3묶음에 2개가 남는다. 이는 나뉘는수가 17, 나누는수가 5인 나머지 있는 나눗셈이며, 몫은 3, 나머지는 2이다. 즉, 17 = 5 × 3 + 2.
아홉 조각의 파이를 두 조각씩 나눠 먹는 네 사람
9조각의 파이와 4명의 사람이 있을 때, 2조각씩 나눠 먹으면 1조각이 남는다.

수학에서, 나눗셈 정리(-定理, 영어: division theorem)는 두 정수 또는 다항식에 대한 나머지를 정의할 수 있다는 정리이다. 두 정수나 다항식으로부터 몫과 나머지를 얻는 연산을 나머지 있는 나눗셈(영어: division with remainder) 또는 유클리드 나눗셈(영어: Euclidean division)이라고 한다. 정수를 정수로 나눈 몫은 나뉘는 수가 음의 정수가 되지 않도록 나누는 수를 뺀 최대 횟수를 나타내며, 나머지는 이 횟수만큼 뺀 차의 값을 나타낸다. 나눗셈 정리가 성립하는 구조는 환론에서 유클리드 정역으로 일반화된다.

정의[편집]

정수 , 이 주어졌고, 이라고 하자. 나눗셈 정리에 따르면, 다음 두 조건을 만족시키는 정수 , 가 유일하게 존재한다.

여기서 절댓값이다. 이 경우 , 를 각각 으로 나눈 나머지라고 하며, 두 정수 , 으로부터 몫과 나머지 , 를 얻는 연산을 나머지 있는 나눗셈이라고 한다.

증명[편집]

우선 , 가 존재한다는 사실을 보이자. 우선 이 음이 아닌 정수인 경우를 생각하자. 0이 아닌 정수 을 고정하고 에 대한 수학적 귀납법을 사용하자. 만약 이라면, 을 취하면 된다. 만약 이라면, 수학적 귀납법의 가정에 의하여, 다음 두 조건을 만족시키는 정수 , 이 존재한다.

따라서, 일 경우 을 취하고, 일 경우 을 취하면 된다. 수학적 귀납법에 의하여, 임의의 음이 아닌 정수 에 대하여, 으로 나눈 몫과 나머지의 조건을 만족시키는 , 는 존재한다.

이제 이 음의 정수인 경우를 생각하자. 이 경우 은 양의 정수이므로, 다음 두 조건을 만족시키는 정수 , 이 존재한다.

따라서, 일 경우 을 취하고, 이라면 을 취하면 된다. 이에 따라, 임의의 음의 정수 에 대하여, 으로 나눈 몫과 나머지의 조건을 만족시키는 , 는 존재한다. 이 두 가지 경우를 종합하면, 임의의 정수 에 대하여, 으로 나눈 몫과 나머지의 조건을 만족시키는 , 가 존재한다는 사실을 얻는다. 임의의 0이 아닌 정수 을 고정하였으므로 , 는 임의의 정수 과 0이 아닌 정수 에 대하여 존재한다.

이제 , 가 유일하다는 사실을 보이자. 이를 위해, 정수 과 0이 아닌 정수 에 대하여, 다음 조건을 만족시키는 정수 , , , 가 존재한다고 가정하자.

그렇다면,

이며, 양변을 으로 나누고 절댓값을 취하면

을 얻는다. 즉, 이며, 따라서 이다. 이에 따라, 으로 나눈 몫과 나머지의 조건을 만족시키는 , 는 유일하다.

다항식에 대한 나눗셈 정리[편집]

에 대한 다항식환 가 주어졌고, 두 다항식 에 대하여 이라고 하자. 그렇다면, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.

  • 이거나,

여기서 다항식의 차수이다. 이에 따라, 체에 대한 (일변수) 다항식환은 유클리드 정역이다.

가환환의 경우[편집]

가환환에 대한 다항식환에서도 나누는 다항식이 추가 조건을 만족할 경우 부분적으로 몫과 나머지를 정의할 수 있다. 가환환 에 대한 다항식환 가 주어졌고, 두 다항식 에 대하여, 이며, 의 최고차항의 계수가 가역원이라고 하자. 그렇다면, 다음 두 조건을 만족시키는 다항식 가 유일하게 존재한다.[1]:173, §IV.1, Theorem 1.1

  • 이거나,

모든 0이 아닌 체의 원소는 체의 가역원이므로, 체에 대한 정리는 이 정리의 특수한 경우이다.

가환환의 경우의 증명[편집]

만약 이거나 라면, 를 취하면 되므로, 이며 인 경우만을 생각하자. 차수 에 대한 수학적 귀납법을 사용하자. 만약 이라면, 이므로, 을 취하면 된다. 만약 이라면,

이라고 하고,

라고 하자. 그렇다면 이므로, 수학적 귀납법의 가정에 의하여 다음 두 조건을 만족시키는 가 존재한다.

  • 이거나,

그렇다면

를 취하면 된다.

이제 , 에 대하여 다음 조건을 만족시키는 가 존재한다고 하자.

  • 이거나,
  • 이거나,

그렇다면

이며, 또한 의 최고차항의 계수가 가역원이므로, 라고 가정하면

이므로 모순이다. 즉, 가 성립하며, 따라서 가 성립한다.

유클리드 정역[편집]

이 나눗셈 정리는 사실 가우스 정수 Z[i] := {a + bi|a, b∈Z}에서도 성립한다. 구체적으로 말해,

  • 가우스 정수 a, b에 대하여, a = bq + r이고 |r| < |b|를 만족하는 가우스 정수 q, r이 존재한다.

보다 일반적으로, 정역 중 나눗셈 정리의 위 조건과, 가우스 정수에서 성립하는 다음 조건,

  • 가우스 정수 a, b에 대하여 a≠0이면 |b| ≤ |ab|이다.

의 둘을 만족하는 형태의 절댓값 함수가 존재하는 것을 유클리드 정역(ED)이라 한다. 정수환의 확장에서 이러한 함수는 노름(norm)이라 불리는데, 위의 Z[i] 및 Z[√-2], Z[√2], Z[√3]은 모두 유클리드 정역이다. 임의의 는 유클리드 정역이며, 유클리드 정역은 주 아이디얼 정역(PID)이다.[2][3]

각주[편집]

  1. Lang, Serge (2002). 《Algebra》. Graduate Texts in Mathematics (영어) 개정 3판. New York, NY: Springer. ISBN 978-1-4612-6551-1. doi:10.1007/978-1-4613-0041-0. 
  2. Joseph A. Gallian (2006), Contemporary Abstract Algebra, Houghton Mifflin Company(Boston, New York), pp.329-331.
  3. 김응태, 박승안, 《현대대수학》, 경문사, 2008, 542-543쪽.

외부 링크[편집]