[논문 리뷰] On quasi-Baer rings of Ore extensions

Mohamed Louzari, L'moufadal Ben Yakoub|ArXiv.org|2007. 08. 16.

Rings, Modules, and Algebras참고 문헌 9인용 수 5

한 줄 요약

이 논문은 링 $ R $ 가 오레 확장 $ R[x;\sigma,\delta] $ 와 함께 쿼اسي-베어일 조건을 설정한다. 만약 $ R $ 가 $ \sigma $ 가 자명사상인 $ (\sigma,\delta) $-스키어 아르멘다르즈 링이면서 모든 왼쪽 반중심 아이디포텐트 $ e $ 에 대해 $ Re $ 가 $ (\sigma,\delta) $-안정이라면, $ R $ 가 쿼اسي-베어일 조건과 $ R[x;\sigma,\delta] $ 가 쿼اسي-베어일 조건이 동시에 성립한다. 이 결과는 이전 연구를 일반화하며, 이전의 호환성 기반 정리들에 의해 함의되지 않는다.

ABSTRACT

Let $R$ be a ring and $S=R[x;σ,δ]$ its Ore extension. We prove under some conditions that $R$ is a quasi-Baer ring if and only if the Ore extension $R[x;σ,δ]$ is a quasi-Baer ring. Examples are provided to illustrate and delimit our results.

연구 동기 및 목표

• 링 $ R $ 에서의 쿼اسي-베어 성질이 오레 확장 $ R[x;\sigma,\delta] $ 로 이행되는 조건을 규명하는 것.
• 이전의 $ \sigma $-리지드 및 $ (\sigma,\delta) $-호환 링에 대한 결과를 더 넓은 링의 범주로 확장하는 것.
• $ R $ 가 $ (\sigma,\delta) $-스키어 아르멘다르즈이고 $ \sigma $ 가 자명사상이라면, 오레 확장에서 쿼اسي-베어 성질이 유지됨을 보이는 것.
• 결과의 범위를 제한하는 예를 제시하여 이들이 이전 정리들에 의해 함의되지 않음을 보여주는 것.
• [7, 정리 12]의 $ \sigma $-리지드 링에 대한 부분 일반화를 확립하는 것.

제안 방법

• $ pq = 0 $ 이면 모든 $ i,j $ 에 대해 $ a_i x^i b_j x^j = 0 $ 이 성립하는 $ (\sigma,\delta) $-스키어 아르멘다르즈 링의 사용.
• $ x^n r = \sum_{i=0}^n f_i^n(r) x^i $ 라는 항등식을 활용하며, 여기서 $ f_i^n $ 은 $ \sigma $ 와 $ \delta $ 의 복합 함수이다.
• $ R $ 가 $ (\sigma,\delta) $-스키어 아르멘다르즈이면 $ R[x;\sigma,\delta] $ 의 임의의 아이디포텐트는 상수여야 한다는 것을 보이기 위해 레마 2.2 를 활용한다.
• 모든 $ e \in \mathcal{S}_\ell(R) $ 에 대해 $ Re $ 가 $ (\sigma,\delta) $-안정이라는 조건을 통해 영수자들의 행동을 통제한다.
• 영수자 구조를 활용: $ r_S(IS) = eS $ 는 어떤 아이디포텐트 $ e \in S = R[x;\sigma,\delta] $ 에 대해 성립하며, 이를 $ r_R(I) $ 와 연결한다.
• $ \sigma $-리지드 링이 $ (\sigma,\delta) $-스키어 아르멘다르즈이자 감소형이라는 사실을 이용해 이전 결과와 연결한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 링 $ R $ 에서의 쿼اسي-베어 성질이 오레 확장 $ R[x;\sigma,\delta] $ 로 이행되는가?
• RQ2 $ \sigma $-리지드 링에 대한 결과를 $ \sigma $-리지드성 이외의 범위로 일반화할 수 있는가?
• RQ3 역으로 참이 되는가? 즉, $ R[x;\sigma,\delta] $ 가 쿼اسي-베어라면 동일한 조건 하에서 $ R $ 도 쿼اسي-베어여야 하는가?
• RQ4 이 논문에서 제시된 조건들이 이전의 호환성 조건들보다 엄밀히 더 약한가?
• RQ5 $ R $ 가 쿼اسي-베어가 아니지만 $ R[x;\delta] $ 는 쿼اسي-베어가 되는 예를 만들 수 있는가?

주요 결과

• $ R $ 가 $ \sigma $ 가 자명사상인 $ (\sigma,\delta) $-스키어 아르멘다르즈 링이면서 모든 $ e \in \mathcal{S}_\ell(R) $ 에 대해 $ Re $ 가 $ (\sigma,\delta) $-안정이라면, $ R $ 가 쿼اسي-베어일 조건과 $ R[x;\sigma,\delta] $ 가 쿼اسي-베어일 조건이 동시에 성립한다.
• 이 결과는 [4, 정리 2.8] 에 의해 함의되지 않음을 예시로 보여주었으며, $ R $ 가 $ \sigma $-스키어 아르멘다르즈이지만 $ (\sigma,\delta) $-호환성이 아닌 경우가 존재한다.
• 예제 3.6 은 $ R $ 가 쿼اسي-베어가 아니어도 $ R[x;\delta] $ 가 바어(따라서 쿼اسي-베어)일 수 있음을 보여주며, 조건의 필수성을 입증한다.
• 예제 3.9 는 역이 일반적으로 성립하지 않음을 보여준다: $ R $ 가 쿼اسي-베어이지만 $ R[x;\sigma] $ 는 쿼اسي-베어가 아닐 수 있다. 이는 $ R $ 가 $ \sigma $-스키어 아르멘다르즈일 수 있음에도 불구하고.
• 정리 3.8 은 결과가 [7, 정리 12] 를 일반화함을 보여주며, $ \sigma $-리지드 링이 $ (\sigma,\delta) $-스키어 아르멘다르즈이기 때문이다.
• 정리 3.10 은 제시된 조건 하에서 $ R $ 와 $ R[x;\sigma,\delta] $ 가 모두 쿼اسي-베어일 조건이 대칭적으로 동치임을 증명하며, 새로운 특성화를 제공한다.