🔢 mathematics

Categorical Algebra of Atomic Monoids: Presentability, Regularity, and Pretorsion Theories

이 논문은 원자적 모노이드(atomic monoids, $\mathsf{AtoMon}$ ) 범주를 조사하여, 그것의 국소 유한 제시성(local finite presentability)과 특정한 인수분해 성질을 확립하는 한편, 그것이 정규 범주(regular category)가 아님을 입증하고, 나아가 핵심적인 수반(adjunctions)들을 구성하며 군(groups)으로부터 이 설정으로 토션 이론(torsion theories)을 들어 올리는 과정을 다룬다.

원저자: Federico Campanini, Laura Cossu

게시일 2026-07-28

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Federico Campanini, Laura Cossu

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

모든 것이 아주 작은, 더 이상 나눌 수 없는 레고 브릭으로 만들어진 세상을 상상해 보세요. 수학에는 서로 다른 모양과 구조가 단순히 크기나 색깔이 아니라, 어떻게 서로 연결되고 변형되는지를 연구하는 '범주론(category theory)'이라는 분야가 있습니다. 이것은 사물들이 서로 어떻게 관계를 맺는지에 대한 궁극적인 규칙서라고 할 수 있습니다. 이 세상에서 하나의 특정한 모양은 '모노이드(monoid)'인데, 이는 결합할 수 있는 것들의 모임(예: 숫자의 곱셈)이며 항상 '아무것도 하지 않는' 요소(예: 숫자 1)를 가지고 있다는 뜻입니다.

이제, 이 모노이드들의 특별한 클럽인 '원자적 모노이드(atomic monoids)'를 상상해 봅시다. 이 클럽에서는 '아무것도 하지 않는' 요소를 제외한 모든 단일 조각이 '원자(atoms)'라고 불리는 작고 나눌 수 없는 레고 브릭들의 집합으로 분해될 수 있습니다. 마치 복잡한 레고 성을 해체하여 개별 브릭들을 확인하는 것처럼, 수학자들은 이 원자적 모노이드들이 어떻게 분해되는지를 연구합니다. 이 클럽의 핵심 특징은 이러한 분해가 종종 유일하지 않다는 것입니다. 즉, 하나의 조각이 서로 다른 조합의 브릭들로 여러 가지 방식으로 조립될 수 있습니다. 이 논문이 다루는 핵심 질문은 다음과 같습니다. "우리가 이 원자적 모ло이드들을 늘리고, 찌그러뜨리고, 붙일 수 있는 형태들의 가족으로 취급할 때, 게임의 규칙은 무엇인가?" 그 결과, 이들은 익숙한 규칙들을 따르기도 하지만, 표준 규칙서를 깨뜨리는 매우 놀라운 특이점들도 가지고 있음이 밝혀졌습니다.

원자적 클럽: 새로운 종류의 수학 놀이터

이 논문에서 페데리코 캄파니니(Federico Campanini)와 라우라 코수(Laura Cossu)는 우리를 원자적 모노이드의 범주(줄여서 AtoMon)로 초대합니다. AtoMon을 거대한, 북적이는 도시라고 생각해 보세요. 이 도시의 모든 건물은 원자적 모노이드이며, 이들을 연결하는 도로들은 오직 '원자(atoms)'를 존중해야만 통과할 수 있는 특별한 지도입니다. 저자들은 알고 싶어 합니다. 이 도시는 잘 조직되어 있을까요? 수학적 건축의 표준 법칙을 따르고 있을까요, 아니면 자신만의 독특한 물리 법칙을 가진 혼돈스러운 상태일까요?

도시는 잘 조직되어 있다 (국소 유한 제시적)

먼저, 저자들은 AtoMon이 매우 깔끔한 도시임을 증го합니다. 수학적으로 말하자면, 그들은 이 도시가 **"국소 유한 제시적(locally finitely presentable)"**임을 보여줍니다. 비유를 들자면, 여러분이 이 도시의 어떤 건물이든 짓고 싶다고 가정해 봅시다. 저자들은 여러분이 매번 새로운 재료를 처음부터 발명할 필요가 없다는 것을 증명합니다. 대신, 여러분은 특정하고 유한한 '스타터 키트'(컴팩트 대상이라고 불림)들을 결합하여 어떤 복잡한 구조도 만들어낼 수 있습니다.

