[논문 리뷰] On non-commuting sets and centralizers in infinite group

Mohammad Zarrin|arXiv (Cornell University)|2014. 12. 14.

Finite Group Theory Research참고 문헌 3인용 수 6

한 줄 요약

이 논문은 임의의 양의 정수 $ n $에 대해 $ \omega(G) = n $인 군 $ G $에 대해, 등균형(isoclinism)에 대해 유한한 수의 군만 존재함을 증명한다. 여기서 $ \omega(G) $는 서로 다른 두 원소가 모두 비가환인 원소들의 최대 집합의 크기를 의미한다. 등균형과 Pyber 및 Schur의 결과를 활용하여, 이러한 군들은 중심에 대한 유한성(center-by-finite)을 가지며, 유한한 대표원을 갖는다. 이에 따라 $ \omega(G) \leq 20 $일 때 정확한 가환성 임계점이 도출된다. 결과는 $ \mathcal{C}_n $-군(중심화자 수가 $ n $인 군)으로까지 확장되며, 등균형 클래스가 유한하고, $ n = 20 $까지 가환성이 성립함을 보여준다.

ABSTRACT

A subset X of a group G is a set of pairwise non-commuting ele- ments if ab 6= ba for any two distinct elements a and b in X. If jXj ? jY j for any other set of pairwise non-commuting elements Y in G, then X is said to be a maximal subset of pairwise non-commuting elements and the cardinality of such a subset is denoted by !(G). In this paper, among other thing, we prove that, for each positive integer n, there are only finitely many groups G, up to isoclinic, with !(G) = n (with exactly n centralizers).

연구 동기 및 목표

• 고정된 수 $ n $을 갖는 최대의 서로 비가환 원소 집합을 가진 군을 등균형에 대해 분류하는 것.
• 모든 $ \omega(G) = n $인 경우에 대해 등균형 클래스가 유한함을 증명함으로써, $ \omega(G) $가 동일한 군은 유한하지만 그 수가 무한히 많을 수 있음에도 불구하고 이를 보장하는 것.
• 등균형과 유한한 대표원을 통해 유한군 이론의 기존 분류 결과를 적용할 수 있도록 무한군의 가환성과 중심화자 구조에 대한 결과를 확장하는 것.
• 이전의 $ \mathcal{C}_n $-군(중심화자 수가 $ n $인 군)에 대한 결과를 등균형을 통해 무한군으로 일반화하는 것.
• $ \omega(G) \leq 20 $인 군에 대해 정확한 가환성 임계점을 제공하며, $ A_5 $가 최소의 비가환 예외임을 보여주는 것.

제안 방법

• Lemma 2.1과 Lemma 3.2에서 밝혀진 바와 같이, 등균형이 군들 사이의 동치관계로서 $ \omega(G) $와 $ |\mathcal{C}(G)| $를 유지함을 이용하는 것.
• Pyber의 경계를 적용: $ [G:Z(G)] \leq c^{\omega(G)} $로 인해 $ G $는 중심에 대한 유한성(center-by-finite)을 가지며, $ G' $는 유한함을 유도함.
• Schur의 정리를 활용하여 $ G' $와 $ G/Z(G) $의 유한성을 도출함으로써, 등균형 클래스가 유한한 유형으로 제한됨.
• Hall의 정리(모든 군은 $ Z(K) \subseteq K' $인 스템 군(stem group)과 등균형임)를 이용하여, 항상 유한한 대표원이 존재함을 보장함.
• 등균형을 통해 무한군 문제를 유한군 문제로 환원함으로써, 기존의 유한군 이론의 분류 결과를 적용할 수 있음.
• 군 $ G $와 $ H $가 등균형일 때 $ G/Z(G) $와 $ H/Z(H) $ 사이의 유도된 동형사상에 기반하여 중심화자 간의 일대일 대응을 수립함으로써, $ |\mathcal{C}(G)| = |\mathcal{C}(H)| $임을 증명함.

실험 결과

연구 질문

• RQ1 고정된 $ n $에 대해 $ \omega(G) = n $인 군의 등균형 클래스는 몇 개인가?
• RQ2 가환성의 성립 여부를 $ \omega(G) $의 유한성으로 유추할 수 있으며, 이 성질에 대한 정확한 임계점은 무엇인가?
• RQ3 무한군에서 $ |\mathcal{C}(G)| $와 $ G/Z(G) $의 구조는 어떻게 관련되어 있는가?
• RQ4 각 $ n $에 대해 $ \mathcal{C}_n $-군의 등균형 클래스가 유한한가? 그리고 이러한 군들은 유한한 대표원으로 환원될 수 있는가?
• RQ5 작은 $ n $에 대해 $ |\mathcal{C}(G)| = n $일 때 $ G/Z(G) $의 가능한 동형 유형은 무엇인가?

주요 결과

• 모든 양의 정수 $ n $에 대해, $ \omega(G) = n $인 군은 등균형에 대해 유한한 수만 존재한다. 이는 Theorem 1.1(1)에서 증명됨.
• $ \omega(G) = n $인 모든 군 $ G $는 유한군 $ K $와 등균형이며, 따라서 $ \omega(G) = \omega(K) $임을 Theorem 1.1(2)에서 증명함.
• $ \omega(G) \leq 20 $인 모든 군 $ G $는 가환군이며, 이 경계는 정확한 것으로 간주된다. 왜냐하면 $ A_5 $는 $ \omega(A_5) = 21 $을 가지기 때문이다. Theorem 1.2에 의거함.
• 등균형에 대해 중심화자 수 $ |\mathcal{C}(G)| $는 유지되므로, 등균형인 군 $ G $와 $ H $에 대해 $ |\mathcal{C}(G)| = |\mathcal{C}(H)| $임을 Lemma 3.2에서 증명함.
• $ |\mathcal{C}(G)| \leq 20 $일 경우 $ G $는 가환군이며, 이 경계 역시 정확하다. 이는 [14]의 Theorem A를 무한군으로 일반화한 것으로, Theorem 3.4에 의해 증명됨.
• $ n = 4, 5, 6, 7, 8 $에 대해 $ |\mathcal{C}(G)| = n $이면 $ G/Z(G) $의 구조가 완전히 특징지어지며, 이는 유한한 대표원을 사용한 Theorem 3.5에서 보여짐.