[논문 리뷰] Unsolvability of the isomorphism problem for [free abelian]-by-free groups

Gilbert Levitt|ArXiv.org|2008. 10. 06.

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

한 줄 요약

이 논문은 [자유 아벨]-by-자유 군에서 동형 문제의 결정 불가능성을 증명한다. 특히, 두 개의 ${\mathbb{Z}}^4\rtimes F_{15}$ 군이 동형인지 여부를 판단할 수 있는 알고리즘이 존재하지 않음을 보여준다. 증명은 $F_2 \times F_2$에서 유한 생성 부분군의 멤버십 문제의 결정 불가능성을 Mihailova의 구성으로 이용하며, 이를 $GL(4,\mathbb{Z})$에 통합하여 동형 문제를 결정 불가능한 궤적 문제로 감소시킨다.

ABSTRACT

The isomorphism problem for [free abelian]-by-free groups is unsolvable.

연구 동기 및 목표

• 자유 아벨 군의 계수 4인 $\mathbb{Z}^4$-by-free 군에서의 동형 문제의 결정 불가능성을 입증하는 것.
• 기존의 결정 불가능성 결과를 코어지류 문제에서 더 넓은 군 확장의 계열로 동형 문제로 확장하는 것.
• 핵심 군이 계수 4인 자유 아벨 군일 경우에도 동형 문제가 여전히 결정 불가능하다는 것을 보여주는 것.
• GL(4,$\mathbb{Z}$)에서 유한 생성 부분군의 코어지류 문제가 결정 불가능하다는 것을 보이며, 이를 동형 문제와 연결하는 것.

제안 방법

• $F_2 \times F_2$를 $GL(2,\mathbb{Z}) \times GL(2,\mathbb{Z})$의 블록 대각 행렬을 통해 $GL(4,\mathbb{Z})$에 임베드하는 것.
• Mihailova의 구성으로 멤버십 문제가 결정 불가능한 부분군 $L \subset F_2 \times F_2$를 정의하는 것.
• $G_h = \mathbb{Z}^4 \rtimes F_{p+1}$ 형태의 준동형 곱의 가족을 구성하며, 여기서 작용은 $h \in F_2 \times F_2$의 원소에 의해 결정된다.
• $G_h \cong G_1$이 되는 것은 $h \in L$이 되는 것과 동치임을 증명하여, 동형 문제와 $L$에 대한 멤버십 문제를 연결하는 것.
• GL(4,$\mathbb{Z}$)에서 $\langle L, h \rangle$와 $L$의 코어지류 문제가 $h \in L$일 때 동치임을 보이며, 문제를 결정 불가능한 궤적 조건으로 감소시키는 것.
• $\mathbb{Q}^4$에서 $L$-불변 평면의 구조를 이용하여, 만약 $g$가 $L$을 $\langle L, h \rangle$로 코어지류시키면, $g$의 어떤 거듭제곱이 $F_2 \times F_2$에 속함을 증명함으로써 감소를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 두 개의 $\mathbb{Z}^4$-by-free 군이 동형인지 여부를 판단할 수 있는 알고리즘이 존재하는가?
• RQ2 $\mathbb{Z}^4$-by-free 군에서의 동형 문제는 기존의 결정 불가능 문제로 감소시킬 수 있는가?
• RQ3 $F_2 \times F_2$에서 멤버십 문제가 결정 불가능하다는 것은, $\mathbb{Z}^4$-by-free 군에서의 동형 문제가 결정 불가능하다는 것을 의미하는가?
• RQ4 GL(4,$\mathbb{Z}$)에서 유한 생성 부분군의 코어지류 문제의 결정 가능성은 어떻게 되며, 이는 군의 동형 문제와 어떤 관련이 있는가?

주요 결과

• $\mathbb{Z}^4$-by-free 군에서의 동형 문제의 결정 불가능성은, 두 군 간의 동형 여부를 판단할 수 있는 알고리즘이 존재하지 않기 때문에 성립한다.
• 증명은 Mihailova의 구성으로 알려진 결정 불가능한 멤버십 문제를 갖는 유한 생성 부분군 $L \subset F_2 \times F_2$로 동형 문제를 감소시킨다.
• GL(4,$\mathbb{Z}$)에서 유한 생성 부분군의 코어지류 문제의 결정 불가능성은 동일한 결정 불가능한 멤버십 문제로 감소시킴으로써 입증된다.
• $G_h = \mathbb{Z}^4 \rtimes F_{15}$는 $h \in L$일 때에만 $G_1$과 동형이 되며, 이는 동형 문제와 멤버십 문제 사이의 직접적인 연결 고리를 확립한다.
• $F_{15}$의 수 15는 $L$의 14개 생성자에서 유래되며, 이는 특정 유한 표현에 대해 구성이 효과적임을 보여준다.
• 자유-by-자유 군에서나 $\mathbb{Z}^k$-by-$\mathbb{Z}^k$ 군에서 동형 문제가 결정 가능하더라도 이 결과는 여전히 성립함을 보여주며, 복잡성의 급격한 전이점이 있음을 강조한다.