[논문 리뷰] Automorphisms of the semigroup of all endomorphisms of free algebras

Grigori Zhitomirski|ArXiv.org|2005. 10. 11.

Geometric and Algebraic Topology참고 문헌 10인용 수 7

한 줄 요약

이 논문은 모든 유니버설 대수의 다양체에서 유한 생성 자유 대수의 내적 준동형 반군의 자기동형군을 묘사하는 일반적인 방법을 제시한다. 대수 위의 전단사 사상에 의한 쌍대변환( quasi-inner )으로서 자기동형을 특성화함으로써, 군, 역반군, 리 대수, 모듈러에 대한 기존 결과들을 통합하고 단순화하며, 다양체의 구조에 따라 모든 이러한 자기동형이 내적 또는 준내적임을 보여준다.

ABSTRACT

Last years a number of papers were devoted to describing automorphisms of semigroups of endomorphisms of free finitely generated universal algebras of some varieties: groups, semigroups, associative commutative algebras, inverse semigroups, modules, Lie algebras and some others. All these researches were inspired by the questions prof. B. Plotkin set in connection with so called universal algebraic geometry (see for example Arxiv:math, GM/0204245). The aim of this paper is to suggest a method of describing the group AutEnd(F) for a free finitely generated algebra F of an arbitrary variety of universal algebras. This method allows to obtain easily all known results as well as new ones.

연구 동기 및 목표

• 모든 유니버설 대수의 다양체에서 유한 생성 자유 대수 $F$의 내적 반군 $\mathrm{End}(F)$의 자기동형군 $\mathrm{Aut}\,\mathrm{End}(F)$를 묘사하는 일반적 프레임워크를 개발하는 것.
• 군, 역반군, 리 대수, 모듈러와 같은 특정 다양체에 대해 $\mathrm{End}(F)$의 자기동형에 관한 기존 결과들을 통합하고 단순화하는 것.
• 자기동형 $\Phi$가 $F$ 위의 전단사 사상 $s$에 의한 쌍대변환, 즉 $\Phi(\nu) = s \circ \nu \circ s^{-1}$로 유도될 수 있을 때, 이를 준내적(quasi-inner)으로 특성화하는 것.
• 해당 자기동형이 내적 또는 준내적임을 판단하기 위한 필수 및 필요조건을, $F$의 대수적 구조에 따라 규명하는 것.
• 해당 방법을 적용하여 다양한 다양체, 특히 자유 리 대수와 환 위의 모듈러에 대해 알려진 결과를 복원하고 새로운 결과를 도출하는 것.

제안 방법

• 자기동형군의 표준 개념을 일반화하기 위해, 기저 대수의 집합 위의 전단사 사상 $s$에 의한 쌍대변환으로서 준내적 자기동형을 정의한다.
• 자기동형군 $\mathrm{Aut}(F)$의 부분군과 $\mathrm{End}(F)$의 왼쪽 아이디얼 사이의 갈로아 대응을 사용하여, 구조적 불변량을 유지하는 자기동형을 특성화한다.
• 기본 행렬을 도입하여 자기동형이 내적 준동형에 작용하는 방식을 분석하고, 준내적 행동을 유도하는 조건을 도출한다.
• 전단사 사상 $s$를 통해 $F$ 위에 유도된 대수적 구조를 구성하여, $s$가 $F$ 위에 동형 연산 체계를 유도함을 보여준다.
• $s$에 의해 유도된 다항식 연산을 분석하여, 원래 연산과 유도된 연산이 일치함을 보여주어 자기동형의 일관성을 확보한다.
• 특정 다양체에 대해 $s$에 대한 조건(예: 항등원, 역원, 스칼라 작용의 유지 등)을 검증함으로써, 자기동형이 내적 또는 준내적임을 분류하는 데 적용한다.

실험 결과

연구 질문

• RQ1 자기동형 $\Phi$가 $\mathrm{End}(F)$의 자기동형일 때, $F$ 위의 전단사 사상 $s$에 의한 쌍대변환인 준내적(quasi-inner)이 되기 위한 조건은 무엇인가?
• RQ2 어떤 다양체에서 자유 대수의 $\mathrm{End}(F)$의 모든 자기동형이 내적 또는 준내적일 수 있는가?
• RQ3 어떻게 일반적인 방법이 군, 리 대수, 모듈러와 같은 다양한 다양체에서 $\mathrm{Aut}\,\mathrm{End}(F)$의 묘사를 통합하고 단순화할 수 있는가?
• RQ4 기초 체나 환의 자기동형이 모듈러나 리 대수의 경우 $\mathrm{Aut}\,\mathrm{End}(F)$의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 $F$ 위의 전단사 사상 $s$가 동형 대수적 구조를 유도할 조건은 무엇이며, 이는 자기동형이 준내적임과 어떻게 관련되는가?

주요 결과

• 자유 역반군 $F$가 하나 이상의 생성자를 가질 경우, 이에 대한 $\mathrm{End}(F)$의 모든 자기동형은 내적임을 이중 반군과 중심적 역전환을 통해 보였다.
• 자유 생성자가 둘 이상인 자유 군 $F$의 경우, 유도된 이진 연산의 형태에 대한 제약 조건으로 인해 $\mathrm{End}(F)$의 모든 자기동형은 내적임을 보였다.
• 무한 체 $K$ 위의 자유 리 대수 $F$에 대해, $\mathrm{End}(F)$의 모든 자기동형은 준내적임을 보였으며, 이는 스칼라 $k \in K$ 와 $w \in F$에 대해 $\sigma(kw) = \varphi(k)\sigma(w)$ 를 만족하는 왜곡된 자기동형 $\sigma$에 의해 유도된다. 여기서 $\varphi$는 체 자기동형이다.
• 일부 조건을 만족하는 환 $R$ 위의 자유 모듈러 $M$에 대해, $\mathrm{End}(M)$의 모든 자기동형은 준내적임을 보였으며, 이는 $M$의 왜곡된 자기동형에 의해 유도된다.
• 이 방법은 군, 역반군, 리 대수, 모듈러에 대한 알려진 결과들을 통일된 프레임워크에서 복원하고 단순화한다.
• 이 접근법은 준내적 자기동형이 전단사 사상 $s$에 의해 유도된 대수적 구조와 원래 대수적 구조 사이의 동형사상에 해당함을 보여준다.