[논문 리뷰] Finite basis problem for identities with involution

Irina Sviridova|arXiv (Cornell University)|2014. 10. 08.

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

한 줄 요약

이 논문은 특성 0인 체 위의 결합 대수에서의 고정된 원소를 갖는 항등식에 대한 스펙트 문제를 양의 해결으로 제시한다. 유한 차원의 $ Z/4 d$-중복된 대수와 중복된 고정원소를 갖는 $ Z/4 d$-중복된 대수의 그라스만 $Z/4$-확장이 모든 이러한 대수가 동일한 항등식을 만족시킴을 증명하고, PI-표현 가능성 결과를 활용함으로써, $*$-T-이디얼이 유한 생성임을 보이며, 따라서 $*$-항등식에 대한 유한 기저 문제를 해결한다.

ABSTRACT

We consider associative algebras with involution over a field of characteristic zero. We proved that any algebra with involution satisfies the same identities with involution as the Grassmann envelope of some finite dimensional $Z_4$-graded algebra with graded involution. As a consequence we obtain the positive solution of the Specht problem for identities with involution: any associative algebra with involution over a field of characteristic zero has a finite basis of identities with involution. These results are analogs of theorems of A.R.Kemer for ordinary identities.

연구 동기 및 목표

• 특성 0인 체 위의 결합 대수에서의 고정원소를 갖는 항등식에 대한 스펙트 문제를 해결하기 위해.
• 기존에 일반 다항항등식에 대해 제시된 케머의 분류 정리들을 고정원소를 갖는 대수의 맥락으로 확장하기 위해.
• 특성 0인 체 위의 모든 결합 $*$-대수에서 고정원소를 갖는 항등식이 유한 기저를 가짐을 보장하기 위해.
• 초월 기법과 PI-표현 가능성 기법을 $ Z/4 d$-중복된 구조를 활용하여 고정원소의 맥락으로 일반화하기 위해.
• 유한 차원 $ Z/4 d$-중복된 대수와 중복된 고정원소를 갖는 그라스만 확장에 의한 $*$-항등식의 구조적 특성화를 제공하기 위해.

제안 방법

• 유한 차원 $ Z/4 d$-중복된 대수 $C$와 중복된 고정원소를 갖는 그라스만 $ Z/4 d$-확장 $E_4(C)$를 구성하고, 모든 $*$-대수가 이러한 확장과 PI-동치임을 보임.
• $C = B \bigoplus J$의 분해를 사용하여, 여기서 $B$는 반단순이고 $J$는 노르말리티브한 중복된 아이디얼임을 이용해 $E_4(C)$의 구조를 분석함.
• 고정원소를 갖는 항등식의 $*$-T-이디얼의 구조를 적용하여, 이러한 이디얼이 고정원소와 가환하는 자기사상에 대해 닫혀 있음을 보임.
• 다항식의 다중선형 평가와 중심 부분대수 $E_{\bar{0}}$의 작용을 활용하여, 고차수 다항식이 모두 노르말리티브한 성분만 포함하면 $E_4(C)$에서 0이 됨을 보임.
• $E_{\bar{0}}$가 중심적으로 작용하고 $ Z/4 d$-중복 구조와 고정원소를 유지함을 이용하여, 특정 평가의 0이 되게 하는 항등식을 유도함.
• 비례적 모순을 이용하여, 비유한 생성인 $*$-T-이디얼을 가정하고, 고차수 다항식 $f_k$가 모든 평가에서 0이 되어야 함을 보임으로써 $f_k$가 이디얼에 속하게 되며, 이는 생성의 유한성을 증명함.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 결합 대수에서 고정원소를 갖는 항등식에 대한 스펙트 문제가 양적으로 해결될 수 있는가?
• RQ2 모든 결합 $*$-대수는 유한 차원 $ Z/4 d$-중복된 대수와 중복된 고정원소를 갖는 그라스만 확장과 PI-동치인가?
• RQ3 특성 0인 체 위의 어떤 결합 $*$-대수의 $*$-T-이디얼이 유한 기저를 갖는가?
• RQ4 케머의 일반 항등식에 대한 분류 정리가 $ Z/4 d$-중복된 구조를 통해 고정원소의 맥락으로 확장될 수 있는가?
• RQ5 유한 차원 $ Z/4 d$-중복된 대수와 중복된 고정원소를 갖는 구조적 특성화를 통해 $*$-항등식을 특성화할 수 있는가?

주요 결과

• 특성 0인 체 위의 모든 결합 대수와 고정원소는 유한 차원 $ Z/4 d$-중복된 대수와 중복된 고정원소를 갖는 그라스만 $ Z/4 d$-확장과 동일한 고정원소를 갖는 항등식을 만족한다.
• 이러한 대수의 $*$-T-이디얼은 $*$-T-이디얼로서 유한 생성되며, 고정원소를 갖는 항등식의 유한 기저 문제를 해결한다.
• 이 증명은 저자가 이전에 확립한 유한 생성된 $ Z/4 d$-중복된 PI-대수와 중복된 고정원소를 갖는 대수의 PI-표현 가능성 결과에 기반한다.
• 그라스만 확장 $E_4(C)$의 구조는 $E_4(B) \bigoplus E_4(J)$로 분해되며, 여기서 $E_4(B)$는 $*$-부분대수이고 $E_4(J)$는 유한 차수의 노르말리티브한 $*$-이디얼이다.
• 다중선형 고차수 다항식의 평가값은 모두 노르말리티브한 부분에 속해 있으면 $E_4(C)$에서 0이 되며, 중심 부분대수 $E_{\bar{0}}$의 작용으로 인해 일부 성분이 반단순 부분에 속해도 여전히 0이 된다.
• 모순에 의한 추론을 통해, 임의의 항등식 집합으로 생성된 $*$-T-이디얼은 반드시 유한 생성되어야 하며, 否면 고차수 다항식이 이디얼에 강제로 포함되어 최소성에 위배된다.