This paper refines the relationship between centrally quasi-morphic and centrally morphic modules, correcting earlier equivalences and extending them to a broader module-theoretic framework. We prove that if a module \(M\) is image-projective and generates its kernels, then the following are equivalent: \(M\) is centrally morphic, \(M\) is centrally quasi-morphic, and its endomorphism ring \(S=\operatorname{End}_R(M)\) is right centrally morphic. This characterization clarifies the role of image-projectivity and kernel-generation in transferring morphic behavior between a module and its endomorphism ring. Furthermore, if \(R\) is a semiprime right centrally quasi-morphic ring with a von Neumann regular center \(Z(R)\), then \(R\) is strongly \(Ï\)-regular. In the module setting, when the endocenter \(Z(S)\) is von Neumann regular and the kernels and images of powers of endomorphisms are fully invariant, an image-projective module \(M\) is strongly \(Ï\)-endoregular if and only if its endomorphism ring \(S\) is semiprime and \(M\) is centrally quasi-morphic.
논문 ID : 2511.10569제목 : Central Quasi-Morphicity, Central Morphicity, and Strongly π-Regularity저자 : Theophilus Gera, Amit Sharma (Sardar Vallabhbhai National Institute of Technology, India)분류 : math.RA (환론 및 대수학)발표 시간 : 2025년 11월 14일 (arXiv 사전인쇄본)논문 링크 : https://arxiv.org/abs/2511.10569 본 논문은 중심 준-태사(centrally quasi-morphic) 가군과 중심 태사(centrally morphic) 가군 사이의 관계를 정밀하게 분석하고, 초기 문헌의 동치성 오류를 수정하며, 이를 더 광범위한 가군론 틀로 확장한다. 주요 결과는 다음과 같다:
가군론 동치성 : 가군 M이 상-사영적(image-projective)이고 그 핵(kernel)을 생성한다면, 다음이 동치이다: M은 중심 태사적이다, M은 중심 준-태사적이다, 그 자기동형환 S=End_R(M)은 우측 중심 태사적이다.환론 결과 : R이 반소(semiprime) 우측 중심 준-태사 환이고 그 중심 Z(R)이 von Neumann 정칙이면, R은 강π-정칙이다.가군론 일반화 : 적절한 조건 하에서, 상-사영적 가군 M은 강π-자기동형 정칙적이다 ⟺ 그 자기동형환 S는 반소이고 M은 중심 준-태사적이다.본 논문이 해결하고자 하는 핵심 문제는 태사 가군(morphic modules) 이론의 기본 동치 관계를 수정하고 완성하는 것 이다. 특히:
중심 준-태사성과 중심 태사성 사이의 정확한 관계 가군의 태사 성질이 그 자기동형환의 태사 성질과 어떻게 상호 변환되는지 중심 준-태사성과 강π-정칙성 사이의 구조적 연결 태사 환과 가군의 이론은 Nicholson과 Campos의 업적에서 비롯되었으며, 동형정리의 쌍대 유사물로 작용한다. 이 이론은 다음을 탐구한다:
영인자(annihilator), 핵, 상(image) 사이의 관계가 환과 가군의 내부 구조를 어떻게 특징지을 수 있는가 가환성 현상(중심 자기동형으로 증명되는)이 태사 행동에 어떻게 영향을 미치는가 정칙성 조건이 태사 성질을 통해 어떻게 나타나는가 문헌 3 (Dehghani and Sedaghatjoo, 2025)에 핵심 오류가 존재한다:
3, Proposition 2.3 의 오류 : 임의의 사영 가군 M에 대해, 중심 태사성이 중심 준-태사성과 동치라고 잘못 주장반례 : M = R = kx /(x²)는 중심 준-태사이지만 중심 태사가 아니다 (4, Remark 3.23 )근본 원인 : 가군과 그 자기동형환 사이의 태사 성질 이전을 보장하는 추가 가정의 부재본 논문의 출발점은:
오류 수정 : 동치성이 성립하기 위해 필요한 정확한 구조적 가정 파악이론 통일 : 가군론과 환론 틀 내에서 중심 준-태사성의 완전한 이론 수립다리 구축 : 중심 준-태사 조건과 강π-정칙성을 연결하여 Lee-Zhou의 고전 결과 확장기본 동치성 정리 수정 (Proposition 2.3):상-사영성과 핵 생성성이 중심 태사성과 중심 준-태사성의 동치를 위한 필요 조건임을 명확히 함 가군 수준과 자기동형환 수준의 태사 성질 상호 변환의 정확한 특징 제공 환론 구조 정리 수립 (Theorem 2.8):반소 중심 준-태사 환이 중심이 von Neumann 정칙이면 강π-정칙임을 증명 Lee-Zhou의 7, Proposition 23 을 태사 환에서 중심 준-태사 환으로 일반화 가군론 대응 결과 제시 (Proposition 2.10):적절한 완전 불변성 가정 하에서 강π-자기동형 정칙성 특징 규명 3, Proposition 3.11 의 불완전한 표현 수정반단순 Artin 경우 명확화 (Corollary 2.4):반단순 Artin 가군에 대해 중심 준-태사, 중심 태사, 자기동형환 중심 태사가 동치 4, Corollary 3.21 을 유한 생성 경우에서 임의의 반단순 Artin 가군으로 확장반례 및 경계 조건 분석 제공 (Remark 2.9):정리 조건의 필요성 시연 역명제가 성립하지 않음을 보여줌 본 논문이 연구하는 핵심 작업은 가군론 대상(가군 M 및 그 부분가군 구조)과 대수 대상(자기동형환 S 및 그 이데알 구조) 사이의 양방향 대응 관계 수립이다. 구체적으로:
입력 :
가군 M 및 그 자기동형환 S = End_R(M) 가군의 구조적 성질(상-사영성, 핵 생성성) 환의 정칙성 조건(중심의 von Neumann 정칙성, 반소성) 출력 :
태사 성질의 동치 특징 강π-정칙성의 필요충분조건 제약 조건 :
모든 환은 단위원을 가진 결합 환 모든 가군은 우측 가군(달리 명시되지 않는 한) 자기동형환은 가군에 좌작용 가군 M이 상-사영적 이라 함은, 임의의 f, g ∈ S에 대해 포함 관계 im(f) ⊆ im(g)이 어떤 s ∈ S에 대해 f = gs를 함축한다는 뜻이다.
기하학적 의미 : 상의 포함 관계가 자기동형환에서 대수적 반영을 갖는다.
가군 M이 그 핵을 생성한다 는 것은, 각 f ∈ S에 대해
ker f = ∑ { im ( γ ) ∣ γ ∈ S , im ( γ ) ⊆ ker f } \ker f = \sum\{\text{im}(\gamma) \mid \gamma \in S, \text{im}(\gamma) \subseteq \ker f\} ker f = ∑ { im ( γ ) ∣ γ ∈ S , im ( γ ) ⊆ ker f }
를 만족한다는 뜻이다.
의미 : 핵이 그 안에 포함된 자기동형의 상으로 생성될 수 있다.
가군 : M이 중심 준-태사적이라 함은, 각 f ∈ S에 대해 어떤 g, h ∈ Z(S)(중심)가 존재하여 ker f = im g이고 im f = ker h를 만족한다는 뜻이다.환 : R이 우측 중심 준-태사적이라 함은, 각 a ∈ R에 대해 중심원 b, c ∈ Z(R)가 존재하여 r.ann_R(a) = bR이고 aR = r.ann_R(c)를 만족한다는 뜻이다.위의 g, h를 같은 원소(또는 동치적으로 멱등원)로 선택할 수 있다면, 중심 태사적 이라 한다.
상-사영 가군 M에 대해:
ker f = im g이면 M은 ker f를 생성한다 M이 그 핵을 생성하고 r.ann_S(f) = eS (e는 멱등원)이면, ker f = eM 증명 사고 : 상-사영성을 이용하여 부분가군 포함 관계를 이데알 포함 관계로 변환한다.
R이 우측 중심 준-태사이고 Z(R)이 von Neumann 정칙이면, R은 또한 좌측 중심 준-태사이다.
증명 핵심 :
von Neumann 정칙성은 중심원을 중심 멱등원으로 대체하는 것을 허용한다 중심 멱등원 e에 대해, r.ann_R(e) = (1-e)R이고 l.ann_R((1-e)R) = eR이다 분해 R = eR ⊕ (1-e)R을 이용하여 좌우 대칭성을 실현한다 진술 : M을 우측 R-가군, S = End_R(M)이라 하자.
(1) M이 중심 준-태사이고 상-사영적이면 ⇒ S는 우측 중심 준-태사이고, M은 그 핵을 생성한다
(2) M이 상-사영이고 그 핵을 생성하며, S가 우측 중심 준-태사이면 ⇒ M은 중심 준-태사이다
(3) M이 상-사영이고 그 핵을 생성하면, 다음이 동치이다:
(a) M은 중심 태사적이다 (b) M은 중심 준-태사적이다 (c) S는 우측 중심 태사적이다 증명 사고 :
(1)의 증명 :
ker f = im g, im f = ker h (g, h ∈ Z(S))라 하자
im φ ⊆ im g = ker f를 만족하는 임의의 φ에 대해
상-사영성에 의해 ⇒ φ ∈ gS
따라서 r.ann_S(f) = gS
대칭적으로, fS = r.ann_S(h)
(2)의 증명 :
r.ann_S(f) = gS, fS = r.ann_S(h) (g, h ∈ Z(S))라 하자
그러면 g ∈ r.ann_S(f) ⇒ im g ⊆ ker f
x ∈ ker f에 대해, 핵 생성성에 의해:
x ∈ Σ im γ_i, 여기서 γ_i ∈ r.ann_S(f) = gS
⇒ im γ_i ⊆ im g
⇒ ker f = im g
대칭적으로 im f = ker h를 얻는다
(3)의 증명 :
(a)⇒(b): 정의에 의해 자명 (b)⇒(c): (1)에 의해, 생성원이 멱등원 (c)⇒(a): (2)에 의해 혁신 : 상-사영성과 핵 생성성이 불가피한 조건이며, 모든 사영 가군에서 자동으로 성립하지 않음을 명확히 한다.
효과적인 이유 :
상-사영성은 부분가군 포함을 이데알 포함으로 변환한다 핵 생성성은 핵이 중심원소의 상으로 표현될 수 있음을 보장한다 둘 다 가군과 환 사이의 양방향 변환을 보장한다 혁신 : 중심의 von Neumann 정칙성을 이용하여 멱등원 대체를 실현하고, 좌우 대칭성을 수립한다.
기술적 세부사항 :
중심원 c에 대해, cZ(R) = eZ(R)인 중심 멱등원 e가 존재한다 멱등원의 영인자는 간단한 형태를 갖는다: r.ann(e) = (1-e)R 이는 연쇄 조건의 분석을 크게 단순화한다 혁신 (Theorem 2.8의 핵심): 직교 멱등원 수열을 구성하고, 반소성을 이용하여 무한 상승 연쇄를 배제한다.
증명 틀 :
연쇄 g₁R ⊆ g₂R ⊆ ... 이 안정적이지 않다고 가정
e_k = g_k(1 - g_{k-1})인 직교 멱등원을 구성
그러면 (ae_k)^k = 0이 모든 k에 대해 성립
J = ⊕ Re_k를 고려 (0이 아닌 이데알의 직합)
J는 멱영 이데알 ⇒ 반소성과 모순
따라서 연쇄는 반드시 안정적이어야 한다
주 : 본 논문은 순수 이론 수학 논문이므로 실험 부분을 포함하지 않는다. 다음 내용은 이론적 검증 및 예제 분석이다.
목적 : 정리 조건의 필요성 검증
방법 :
부분 조건을 만족하지만 결론을 만족하지 않는 예제 구성 구체적 계산을 통해 성질의 실패 검증 목적 : 알려진 구조에서 일반 정리 검증
방법 :
반단순 Artin 가군에서 검증 (Corollary 2.4) 사영 가군에서 검증 (Corollary 2.5) 구성 : M = R = kx /(x²)
검증 :
M은 사영 가군이다 (R-가군으로 자유) M은 중심 준-태사적이다 M은 중심 태사적이 아니다 의미 : 3, Proposition 2.3 의 오류를 보여준다. 사영성은 동치성을 보장하기에 충분하지 않다.
구성 : R = Zx
검증 :
R은 교환적이다 (따라서 중심 준-태사적) R은 반소이다 Z(R) = R은 von Neumann 정칙이 아니다 R은 강π-정칙이 아니다 (x는 조건을 만족하지 않음) 의미 : Theorem 2.8의 von Neumann 정칙성 가정은 제거될 수 없다.
구성 : R = (k k)
(0 k) (2×2 상삼각 행렬)
검증 :
Z(R) ≅ k는 von Neumann 정칙이다 R은 Artin이다 (따라서 강π-정칙) R은 반소가 아니다 : I = (0 k)는 I² = 0을 만족
(0 0) R은 중심 준-태사가 아니다 의미 : Theorem 2.8의 역명제는 성립하지 않는다.
결과 : 상-사영 + 핵 생성 조건 하에서:
M 중심 태사 ⇔ M 중심 준-태사 ⇔ S 우측 중심 태사
문헌 3 과의 비교 :
3 의 오류 주장 : 사영 가군에 대해, 중심 태사 ⇔ 중심 준-태사본 논문의 수정 : 추가 조건 필요 (상-사영 + 핵 생성)반례 검증 : kx /(x²)는 사영이지만 동치성을 만족하지 않음결과 : 반소 + 우측 중심 준-태사 + 중심 von Neumann 정칙 ⇒ 강π-정칙
일반화 의미 :
Lee-Zhou 7, Prop 23 : 태사 환 ⇒ 강π-정칙본 논문의 일반화 : 중심 준-태사 환(더 약한 조건) ⇒ 강π-정칙기술적 개선 :
중심 정칙성을 이용한 멱등원 대체 멱영 이데알의 복잡한 분석을 피한 연쇄 안정성 결과 : 반단순 Artin 가군 M에 대해:
M 중심 준-태사 ⇔ M 중심 태사 ⇔ S 중심 태사
이유 :
반단순 가군은 자동으로 상-사영성과 핵 생성성을 만족한다 중심 Z(S)는 유한 개 체(field)의 직곱이다 (von Neumann 정칙) 모든 중심원이 생성하는 주 이데알은 중심 멱등원으로 생성된다 상-사영성은 기하학적 조건(부분가군 포함)을 대수적 조건(이데알 포함)으로 변환하며, 이는 가군과 환 사이의 변환의 다리이다.
구체적 체현 :
im f ⊆ im g ⇔ f ∈ gS r.ann_S(f) = gS의 검증을 가능하게 한다 핵 생성성은 핵이 자기동형의 상으로 표현될 수 있음을 보장하며, 환에서 가군으로의 복귀의 핵심이다.
구체적 체현 :
ker f는 {im γ | γ ∈ r.ann_S(f)}로 생성될 수 있다 r.ann_S(f) = gS와 결합하여 ker f = im g를 얻는다 von Neumann 정칙인 중심은 멱등원 대체를 허용하여 좌우 대칭성을 실현한다.
중요성 :
우측 중심 준-태사성을 양측 성질로 상향 (Lemma 2.2) 연쇄 조건 분석 단순화 (Theorem 2.8) Nicholson-Campos 8, 2004 : 태사 환 개념 도입, 동형정리의 쌍대로 작용Camillo-Nicholson 2, 2007 : 준-태사 환 도입Nicholson-Campos 9, 2005 : 태사성을 가군으로 일반화An-Nam-Tung 1, 2016 : 가군의 준-태사성Dehghani-Sedaghatjoo 3, 2025 : 중심 태사 및 중심 준-태사 가군 도입
기여 : 태사성과 가환성을 연결문제 : 3, Prop 2.3 이 사영 가군에서의 동치성을 잘못 주장본 논문의 수정 : 필요한 추가 조건 명확화Lee-Zhou 7, 2009 : 태사 환이 적절한 조건 하에서 강π-정칙임을 증명
원래 결과 : 태사 + 반소 + 중심 von Neumann 정칙 ⇒ 강π-정칙본 논문의 일반화 : 중심 준-태사 + 반소 + 중심 von Neumann 정칙 ⇒ 강π-정칙Gupta-Gera-Sharma-Gupta 4, 2025 :
3 의 오류 지적 (Remark 3.23)반례 제공: kx /(x²) 순수 부분가군과 직합 인수의 관계 연구 본 논문은 위 업적을 기반으로:
오류 수정 : 3 의 부정확한 표현 수정틀 통일 : 가군론과 환론의 체계적 대응 수립결과 일반화 : Lee-Zhou 결과를 중심 준-태사 경우로 확장이론 완성 : 완전한 반례 및 경계 조건 분석 제공핵심 결론 : 중심 태사성과 중심 준-태사성의 동치는 다음을 필요로 한다:
상-사영성(image-projectivity) 핵 생성성(kernel-generation) 이 두 조건은 가군과 자기동형환 사이의 태사 성질의 양방향 변환을 공동으로 보장한다.
핵심 결론 : 반소 환에 대해, 중심 준-태사성 + 중심 von Neumann 정칙성 ⇒ 강π-정칙성
이는 태사 조건과 정칙성 조건 사이의 구조적 다리를 수립한다.
핵심 결론 : 적절한 완전 불변성 가정 하에서:
M 강π-자기동형 정칙 ⇔ S 반소 + M 중심 준-태사
한계 : 상-사영성과 핵 생성성은 더 강한 조건이며, 모든 사영 가군이 만족하지는 않는다.
영향 : 이론의 적용 범위가 이러한 구조적 가정으로 제한된다.
한계 : Proposition 2.10은 "ker(f^n)과 im(f^n)이 완전 불변"이라는 조건을 요구한다.
문제 :
이 조건은 일반 경우에 검증하기 어렵다 만족을 보장하기 위해 추가 기술 도구가 필요하다 한계 : Theorem 2.8의 역명제는 성립하지 않는다 (Remark 2.9(2)).
의미 : 강π-정칙성이 중심 준-태사성을 함축하지 않으며, 중심 von Neumann 정칙인 경우에도 마찬가지이다.
한계 : 많은 결과가 중심의 정칙성에 의존하며, 비교환 환으로의 일반화는 더 정밀한 분석이 필요하다.
방향 : 상-사영성과 핵 생성성보다 더 약한 충분 조건 탐색.
가능한 경로 :
국소 조건 연구 (유한 생성 부분가군에서의 성질) 위상 또는 범주론적 방법 탐색 방향 : 중심 준-태사성과 다른 정칙성 개념의 관계 연구.
후보 개념 :
약 정칙성(weakly regular) 교환자 정칙성(commutator regular) π-정칙성의 다른 변종 방향 : 범주론 각도에서 태사성 이해.
가능한 틀 :
태사 범주의 성질 함자 성질의 특징 자연 변환의 역할 방향 : 주어진 가군이나 환이 중심 준-태사성을 만족하는지 판정하는 알고리즘 개발.
도전 :
강점 :
오류의 정확한 파악 : 3, Prop 2.3 의 문제점을 명확히 지적완전한 수정 : 오류 지적뿐 아니라 정확한 필요충분조건 제시반례 지원 : 각 조건의 필요성이 반례로 검증됨학술적 가치 : 해당 분야에 신뢰할 수 있는 이론적 기초 제공.
강점 :
Theorem 2.8의 증명 : 직교 멱등원 구성 + 반소성 논증, 기술이 정교함대칭화 기법 : von Neumann 정칙성을 이용한 좌우 대칭성 실현 (Lemma 2.2)연쇄 안정성 분석 : 이데알론적 방법을 통한 존재성 결과 수립기술적 기여 : 대수 구조 이론의 강력한 도구 시연.
강점 :
가군론-환론 대응 : 완전한 양방향 변환 틀 수립특수 경우 검증 : 반단순, 사영 등 경우에 명확한 특징고전 결과의 일반화 : Lee-Zhou 정리의 자연스러운 확장이론적 의미 : 통일된 이론 체계 형성.
강점 :
동기 명확 : 서론에서 연구 배경과 문제 출처를 명확히 설명구조 합리 : 기본 개념 → 보조정리 → 주요 정리, 논리 명확풍부한 예제 : 각 추상적 결과가 구체적 예제로 지원됨문제 : 논문이 주로 이론적이며 구체적 응용 사례가 부족하다.
개선 제안 :
대수 기하학이나 표현론에서의 응용 제시 구체적 환 종류(군환, 경로 대수)에서의 응용 논의 문제 : 상-사영성과 핵 생성성을 실제로 검증하는 방법이 논의되지 않았다.
개선 제안 :
문제 : 동조 대수학, K-이론 등 관련 분야와의 연결이 적다.
개선 제안 :
Ext, Tor 함자와의 관계 탐색 K₀ 군의 성질 논의 문제 : 논문 말미에 명확한 개방 문제가 나열되지 않았다.
개선 제안 :
단기 영향 :
오류 수정 : 후속 연구가 오류 결론에 기반하는 것 방지도구 제공 : 상-사영성 + 핵 생성성이 표준 조건으로 정착기준 수립 : Theorem 2.8이 강π-정칙성 판정 기준으로 작용장기 영향 :
이론 기초 : 태사 가군 이론에 견고한 기초 제공연구 방향 : 중심 준-태사성의 체계적 연구 개시방법론 : 가군론-환론 대응을 정밀화하는 방법 시연이론적 가치 : ★★★★★
응용 가치 : ★★★☆☆
현재는 주로 이론적 표현론, 대수 기하학에 잠재적 응용 이론 재현성 : ★★★★★
모든 증명이 완전하고 엄밀 반례가 구체적이고 검증 가능 계산 재현성 : ★★★☆☆
알고리즘과 구현 부재 기호 계산 시스템 지원 필요 가군론 연구 : 특수 유형 가군의 구조 연구환론 연구 : 비교환 환의 정칙성 연구동형 이론 : 자기동형환의 성질 연구표현론 : 대수 표현의 태사성 연구대수 기하학 : 층의 자기동형 연구작용소 대수 : 작용소 환의 구조 연구범주론 : Abel 범주로의 일반화동조 대수학 : 도출 범주와의 연결비교환 기하학 : 스펙트럼 이론과의 연결3 Dehghani-Sedaghatjoo (2025) : 중심 태사 가군 도입, 본 논문이 오류 수정4 Gupta-Gera-Sharma-Gupta (2025) : 3 의 반례 지적7 Lee-Zhou (2009) : 태사성과 강π-정칙성, 본 논문이 결과 일반화8 Nicholson-Campos (2004) : 태사 환의 기원9 Nicholson-Campos (2005) : 태사 가군, 상-사영성 도입본 논문은 환론과 가군론 분야의 고품질 순수 수학 이론 논문 으로, 다음과 같은 중요한 기여를 한다:
✅ 문헌 오류를 엄밀하게 수정 하고 정확한 필요충분조건 제시
✅ 고전 결과를 일반화 하여 Lee-Zhou 정리를 중심 준-태사 경우로 확장
✅ 체계적 이론 수립 으로 가군론-환론 대응 관계를 완전히 특징화
✅ 정교한 증명 기법 시연으로 대수 구조 이론의 깊이 드러냄
⚠️ 응용 장면 강화 필요 - 이론성이 강하지만 실제 응용이 명확하지 않음
⚠️ 계산 방법 부재 - 알고리즘 및 복잡성 분석 필요
권장 독자 : 환론, 가군론, 비교환 대수 연구자; 태사 구조 및 정칙성 이론에 관심 있는 수학자.