다중 연산 등급 이론

초록

본 논문은 다중 연산(polyadic) 구조에 대한 등급 개념을 확장하여, 다중 연산 군에 의해 정의되는 ‘멀티아리’ 등급을 제시한다. 주요 결과로는 연산 차수와 등급군 차수 사이의 양자화 규칙, 등급 동형사상의 분류, 그리고 다중 연산 초대수에 대한 첫 번째 동형정리가 포함된다. 텐서형 초대수, n‑ary 행렬 위의 다항식 대수 등 구체적 사례를 통해 새로운 현상을 확인한다.

상세 분석

논문은 전통적인 이항(二項) 등급 이론을 다중 연산 구조에 일반화하는 틀을 제시한다. 핵심은 ‘다중 연산 군(Gᵣₙ₁)’과 ‘다중 연산 대수(Aᵣₘ,ₙ)’ 사이의 호환 조건을 정의하고, 이를 통해 등급이 강하게 유지되는 경우와 약하게 유지되는 경우를 구분한다. 정의 3.3에서 제시된 다중 연산 등급은 Aᵣₘ,ₙ = ⊕{g∈Gᵣₙ₁} A_g 로 분해되며, n‑ary 곱 µᵣₙ와 n₁‑ary 군 연산 μᵣₙ₁이 ‘µᵣₙ(A{g₁},…,A_{gₙ}) ⊆ A_{μᵣₙ₁(g₁,…,gₙ₁)}’ 형태로 맞물린다. 강등급(strongly graded)에서는 등호가 성립하고, 이때 ‘연산 차수와 등급군 차수가 일치한다(n₁ = n)’는 명제 3.6에 의해 증명된다. 그러나 저자는 정리 7.2와 예시 8에서 n₁ ≠ n인 ‘고차 전력 등급(higher‑power grading)’을 구성함으로써, 이항 경우에 존재하지 않던 새로운 현상을 보여준다.

양자화 규칙은 정리 3.9에서 ‘|G| = ℓ_m·(m−1)+1’ 로 표현되며, 여기서 ℓ_m은 m‑ary 덧셈의 다중 연산 거듭 적용 횟수이다. 즉, 등급군의 원소 개수는 대수의 덧셈 차수와 직접적인 산술 관계를 가진다. 이는 이항 등급에서 단순히 ‘|G| = 무한’ 혹은 ‘유한’이라는 구분에 머물던 것을 넘어, 구체적인 수치적 제약을 부여한다는 점에서 혁신적이다.

동형사상(정의 4.1)에서는 두 쌍의 사상 Φ: A→B와 Ψ: G→H가 각각 m‑ary 덧셈과 n‑ary 곱을 보존하도록 요구한다. 이를 기반으로 제1동형정리(섹션 5.1)가 증명되며, 핵심 아이디어는 ‘핵(kernel)’과 ‘이미지(image)’가 모두 등급을 유지한다는 점이다. 이 정리는 기존 이항 등급 이론의 기본 정리를 다중 연산 상황으로 자연스럽게 확장한다.

구체적 사례는 텐서형 초대수(섹션 6), n‑ary 행렬 위의 다항식 대수(섹션 7), 그리고 ‘ℓ·n₁ ≠ n’인 고차 전력 등급(섹션 8)으로 나뉜다. 특히, ‘Z_{r^{2},s^{2}}‑graded polynomial over n‑ary matrices’는 다중 연산 정수군을 등급군으로 사용해, 다항식 차수와 행렬 차수가 동시에 다중 연산 형태로 결합되는 새로운 구조를 제시한다.

전반적으로 논문은 다중 연산 대수와 다중 연산 군 사이의 상호작용을 체계화하고, 기존 이항 등급 이론에서는 불가능했던 ‘차수 불일치’, ‘전력 전이’, ‘지원(support)의 전이’를 수학적으로 정형화한다. 이는 고차 연산을 다루는 물리학(예: 다중 입자 상호작용)이나 컴퓨터 과학(다중 연산 데이터 구조) 등에서 새로운 모델링 도구로 활용될 가능성을 열어준다.