반응형
'서로소'라는 말은 수학에서 크게 보았을 때 집합 관계 또는 정수론에서 사용하는 용어입니다. 이들은 각각 교집합을 가지지 않는 관계 혹은 최대공약수가 1임을 의미하는 말에 해당하는데, 한국어에서는 모두 '서로소'라고 표현하나 영어 표현은 살짝 다릅니다. 집합에서의 서로소 개념은 'mutally disjoint' 에 가깝고, 정수론에서의 서로소 즉 최대공약수가 1인 고나계는 'relatively prime' 이라고 표현합니다. 여기서는 후자의 개념에 대한 소개입니다.

1. 서로소
정의(N.T) 1-7) 정수론에서 서로소
적어도 둘 중 하나의 정수가 0이 아닌 a,b∈Z 에 대하여, gcd(a,b)=1 을 만족하면 두 수는 '서로소(relatively prime)'이라고 한다.
개념은 중고등학교 수학에서와 완전히 일치합니다. 아래의 두 정리도 내용이 매우 간단하며 중고등학교 수학에서도 배우는 내용에 해당하기는 합니다.
정리(N.T) 1.7) 서로 다른 두 소수는 언제나 서로소이다
임의의 두 서로 다른 소수 p,q 에 대하여 gcd(p,q)=1 가 성립한다.
증명) g=gcd(p,q) 라 하자. g∣p 이므로 g=p 이거나 g=1 이어야 한다. 마찬가지로 g∣q 이므로 g=q 이거나 g=1 이어야 한다. g=p=q 이라면 이것은 가정에 모순이 된다. 따라서 g=1 이다. ◼
정리(N.T) 1.8) 소수의 기본 성질
p 가 소수이고 p∣(ab) 이면, p∣a 또는 p∣b 이다.
증명) p∣a 가 성립하면 결론이 참이니 그렇지 않다고 해보자. 그러면 gcd(a,p)=1 이다. p 가 소수이므로 g=p 또는 g=1 이다. g=p 라면 우리의 가정에 모순이다. 따라서 g=1 이고, 그러면 유클리드 보조정리에 의해 1p∣b 가 성립한다. ◼
[참고문헌]
Introduction to Number Theory - William W. Adams, Larry Joel Goldstein
- 게시글 순서로 보면 유클리드 보조정리는 바로 다음 글입니다. [본문으로]
'정수론(Number Theory) > 나눗셈 이론' 카테고리의 다른 글
1차 선형 디오판토스 방정식(Linear first-order Diophantine equation) (0) | 2024.06.25 |
---|---|
유클리드 호제법, 유클리드 알고리즘(Euclid algorithms) (1) | 2024.01.19 |
베주 항등식(Bezout's identity) (0) | 2024.01.18 |
나눗셈 정리(Division theorem) (0) | 2023.02.17 |
최대공약수(Greatest common divisor) (0) | 2023.02.05 |
댓글