[논문 리뷰] Subgroups of free idempotent generated semigroups need not be free

Mark Brittenham, Stuart Margolis외 1명|ArXiv.org|2008. 08. 13.

Advanced Topology and Set Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 Nambooripad의 정규 이중집합 이론에 대한 위상적 접근을 사용하여, 자유 아이디포텐트 생성 반군에서 비자유 최대부군의 첫 번째 알려진 예를 구성한다. 저자들은 F₂ 위의 3차원 벡터 공간에서 유도된 정규 이중집합에 대해 2차원 복합체를 부여하고, 그 결과로 얻어진 자유 정규 아이디포텐트 생성 반군의 최대부군이 랭크 2의 자유 아벨 군과 동형임을 증명함으로써, 이러한 부군이 항상 자유여야 한다는 오랫동안 지속된 추측을 반증한다.

ABSTRACT

We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup.

연구 동기 및 목표

• 자유 아이디포텐트 생성 반군의 최대부군이 항상 자유여야 한다는 추측을 반증하기 위해.
• 자신의 자유 아이디포텐트 생성 반군이 비자유 최대부군을 갖는 정규 이중집합의 구체적 예를 구성하기 위해.
• 특히 2차원 복합체와 기본 군자리 등을 포함한 위상적 도구를 사용하여 자유 아이디포텐트 생성 반군의 최대부군의 구조를 연구하기 위해.
• 정규 이중집합에 대해 2차원 복합체를 부여함으로써 Nambooripad의 유도군군 이론을 확장하여, 최대부군의 호모토피적 분석을 가능하게 하기 위해.

제안 방법

• F₂ 위의 3차원 벡터 공간의 구조를 이용하여 특정 부분공간에 대응하는 등급원을 사용해 정규 이중집합 E를 구성한다.
• 정규 이중집합 E에 대해 2차원 복합체 K(E)를 부여하고, 그 기본 군자리가 Nambooripad의 군자리 N(E)와 동형임을 보인다.
• Bass-Serre 이론을 사용하여 K(E)의 기본군을 분석함으로써, 자유 정규 아이디포텐트 생성 반군 RIG(E)의 최대부군과 관련된 군을 분석한다.
• 2차원 복합체의 세포 구조와 부착 사상 분석을 통해 K(E)의 기본군이 Z × Z, 즉 랭크 2의 자유 아벨 군과 동형임을 증명한다.
• 반군의 등급원이 F₂³ 위에서 애फ인 함수로 작용하고, 블록의 역상 구조가 군자리 구성에 필요한 조합적 및 위상적 성질을 유지함을 검증한다.
• 유한 체 위의 행렬 모노이드에 대한 기존 결과를 활용하여, 동일한 군이 다른 구성에서 최대부군으로 나타남을 확인함으로써 결과의 일반성을 강화한다.

실험 결과

연구 질문

• RQ1 자유 아이디포텐트 생성 반군의 최대부군이 비자유일 수 있는가? 이는 오랫동안 지속된, 이러한 부군이 항상 자유여야 한다는 추측을 반박하는가?
• RQ2 자유 아이디포텐트 생성 반군의 최대부군은 정규 이중집합에 대해 어떤 위상적 또는 대수적 구조를 지닌다?
• RQ3 자신의 자유 정규 아이디포텐트 생성 반군이 Z × Z 와 동형인 최대부군을 갖는 유한 정규 이중집합이 존재하는가?
• RQ4 Nambooripad의 유도군군 프레임워크를 위상적 방법과 융합하여 최대부군의 군 구조를 분석할 수 있는가?
• RQ5 F₂ 위의 유한 기하학적 구성에서 조합적 구성이 자유 아이디포텐트 생성 반군의 비자유 최대부군을 새롭게 제공할 수 있는가?

주요 결과

• 논문은 F₂ 위의 3차원 벡터 공간에서 유도된 유한 정규 이중집합 E를 구성하여, 이로부터 자유 정규 아이디포텐트 생성 반군 RIG(E)를 도출한다.
• RIG(E)의 특정 등급원에 대한 최대부군은 랭크 2의 자유 아벨 군, 즉 Z × Z 와 동형이다.
• 이로 인해 어떤 자유 아이디포텐트 생성 반군에서도 비자유 최대부군이 존재하는 첫 번째 알려진 예가 제시되며, 이러한 부군이 항상 자유여야 한다는 추측을 반박한다.
• 기본군이 Z × Z 와 동형인 2차원 복합체 K(E)의 위상적 구성은 호모토피적 방법을 통해 군 구조를 확인한다.
• 반군의 등급원은 F₂³ 위에서 애फ인 함수로 작용하며, 블록의 역상 구조는 군자리의 작용을 유지하여 위상적 및 대수적 일관성을 보존한다.
• 결과는 일반화되어, 임의의 체 F에 대해 F 위의 3×3 행렬의 이중집합 E₃(F)는 최대부군이 F의 곱셈군과 동형임을 보이며, 이는 소수 거듭제곱 pⁿ에 대해 순환군의 순서 pⁿ−1를 포함한다.