고전 수열의 지역 구조와 정규 소수 및 동역학적 실현

초록

정수 수열을 소수별 p‑부분으로 바라보는 ‘지역 실현성’과, 군의 자기동형에 의해 실현되는 ‘대수적 실현성’ 개념을 도입한다. 이를 Euler 수, Bernoulli 분모·분자에 적용해, Bernoulli 정규 소수의 동역학적 특징을 밝히고, 모든 소수에서 Bernoulli 분모가 대수적으로 실현됨을 보인다. 또한 Euler 수열은 nilpotent 군에서 실현될 수 없음을 증명한다.

상세 분석

논문은 먼저 정수 수열 a = (aₙ)ₙ≥1에 대해 두 가지 새로운 개념을 정의한다. 하나는 소수 q 에 대해 p‑부분 ⌊aₙ⌋_q 로 이루어진 수열이 실현 가능하면 ‘q‑에서 실현 가능(지역 실현)’이라 부르는 것이다. 다른 하나는 군 X 와 그 자기동형 T 가 존재해 모든 n에 대해 aₙ = Fixₙ(T) (즉 n‑주기 고정점의 수) 가 되면 ‘대수적 실현’이라 한다. 여기서 ‘대수적 실현’은 아벨 군, nilpotent 군 등 특정 군군류에 제한될 수 있다.

실현 가능성을 판단하는 두 가지 방법을 제시한다. 첫 번째는 직접적인 동역학적 모델을 찾는 것이고, 두 번째는 Dold 합동식과 부호 조건을 이용해 모든 n에 대해
∑{d|n} μ(d)·a{n/d} ≥ 0  그리고  n | ∑{d|n} μ(d)·a{n/d}
을 만족함을 보이는 ‘브루트 포스’ 방식이다. Arias de Reyna의 정리(모든 소수 p 에 대해 (n,p)=1이면 a_{np^m} ≡ a_{np^{m-1}} (mod p^m))를 활용하면 Dold 합동을 간단히 검증할 수 있다.

대수적 실현에 대해서는 군의 구조적 제약을 이용한다. Lemma 1은 대수적 실현 수열은 언제든지 가산·지역 유한 그룹의 자동사상으로 구현될 수 있음을 보이며, 유한 수열은 유한 군으로도 구현 가능함을 보여준다. 이후 p‑수열(각 항이 p‑지수만을 갖는 수열)에 대해 nilpotent 군에서의 실현이 ‘지역 nilpotent 실현’과 동등함을 증명한다(Theorem 4). 핵심은 각 소수 p 에 대해 유일한 Sylow p‑부분군이 존재하면 그 부분군을 제한함으로써 p‑부분을 정확히 재현할 수 있다는 점이다(Lemmas 8–10).

구체적인 사례로는 다음을 다룬다.

1. Euler 수열 Eₙ: 정수 Eₙ = |E_{2n}| 는 전통적으로 다양한 합동성을 가지고 알려져 있다. 저자는 이를 nilpotent 군에서 실현할 수 없음을 보이며, 이는 Euler 수열이 ‘덜 친화적’인 이유를 동역학적으로 설명한다.
2. Bernoulli 분모 Bₙ: Bₙ = denominator(Bernoulli Bₙ) 은 Kummer‑정규 소수와 깊은 연관이 있다. 논문은 모든 소수 p 에 대해 Bₙ의 p‑부분이 대수적으로 실현됨을 증명하고, 이를 통해 Bernoulli 정규 소수가 ‘정규(prime)’임을 동역학적 관점에서 재해석한다(정규 소수 ⇔ 해당 p‑부분이 특정 nilpotent 군에서 실현).
3. Bernoulli 분자 Nₙ: 분자에 대해서는 실현 가능성에 제한이 있음을 보이며, 특히 일부 소수에서만 실현 가능함을 확인한다.

예시 3에서는 디헤드랄 군 D₈ 의 외부 자동사상 θ 가 수열 (4,4,4,8,…)을 실현함을 보여, 아벨 군이 아닌 nilpotent 군에서도 새로운 실현 사례가 존재함을 강조한다. 또한 Example 11에서는 3‑차원 토러스 T³ 의 선형 자동사상이 Lehmer‑Pierce 수열을 생성함을 제시해, 연속적인 선형 재귀수열이 동역학적 실현과 어떻게 연결되는지를 설명한다.

전체적으로 논문은 ‘지역‑전역’ 원리를 통해 수열의 산술적 성질(예: Kummer‑정규성, 합동식)과 동역학적 구조(고정점 수, 군의 Sylow 구조) 사이의 깊은 상호작용을 밝혀낸다. 이는 기존에 ‘전역 실현’만을 다루던 연구와 달리, 소수별 p‑부분을 따로 분석함으로써 보다 정밀한 분류와 새로운 실현 가능성을 제시한다는 점에서 의의가 크다.