이 스타터 키트들은 특별합니다. 왜냐하면 유한한 규칙 목록(생성원과 관계식)으로 설명될 수 있을 만큼 충분히 작으면서도, 도시의 다른 모든 구조를 구축할 수 있을 만큼 강력하기 때문입니다. 이는 마치 여러분이 아무리 복 복잡한 레고 성을 만들고 싶더라도, 항상 특정하고 유한한 기본 레고 세트들을 조합하여 만들 수 있다는 것과 같습니다. 저자들은 심지어 이 세트들이 정확히 무엇인지도 찾아냈습니다: 자유 모노이드, 무한 순환군, 그리고 두 개의 긴 단어가 같아지도록 강제하는 특정한 모노이드들입니다. 이는 이 도시가 예측 가능하고 관리 가능하다는 것을 의미합니다.

깨진 거울: 왜 이 도시는 "규칙적"이지 않은가

범주론의 세계에는 **"규칙적 범주(regular category)"**라는 개념이 있습니다. 규칙적 범주를 완벽하고 매끄러운 경로(정칙 에피모르피즘)를 따라 이동한 뒤 거울(풀백)을 통해 보는 상황을 상상해 보세요. 만약 거울에 비친 모습도 여전히 완벽하고 매끄러운 경로라면, 그것은 일관성의 규칙입니다. 즉, 어떤 방식이 한 곳에서 작동한다면, 약간 다른 맥락에서도 똑같이 작동해야 한다는 규칙입니다.

저자들은 AtoMon이 이 규칙을 깨뜨린다는 사실을 발견했습니다. 그들은 특정 '완벽한 경로'(정칙 에피모르피즘)를 구성했고, 이를 거울(풀백)에 비추었을 때, 그 반사된 모습이 여전히 유효한 전사 함수(surjective map)이기는 하지만, '완벽한' 지위를 잃어버리는(더 이상 정칙 에피모르피즘이 아닌) 사례를 만들어냈습니다.

비유: 여러분이 빨간색과 파란색 구슬을 두 개의 별도 통으로 완벽하게 분류하는 기계를 가지고 있다고 상합시다. 이 기계는 메인 룸에서는 완벽하게 작동합니다. 하지만 이 기계를 옆방(풀백)으로 옮기면, 기계는 여전히 구슬을 분류하고 모두 통과시키지만(여전히 전사 함수임), 분류 메커니즘 자체가 메인 룸의 규칙을 위반하는 방식으로 '결함이 있거나 울퉁불퉁하게' 변해버립니다. 기계가 작동을 멈춘 것이 아니라, 규칙이 요구하는 '그 종류의' 기계가 아니게 된 것입니다.
결과: 이러한 '결함 있는 반사'가 일어나기 때문에, AtoMon은 규칙적 범주가 아닙니다. 이것은 큰 사건입니다. 왜냐하면 AtoMon은 단순한 '보편 대수의 다양체(variety of universal algebras)'로 기술될 수 없음을 의미하기 때문입니다. AtoMon은 표준적인 대본을 따르기를 거부하는 자신만의 개성을 가지고 있습니다.

하지만 저자들은 단순히 "고장 났다"라고 말하는 데 그치지 않았습니다. 그들은 모든 사상(map)이 '완벽한 경로' 부분과 '일방통행' 부분으로 나뉠 수 있음을 보여주었습니다((regular epi, mono)-분해). 다만 '완벽한 경로' 부분이 거울 테스트를 견딜 만큼 안정적이지 않다는 것을 증명했을 뿐입니다.

새로운 도구: "원자화(Atomization)" 기계

논문은 또한 한 유형의 대상을 다른 유형으로 변환하는 기계와 같은 멋진 새로운 도구(함자)들을 소개합니다.

