제곱 인수가 없는 정수

틀:위키데이터 속성 추적 수론에서 제곱 인수가 없는 정수(제곱 因數가 없는 整數, 틀:Llang, 틀:Llang)는 1이 아닌 제곱수를 인수로 갖지 않는 양의 정수다.

정의

양의 정수 $n$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 양의 정수를 제곱 인수가 없는 정수라고 한다.

• 임의의 양의 정수 $k$에 대하여, 만약 $k^2\mid n$이라면 $k=1$이다.
• 임의의 양의 정수 $a,b\in {\mathbb{Z}}^{+}$에 대하여, 만약 $ab=n$이라면 $a$와 $b$는 서로소이다. 또한 제곱 인수가 없는 정수의 경우 소인수분해의 결과는 각 소인수의 지수가 모두 1이며, 약수들도 모두 유니타리 약수이므로 유니타리 약수의 개수도 약수의 개수와 같다.
• $\mu (n)\ne 0$이다. 여기서 $\mu$는 뫼비우스 함수이다.
• 크기가 $n$인 아벨 군들은 모두 서로 동형이다.
• $\{k\in {\mathbb{Z}}^{+}:k\mid n\}$은 인수 관계 $\mid$에 대하여 불 대수를 이룬다.
• 몫환 $\mathbb{Z}/(n)$은 0개 이상의 체들의 (가환환으로서의) 직접곱이다. (0개의 체들의 곱환은 자명환이다.)

제곱 인수가 없는 정수의 목록은 다음과 같다. 참고로, 제곱 인수가 없는 정수의 각 소인수들은 모두 한 번씩만 곱해지므로, 각 소인수가 곱해진 지수의 합이 소인수의 개수와 같다. 또한 약수들도 모두 유니타리 약수인데, 그 이유는 중복되어 곱해지는 소인수가 없기 때문이다.

1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19, 21, 22, 23, 26, 29, 30, 31, 33, 34, 35, 37, 38, 39, 41, 42, 43, 46, 47, 51, 53, 55, 57, 58, 59, 61, 62, 65, 66, 67, 69, 70, 71, 73, 74, 77, 78, 79, 82, 83, 85, 86, 87, 89, 91, 93, 94, 95, 97, 101, 102, 103, 105, 106, 107, 109, 110, 111, 113, ... 틀:OEIS

성질

중심 이항 계수

$(\genfrac{}{}{0ex}{}{2n}{n})$

은 $n>4$일 경우 제곱 인수가 없는 정수가 아니다.

함수 $Q(x)$를 제곱 인수가 없는 정수 $1\le n\le x$의 수로 정의하자.

$Q(x)=\sum _{n=1}^x|\mu (n)|$

그렇다면, 어떤 양의 실수 $c$에 대하여 다음이 성립한다.

$Q(x)=\frac{6x}{{\pi }^2}+O(x^{1/2}\exp (-c\frac{(\log x{)}^{3/5}}{(\log \log x{)}^{1/5}}))$

만약 리만 가설이 참이라면, 다음이 성립한다.

$Q(x)=\frac{6x}{{\pi }^2}+O\left(x^{17/54+\epsilon }\right)$

즉, 제곱 인수가 없는 수의 밀도는

$\underset{x\to \mathrm{\infty }}{\lim }Q(x)/x=6/{\pi }^2=0.6079$

이다. 다시 말해, 대략 61%의 양의 정수가 제곱 인수가 없는 정수이다.

외부 링크

• 틀:매스월드
• 틀:매스월드