[논문 리뷰] Intersecting free subgroups in free amalgamated products of two groups with normal finite amalgamated subgroup

Alexander Zakharov|arXiv (Cornell University)|2011. 05. 12.

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

한 줄 요약

이 논문은 정규 유한 분할 부분군을 가진 자유 병합 군에 대해 헨나 뉴먼 부등식을 일반화한다. 인수분해와 그래프 이론적 방법을 통해 인수 없는 부분군의 구조를 분석함으로써, 두 인수 없는 부분군의 교차의 감소된 계수에 대한 날카운 상계를 확립한다. 이 상계는 분할 부분군의 순서와 몫 군에서 2보다 큰 최소 순서를 포함한다. 이 상계는 몫 군이 반전을 포함하고 있으며 ℤ₂⁎ℤ₂와 동형이 아니면 향상될 수 없음을 보여준다.

ABSTRACT

We partly generalize the estimate for the rank of intersection of subgroups in free products of groups, proved earlier by S.V.Ivanov and W.Dicks, to the case of free amalgamated products of groups with normal finite amalgamated subgroup. We also prove that the obtained estimate is sharp and cannot be further improved when the amalgamated product contains an involution.

연구 동기 및 목표

• 분할 부분군이 유한하고 정규일 경우 자유 병합 군으로 헨나 뉴먼 부등식을 확장하는 것.
• 이러한 병합 군에서 두 인수 없는 부분군의 교차에 대한 감소된 계수에 대한 날카운 상계를 확립하는 것.
• 유도된 상계가 향상될 수 없는 조건을 규명하는 것, 특히 몫 군이 반전을 포함할 경우를 중심으로 한다.

제안 방법

• G₁⁎ₜG₂ → G₁/T⁎G₂/T로의 군 인수분해 φ를 사용하여 병합 군 내의 부분군을 몫 군의 부분군과 연결한다.
• Dicks와 Ivanov의 정리 1을 활용하여 몰입 군 G₁/T⁎G₂/T에서 감소된 계수의 상계를 적용한다.
• Schreier 공식을 사용하여 교차의 감소된 계수와 몰입 군 내 부분군의 지수 간의 관계를 설정한다.
• Ψ* 그래프와 같은 그래프 이론적 방법을 활용하여 부분군의 구조를 분석하고 상계의 날카로움을 증명한다.
• G₁/T 또는 G₂/T가 반전을 포함하고 G₁/T⁎G₂/T ≇ ℤ₂⁎ℤ₂일 경우의 구체적 예를 구성하여 상계의 향상 불가능성을 보여준다.
• 지수 |H₁′ ∩ H₂′ : L| 가 |T|로 유계임을 확인함으로써 최종 계수 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 정규 유한 분할 부분군을 가진 자유 병합 군으로 헨나 뉴먼 부등식을 일반화할 수 있는가?
• RQ2 이러한 병합 군에서 두 인수 없는 부분군의 교차에 대한 감소된 계수의 날카운 상계는 무엇인가?
• RQ3 유도된 상계가 향상될 수 없는 조건은 무엇인가?
• RQ4 분할 부분군의 순서 |T|와 G₁/T 및 G₂/T에서 2보다 큰 최소 순서가 계수 상계에 어떤 영향을 미치는가?
• RQ5 몰입 군이 반전을 포함하고 있으며 ℤ₂⁎ℤ₂와 동형이 아니면 상계가 날카로운가?

주요 결과

• 정규 유한 부분군 T를 가진 자유 병합 군 G₁⁎ₜG₂에서 두 인수 없는 부분군 H₁과 H₂의 교차에 대한 감소된 계수는 r̄(H₁ ∩ H₂) ≤ 2(q_f^*/(q_f^*−2))|T| r̄(H₁)r̄(H₂)를 만족한다.
• 상계는 날카롭고, G₁/T 또는 G₂/T가 반전을 포함하고 G₁/T⁎G₂/T ≇ ℤ₂⁎ℤ₂일 경우 향상될 수 없다.
• H₁′, H₂′이 G₁/T⁎G₂/T로의 인수 맵에 의한 H₁, H₂의 상일 때, 지수 |H₁′ ∩ H₂′ : L| 는 |T|로 유계이다.
• T가 자명할 경우(즉, G₁⁎G₂가 자유 곱이면) 상계는 고전적인 헨나 뉴먼 부등식으로 축소된다.
• G₁/T⁎G₂/T ≅ ℤ₂⁎ℤ₂⁎ℤ₂일 경우를 포함한 네 가지 경우에서의 명시적 구성에 의해 상계의 날카로움이 입증된다.
• 이 결과는 Dicks와 Ivanov의 자유 곱에 대한 이전 작업을 일반화하며, 계수 부등식의 적용 범위를 더 넓은 종류의 병합 군으로 확장한다.