서로소

서로소 (Coprime, Relatively Prime) 의 정의는 다음과 같습니다.

정수 $a$, $b$에 대하여 $$ \gcd(a, b) = 1 $$ 이면 두 수 $a$, $b$를 서로소라고 한다.
$\gcd(a, b)$는 최대공약수 입니다.
굉장히 자주 쓰이는 개념임에도 명확한 표기법이 없어 그냥 "두 정수 $a$, $b$가 $\gcd(a, b) = 1$ 이다" 로 쓰이기도 하고, 그것도 줄여서 "두 정수 $a$, $b$가 $(a, b) = 1$ 이다" 로 쓰기도 합니다.
최근에서야 수직표시를 활용한 $a \perp b$라는 표기법이 퍼질 듯 말 듯 한 상태입니다. 해당 표기법은 도널드 커누스가 자신의 책인 "구체 수학" 에서 제안했습니다.