단조적 원소의 취소성 단계와 안정 차수 연구

초록

이 논문은 교환 모노이드와 그 위의 모듈 클래스에서 정의되는 “안정 차수”라는 새로운 불변량을 도입하고, 그 값이 원소의 취소성 수준을 어떻게 결정하는지를 체계적으로 조사한다. 특히 배수 원소의 안정 차수 변동, 정제 모노이드의 아키메데안 성분에서 가능한 차수 집합, 그리고 모듈 동형 클래스 모노이드와 엔드링환의 K‑이론적 안정 차수와의 관계를 상세히 다룬다.

상세 분석

논문은 먼저 기존 K‑이론에서 사용되는 “stable rank” 개념을 일반 교환 모노이드 M의 원소 a에 대해 정의한다. a가 n‑stable rank 조건을 만족한다는 것은 n·a + x = a + y 라는 등식이 주어졌을 때, 어떤 e∈M가 존재해 n·a = a + e 그리고 e + x = y 를 만족함을 의미한다. 이때 최소 n을 sr_M(a)라 하고, 존재하지 않으면 ∞로 정의한다. 이러한 정의는 “a가 더 높은 차수일수록 더 강한 취소성을 가진다”는 직관과 일치한다.

첫 번째 주요 결과는 배수 원소의 안정 차수가 단조적으로 감소한다는 사실이다. 구체적으로 k ≤ ℓ이면 sr_M(k·a) ≥ sr_M(ℓ·a)이며, sr_M(a) 가 유한하면 k ≥ sr_M(a) − 1 일 때 sr_M(k·a) ≤ 2 로 급격히 낮아진다. 이는 “충분히 큰 배수는 거의 취소성을 갖는다”는 의미이며, 정리 4.9·4.12 에서는 더 정밀하게 1 + ⌈(n − 1)/k⌉ ≤ sr_M(k·a) ≤ 1 + ⌈(n − 1)/k⌉ 를 보인다. 특히 M이 정제 모노이드이면 등호가 성립한다.

다음으로 아키메데안 성분 C⊂M에 대한 연구가 전개된다. C는 h_x = h_y 로 정의되는 동등류이며, 각 성분에서 나타날 수 있는 안정 차수 집합 sr_M(C)는 크게 네 가지 경우만 가능하다: 전자집합 ℤ_{>0}, ℤ_{≥2}, 무한대 {∞}, 혹은 ℤ_{>0} 혹은 ℤ_{≥2}의 유한 부분집합. M이 원뿔형(conical)일 경우 {1} 혹은 ℤ_{≥2} 혹은 {∞} 혹은 ℤ_{≥2}의 유한 부분집합만이 나타난다. 이는 정제 모노이드가 갖는 구조적 제한을 반영한다.

또한 분리적(separative) 모노이드에서는 모든 원소의 안정 차수가 1, 2, 혹은 ∞ 중 하나임을 보인다(정리 5.8). 이는 “분리성”이라는 조건이 차수의 폭을 크게 축소한다는 의미다.

정제 모노이드의 경우, 특히 단순(conical) 정제 모노이드를 대상으로 한 정리 6.3·6.4·7.9 에서는 안정 차수의 상한이 유한하면 전체 모노이드가 취소적(cancellative)이며 모든 원소가 차수 1을 갖는다. 반대로 차수가 무한대이거나 ℤ_{≥2} 전체가 나타날 수 있음을 보여, 가능한 경우가 정확히 세 가지( {1}, {∞}, ℤ_{≥2} )임을 확정한다.

마지막 장에서는 모듈 동형 클래스 모노이드 V(R)와 같은 구체적 예시를 다룬다. 여기서 sr_V(R)(