[논문 리뷰] On some probabilistic aspects of (generalized) dicyclic groups

Marius Tărnăuceanu, Mihai-Silviu Lazorec|arXiv (Cornell University)|2016. 12. 06.

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

한 줄 요약

이 논문은 이분할군과 일반화된 이분할군, 특히 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$에서 부분군 교환성도수(sd)와 순환부분군 교환성도수(csd)에 대한 명시적 공식을 유도하며, $\mathrm{csd}(\mathbb{Z}_2 \times Q_{2^{m+1}}) \to 0$임을 증명하여 점점 줄어드는 순환부분군 교환성도수를 갖는 새로운 군의 계열을 확립한다.

ABSTRACT

In this paper we study probabilistic aspects such as subgroup commutativity degree and cyclic subgroup commutativity degree of the (generalized) dicyclic groups. We find explicit formulas for these concepts and we provide another example of a class of groups whose (cyclic) subgroup commutativity degree vanishes asymptotically.

연구 동기 및 목표

• 이분할군과 일반화된 이분할군의 확률적 구조를 부분군 교환성도수(sd)와 순환부분군 교환성도수(csd)를 통해 조사한다.
• $\mathrm{Dic}_{4n}$ 및 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$에서 sd와 csd에 대한 명시적 닫힌 형태의 표현식을 제공한다. 특히 $n = 2^m$에 중점을 둔다.
• 특히 $\mathbb{Z}_2 \times Q_{2^{m+1}}$에서 csd의 점근적 행동을 분석하여, 이것이 0으로 수렴하는지 여부를 판단한다.
• 기존의 (순환)부분군 교환성도수 결과를 비아벨 군의 새로운 계열, 비자명한 구조를 지닌 군으로 확장한다.
• 군의 구조와 sd 및 csd와 같은 확률적 불변량 간의 상호작용에 관한 미래 연구를 위한 열린 문제를 규명한다.

제안 방법

• 군의 표현식 $\mathrm{Dic}_{4n} = \langle a, \gamma \mid a^{2n} = e, \gamma^2 = a^n, a^\gamma = a^{-1} \rangle$을 사용하여 부분군과 순환부분군을 분류한다.
• 부분군 격자 구조를 활용: $\langle a \rangle$의 $\tau(2n)$개의 순환부분군과 $\mathrm{Dic}_{4s}$와 동형인 $\sigma(n)$개의 이분할부분군 $H_i^s$.
• 정의 $sd(G) = \frac{1}{|L(G)|^2} \sum_{H \in L(G)} |C(H)|$를 적용하며, 여기서 $C(H)$는 $H$와 교환되는 부분군의 집합이다.
• csd의 경우, $csd(G) = \frac{1}{|L_1(G)|^2} \sum_{H \in L_1(G)} |C_1(H)|$를 계산하여 순환부분군과 그들의 교환성 관계에 집중한다.
• 특정 조건에서 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n) \cong \mathbb{Z}_2 \times Q_{2^{m+1}}$와 같은 군 동형을 활용하여 계산을 단순화한다.
• 수론 함수를 활용: $\tau(m')$ (약수의 개수), $\sigma(n)$ (약수의 합), 그리고 홀수 $m'$에 대해 정의된 고유 산술 함수 $g(m')$.

실험 결과

연구 질문

• RQ1 부분군 교환성도수 $sd(\mathrm{Dic}_{4n})$에 대한 명시적 공식은 $n$의 소인수 분해에 따라 어떻게 표현되는가?
• RQ2 일반화된 이분할군 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$에서 순환부분군 교환성도수 $csd(\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n))$는 $n = 2^m$이 증가함에 따라 점근적으로 어떻게 행동하는가?
• RQ3 일반화된 이분할군 $\mathrm{Dic}_{4n}(A)$에서 부분군 격자와 순환부분군 포스셋의 구조는 $A \cong \mathbb{Z}_2 \times \mathbb{Z}_n$일 때 어떻게 되는가?
• RQ4 $csd(\mathbb{Z}_2 \times Q_{2^{m+1}})$는 $m \to \infty$일 때 0으로 수렴하는가? 만약 그렇다면, 이는 순환부분군의 확률적 비교환성에 대해 무엇을 시사하는가?
• RQ5 만일 $A$가 순서 $2n$인 임의의 아벨 군이라면, $\mathrm{Dic}_{4n}(A)$에 대해 $sd$와 $csd$에 대한 명시적 공식을 도출할 수 있는가?

주요 결과

• 이분할군 $\mathrm{Dic}_{4n}$의 부분군 교환성도수는 $n = 2^m m'$, $m' \in \mathbb{N}$ 홀수, $g(m')$이 곱셈 산술 함수일 때, $$sd(Dic_{4n}) = \frac{(m+2)^2\tau(m')^2 + 2(m+2)\tau(m')\sigma(n) + [(m-1)2^{m+3}+9]g(m')}{[(m+2)\tau(m') + \sigma(n)]^2}$$ 로 주어진다.
• 일반화된 이분할군 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$에서 $n = 2^m$일 경우, 순환부분군 교환성도수는 $$csd(\mathbb{Z}_2 \times Q_{2^{m+1}}) = \frac{2^m(4m+8) + (2m+2)^2}{(2^m + 2m + 2)^2}$$ 로 주어진다.
• $\mathbb{Z}_2 \times Q_{2^{m+1}}$의 순환부분군 교환성도수는 $m \to \infty$일 때 0으로 수렴한다. 즉, $\lim_{m \to \infty} csd(\mathbb{Z}_2 \times Q_{2^{m+1}}) = 0$이다.
• 명시적 값으로는 $csd(\mathbb{Z}_2 \times Q_8) = 1$, $csd(\mathbb{Z}_2 \times Q_{16}) = \frac{224}{256} = \frac{7}{8}$, 그리고 $csd(\mathbb{Z}_2 \times Q_{32}) \to 0$이다.
• $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_6)$의 순환부분군 교환성도수는 $\frac{43}{49}$로, 비자명한 중간 행동을 보여준다.
• 이 논문은 $\mathbb{Z}_2 \times Q_{2^{m+1}}$와 같은 유한 비아벨 군의 새로운 계열을 제공하며, 이 군들에서 순환부분군 교환성도수가 점점 줄어든다.