축소 유한 멱모노이드 동형 문제 완전 분류

초록

본 논문은 가환이며 소거 가능한 모노이드 (H)와 (K)에 대해, 단위 원소를 포함하는 모든 유한 부분집합으로 이루어진 축소 유한 멱모노이드 (\mathcal P_{\text{fin},1}(H))와 (\mathcal P_{\text{fin},1}(K))가 서로 동형이면 두 원 모노이드가 언제 동형인지 완전히 규명한다. 특히 단위군이 비자명한 경우와 완전히 축소된 경우를 구분하여, 전자는 풀백 함수 (g:H\to K)가 실제 모노이드 동형임을 보이고, 후자는 “특정 평가 부분모노이드의 변형”이라는 정확한 형태만이 예외임을 증명한다.

상세 분석

논문의 핵심은 트링갈리·얀의 “풀백” 기법을 정교히 확장한 데 있다. 임의의 동형 (f:\mathcal P_{\text{fin},1}(H)\to\mathcal P_{\text{fin},1}(K))에 대해, 2원소 집합 ({1_H,a})를 이용해 정의된 함수 (g:H\to K)는 전단사이며, 명제 2에 의해 거듭제곱을 보존한다(즉 (g(a^n)=g(a)^n) for (n\in\mathbb N_0)). 레마 3은 이 결과를 정수 지수까지 확장해 단위군을 정확히 대응시킨다. 따라서 (g)는 원소의 차수와 단위성을 그대로 유지한다는 중요한 성질을 갖는다.

다음 단계에서는 (g)가 실제 모노이드 동형인지 여부를 조사한다. 정리 14에서는 단위군이 비자명((H^\times\neq{1}))인 경우를 다루며, 여러 경우 분석을 통해 (g(ab)=g(a)g(b))임을 보인다. 여기서는 특히 유한 차수를 가진 원소와 무한 차수를 가진 원소의 조합, 그리고 독립성(independence) 여부에 따라 레마 6, 명제 7, 명제 8을 적용한다. 결과적으로 (g)는 전단사이면서 곱을 보존하므로 (H\cong K)임을 얻는다.

그러나 단위군이 자명하고 모노이드가 축소된 경우((H^\times={1}))에는 더 복잡한 현상이 나타난다. 저자는 이러한 경우를 “평가 모노이드”와 그 변형으로 귀결한다. 평가 모노이드란 모든 원소가 그 역원 혹은 그 역원의 곱으로 표현되는 구조이며, 기존 연구(예: 트링갈리·얀, 2020)에서 이미 동형이 아닌 두 모노이드가 같은 멱모노이드를 갖는 예가 알려져 있다. 논문은 이를 일반화하여, 두 축소 모노이드 (H,K)가 동형이 아니면서도 (\mathcal P_{\text{fin},1}(H)\cong\mathcal P_{\text{fin},1}(K))가 되려면, 어느 하나가 특정 평가 부분모노이드의 “변형”(즉, 원소를 일정한 단위곱으로 교체한 형태)이어야 함을 보인다. 이 변형은 정확히 정의된 사상 (\phi)에 의해 (H)의 원소들을 (K)의 원소와 일대일 대응시키면서, 곱 구조는 (\phi(ab)=\phi(a)\phi(b)u) (단위 (u\in K^\times)) 형태를 만족한다. 따라서 단위군이 자명하더라도 이러한 “단위 삽입”이 존재하면 멱모노이드가 동형이 될 수 있다.

마지막으로 저자는 이러한 변형이 실제로 존재함을 보이는 구체적인 예시를 제시한다. 예시에서는 두 모노이드가 모두 비평가(monotone)이며, 하나는 (\mathbb N)에 특정 소수의 거듭제곱을 추가한 형태, 다른 하나는 그 소수를 제거하고 대신 다른 소수의 거듭제곱을 삽입한 형태로 구성된다. 두 경우 모두 단위군은 자명하지만, 정의된 변형을 통해 (\mathcal P_{\text{fin},1})가 동형임을 확인한다.

전체적으로 논문은 기존의 “동형이면 원 모노이드도 동형”이라는 직관을 가급적 유지하면서, 단위군이 자명한 경우에만 제한적인 예외가 존재함을 정확히 규정한다. 이는 멱모노이드 구조가 원 모노이드의 산술적 특성을 얼마나 강하게 반영하는지를 명확히 보여준다.