[논문 리뷰] On Kaluzhnin - Krasner's embedding of groups

A. Yu. Olshanskii|arXiv (Cornell University)|2015. 02. 25.

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

한 줄 요약

이 논문은 칼루즈힌-크라스너 임베딩의 '절약형' 변종을 제안하여, 몫군을 통과시킴으로써 와일러 제품의 크기를 줄이고, 유한-메타아벨 및 메타아벨 군의 더 효율적인 임베딩을 가능하게 한다. 주요 기여는 정규부분군 회피 기반의 새로운 임베딩 기법을 사용하여 $({\bf Z}/p{\bf Z}){\rm Wr}\,{\bf Z}$ 와 ${\bf Z}{\rm Wr}\,{\bf Z}$ 가 각각 $2^{\aleph_0}$ 개의 서로동형이 아닌 국소 폴리사이클릭 부분군을 포함한다는 것을 증명하는 것이다.

ABSTRACT

In this note, we consider a 'thrifty' version of Kaluzhnin - Krasner's embedding in wreath products and apply it to extensions by finite groups and to metabelian groups.

연구 동기 및 목표

• 목표는 몰입된 군의 목표 와일러 제품 크기를 줄이기 위해 몫군을 통과시킴으로써 칼루즈힌-크라스너 임베딩의 더 효율적인 버전을 개발하는 것이다.
• 이 개선된 임베딩을 유한군에 의한 확장과 유한생성 메타아벨 군에 적용하는 것이다.
• 특히 $({\bf Z}/p{\bf Z}){\rm Wr}\,{\bf Z}$ 와 ${\bf Z}{\rm Wr}\,{\bf Z}$ 와 같은 일부 와일러 제품에 비가산 많은 서로동형이 아닌 부분군이 존재함을 보여주는 것이다.

제안 방법

• 군 $G$ 에 대한 수정된 임베딩 $\kappa: G \to \bar{A} {\rm Wr} B$ 를 도입하며, 여기서 $\bar{A} = A/C$ 이고 $C$ 는 $G$ 의 비자명한 정규부분군을 포함하지 않는다. 이를 위해 $s: B \to G$ 를 전이자로 사용한다.
• 임베딩는 $\kappa(g) = \pi(g) \bar{f}_g$ 로 정의되며, 여기서 $\bar{f}_g(x) = \overline{(x\pi(g)^{-1})^s \, g \, (x^s)^{-1}}$ 이다.
• 조건 $C$ 가 $G$ 의 비자명한 정규부분군을 포함하지 않음을 이용해 $\kappa$ 의 단사성을 증명함으로써, 임베딩이 충실함을 보장한다.
• 군의 확장에 적용할 때, $A$ 가 쌍대화된 부분군의 직접곱이고 $N_G(H) = A$ 라면, $G$ 는 와일러 제품으로 분해됨을 보인다.
• 체 $\mathbb{F}_p$ 와 $\mathbb{Q}$ 위에서의 기약 표현의 구조를 활용하여, $({\bf Z}/p{\bf Z}){\rm Wr}\,{\bf Z}$ 와 ${\bf Z}{\rm Wr}\,{\bf Z}$ 에서 비가산 많은 서로동형이 아닌 부분군을 구성한다.
• 유한생성 아벨군의 기본정리(FTFAG)를 활용하여, 부분와일러 제품 간의 동형사상 구축을 통해 임베딩의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 칼루즈힌-크라스너 임베딩은 몰입된 군의 목표 와일러 제품 크기를 줄이기 위해 몫군을 통과시킴으로써 더 효율적으로 만들 수 있는가?
• RQ2 개선된 임베딩은 유한생성 메타아벨 군을 더 작은 아벨 기저를 가진 와일러 제품으로 임베딩할 수 있도록 허용하는가?
• RQ3 예를 들어 $({\bf Z}/p{\bf Z}){\rm Wr}\,{\bf Z}$ 와 ${\bf Z}{\rm Wr}\,{\bf Z}$ 와 같은 와일러 제품은 비가산 많은 서로동형이 아닌 부분군을 포함하는가?
• RQ4 체 $\mathbb{F}_p$ 와 $\mathbb{Q}$ 위에서의 기약 표현의 구조를 이용하여, 무한한 활성군을 가진 와일러 제품에서 비가산 많은 서로동형이 아닌 부분군을 생성할 수 있는가?
• RQ5 정규부분군 $A$ 와 $G$-불변 정규부분군 $C \trianglelefteq A$ 를 가진 군 $G$ 가 $\bar{A} {\rm Wr} B$ 에 임베딩될 수 있는 조건은 무엇인가, 여기서 $\bar{A} = A/C$ 이다?

주요 결과

• 논문은 $C$ 가 비자명한 $G$-정규부분군을 포함하지 않을 경우 단사임을 보장하는 절약형 임베딩 $\kappa: G \to \bar{A} {\rm Wr} B$ 를 구성한다. 여기서 $\bar{A} = A/C$ 이다.
• 임베딩 $\kappa$ 는 $\kappa(A) \leq \bar{F}$ 와 $\kappa(G)\bar{F} = \bar{A} {\rm Wr} B$ 를 만족하여, 이미지가 기저군에 대해 전체임을 보장한다.
• 모든 유한생성 메타아벨 군 $G$ 에 대해, $n,m \geq 1$ 이 존재하여 $G$ 는 $D_n {\rm Wr} B$ 로 임베딩될 수 있다. 여기서 $D_n$ 은 유한 아벨군이고 $B$ 는 무한 아벨군이다.
• $({\bf Z}/p{\bf Z}){\rm Wr}\,{\bf Z}$ 는 각각 국소 유한-순환인 $2^{\aleph_0}$ 개의 서로동형이 아닌 부분군을 포함한다.
• ${\bf Z}{\rm Wr}\,{\bf Z}$ 는 $2^{\aleph_0}$ 개의 가산, 국소 폴리사이클릭, 서로동형이 아닌 부분군을 포함한다.
• 이 구성은 $\mathbb{F}_p$ 와 $\mathbb{Q}$ 에서 $\langle b \rangle$ 의 서로동형이 아닌 기약 표현에 의존하며, 이는 해당 와일러 제품에서 서로 다른 부분군 구조를 유도한다.