[논문 리뷰] Word maps with small image in simple groups

Matthew Levy|arXiv (Cornell University)|2012. 06. 06.

Coding theory and cryptography참고 문헌 2인용 수 5

한 줄 요약

이 논문은 유한 단순군에서 작은 이미지를 가진 비거듭제곱 단어를 구성한다. 특히, n ≥ 2일 때 SL(2, 2^{2^n})에서 항등원과 순서 17 원소의 정확히 하나의 동치류로 이루어진 이미지를 가지는 단어가 존재함을 보여주며, 이는 비전사성의 증거가 된다. 또한 교환자 단어와 MAGMA 검증을 활용하여, 지지 크기가 ≤10인 임의의 동치류와 항등원을 포함하는 이미지를 가지는 단어를 대칭군 Alt(n)에서 구성한다.

ABSTRACT

We construct non-power words which have small image in SL(2; 22n) for each n. In particular, the corresponding word maps are non-surjective. We also use this to construct word maps whose values are precisely the identity and a single equivalence class of elements of order 17. In the second part we construct words which have image consisting of the identity and a single equivalence class of elements in Alt(n) for all n for any equivalence class with support size at most 10.

연구 동기 및 목표

• 자유군 내의 비거듭제곱 단어를 구성하여, 유한 단순군에서 단어 사상에 의한 이미지가 작고 정확히 구조화된 경우를 다루는 것.
• n ≥ 2일 때 SL(2, 2^{2^n})에서 비전사 단어 사상이 존재함을 보이며, 특히 이미지가 항등원과 순서 17 원소의 네 개의 공轭류로 이루어져 있음을 입증하는 것.
• 이러한 구성 방식을 대칭군 Alt(n)로 확장하여, 지지 크기가 최대 10인 임의의 동치류가 항등원과 함께 단어 사상의 이미지로 나타날 수 있음을 보이는 것.
• SL(4)(2) ≅ Alt(8)의 예외적인 케이스를 해결하여, (2,2,2,2)-순환 유형이 Alt(n)에서 단어 사상에 의해 실현 가능함을 보이는 것.

제안 방법

• SL(2,q)에서의 추적 다항식과 조르당 표준형 분류를 활용하여 고유값과 추적을 기반으로 단어 사상의 이미지를 분석하는 것.
• 지수 벡터 $e_k$를 적절히 선택하여 반복된 교환자 $[w_{C_1}, w_{C_2}]^{e_i}$ 형태의 단어를 구성함으로써 이미지 내용을 제어하는 것.
• 기존 문헌 [4]에서 알려진 대칭군 및 선형군에서의 단어 사상 결과를 기반으로 하는 구성 기법의 활용.
• 지지 크기가 ≤10인 순환 유형에 대해 MAGMA 계산을 통해 구성된 단어가 Alt(n)에서 원하는 이미지 집합을 정확히 달성하는지 검증하는 것.
• 자기동형사상 군 작용에 대해 이미지가 닫혀 있음을 보장함으로써 동치류의 구조를 확보하는 군론적 기법의 적용.
• 기존 단어의 거듭제곱을 통해 공轭류의 합집합에서 특정 하나의 동치류만을 분리하는 기법의 사용.

실험 결과

연구 질문

• RQ1 SL(2, 2^{2^n})에서 이미지가 정확히 항등원과 순서 17 원소의 하나의 동치류로 이루어진 비거듭제곱 단어를 구성할 수 있는가?
• RQ2 지지 크기가 ≤10인 Alt(n)의 어떤 동치류에 대해, 그 이미지가 항등원과 정확히 그 동치류로 이루어진 단어 사상이 존재하는가?
• RQ3 PSL(2,q)가 아닌 유한 단순군에서도, 이미지가 항등원과 하나의 자기동형사상 동치류의 합집합인 단어 사상을 구성할 수 있는가?
• RQ4 SL(4)(2) ≅ Alt(8)의 예외 케이스는 전치치를 포함하는 단어 사상 이미지의 맥락에서 어떻게 해결될 수 있는가?
• RQ5 어떤 기법을 통해 원하지 않는 공轭류를 배제하면서도 원하는 공轭류를 유지할 수 있는 단어 사상의 이미지를 정밀하게 제어할 수 있는가?

주요 결과

• 모든 n ≥ 2에 대해 SL(2, 2^{2^n})에서 항등원과 정확히 네 개의 순서 17 원소 공轭류로 이루어진 이미지를 가지는 비거듭제곱 단어 w가 존재한다.
• 이는 n ≥ 2일 때 SL(2, 2^{2^n})에서 비전사 단어 사상이 존재함을 의미하며, 잠재적 전사성 추측에 대한 반례를 제공한다.
• 구성된 단어를 적절한 거듭제곱으로 승제하면, 이미지를 항등원과 순서 17 원소의 정확히 하나의 동치류로 줄일 수 있다.
• 모든 대칭군 Alt(n)과 지지 크기가 ≤10인 임의의 동치류 C에 대해, Alt(n)_{w_C} = {e} ∪ C를 만족하는 단어 w_C가 존재한다.
• 기본 단어(예: 3-순환, 5-순환)의 반복 교환자를 적절한 지수로 선택하여 목표 순환 유형을 분리하는 구성 기법을 사용한다.
• SL(4)(2) ≅ Alt(8)의 예외 케이스는 해결되었으며, (2,2,2,2)-순환 유형이 Alt(n)에서 단어 사상의 이미지로 실현 가능함이 입증되었고, 일반 결과와 일관된다.