단위군(Group-of-Units) 기계: 모든 원자적 모노이드는 '가역적인' 조각들의 특별한 군(group)을 가집니다. 저자들은 이 군을 추출할 수 있음을 보여주며, 군의 세계와 원자적 모노이드의 세계를 오가는 두 가지 기계를 만들었습니다. 한 기계는 군에 '자명한' 층을 더해 원자적 모노이드로 만들고, 다른 기계는 비-군(non-group) 부분을 벗겨냅니다.
원자화 기계: 이것은 아마도 가장 창의적인 도구일 것입니다. 저자들은 일반적인 모노이드(원자적이지 않은 모노이드 포함)를 가져와서 그것을 원자적 모노이드가 되도록 강제하는 기계를 만들었습니다. 이는 '원자'의 뼈대와 그 외의 것들을 위한 '쓰레기통'을 추가함으로써 수행됩니다. 이는 마치 무작위한 잡동사니 더미를 가져와서, 모든 조각이 근본적인 원자이거나 단위(unit)가 되도록, 혹은 나머지는 특별한 '제로(zero)' 버킷으로 들어가도록 구조화하는 것과 같습니다. 이 기계는 원자적 모노이드의 포함 관계에 대한 '우측 부가(right adjoint)'이며, 이는 혼란스러운 모노이드를 깔끔한 원자적 모노이드로 만드는 가장 최선의 방법입니다.

리프팅된 토션 이론: "좋음 vs 나쁨" 필터

마지막으로, 저자들은 **"프리토션 이론(pretorsion theories)"**이라는 개념을 다룹니다. 간단히 말해, 이것은 범주를 '좋은' 대상과 '나쁜(또는 자명한)' 대상으로 나누고, 그들이 어떻게 상호작용하는지에 대한 규칙을 정하는 방법입니다.

그들은 **군(Groups)**을 '토션(torsion, 나쁜)'과 '토션-프리(torsion-free, 좋은)' 그룹으로 나누는 기존의 방식을 가져왔습니다.
그런 다음, 이 구분을 원자적 모노이드의 세계로 끌어올렸습니다(lift).
결과: 그들은 AtoMon에서 새로운 분리를 만들어냈습니다. 한쪽은 단위군(좋은 그룹)이고, 다른 한쪽은 '축소된(reduced)' 모노이드(단위가 항등원뿐인 것들)입니다. 그들은 모든 원자적 모노이드가 매우 구체적이고 구조적인 방식으로 '군 부분'과 '축소된 부분'으로 분해될 수 있음을 증명했습니다. 이는 어떤 구조를 던져 넣더라도 그 안에서 '군과 같은' 행동과 '순수하게 원자적인' 행동을 분리해내는 보편적인 필터를 갖는 것과 같습니다.

요약

이 논문은 단순히 "원자적 모노이드가 존재한다"라고 말하는 데 그치지 않습니다. 이들의 동네 전체를 그려냅니다. 이들이 유한한 레고 키트들로 구축되어 있음을 증명하고, '완벽한 경로'가 거울에 비쳤을 때 (유효하지만 정칙적이지 않은 사상이 되며) 깨지는 기묘한 특이점이 있음을 보여주며, 어떤 모노이드를 원자적 모노이드로 변환하는 도구 상자를 제공합니다. 가장 중요한 것은, AtoMon이 풍요롭고 복잡한 수학적 세계이지만 '규칙적'인 세계는 아니며, 우리가 보통 공부하는 표준적인 대수 구조와는 흥미롭게도 다른 독특하고 약간은 혼돈스러운 논리를 가지고 있음을 보여준다는 점입니다. 저자들은 규칙이 적용되는 곳과 깨지는 곳을 정확히 보여줌으로써 성공적으로 지도를 그려냈습니다.

기술 요약: 원자적 모노이드의 범주론적 대수학 (Categorical Algebra of Atomic Monoids)

문제 제기
본 논문은 원자적 모노이드(atomic monoids)를 대상으로 하고, 그 사상(morphism)이 원자 보존 모노이드 준동형사상(atom-preserving monoid homomorphisms)인 범주 $\mathbf{AtoMon}$ 의 범주론적 성질을 조사한다. 이 범주는 인수론(factorization theory)에서의 보편적 구성(곱, 코곱 및 이와 관련된 불변량)의 산술적 거동을 연구하기 위해 이전에 도입되었으나, 범주론적 대수 내에서의 보다 광범위한 구조적 성질은 거의 탐구되지 않았다. 저자들은 $\mathbf{AtoMon}$ 이 국소 유한 제시 가능성(local finite presentability), 정규성(regularity), 그리고 특정 인접 관계(adjunctions)의 존재와 같은 표준적인 범주론적 성질을 만족하는지 결정하고, 토션 이론(torsion theories)과의 관계를 탐구하는 것을 목표로 한다.

