[논문 리뷰] For a few elements more: A survey of finite Rees index

Alan J. Cain, Victor Maltcev|arXiv (Cornell University)|2013. 07. 31.

semigroups and automata theory참고 문헌 40인용 수 7

한 줄 요약

이 논문은 반군 이론에서 유한 Rees 지수 확장과 부분반군에 대한 유한성과 기하적 성질의 상속에 대해 조사한다. 단어-하이퍼볼릭성은 유한 Rees 지수 부분반군에 의해 상속되며, 기하학적 하이퍼볼릭성은 유한 기하 유형을 가진 모노이드 내에서 유한 Rees 지수 확장과 부분반군에 의해 유지된다. 또한 개선된 반례와 기존 결과의 종합 표를 제공한다.

ABSTRACT

This paper makes a comprehensive survey of results relating to finite Rees index for semigroups. In particular, we survey of the state of knowledge on whether various finiteness properties (such as finite generation, finite presentability, automaticity, and hopficity) are inherited by finite Rees index subsemigroups and extensions. We survey other properties that are invariant under passing to finite Rees index subsemigroups and extensions, such as the cofinality and number of ends. We prove some new results: inheritance of word-hyperbolicity by finite Rees index subsemigroups, and inheritance of (geometric) hyperbolicity by finite Rees index extensions and subsemigroups within the class of monoids of finite geometric type. We also give some improved counterexamples. All the results are summarized in a table.

연구 동기 및 목표

• 반군에서 유한 Rees 지수 확장과 부분반군에 따른 유한성 및 구조적 성질의 상속에 관한 기존 결과를 종합적으로 조사하는 것.
• 유한 생성성, 유한 표현 가능성, 자동성, 호프피anness와 같은 핵심 성질이 유한 Rees 지수 부분반군과 확장에서 유지되는지 조사하는 것.
• 신규 이론적 결과를 수립하여, 특히 단어-하이퍼볼릭성이 유한 Rees 지수 부분반군에 의해 상속되고, 유한 기하 유형을 가진 모노이드 내에서 기하학적 하이퍼볼릭성이 유한 Rees 지수 확장에 의해 유지됨을 증명하는 것.
• 특히 전역 토르션과 코-호프피언성과 같은 성질에 대한 기존 반례를 개선하고 정밀화하는 것.
• 모든 알려진 상속 결과를 참조 및 향후 연구를 위해 정리한 상세한 요약 표를 작성하는 것.

제안 방법

• 저자들은 반군 이론 분야의 30개 이상의 핵심 논문을 통합하여 체계적인 조사 방법을 사용하며, 특히 Reidemeister–Schreier 유형의 재기록 기법에 중점을 둔다.
• Rees 지수의 정의를 분석하여, 부분반군 T가 반군 S에 대해 |S − T| + 1로 정의되며, 이에 따라 큰 부분반군과 작은 확장을 정의한다.
• 각 성질에 대해, 그것이 소규모 확장(S가 T의 소규모 확장임) 또는 부분반군(T가 S의 큰 부분반군임)에서 유지되는지 여부를 기존 정리와 논리적 추론을 통해 분석한다.
• 재기록 체계와 정규형을 적용하여 새로운 결과를 증명하며, 특히 단어-하이퍼볼릭성과 기하학적 하이퍼볼릭성에 대해 abd → ea 및 yab → af와 같은 관계를 사용한다.
• 정규형과 유도 경로를 분석하여 반례를 개선함으로써, 전역 토르션과 코-호프피언성과 같은 성질의 상속 불가능성을 입증한다.
• 모든 성질이 소규모 확장 또는 큰 부분반군에 의해 상속되는지 여부를 기록한 종합적인 요약 표를 편집하고 검증한다.

실험 결과

연구 질문

• RQ1 유한 Rees 지수 부분반군에서 단어-하이퍼볼릭성이 유지되는가?
• RQ2 유한 기하 유형을 가진 모노이드 내에서 기하학적 하이퍼볼릭성은 유한 Rees 지수 확장과 부분반군에 의해 유지되는가?
• RQ3 호프피언성, 코-호프피언성, 유한 Malcev 표현 가능성과 같은 성질이 유한 Rees 지수 부분반군 또는 확장에 의해 상속되는가?
• RQ4 전역 토르션 또는 유한 완전 재기록 체계와 같은 성질의 상속 불가능성에 대한 기존 반례를 개선하거나 정밀화할 수 있는가?
• RQ5 예를 들어 이상의 수나 그린의 관계와 같은 구조적 성질은 유한 Rees 지수 확장 또는 부분반군에서 유지되는가?

주요 결과

• 단어-하이퍼볼릭성은 Theorem 10.1에서 증명된 바와 같이 유한 Rees 지수 부분반군에 의해 상속된다.
• 기하학적 하이퍼볼릭성은 유한 기하 유형을 가진 모노이드 내에서 유한 Rees 지수 확장과 부분반군에 의해 유지되며, Theorem 11.6에서 확인되었다.
• 모든 부분반군이 유한한 수를 가진다는 성질은 소규모 확장과 큰 부분반군 모두에 의해 상속되며, Ruškuc에 의해 입증되었다.
• 모든 왼쪽 이상이 큰 이상임이라는 성질은 소규모 확장에 의해 상속되지 않으며, Ruškuc의 연구에서 반례로 입증되었다.
• 전역 토르션 성질은 큰 부분반군에 의해 상속되지 않으며, Guba, Maltcev, Miasnikov, Ruškuc의 연구에서 반례로 보여졌다.
• 자동성과 이방향 자동성은 각각 소규모 확장과 큰 부분반군에 대해 유지됨이 기존 정리에 근거하여 확인되었다.