이중 짝수 자가 이중 이진 코드의 자동동형군은 교대군에 포함된다

본 논문은 이진 이중 짝수(self‑dual) 코드의 자동동형군 구조와, 주어진 순열군 G가 이러한 코드를 보존할 수 있는 정확한 조건을 연구한다. 1. **기본 정의와 모듈 관점** 코드 C⊆F₂ⁿ을 G≤Symₙ의 자동동형군에 대한 F₂G‑모듈로 본다. 자가‑이중(simple self‑dual) 모듈 S가 비퇴화 대칭 G‑불변 이항형을 가질 경우, Lemma 2.2는 그 이항형이 동형에 의해 유일함을 보인다. 이를 바탕으로, C가 자가‑이중이면 F₂ⁿ의 구성 사슬에서 모든 자가‑이중 단순 G‑모듈이 짝수 번 등장한다(Corollary 2.4). 2. **자기‑이중 코드 존재 조건(Theorem 2.1)** “G가 어떤 자가‑이중 코드를 보존한다” ⇔ “F₂ⁿ 안의 모든 자가‑이중 단순 F₂G‑모듈이 짝수 배수로 나타난다” 라는 동등성을 증명한다. 증명은 최대 자가‑직교 G‑불변 부분코드 M을 잡고, M⊥/M을 직접합 형태로 분해한 뒤, Lemma 2.5를 이용해 각 단순 모듈이 짝수 개일 때만 M=M⊥, 즉 자가‑이중 코드를 얻을 수 있음을 보인다. 3. **Construction A와 격자 이론** 코드 C를 정수환 ℤ 혹은 2‑adic 정수환 ℤ₂와 결합해 격자 L=A(R,C)를 만든다. C가 이중 짝수이면 L은 짝수·자유(even unimodular) 격자가 된다. 격자 L의 정규 직교군 O(L)은 2‑adic 정규 직교군 O(V) 안의 스핀노름 커널 O_h(V) 안에 포함된다(Lemma 4.3). 4. **스핀노름과 부호 함수의 일치(Lemma 4.2)** Symₙ→O(V) 삽입 ι에 대해 스핀노름 h와 부호 함수 sign이 동일하게 작용한다는 사실을 이용한다. 따라서 Aut(C)의 이미지 ι(Aut(C))는 O_h(V) 안에 놓으며, h∘ι=sign이므로 Aut(C)의 모든 원소는 짝수 부호, 즉 Altₙ에 속한다. 이것이 Theorem 5.1의 핵심 증명이다. 5. **자동동형군의 완전한 특성화(Theorem 5.2)** (a) n은 8의 배수여야 한다(이중 짝수 코드는 길이가 8의 배수). (b) F₂ⁿ을 F₂G‑모듈로 볼 때, 모든 자가‑이중 단순 모듈이 짝수 배수로 나타나야 한다(Theorem 2.1에서 얻은 조건). (c) G는 Altₙ에 포함돼야 한다(Theorem 5.1의 결과). 충분성은 (b)로부터 일반 자가‑이중 코드를 만든 뒤, 2‑adic 격자 L_X를 구성하고, Lemma 4.4를 통해 G가 짝수·자유 격자 L₁, L₂를 고정하도록 조정함으로써, 최종적으로 L₁/2M이 원하는 이중 짝수 자가‑이중 코드를 제공함을 보인다. 6. **그룹링 코드에의 적용** 그룹링 코드(ℱ₂G의 아이디얼)는 정규표현 ρ_G(G)≤Sym_{|G|}에 의해 정의된다. 위 정리들을 적용하면, ρ_G(G)⊆Alt_{|G|}인 경우에만 이중 짝수 자가‑이중 그룹코드가 존재함을 재확인한다(정리 6.3). 전체적으로 논문은 코딩 이론, 군 표현론, 2‑adic 격자 이론을 유기적으로 결합해, 이중 짝수 자가‑이중 이진 코드의 자동동형군이 반드시 교대군에 포함된다는 기본적인 구조적 사실을 증명하고, 어떤 순열군이 이러한 코드를 보존할 수 있는지에 대한 완전하고 실용적인 기준을 제공한다.