방법론
저자들은 명시적 구성과 추상적 범주론적 추론을 결합하여 사용한다:

구조적 분석: $\mathbf{AtoMon}$ 에서의 극한(limits)과 코극한(colimits)의 거동을 분석하며, 코극한은 모노이드 범주( $\mathbf{Mon}$ )에서의 코극한과 일치하지만, 극한은 일반적으로 일치하지 않음을 주목한다.
콤팩트 대상 식별: 국소 유한 제시 가능성을 확립하기 위해, 저자들은 특정한 "콤팩트" 대상들(유한 제시된 원자적 모노이드들)을 구성하고 이들이 강한 생성원(strong generator)을 형성함을 입증한다.
반례 구성: 정규성을 테스트하기 위해, 저자들은 특정한 정규 에피모르피즘(regular epimorphism)을 구성하고 그 풀백(pullback)을 분석한다. 이 과정에서 커널 쌍(kernel pairs)과 $\mathbf{AtoMon}$ 내부의 동치 관계(특히 원자와 단위원을 생성하는 동치 관계 $\theta_f$ )를 활용하여 정규 사상과 비정규 사상을 구분한다.
인접 관계 구성: 저자들은 특정한 함자(functor)들(단위군, 원자화)을 정의하고, 단위원, 원자, 그리고 단위원이 아닌 비원자들에 대한 명시적 사상을 정의함으로써 이들의 우측 인접 함자(right adjoints)를 구성한다.
리프팅 정리(Lifting Theorems): 모노코어플렉션(monocoreflection)을 따라 프리토션 이론(pretorsion theories)을 리프팅하는 일반적인 기준을 개발하고, 이를 $\mathbf{AtoMon}$ 의 구체적인 사례와 포인티드 퀴버(pointed quivers)와 관련된 별개의 사례에 적용한다.

주요 기여 및 결과

