[논문 리뷰] Right Hom-alternative algebras

Donald Yau|arXiv (Cornell University)|2010. 10. 17.

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

한 줄 요약

이 논문은 곱셈적 우하향 호모-대칭 대수의 기본 성질을 수립하며, 좌하향 호모-대칭성을 가정하지 않더라도 호모-거듭제곱 결합법칙성과 호모-조르당 적합성을 증명한다. 호모-버전의 알버트 분해와 무팡 항등식을 도입하고, 좌하향 호모-대칭성도 아니고 우하향 대칭성도 아닌 비이소모르픽인 무한한 수의 우하향 호모-대칭 대수를 구성한다.

ABSTRACT

It is shown that every multiplicative right Hom-alternative algebra is both Hom-power associative and Hom-Jordan admissible. Multiplicative right Hom-alternative algebras admit Albert-type decompositions with respect to idempotents. Multiplication operators defined by idempotents in right Hom-alternative algebras are studied. Hom-versions of some well-known identities in right alternative algebras are proved.

연구 동기 및 목표

• 곱셈적 우하향 호모-대칭 대수의 구조적 성질을 조사하여, 고전적 대칭 대수 이론을 호모-대수 환경으로 확장한다.
• 곱셈적 우하향 호모-대칭 대수가 좌하향 호모-대칭성을 가정하지 않더라도 호모-거듭제곱 결합법칙성을 보이고, 호모-조르당 적합성을 만족함을 보여준다.
• 항등원을 사용하여 호모-대수 환경에서 알버트의 분해 정리의 일반화를 시도한다.
• 우하향 호모-대칭 대수에서 고전적 항등식의 호모-버전, 예를 들어 무팡 항등식과 호모-타이히뮐러 항등식을 수립한다.
• 좌하향 호모-대칭성도 아니고 우하향 대칭성도 아닌 새로운 예를 구성하여, 이 클래스가 이전에 알려진 클래스보다 엄밀히 더 크다는 것을 보여준다.

제안 방법

• 호모-결합자 정의 $\text{as}(x,y,z) = (xy)\alpha(z) - \alpha(x)(yz)$ 를 사용하여, 우하향 호모-대칭 대수를 항등식 $\text{as}(x,y,y) = 0$ 로 정의한다.
• 자기-약한 준동형을 통한 튜이스팅 구성법을 적용하여 기존의 대수에서 새로운 우하향 호모-대칭 대수를 생성하며, 기존의 구성 결과를 일반화한다.
• 선형화 기법과 대수적 항등식, 특히 호모-타이히뮐러 항등식 $\text{as}(x,y,z) + \text{as}(y,z,x) + \text{as}(z,x,y) = 0$ 을 활용하여 새로운 항등식을 도출한다.
• 항등원을 만족하는 호모-항등원 $e$ (즉, $e^2 = \alpha(e)$ 를 만족하는 원소) 를 도입하고, 이에 기반하여 고전적 대칭 대수에서 알버트의 분해와 유사한 분해 정리를 정의한다.
• 호모-결합자를 조작하고, 우하향 호모-대칭성 항등식 $\text{as}(x,y,y) = 0$ 과 선형화를 조합하여 호모-무팡 항등식을 증명한다.
• 매개변수에 의존하는 구성법을 통해 비이소모르픽인 무한한 수의 곱셈적 우하향 호모-대칭 대수를 구성하며, 이들이 좌하향 호모-대칭성도 아니고 우하향 대칭성도 아니라는 것을 보여준다.

실험 결과

연구 질문

• RQ1 곱셈적 우하향 호모-대칭 대수는 호모-거듭제곱 결합법칙성을 만족하는가? 그리고 좌하향 호모-대칭성을 가정하지 않고 직접적으로 증명할 수 있는가?
• RQ2 모든 곱셈적 우하향 호모-대칭 대수는 호모-조르당 적합성을 만족하는가? 이 성질은 좌하향 호모-대칭성을 가정하지 않더라도 성립하는가?
• RQ3 호모-항등원을 사용하여 알버트의 분해 정리를 호모-대수 환경으로 일반화할 수 있는가?
• RQ4 우하향 호모-대칭 대수에서 고전적 항등식의 호모-버전, 예를 들어 무팡 항등식은 어떤 것이 성립하는가?
• RQ5 좌하향 호모-대칭성도 아니고 우하향 대칭성도 아닌 곱셈적 우하향 호모-대칭 대수가 존재하는가? 그리고 어떻게 구성할 수 있는가?

주요 결과

• 모든 곱셈적 우하향 호모-대칭 대수는 호모-거듭제곱 결합법칙성을 만족하며, 이는 정리 3.2에서 짧고 직접적인 증명으로 보여진다.
• 모든 곱셈적 우하향 호모-대칭 대수는 좌하향 호모-대칭성을 가정하지 않더라도 호모-조르당 적합성을 만족하며, 이는 정리 4.3에서 보여진다.
• 알버트의 분해 정리의 일반화가 곱셈적 우하향 호모-대칭 대수에 대해 성립하며, 이는 호모-항등원과 관련된 성분들로 대수가 분해됨을 보여주는 정리 5.5에서 확인된다.
• 우하향 호모-대칭 대수에서 무팡 항등식의 호모-버전과 호모-타이히뮐러 항등식이 모두 성립하며, 체계적인 대수적 조작을 통해 이를 입증하였다.
• 비이소모르픽인 무한한 수의 곱셈적 우하향 호모-대칭 대수의 가닥이 구성되었으며, 각 대수는 좌하향 호모-대칭성도 아니고 우하향 대칭성도 아니며, 이는 예제 2.9에서 보여진다.
• 우하향 호모-대칭 대수에서 호모-항등원에 의해 유도되는 곱셈 연산자는 고전적 대칭 대수에서의 성질과 유사한 구조적 성질을 보이며, 이는 제6장에서 다뤄졌다.