[논문 리뷰] On state-closed representations of restricted wreath product of groups of type G_{p,d}=C_{p}wrC^{d}

Alex C. Dantas, Said N. Sidki|arXiv (Cornell University)|2015. 05. 19.

Advanced Algebra and Geometry참고 문헌 11인용 수 6

한 줄 요약

이 논문은 순서가 소수인 순환군 $C_p$와 질량이 $d$인 자유 아벨 군 $C^d$의 제한된 와이어드 프로덕트 $G_{p,d} = C_p \wr C^d$의 충실한 상태폐쇄 표현을 조사한다. $d \geq 2$일 때, $p$-진 수 트리 위에는 충실한 상태폐쇄 표현이 존재하지 않음을 증명하지만, $p^2$-진 수 트리 위에는 균일한 상태폐쇄 표현을 구성하며, 특히 $G_{2,2}$에 대해 4-진 트리 위에서 명시적인 오토마타 표현을 제공한다.

ABSTRACT

Let $G_{p,d}$ be the restricted wreath product $C_{p} wr C^{d}$ where $C_{p}$ is a cyclic group of order a prime $p$ and $C^{d}$ a free abelian group of finite rank $d$. We study the existence of faithful state-closed (fsc) representations of $G_{p,d}$ on the $1$-rooted $m$-ary tree for some finite $m$. The group $G_{2,1}$, known as the lamplighter group, admits an fsc representation on the binary tree. We prove that for $d \geq 2$ there are no fsc representations of $G_{p,d}$ on the $p$ -adic tree. We characterize all fsc representations of $G=G_{p,1}$ on the $p$-adic tree where the first level stabilizer of the image of $G$ contains its commutator subgroup. Furthermore, for $d \geq 2$, we construct uniformly fsc representations of $G_{p,d}$ on the $p^{2}$ -adic tree and exhibit concretely the representation of $G_{2,2}$ on the $4$-tree as a finite-state automaton group.

연구 동기 및 목표

• 유한한 $m$에 대해 정규 $m$-진 트리 위에서 $G_{p,d} = C_p \wr C^d$의 충실한 상태폐쇄 표현의 존재성을 결정하는 것.
• 특히 첫 번째 수준의 안정자군이 교환자부군을 포함할 경우, 이러한 표현의 구조적 제약 조건을 분석하는 것.
• lamplighter 군($G_{2,1}$)에 대한 기존 결과를 $d \geq 2$인 고차원 와이어드 프로덕트 $G_{p,d}$로 확장하는 것.
• 특히 $p^2$-진 트리 위에서 $G_{p,d}$의 명시적인 유한상태 오토마타 표현을 구성하는 것.
• 첫 번째 수준의 안정자군이 교환자부군을 포함하는 조건 하에, $G_{p,1}$의 $p$-진 트리 위의 모든 충실한 상태폐쇄 표현을 특성화하는 것.

제안 방법

• 유한 지수를 가진 $G_{p,d}$의 부분군 $H$와 가상 자기환원사상 $f: H \to G$로 구성된 유사성 쌍 $(H,f)$를 사용하여, 상태폐쇄 트리 자기환원 표현을 재귀적으로 정의하는 것.
• 자기중심화 아벨 정규부군을 가진 반직접곱 $G = AX$에서 상태폐쇄 표현의 구조를 분석하기 위해 모듈러 이론적 표현을 적용하는 것.
• 간단한 유사성 쌍 $(H,f)$를 유지하면서 지수와 $f$-불변성을 보존하는 새로운 쌍 $(\dot{H}, \dot{f})$로 대체하는 변환을 도입하여 분석을 단순화하는 것.
• 가상 자기환원사상을 기반으로 유한상태 오토마타 군을 재귀적으로 구성하기 위해 트리 와이어드 기법을 활용하는 것.
• 상태와 인cidenc 행렬의 명시적 계산을 통해 유한상태 행동을 검증하는 것 — $G_{2,2}$의 4-진 트리에서의 적용을 통해 보여진다.
• 정규폐쇄, 교환자부군, 지수 제약 조건을 포함한 군론적 추론을 사용하여 존재하지 않음을 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 $d \geq 2$에 대해 $G_{p,d} = C_p \wr C^d$는 $p$-진 트리 위에 충실한 상태폐쇄 표현을 갖는가?
• RQ2 첫 번째 수준의 안정자군이 교환자부군을 포함할 경우, $G_{p,1}$의 $p$-진 트리 위의 상태폐쇄 표현이 충실하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 $d \geq 2$일 때, $G_{p,d}$에 대해 $p^2$-진 트리 위에 균일한 상태폐쇄 표현을 구성할 수 있는가?
• RQ4 $G_{2,2}$의 4-진 트리 위에서 오토마타 군 표현의 구조는 어떻게 되며, 몇 개의 상태를 갖는가?
• RQ5 가상 자기환원사상과 유사성 쌍의 성질이 이러한 유형의 와이어드 프로덕트에서 충실한 상태폐쇄 표현의 존재를 어떻게 제약하는가?

주요 결과

• $d \geq 2$일 때, $G_{p,d}$는 $p$-진 트리 위에 충실한 상태폐쇄 표현을 갖지 않으며, 이는 정리 1과推론 1에 의해 증명된다.
• 첫 번째 수준의 안정자군이 교환자부군을 포함하는 조건 하에, $G_{p,1}$의 $p$-진 트리 위의 모든 충실한 상태폐쇄 표현이 완전히 특성화되어 있다.
• $d \geq 2$일 때, $G_{p,d}$는 $p^2$-진 트리 위에 균일한 상태폐쇄 표현을 갖는다. 이는 표현 문제에 대한 구축적 해결책을 제공한다.
• $G_{2,2}$는 4-진 트리 위에 충실한 유한상태 오토마타 표현을 갖는다. 특히 생성자 $x_1$에 대해 정확히 12개의 서로 다른 상태가 식별되었다.
• $G_{2,2}$의 오토마타에 대한 $x_1$의 인cidenc 행렬은 정의된 전이 수를 가진 12×12의 특정한 구조를 가지며, 이는 유한상태 행동을 확인한다.
• $G_{2,2}$의 표현은 재귀적 공액변환과 상태 계산을 통해 실현되며, 자기유사적이고 유한상태인 자기환원군의 형태를 띤다.