[논문 리뷰] Ore Extensions of Extended Symmetric and Reversible Rings

Mohamed Louzari, L'moufadal Ben Yakoub|ArXiv.org|2007. 09. 04.

Rings, Modules, and Algebras참고 문헌 18인용 수 11

한 줄 요약

이 논문은 오레 확장 $ R[x;\sigma,\delta] $ 에서 대칭성과 가역성이 유지되는 조건을 규명한다. 만약 $ R $ 이 $ (\sigma,\delta) $-스키 어암엔다르즈이고 $ a\sigma(b)=0 \Rightarrow ab=0 $ 를 만족하면, $ R $ 이 대칭적(또는 가역적)임과 동시에 $ \sigma $-대칭적(또는 $ \sigma $-가역적)임과 동시에 $ R[x;\sigma,\delta] $ 가 대칭적(또는 가역적)임이 서로 동치임을 보여준다. 또한 오레 확장에서 베어, 쿼지-베어, p.q.-베어 성질의 일반화를 진행한다.

ABSTRACT

Let $σ$ be an endomorphism and $δ$ an $σ$-derivation of a ring $R$. In this paper, we show that if $R$ is $(σ,δ)$-skew Armendariz and $aσ(b)=0$ implies $ab=0$ for $a,b\in R$. Then $R$ is symmetric (respectively, reversible) if and only if $R$ is $σ$-symmetric (respectively, $σ$-reversible) if and only if $R[x;σ,δ]$ is symmetric (respectively, reversible). Moreover, we study on the relationship between the Baerness, quasi-Baerness and p.q.-Baerness of a ring $R$ and these of the Ore extension $R[x;σ,δ]$. As a consequence we obtain a partial generalization of \cite{hong/2000}.

연구 동기 및 목표

• 환 $ R $ 에서의 대칭성과 가역성이 오레 확장 $ R[x;\sigma,\delta] $ 로 어떻게 전이되는지 조사하는 것.
• 오레 확장과 비대칭 도함수를 고려한 $ \sigma $-강성, 어암엔다르즈, 가역적 환에 대한 기존 결과를 확장하는 것.
• 오레 확장 하에서의 베어, 쿼지-베어, p.q.-베어 성질의 유지 여부를 일반화하는 것.
• $ \sigma $-대칭성, $ \sigma $-가역성과 $ R $ 내의 고전적 대칭성/가역성 간의 관계를 명확히 하는 것.
• [11]에서의 $ \sigma $-강성 환에 대한 결과를 더 넓은 범위의 $ (\sigma,\delta) $-스키 어암엔다르즈 환으로 부분적으로 일반화하는 것.

제안 방법

• $ \mathcal{C}_\sigma $ 조건: $ a\sigma(b)=0 \Rightarrow ab=0 $ 를 도입하여, $ \sigma $-가역성과 고전적 가역성 간의 연결 고리를 제공한다.
• $ (\sigma,\delta) $-스키 어암엔다르즈 환을 사용하며, 이는 $ R[x;\sigma,\delta] $ 에서 $ pq=0 $ 이면 모든 $ i,j $ 에 대해 $ a_i \sigma^i(b_j) = 0 $ 이 성립함을 의미한다.
• 오레 확장에서의 계수의 재귀적 분석을 적용하며, 항등식 $ x^na = \sum_{i=0}^n f_i^n(a)x^i $ 를 활용한다. 여기서 $ f_i^n $ 은 $ \sigma $ 와 $ \delta $ 의 복합 함수이다.
• 소거자 기법을 활용한다: 부분집합 $ A \subseteq R[x;\sigma,\delta] $ 에 대해 소거자는 계수 집합 $ A^* $ 를 통해 분석된다.
• $ R $ 이 오른쪽 $ \sigma $-가역적이고 $ \mathcal{C}_\sigma $ 조건을 만족하면, $ R[x;\sigma,\delta] $ 가 베어, 쿼지-베어, p.q.-베어 성질을 그대로 이어받음을 증명한다.
• 레마 4.1 을 사용하여, 만약 $ e \in r_R(A^*) $ 이면 $ e \in r_{R[x;\sigma,\delta]}(A) $ 임을 보여, 확장에서 소거자를 구성하는 데 기여한다.

실험 결과

연구 질문

• RQ1 $ R $ 이 대칭적(또는 가역적)임과 동시에 $ R[x;\sigma,\delta] $ 가 대칭적(또는 가역적)임이 서로 동치가 되는 조건은 무엇인가?
• RQ2 $ (\sigma,\delta) $-스키 어암엔다르즈 조건과 $ \mathcal{C}_\sigma $ 조건이 대칭성과 가역성을 유지하는 데 어떻게 상호작용하는가?
• RQ3 $ R $ 이 $ \mathcal{C}_\sigma $ 와 $ \sigma $-가역성을 만족할 때, 오레 확장 $ R[x;\sigma,\delta] $ 에서의 베어, 쿼지-베어, p.q.-베어 성질은 어느 정도 유지되는가?
• RQ4 $ \sigma $-강성 환에 대한 결과를 $ \mathcal{C}_\sigma $ 를 만족하는 $ (\sigma,\delta) $-스키 어암엔다르즈 환으로 일반화할 수 있는가?
• RQ5 $ \sigma $-호환성과 $ \delta $-호환성이 오레 확장으로의 환 이론적 성질 전이에 어떤 역할을 하는가?

주요 결과

• $ R $ 이 $ (\sigma,\delta) $-스키 어암엔다르즈이고 $ \mathcal{C}_\sigma $ 조건을 만족하면, $ R $ 이 대칭적(또는 가역적)임과 동시에 $ R $ 이 $ \sigma $-대칭적(또는 $ \sigma $-가역적)임과 동시에 $ R[x;\sigma,\delta] $ 가 대칭적(또는 가역적)임이 서로 동치이다.
• 정리 4.2(1)-(3) 은 $ R $ 이 베어, 쿼지-베어, 또는 p.q.-베어 환이고 $ \mathcal{C}_\sigma $ 조건을 만족하면, $ R[x;\sigma,\delta] $ 도 동일한 성질을 유지함을 보여준다.
• 정리 4.2 의 증명은 어떤 소거 다항식의 모든 계수가 $ A^* $ 의 소거자에 속한다는 것을 보여, 이는 $ R $ 내의 아이디포턴트에 의해 생성된다.
• $ \mathcal{C}_\sigma $ 조건은 필수적이다: 이 조건이 없으면 $ \sigma $-대칭성은 확장에서 고전적 대칭성으로 이어지지 않는다.
• 이 논문의 결과는 [11, 정리 11, 추론 12 및 15] 에서의 $ \sigma $-강성 환에 대한 결과를 일반화한다. 왜냐하면 $ \sigma $-강성 환은 $ \mathcal{C}_\sigma $ 를 만족하고 $ (\sigma,\delta) $-스키 어암엔다르즈이기 때문이다.
• 논문은 $ \sigma $-강성 환이 $ (\sigma,\delta) $-호환성과 감소적임을 확인하며, 따라서 주요 정리에 필요한 조건을 만족함을 확인한다.