[논문 리뷰] A generating set for the automorphism group of a graph product of abelian groups

Luis Jaime Corredor, Mauricio Gutiérrez|ArXiv.org|2009. 11. 03.

Geometric and Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 유한 생성 아벨 군의 그래프 곱의 자기동형군의 완전한 생성 집합을 제시한다. 레이블이 부여된 그래프와 네 가지 유형의 자기동형사상—레이블이 부여된 그래프 자기동형사상, 인자 자기동형사상, 잘 정의된 지배 전위, 부분 코너 전위—을 사용한다. 핵심 결과는 이 집합이 전체 자기동형군을 생성하며, 부분 집합이 중요한 부분군 Aut*G를 생성한다는 것이다.

ABSTRACT

We find a set of generators for the automorphism group of a graph product of finitely generated abelian groups entirely from a certain labeled graph. In addition, we find generators for the important subgroup of star-automorphisms defined in [7]. We follow closely the plan of M. Laurence's paper [11].

연구 동기 및 목표

• 유한 생성 아벨 군의 그래프 곱의 자기동형군에 대한 유한 생성 집합을 결정하는 것.
• 부분군 Aut*G를 특성화하고 그에 대한 생성 집합을 찾는 것.
• 라우렌스 및 다른 이들의 프레임워크를 확장하여 그래프 곱 자기동형사상에 유한 아벨 군을 포함하는 것.
• Aut(G)의 유한 표현을 위한 기초를 제공하고, 이 설정으로 화이트헤드 자기동형사상을 일반화하는 것.

제안 방법

• G = W(Γ, o)인 그래프 곱 G에서 레이블이 부여된 그래프 (Γ, o)를 구성한다. 여기서 o는 정점에 순서(∞ 포함)를 할당한다.
• 네 가지 유형의 자기동형사상을 정의한다: 레이블이 부여된 그래프 자기동형사상, 인자 자기동형사상, 잘 정의된 지배 전위, 부분 코너 전위.
• 강성 원리와 중심자 구조를 이용하여 이 네 가지 유형이 전체 자기동형군 Aut(G)를 생성함을 증명한다.
• 중앙자 정리와 순환적으로 감소한 원소 분해를 사용하여 자기동형사상과 그들의 지지 집합 위에서의 작용을 분석한다.
• 부분군 Aut*G를 정의하고, 그 생성자가 레이블이 부여된 그래프 자기동형사상, 인자 자기동형사상, 스타 전위, 부분 코너 전위임을 보인다.
• 이 설정으로 화이트헤드 자기동형사상을 일반화하고, 그것들이 Aut(G)를 생성함을 보이며, 수정된 형태는 Aut*G를 생성한다.

실험 결과

연구 질문

• RQ1 유한 생성 아벨 군의 그래프 곱의 자기동형군에 대한 완전하고 명시적인 생성 집합은 무엇인가?
• RQ2 부분군 Aut*G는 어떻게 특성화할 수 있으며, 어떤 생성자를 갖는가?
• RQ3 화이트헤드 자기동형사상은 아벨 군의 그래프 곱으로 일반화될 수 있으며, 전체 자기동형군을 생성하는가?
• RQ4 자기동형사상은 그래프 곱에서 순환적으로 감소한 원소와 그 지지 집합 위에서 어떻게 작용하는가?
• RQ5 레이블이 부여된 그래프의 동형사상과 전위는 자기동형군 생성에 어떤 역할을 하는가?

주요 결과

• 레이블이 부여된 그래프 자기동형사상, 인자 자기동형사상, 잘 정의된 지배 전위, 부분 코너 전위로 구성된 집합 G는 전체 자기동형군 Aut(G)를 생성한다.
• G의 부분집합 G*—레이블이 부여된 그래프 자기동형사상, 인자 자기동형사상, 스타 전위, 부분 코너 전위로 구성—은 부분군 Aut*G를 생성한다.
• 자기동형군 Aut(G)는 유형 I 및 II의 화이트헤드 자기동형사상에 의해 생성되며, 수정된 유형 II는 Aut*G의 생성자를 제공한다.
• 모든 자기동형사상 θ ∈ Aut(G)의 작용은 모든 v ∈ Γ에 대해 γ(v) ∈ csupp(θ(v))를 만족하는 그래프 자기동형사상 γ에 의해 결정된다.
• G의 중심자 구조는 순환적으로 감소한 원소를 기본 형태로 분해할 수 있게 하며, 이는 생성 집합의 타당성을 증명하는 데 필수적이다.
• 증명은 보완 그래프의 최대 클리크 수에 대한 귀납법에 기반하며, 최대성과 지지 집합 제약 조건을 사용하여 자기동형사상이 최대 클리크에 의해 생성되는 부분군을 유지함을 보인다.