[논문 리뷰] 2-Local derivations on matrix rings over associative rings

Shavkat Ayupov, Farhodjon Arzikulov|arXiv (Cornell University)|2013. 03. 25.

Advanced Topics in Algebra참고 문헌 6인용 수 3

한 줄 요약

이 논문은 가환 결합 법칙을 만족하는 링 $\Re$ 위의 행렬 링 $M_n(\Re)$에서의 모든 내부 2-국소 도함수는 내부 도함수임을 증명하며, $\Re$에서의 모든 도함수는 $M_n(\Re)$로 확장됨을 보여준다. 이러한 결과는 이전의 2-국소 도함수에 관한 연구를 가환 행렬 링으로 일반화하고, 비단위 및 비분리 설정에서 도함수의 기본적인 확장 정리를 제공한다.

ABSTRACT

In the present paper it is proved that every inner 2-local derivation on the matrix ring $M_n(\Re)$ of $n imes n$ matrices over a commutative associative ring $\Re$ is an inner derivation. Also, it is proved that, every derivation on an associative ring $\Re$ has an extension to a derivation on the matrix ring $M_n(\Re)$ of $n imes n$ matrices over $\Re$.

연구 동기 및 목표

• 가환 결합 법칙 링 $\Re$ 위의 행렬 링에서의 내부 2-국소 도함수가 내부 도함수인지 여부를 규명하는 것.
• 결합 법칙 링 $\Re$에서의 도함수들이 행렬 링 $M_n(\Re)$로 어떻게 확장되는지 조사하는 것.
• 이전의 유한 차원 및 힐버트 공간 설정에서의 2-국소 도함수 결과를 일반적인 가환 결합 법칙 링으로 일반화하는 것.
• 2-국소 도함수가 덧셈성을 가지며 따라서 도함수임을 보장하는 조건을 설정하는 것.
• 비단위 및 비분리 대수적 설정에서 내부 2-국소 도함수의 구조적 성질을 탐색하는 것.

제안 방법

• 모든 $x,y$에 대해 어떤 $a \in M_n(\Re)$가 존재하여 $\Delta(x) = [a,x]$ 및 $\Delta(y) = [a,y]$를 만족하는 맵 $\Delta: M_n(\Re) \to M_n(\Re)$를 내부 2-국소 도함수로 정의한다.
• 행렬 단위 $\{e_{i,j}\}$를 사용하여 원소를 분해하고, $\Delta$가 기본 행렬 위에서 작용하는 방식을 분석한다.
• 행렬 성분 항등식에 관한 보조정리들을 통해 $e_{i,j}$ 및 $\sum e_{k,k+1}$ 위에서 $\Delta$의 작용이 관련된 교환자에서 일관성을 갖는다는 것을 증명한다.
• 먼저 $M_2(\Re)$로, 그 다음 $M_4(\Re)$로, 이를 반복하여 확장하는 방식으로 $M_n(\Re)$로의 도함수 확장을 구성한다. 이때 $M_n(\Re)$로의 제한을 투영을 통해 수행한다.
• 귀납법과 부분환 확장 기법을 적용하여 $\bar{M}_2(\Re) \cong M_2(\Re)$에서의 도함수가 $M_n(\Re)$로 확장됨을 보인다.
• 만약 $\Re$가 두 개의 원소로 생성되고 $\Delta$가 덧셈성을 갖는다면, 생성자에 대한 다항식의 교환자 구조를 통해 $\Delta$는 내부 도함수임을 증명한다.

실험 결과

연구 질문

• RQ1 가환 결합 법칙 링 $\Re$ 위의 행렬 링 $M_n(\Re)$에서의 모든 내부 2-국소 도함수가 반드시 내부 도함수인가?
• RQ2 모든 도함수 $\Re$에서의 도함수가 $M_n(\Re)$로 확장될 수 있는가?
• RQ3 어떤 조건에서 가환 링 $\Re$에서의 2-국소 도함수가 덧셈적이며 따라서 도함수인가?
• RQ4 비분리 또는 무한 차원 설정에서 $\Re$에서 $M_n(\Re)$로의 도함수 확장이 성립하는가?
• RQ5 두 개의 원소로 생성된 링에서 내부 2-국소 도함수가 내부 도함수임을 보장하는 구조적 제약 조건은 무엇인가?

주요 결과

• 가환 결합 법칙 링 $\Re$에 대해 $M_n(\Re)$에서의 모든 내부 2-국소 도함수는 내부 도함수이다.
• 모든 도함수 $\Re$에서의 도함수는 $M_2(\Re)$, $M_4(\Re)$ 등으로의 단계적 확장을 통해 $M_n(\Re)$로 확장된다.
• 확장은 $M_{2^k}(\Re)$ 위의 더 큰 도함수를 $e = \sum_{i=1}^n e_{i,i}$ 투영을 통해 $M_n(\Re)$로 제한함으로써 달성된다.
• 두 원소로 생성된 링 $\Re$에 대해, 만약 내부 2-국소 도함수 $\Delta$가 덧셈성을 갖는다면, $\Delta$는 내부 도함수이다.
• 결과는 $n=1$일 때 성립하지 않으며, $U_2(\mathbb{C})$에서의 반례를 통해 내부 2-국소 도함수가 덧셈적이지 않음을 보였다.
• 바나흐 대칭 대수 $\mathcal{M}$의 투영 원소의 격자에서 비원자성(Non-atomicity)이 성립하면, $S(\mathcal{M})$에서 도함수가 아닌 2-국소 도함수가 존재함을 시사하며, 이는 확장 성질에 대한 한계를 보여준다.