p‑adic 정수 위의 모듈 브레이스 전범위 분류

초록

본 논문은 p‑adic 정수환 ℤₚ 위의 자유 ℤₚ‑모듈 M에 대해, 곱셈이 사이클릭한 라디칼 알gebra M·M을 갖는 R‑브레이스(ℤₚ‑브레이스)를 연구한다. 무한소(무한소) 경우는 동형사상으로, 유한소 경우는 iso‑clinism(동형동류)으로 완전히 분류하고, 그 핵심은 M·M에서 유도되는 대칭 이중형식의 등가류와의 일대일 대응이다.

상세 분석

논문은 먼저 R‑브레이스의 기본 정의와 이를 정규군(Hol(G))의 정규 부분군과 연결시키는 기존 이론을 정리한다. ℤₚ‑모듈 M을 자유 ℤₚ‑모듈로 가정하고, M·M이 사이클릭(즉 ℤₚ‑모듈로서 1차원)이라는 강한 제약을 두어 라디칼 알gebra (M,+,·)가 3‑nilpotent, 즉 a·b·c=0을 만족함을 보인다. 이때 곱셈·은 대칭 이중형식 b(a,b)=a·b와 동일시될 수 있다. 저자들은 b를 ℤₚ‑라티스(M,b)로 보고, 라디칼(Rad(M))=Ann(M)와 자유 부분 K를 분리한다. 라디칼이 0인 경우, 즉 스템(stem) 알gebra에 해당하면 M은 직합 M=K⊕Rad(M)이며, K는 비특이(non‑degenerate) 이중형식만을 갖는 완전 비정규 라티스로 환원된다.

핵심 기술은 두 단계로 이루어진다. 첫째, 무한소 경우에는 M·M≅ℤₚ이므로 b의 행렬 A는 ℤₚ‑정수 행렬이며, 두 라티스가 동형이려면 A와 A′가 ℤₚ‑단위 행렬 T에 의해 A′=TATᵗ 형태로 변환될 수 있어야 한다. 이는 전통적인 격자 이론의 “Jordan 분해”와 “판별식(discriminant)” 개념을 그대로 적용한다. 저자들은 Jordan splitting theorem(Conway‑Sloane)과 Jordan‑splitting for valuation rings(예: J. Jordan, 1970년대)를 이용해 b를 p‑adic 스케일별로 정규형 J_i(ε)로 분해하고, 각 스케일의 차원과 ε(1 또는 비제곱 단위)만이 동형류를 결정한다는 결론을 얻는다. 이때 p‑adic 단위 ε는 ℤₚ×/ℤₚײ 로 나뉘는 두 개의 동치류만 존재하므로, 최종 분류는 “스케일‑차원‑ε” 삼중항의 조합으로 완전하게 기술된다.

둘째, 유한소 경우에는 M이 ℤₚ‑모듈이지만 torsion을 포함한다. ℤₚ는 완전한 DVR이므로 모든 유한 ℤₚ‑모듈은 p‑거듭제곱에 의해 생성되는 fractional ideal 형태이다. 저자들은 M을 자유 부분과 torsion 부분으로 분리하고, 자유 부분에 대해 앞서 얻은 무한소 분류를 적용한다. torsion 부분은 p‑adic 스케일을 올려가며 “lifting” 과정을 통해 자유 라티스로 승격시킬 수 있다. 즉, M을 p^k‑배가 된 자유 라티스로 확장한 뒤, 그 자유 라티스에서 얻은 이중형식의 Jordan 분해를 다시 내려오면 torsion 라티스의 iso‑clinism 클래스가 결정된다. 여기서 중요한 점은 iso‑clinism이 Ann(M)⊂M·M을 만족하는 “stem” 형태로 강제될 수 있다는 사실이다. 따라서 두 라디칼 알gebra A와 B가 iso‑clinism이면, A/Ann(A)와 B/Ann(B) 사이의 동형과 A·A와 B·B 사이의 동형이 동시에 존재한다는 정의에 따라, 결국 b와 b′가 p^t‑배에 의해 동등한 Jordan 분해를 갖는지 여부만을 검사하면 된다.

결과적으로, 논문은 다음과 같은 정리를 제시한다.

1. 무한소 ℤₚ‑브레이스는 b의 Jordan 분해 (스케일, 차원, ε) 로 완전히 분류된다.
2. 유한소 ℤₚ‑브레이스는 위의 무한소 분류를 “lifting‑mod‑p^k” 과정을 통해 얻은 p‑adic 스케일에 따라 동일한 파라미터 집합으로 iso‑clinism이 결정된다.
3. 이 분류는 곱셈이 사이클릭이라는 가정(M·M이 ℤₚ) 하에서만 성립하며, 이 가정이 없으면 일반적인 라디칼 알gebra의 분류는 훨씬 복잡해진다.

또한, 저자들은 이러한 구조가 암호학(특히 블록 암호의 비선형 라운드 함수 설계)과 Hopf‑Galois 이론에서 유용하게 쓰일 수 있음을 간략히 언급한다.