[논문 리뷰] Derivations and Iterated Skew Polynomial Rings

Michael Gr. Voskoglou|arXiv (Cornell University)|2012. 09. 21.

Rings, Modules, and Algebras참고 문헌 26인용 수 3

한 줄 요약

이 논문은 반복 스칼라 다항식 링의 단순성을 결정하는 데 있어 도함수의 역할과 그 도함수의 도함수를 조사한다. 특별히, 특성 0인 체 위에서 크룰 차원 1인 가환 유한 생성 대수에 대해, 단일 도함수에 대한 미분 단순성은 해당 스칼라 다항식 링의 단순성에 대해 필요이고 충분한 조건임을 입증한다.

ABSTRACT

Two are the objectives of the present paper. First we study properties of a differentially simple commutative ring R with respect to a set D of derivations of R. Among the others we investigate the relation between the D-simplicity of R and that of the local ring RP with respect to a prime ideal P of R and we prove a criterion about the D- simplicity of R in case where R is a 1-dimensional (Krull dimension) finitely generated algebra over a field of characteristic zero and D is a singleton set. The above criterion was quoted without proof in an earlier paper of the author. Second we construct a special class of iterated skew polynomial rings defined with respect to finite sets of derivations of a ring R (not necessarily commutative) commuting to each other. The important thing in this class is that, if R is a commutative ring, then its differential simplicity is the necessary and sufficient condition for the simplicity of the corresponding skew polynomial ring. Key-Words- Derivations, Differentially simple rings, Finitely-generated algebras, Iterated skew polynomial rings, Simple rings.

연구 동기 및 목표

• 도함수의 집합에 대해 가환 링의 D-단순성을 분석하기.
• 링 R의 D-단순성과 그 소수 이상의 국소화의 D-단순성 간의 관계를 조사하기.
• D가 단일 원소 집합일 때, 특성 0인 체 위의 1차원 유한 생성 대수에서 D-단순성의 기준을 설정하기.
• 서로 가환하는 도함수들을 이용해 링 R 위에서 반복 스칼라 다항식 링의 클래스를 구성하기.
• R이 가환일 때, 그에 대응하는 스칼라 다항식 링의 단순성에 대해 미분 단순성이 필수적이고 충분한 조건임을 증명하기.

제안 방법

• 가환 링 위의 도함수의 구조와 소수 이상에서의 행동을 분석하기.
• 교환 대수학과 미분 대수학의 기법을 적용하여 도함수에 의한 링의 아이디얼 구조를 연구하기.
• 유한 생성성과 크룰 차원 1의 조건을 이용해 단일 도함수의 경우에 대한 D-단순성 기준을 유도하기.
• 서로 가환하는 도함수의 순서를 이용해 반복 스칼라 다항식 링을 구성하기.
• 결과적으로 스칼라 다항식 링의 단순성을 보장하기 위해 미분 단순성 개념을 핵심 조건으로 활용하기.
• 서로 가환하는 도함수들이 반복 스칼라 확장을 잘 정의할 수 있음을 활용하기.

실험 결과

연구 질문

• RQ1 가환 링 R이 도함수의 집합 D를 갖는 조건에서 언제 D-단순성이 되는가?
• RQ2 R의 D-단순성은 R의 소수 이상에서의 D-단순성과 어떻게 관련되어 있는가?
• RQ3 D가 단일 원소 집합일 때, 특성 0인 체 위의 1차원 유한 생성 대수에서 D-단순성을 보장하는 기준은 무엇인가?
• RQ4 서로 가환하는 도함수들로부터 구성된 반복 스칼라 다항식 링의 단순성을 보장하는 조건은 무엇인가?
• RQ5 가환 링 R의 미분 단순성은 해당 스칼라 다항식 링의 단순성에 대해 필수적이고 충분한 조건인가?

주요 결과

• 특성 0인 체 위에서 크율 차원 1인 가환 유한 생성 대수 R에 대해, R은 D-단순성이 되는 것과 동시에 비자명한 D-불변 아이디얼을 갖지 않는 것과 동치이다.
• R의 D-단순성은 R의 임의의 소수 이상 P에 대해 국소화 RP의 D-단순성을 유도한다.
• D가 단일 원소 집합일 경우, R의 D-단순성은 R 내의 비자명한 D-안정 아이디얼이 존재하지 않음으로써 특징지어진다.
• 서로 가환하는 도함수들을 이용해 링 R 위에서 구성된 반복 스칼라 다항식 링은 R이 미분 단순할 때이고 그 때에만 단순하다.
• 서로 가환하는 도함수를 통해 반복 스칼라 다항식 링을 구성하면, 제어된 아이디얼 이론을 갖는 잘 정의된 링의 구조를 얻는다.
• 논문은 이전 저자의 작업에서 근거 없이 인용된 D-단순성 기준에 대한 증명을 제공한다.