[논문 리뷰] Zero divisors and units with small supports in group algebras of torsion-free groups

Aliréza Abdollahi, Zahra Taheri|arXiv (Cornell University)|2017. 04. 29.

Finite Group Theory Research참고 문헌 14인용 수 8

한 줄 요약

이 논문은 토피온 없는 군의 군 대수에서 지지 집합 크기가 3인 원소에 초점을 맞추어 영약수와 단위의 지지 집합 크기를 조사한다. 조합적 그래프 이론적 방법, 특히 영약수 그래프와 단위 그래프를 사용하여, αβ = 0 이고 |supp(α)| = 3일 때, 임의의 체에서 |supp(β)| ≥ 10이고, F₂에서는 |supp(β)| ≥ 20임을 증명한다. 단위의 경우, αβ = 1일 때, 임의의 체에서 |supp(β)| ≥ 9임을 보이며, 이는 이전의 하한을 향상시키고, 관련 그래프에서 금지된 부분그래프를 규명한다.

ABSTRACT

We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.

연구 동기 및 목표

• G가 토피온 없는 군이고 F가 임의의 체일 때, F[G]의 영이 아닌 원소 β에 대해 αβ = 0을 만족시키는 α ∈ F[G]의 지지 집합 크기가 3인 경우, β의 최소 가능한 지지 집합 크기를 결정하는 것.
• 특히 F₂에서의 경우를 포함하여, 영약수의 경우 β의 지지 집합 크기에 대한 기존 하한을 향상시키고, αβ = 1인 단위의 경우에도 동일한 목표를 달성하는 것.
• 조합적 및 그래프 이론적 기법을 사용하여, 이러한 원소와 관련된 영약수 및 단위 그래프의 금지된 부분그래프를 특성화하는 것.
• 특정 그래프 구조(예: 삼각형, K₂,₃, 특정 사이클)가 지지 집합 크기가 3인 원소의 영약수 또는 단위 그래프에 부분그래프로 나타날 수 없다는 것을 밝히는 것.
• 토스론 없는 군의 군 대수에서 작은 지지 집합을 가진 원소가 유도하는 대수적 제약 조건의 구조적 이해를 제공하는 것.

제안 방법

• αβ = 0 이고 영이 아닌 α, β ∈ F[G]일 때, 매칭된 직사각형에 기반한 조합적 구성 방법을 사용하여 영약수 그래프 Z(α, β)를 정의한다.
• γδ = 1을 만족하는 원소에 대해 단위 그래프 U(γ, δ)를 도입하고, 이 그래프가 단순하고 순환 고리가 없으며, C₃–C₃ 또는 K₂,₃ 부분그래프를 포함하지 않는다는 것을 증명한다.
• 정점 차수, 사이클 구조, 금지된 부분그래프와 같은 그래프 이론적 불변량을 사용하여, 지지 집합 크기가 너무 작을 경우 모순을 이끌어내는 방법을 사용한다.
• 단위 쌍에 대해 곱집합 supp(γ)supp(δ)의 크기 분석을 사례 기반으로 수행하며, 군 대수의 곱셈에서 발생할 수 있는 분할과 제약 조건을 고려한다.
• 동형과 부분그래프 배제 기법을 사용하여, 여러 삼각형, 고차수 정점 등의 특정 구성이 모순을 유도함을 보여준다.
• 곱의 지지 집합 크기를 유계화하기 위해, hᵢgⱼ = hᵢ′gⱼ′를 만족하는 쌍 (i,j)의 수에 대한 귀납법과 세기 기반 추론을 사용한다.

실험 결과

연구 질문

• RQ1 임의의 체 F와 토피온 없는 군 G에 대해, αβ = 0 이고 |supp(α)| = 3이며, α가 영이 아닌 경우, F[G]의 원소 β의 지지 집합 크기의 최소 가능한 크기는 얼마인가?
• RQ2 기본 체가 F₂일 경우, 임의의 체와 비교하여 β의 최소 지지 집합 크기는 어떻게 변화하는가?
• RQ3 G가 토피온 없는 군이고 |supp(γ)| = 3이며 γδ = 1일 때, F[G]에서 단위 그래프 U(γ, δ)에 대한 구조적 제약 조건은 무엇인가?
• RQ4 삼각형, 완전 이분 그래프 등 특정 그래프 구조(예: 삼각형, 완전 이분 그래프) 중에서 지지 집합 크기가 3인 원소의 영약수 또는 단위 그래프에 부분그래프로 나타날 수 없는 것은 무엇인가?
• RQ5 γδ = 1일 때, 곱집합 supp(γ)supp(δ)에 포함된 군 원소의 수에 대한 조합적 추론을 통해 β의 지지 집합 크기를 아래로 유계화할 수 있는가?

주요 결과

• 임의의 체 F와 토피온 없는 군 G에 대해, αβ = 0 이고 |supp(α)| = 3일 경우, |supp(β)| ≥ 10이다.
• F₂에서 이 하한은 |supp(β)| ≥ 20로 향상된다.
• 단위의 경우, αβ = 1 이고 |supp(α)| = 3일 경우, 임의의 체에서 |supp(β)| ≥ 9이며, 이는 이전 결과를 향상시킨다.
• 영약수 그래프 Z(α, β)는 어떤 체이든 토피온 없는 군이든 상관없이 그림 1에 나타난 그래프 중 어느 것도 부분그래프로 포함할 수 없다.
• F₂에서는 영약수 그래프가 표본 1에 나열된 그래프 중 어느 것도 부분그래프로 포함할 수 없다.
• 단위 그래프 U(γ, δ)는 단순하며, C₃–C₃ 또는 K₂,₃ 부분그래프를 포함하지 않으며, |supp(δ)| = 8인 구성은 모순 없이 존재할 수 없다.