[논문 리뷰] Associative algebras satisfying a semigroup identity

David M. Riley, Mark C. Wilson|ArXiv.org|1998. 02. 06.

Advanced Topics in Algebra참고 문헌 5인용 수 4

한 줄 요약

이 논문은 무한 체 위의 결합 대수에서 원소 간의 원환형 연산 $x*y = x + y + xy$에 대해 준동형 항등식을 만족하는 대수, 그 대수의 곱셈 반군에서의 축약된 항등식을 만족하는 대수, 그리고 관련 리 대수에서 엔겔 조건을 만족하는 대수 사이의 동치성을 확립한다. 유한 생성 대수의 경우, 이러한 모든 조건은 상부 리 노르미너트성과 동치이며, 이는 무한 체 위의 결합 대수에서 반군 항등식을 특성화하는 리 이론적 기준을 제공한다.

ABSTRACT

Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an identity in these semigroups in terms of the Lie structure of R. Namely, we prove that the following conditions on R are equivalent: the semigroup (R,*) satisfies an identity; the semigroup (R,.) satisfies a reduced identity; and, the associated Lie algebra of R satisfies the Engel condition. When R is finitely generated these conditions are each equivalent to R being upper Lie nilpotent.

연구 동기 및 목표

• 무한 체 위의 결합 대수에서 원환형 연산 $x*y = x + y + xy$ 하에 반군 항등식을 만족하는 대수를 특성화하는 것.
• 반군 항등식 조건이 대수의 리 대수의 구조와 어떻게 관련되어 있는지 밝히는 것.
• 반군 항등식, 곱셈 반군에서의 축약된 항등식, 그리고 관련 리 대수에서의 엔겔 조건 사이의 동치성을 확립하는 것.
• 유한 생성 대수의 경우, 이러한 모든 조건이 상부 리 노르미너트성과 동치임을 보이는 것.

제안 방법

• 결합 대수 $R$ 에서 원환형 연산 $x*y = x + y + xy$ 를 정의하여 새로운 반군 $(R,*)$ 을 구성하는 것.
• $(R,*)$ 반군이 다항식 항등식을 만족하는지 분석하며, 특히 축약된 항등식에 중점을 두는 것.
• 리 대수 기법을 사용하여 $(R,*)$ 에서의 항등식이 $R$ 의 리 브라켓의 구조, 특히 엔겔 조건과 어떻게 관련되어 있는지 분석하는 것.
• $(R,*)$ 에서의 반군 항등식, $(R,.)$ 에서의 축약된 항등식, 그리고 $R$ 의 리 대수에서의 엔겔 조건 사이의 동치성을 확립하는 것.
• 리 이론과 비가환환 이론의 결과를 적용하여, 이러한 항등식을 만족할 경우 $R$ 의 구조를 특성화하는 것.
• 유한 생성인 $R$ 에서는 세 조건이 모두 상부 리 노르미너트성과 동치임을 증명하는 것.

실험 결과

연구 질문

• RQ1 원환형 연산 $x*y = x + y + xy$ 로 정의된 반군 $(R,*)$ 이 다항식 항등식을 만족하는 조건은 무엇인가?
• RQ2 $(R,*)$ 에서의 반군 항등식은 대수 $R$ 의 리 대수의 구조와 어떻게 관련되어 있는가?
• RQ3 곱셈 반군 $(R,.)$ 에서의 축약된 항등식과 $R$ 의 리 이론적 성질 사이의 연결 고리는 무엇인가?
• RQ4 언제 $R$ 의 리 대수에서의 엔겔 조건이 $(R,*)$ 에서의 반군 항등식 존재와 동치가 되는가?
• RQ5 유한 생성인 결합 대수의 경우, 반군 항등식이 상부 리 노르미너트성을 유도하는 조건은 무엇인가?

주요 결과

• $(R,*)$ 반군이 다항식 항등식을 만족하는 것은 $(R,.)$ 곱셈 반군이 축약된 항등식을 만족할 때이고, 그 때에만 성립한다.
• $(R,*)$ 반군이 항등식을 만족하는 것은 관련 리 대수 $R$ 가 엔겔 조건을 만족할 때이고, 그 때에만 성립한다.
• 무한 체 위의 유한 생성 결합 대수의 경우, $(R,*)$ 에서의 항등식, $(R,.)$ 에서의 축약된 항등식, 그리고 리 대수에서의 엔겔 조건은 모두 상호 동치이다.
• 유한 생성인 경우, 이러한 조건들은 모두 $R$ 이 상부 리 노르미너트임과 동치이다.
• 논문은 무한 체 위의 결합 대수에서 반군 항등식을 리 이론적 특성화로 제공하며, 비가환환 이론과 리 대수의 구조를 연결한다.
• 이러한 결과는 무한 체에서만 성립하며, 동치성은 원환형 연산의 대수적 성질과 기초 리 대수의 구조에 의존한다.