국소 유한 제시 가능성: 본 논문은 $\mathbf{AtoMon}$ 이 국소 유한 제시 가능함을 증명한다(정리 2.6). 이는 콤팩트 대상들로 구성된 강한 생성원 $\mathcal{G}$ 를 제시함으로써 달성된다. 집합 $\mathcal{G}$ 는 하나의 생성원을 가진 자유 모노이드, 무한 순환군, 그리고 길이 2 이상의 단어들 사이의 관계로 정의된 특정한 축약된 원자적 모노이드들을 포함한다. 나아가, 저자들은 $\mathbf{AtoMon}$ 의 콤팩트 대상들을 일반적인 모노이드로서 유한 제시된 원자적 모노이드들로 정확히 규정한다(정리 2.7).
정규성의 결여: 저자들은 $\mathbf{AtoMon}$ 이 정규 범주가 아님을 입증한다.
- 그들은 $\mathbf{AtoMon}$ 의 모든 사상이 정형적인 (정규 에피, 모노) 분해(factorization)를 가짐을 확립한다(명제 3.3).
- 그러나, 저자들은 모노모르피즘 $j: J \to Q$ 에 대한 풀백이 전사적이지만 정규 에피모르피즘이 아닌 사상 $\rho: P \to J$ 를 생성하는 특정한 정규 에피모르피즘 $p: H \to Q$ 를 구성한다(명제 3.7).
- 결과적으로, $\mathbf{AtoMon}$ 은 보편 대수의 다양체(variety of universal algebras)와 동치이지 않다. 논문은 $\mathbf{AtoMon}$ 이 정규는 아니지만, 유한한 극한 이론의 모델과 동치인 유한한 본질적 대수적 범주(finitary essentially algebraic category)임을 언급한다.
- 또한, 저자들은 Carboni와 Vitale의 의미에서의 $\mathbf{AtoMon}$ 의 정규 완비(regular completion)를 기술하며, 이 완비 내의 특정 대상들이 정규적인 원자적 모노이드의 정규 임베딩에 의한 상(image)과 동형이 아님을 보여준다.
인접 관계(Adjunctions):
- 단위군(Group of Units): 함자 $(\cdot)^\times: \mathbf{AtoMon} \to \mathbf{Grp}$ 는 좌측 인접 함자(inclusion functor $\iota$ )와 우측 인접 함자 $I$ 를 모두 가짐을 보인다(명제 4.1). 우측 인접 함자 $I(G)$ 는 군 $G$ 에 영원(zero)과 원자를 부가함으로써 원자적 모노이드를 구성한다.
- 원자화(Atomization): 포함 함자 $U: \mathbf{AtoMon} \to \mathbf{Mon}$ 는 우측 인접 함자 $A: \mathbf{Mon} \to \mathbf{AtoMon}$ 를 가짐을 보인다(명제 4.2). 이 "원자화" 함자는 모노이드 $M$ 을 터미널 대상 성분을 가진 구조로 임베딩함으로써 원자적 모노이드 $A(M)$ 을 구성한다.
프리토션 이론(Pretorsion Theories): $\mathbf{AtoMon}$ 은 포인티드 범주(pointed category)가 아니므로, 엄격한 토션 이론을 가질 수 없다. 저자들은 $\mathbf{Grp}$ 로부터의 토션 이론을 $\mathbf{AtoMon}$ 에서의 프리토션 이론으로 리프팅한다.
- 구체적으로, $(\mathcal{T}, \mathcal{F})$ 가 $\mathbf{Grp}$ 에서의 토션 이론이라면, 쌍 $(\tilde{\mathcal{T}}, \tilde{\mathcal{F}})$ 는 $\mathbf{AtoMon}$ 에서의 프리토션 이론을 형성함을 보인다. 여기서 $\tilde{\mathcal{T}} = \mathcal{T}$ 이고 $\tilde{\mathcal{F}}$ 는 단위군이 $\mathcal{F}$ 에 속하는 원자적 모노이드들로 구성된다.
- 주목할 만한 사례는 $(\mathbf{Grp}, \mathbf{RedAtoMon})$ 프리토션 이론이며, 여기서 $\mathbf{RedAtoMon}$ 은 축약된 원자적 모노이드(단위군이 자명한 모노이드들)의 부분 범주이다.
- 이 결과는 정리 5.6에서 모든 모노코어플렉티브 부분 범주에 대해 일반화되어, 토션 이론을 리프팅하는 기준을 제공한다.

의의 및 주장
본 논문은 $\mathbf{AtoMon}$ 의 산술적 응용을 넘어, 이를 범주론적 대수의 위치에 확립함으로써 $\mathbf{AtoMon}$ 에 대한 종합적인 구조적 분석을 제공한다고 주장한다.

$\mathbf{AtoMon}$ 이 제시 가능성 측면에서 잘 정의된 범주임을 확인하며, 일반적인 범주론적 도구의 적용을 가능하게 한다.
$\mathbf{A-to-Mon}$ 이 정규 범주가 아님을 증명함으로써 범주의 한계를 명확히 하고, 이를 통해 보편 대수의 다양체와 구별하며 "원자 보존" 조건이 부과하는 특정한 산술적 제약을 강조한다.
명시적인 인접 관계를 통해 원자적 모노이드의 산술과 군 및 일반 모노이드 사이의 가교를 구축한다.
포인티드 부분 범주로부터 리프팅함으로써 프리토션 이론을 생성하는 새로운 방법을 제시하며, 이를 군과 축약된 원자적 모노이드 사이의 관계로 설명한다.

저자들은 이러한 결과들을 $\mathbf{AtoMon}$ 을 그 자체로 풍부한 구조를 가진 범주로서 이해하기 위한 필수적인 단계로 자리매김하며, 인수론의 실현 문제(realization problems)를 추가로 연구하는 데 필요한 기초적인 범주론적 틀을 제공한다.

원자적 클럽: 새로운 종류의 수학 놀이터

도시는 잘 조직되어 있다 (국소 유한 제시적)

깨진 거울: 왜 이 도시는 "규칙적"이지 않은가

새로운 도구: "원자화(Atomization)" 기계

리프팅된 토션 이론: "좋음 vs 나쁨" 필터

요약

유사한 논문