선형 순서의 일반화된 합 연산

초록

본 논문은 선형 순서에 대해 “합”이라는 이항 연산을 일반화하여, 기존의 순차적 합 (+)과 그 역연산 (+∗) 외에도 다양한 연관·교환 가능한 합을 구축한다. 핵심은 합을 생성하는 클래스와 복잡한 클래스라는 두 개념을 도입해, 각각 구조적·대수적 성질을 분석하고, 특히 순서형(ordinal)과 유리 셔플(rational shuffle) 등 특수한 부분집합 위에서 새로운 연산을 정의한다. 또한, 순서형에 대한 모든 연관·교환 가능한 합을 완전히 규정한다.

상세 분석

논문은 먼저 “합(⊕)”이라는 연산을 정의한다. 이는 두 선형 순서 A, B에 대해 A⊕B가 A와 B의 동형 사본을 각각 포함하는 분할을 갖는다는 최소 조건을 만족한다. 기존의 순차적 합 (+)와 그 역연산 (+∗)는 이러한 조건을 만족하지만, 범주론적 의미에서의 공극(coproduct)이 존재하지 않음에도 불구하고, 저자들은 “합‑생성 클래스(sum‑generating class)”라는 새로운 구조를 도입한다. C라는 클래스가 주어지면, 임의의 순서 X를 가장 긴 초기 구간 X_L∈C와 나머지 최종 구간 X_R으로 분해한다. 이후 두 순서 A, B에 대해 A⊕B를 (A_L ∘ B_L)+(A_R ⋄ B_R) 형태로 정의하는데, 여기서 ∘와 ⋄는 + 혹은 +∗ 중 하나를 고정한다. 이 구성은 정규성(동형이동에 대한 보존)과 결합법을 자동으로 보장한다. 중요한 정리는 이러한 두 조각 분해가 연관·정규 합을 만들기 위해서는 C가 반드시 “합‑생성 클래스”이어야 한다는 것(정리 4.9)이다. 따라서 클래스 C의 선택에 따라 무수히 많은 새로운 연산이 생성된다.

두 번째 접근법은 “복잡한 클래스(complicated class)” 개념이다. 크기 λ인 선형 순서 집합 K가 주어졌을 때, K 안의 두 원소 A, B를 서로 다른 2^λ개의 방법으로 섞을 수 있으면 K를 복잡하다고 정의한다. 이러한 K 위에서는 귀납적으로 연산 ⊕를 정의할 수 있는데, 이때 ⊕는 정규·연관뿐 아니라 교환성도 만족한다. 저자들은 이를 “좋은 합(good sum)”이라 명명하고, 구체적으로 다음을 증명한다. (1) 순서형(Ord) 위에서는 Hessenberg 합이 이러한 구조에서 자연스럽게 나타난다(정리 5.24). (2) 비산란(non‑scattered) 순서들의 특정 클래스에서도 교환 가능한 좋은 합을 구성한다(정리 5.45, 5.46). (3) 유리 셔플(rational shuffle)이라는 가산 집합 위에서도 기존의 +, +∗와 전혀 다른 새로운 합을 만든다(섹션 5.2).

특히 섹션 6에서는 “정규·연관하지만 기본 구조적 성질을 결여한 합”을 구축한다. 여기서는 앞서 만든 좋은 합들을 적절히 조합하고, 합‑생성 클래스와 복잡한 클래스의 필터링을 이용해, A⊕B가 A와 B의 전형적인 초기·최종 구간 분해와는 다른 형태로 나타나는 예시를 제시한다. 이는 기존의 +, +∗가 갖는 “초기 구간은 A, 최종 구간은 B”라는 직관적 구조가 반드시 필요하지 않음을 보여준다.

마지막으로 저자들은 순서형에 대한 모든 연관·교환 가능한 합을 완전히 기술한다. 여기서는 순서형의 기본 연산인 Hessenberg 합과 그 변형만이 가능한 경우를 증명하고, 그 외의 경우는 반드시 비정규이거나 비연관임을 보여준다(정리 5.24, 5.27). 전체적으로 논문은 선형 순서 위의 연산 구조를 크게 확장하고, 새로운 대수적 도구를 제공함으로써 순서 이론과 집합론, 그리고 범주론적 관점에서 풍부한 연구 여지를 남긴다.