[논문 리뷰] Localization, completions and metabelian groups

Gilbert Baumslag, Roman Mikhailov외 1명|arXiv (Cornell University)|2013. 01. 23.

Algebraic structures and combinatorial models참고 문헌 13인용 수 2

한 줄 요약

이 논문은 유한 생성되며 잔여적으로 노름 가능한 메타아벨 군에 대해 para-G 등가성을 도입하며, 이가 유한 표류 가능성과 같은 공통된 구조적 성질을 포착하는 동치 관계임을 증명한다. 국소화, 클래스 체 이론, 구조적 교환 대수를 사용하여, 하위 중심 몫의 순수 자유 랭크의 수열이 계산 가능하며, 향후 유리 Poincaré 급수의 알고리즘적 계산을 위한 기초를 마련한다. 이는 메타아벨 군의 동형 문제를 발전시킨다.

ABSTRACT

If G and H are finitely generated, residually nilpotent metabelian groups, H is termed para-G if there is a homomorphism of G into H which induces an isomorphism between the corresponding terms of their lower central quotient groups. We prove that this is an equivalence relation. It is a much coarser relation than isomorphism, our ultimate concern. It turns out that many of the groups in a given equivalence class share various properties including finite presentability. There are examples, such as the lamplighter group, where an equivalence class consists of a single isomorphism class and others where this is not the case. We give several examples where we solve the Isomorphism Problem. We prove also that the sequence of torsion-free ranks of the lower central quotients of a finitely generated metabelian group is computable. In a future paper we plan on proving that there is an algorithm to compute the numerator and denominator of the rational Poincare series of a finitely generated metabelian group and will carry out this computation in a number of examples, which may shed a tiny bit of light on the Isomorphism Problem. Our proofs use localization, class field theory and some constructive commutative algebra.

연구 동기 및 목표

• 유한 생성되며 잔여적으로 노름 가능한 메타아벨 군 간의 더 흐린 동치 관계인 para-G를 정의하고 분석하는 것.
• 동일한 para-G 등가류에 속한 군들이 특히 유한 표류 가능성과 같은 구조적 성질을 공유하는지 조사하는 것.
• para-G 등가성이 동형을 암시하는 조건을 규명하여 메타아벨 군의 동형 문제를 해결하는 것.
• 유한 생성 메타아벨 군의 하위 중심 몫의 순수 자유 랭크 수열이 계산 가능한지 확인하는 것.
• 향후 연구에서 이러한 군의 유리 Poincaré 급수의 알고리즘적 계산을 위한 기초를 마련하는 것.

제안 방법

• 메타아벨 군의 구조와 하위 중심 몫의 몫 간의 관계를 국소화 기법을 사용하여 분석하는 것.
• 메타아벨 군의 코homological 및 산술적 성질을 분석하기 위해 클래스 체 이론을 적용하는 것.
• 군의 환과 관련 모듈의 대수적 구조를 다루기 위해 구조적 교환 대수를 활용하는 것.
• 하위 중심 몫의 몫에 대한 동형을 유도하는 준동형사상에 의해 para-G 등가성을 정의하고, 이 관계가 반사적, 대칭적, 추이적임을 증명하는 것.
• 군의 표현에서 유도된 대수적 불변량을 사용하여 하위 중심 몫의 순수 자유 랭크를 계산하는 것.
• 향후 연구에서 유리 Poincaré 급수의 분자와 분모를 알고리즘적으로 계산할 수 있도록 결과를 확장하는 것.

실험 결과

연구 질문

• RQ1 하위 중심 몫의 동형에 기반한 para-G 관계가 유한 생성되며 잔여적으로 노름 가능한 메타아벨 군의 집합에서 동치 관계인지 여쭤보는 것?
• RQ2 동일한 para-G 등가류에 속한 군들이 특히 유한 표류 가능성과 같은 성질을 얼마나 공유하는가?
• RQ3 메타아벨 군의 동형 문제는 para-G 등가류 내에서 해결될 수 있으며, para-G 등가성이 언제 동형을 암시하는가?
• RQ4 유한 생성 메타아벨 군의 하위 중심 몫의 순수 자유 랭크 수열은 계산 가능한가?
• RQ5 유한 생성 메타아벨 군의 유리 Poincaré 급수를 계산하는 알고리즘을 개발할 수 있는가?

주요 결과

• para-G 관계가 유한 생성되며 잔여적으로 노름 가능한 메타아벨 군의 집합에서 동치 관계임이 증명되었다.
• 동일한 para-G 등가류에 속한 군들은 종종 유한 표류 가능성과 같은 핵심적인 구조적 성질을 공유한다.
• 램플라이터 군과 같은 예시에서는 para-G 등가류에 동형류가 하나뿐인 경우가 존재한다.
• 다른 예시에서는 para-G 등가류에 서로 동형이 아닌 다수의 군이 포함되어 있어 이 관계의 흐린 성격을 보여준다.
• 유한 생성 메타아벨 군의 하위 중심 몫의 순수 자유 랭크 수열은 개발된 방법을 사용하여 계산 가능하다.
• 논문은 향후 연구에서 유리 Poincaré 급수의 알고리즘적 계산을 가능하게 하는 기초 도구—국소화, 클래스 체 이론, 구조적 교환 대수를 통해 확립되었다.