[논문 리뷰] Subgroups of free idempotent generated semigroups: full linear monoid

Mark Brittenham, Stuart Margolis외 1명|arXiv (Cornell University)|2010. 09. 28.

Advanced Topics in Algebra참고 문헌 15인용 수 15

한 줄 요약

이 논문은 자유 아이디포텐트 생성 반군의 최대부군을 분석하기 위해 위상수학적 도구를 개발하며, 분할환 $Q$ 위의 전체 선형 모노이드 $M_n(Q)$에 초점을 맞춘다. 랭크-1 아이디포텐트 행렬과 관련된 최대부군이 곱셈군 $Q^*$와 동형임을 증명함으로써, 이 맥락에서 비자유군의 구체적 실현을 제공하고 이러한 반군 내의 부분군 구조에 대한 이해를 심화시킨다.

ABSTRACT

We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q.

연구 동기 및 목표

• 자유 아이디포텐트 생성 반군(FIGS)의 최대부군을 연구하기 위한 새로운 위상수학적 도구를 개발하기 위해.
• 분할환 $Q$ 위의 전체 선형 모노이드 $M_n(Q)$의 이중순서집합에서 유래하는 FIGS 내 최대부군의 구조를 규명하기 위해.
• IG(E(M_n(Q))) 내 랭크-1 아이디포텐트 행렬에 대응하는 최대부군의 동형 타입을 해결하기 위해.
• 분할환 $M_n(Q)$의 이중순서집합과 관련된 그레함-하우튼 2-복합체의 위상적 성질을 탐구하기 위해.
• 실험적 증거에 기반해 랭크-1과 $n-1$ 사이의 중간 랭크 아이디포텐트에 대응하는 최대부군이 $GL_k(Q)$와 동형인지 조사하기 위해.

제안 방법

• 저자들은 정규 이중순서집합 $E$ 와 관련된 그레함-하우튼 2-복합체 $GH(E)$ 를 사용하며, 그 기본군은 $IG(E)$ 의 최대부군과 대응된다.
• 랭크-1 아이디포텐트 행렬과 그 이중성을 매개변수로 하는 복합체 $K_{n,1}$ 의 1-스켈레톤의 분해를 분석하여, 그것이 단순연결임을 보인다.
• 복합체 $K_{n,1}$ 의 1-스켈레톤이 단순연결임을 증명함으로써, 연결 성분의 기본군이 $Q^*$ 와 동형임을 유도한다.
• 증명은 $n$ 에 대한 귀납적 추론을 통해 진행되며, 간선길의 호모토피와 4사이클의 변형을 이용하여 모든 간선이 스패닝 트리 내의 경로와 호모토피 임을 보인다.
• 피복 공간 이론과 군 작용을 적용하여, 만약 피복 공간이 단순연결이라면 기본군이 $RIG(E)$ 의 최대부군과 동형임을 보인다.
• 기하학적 및 조합적 기법을 사용하며, 그라스만만 구조의 맥락에서 정점은 $Q^n$ 내의 $k$-평면으로, 간선은 인cidenc 관계로 해석된다.

실험 결과

연구 질문

• RQ1 IG(E(M_n(Q))) 내 랭크-1 아이디포텐트 행렬에 대응하는 최대부군의 동형 타입은 무엇인가?
• RQ2 특히 피복 공간과 기본군을 포함한 위상수학적 방법을 사용하여 자유 아이디포텐트 생성 반군 내 최대부군의 구조를 규명할 수 있는가?
• RQ3 1 < k < n-1 인 경우, IG(E(M_n(Q))) 내 랭크-$k$ 아이디포텐트 행렬에 대응하는 최대부군이 $GL_k(Q)$ 와 동형인가?
• RQ4 왜 랭크-$n-1$ 아이디포텐트에 대응하는 최대부군은 자유군인가, $GL_{n-1}(Q)$ 는 비자유군임에도 불구하고?
• RQ5 중간 $k$ 에 대해 부분복합체 $\widetilde{K}_{n,k}$ 의 위상적 복잡성을 분석하여 군의 구조를 드러낼 수 있는가?

주요 결과

• IG(E(M_n(Q))) 내 랭크-1 아이디포텐트 행렬에 대응하는 최대부군은 분할환 $Q$ 의 곱셈군 $Q^*$ 와 동형이다.
• 랭크-1 아이디포텐트에 관련된 복합체 $K_{n,1}$ 의 1-스켈레톤의 피복 공간은 단순연결이며, 이는 기본군이 $Q^*$ 와 동형임을 시사한다.
• 증명는 모든 간선이 4사이클 변형의 시퀀스를 통해 스패닝 트리 내의 경로와 호모토피 임을 보여주는 데 기반한다.
• $n > 2$ 인 경우, 복합체 $K_{n,1}$ 은 연결되어 있으며 그 피복 공간은 단순연결하므로, 위상적 구조가 군 동형에 기여함을 확인한다.
• 랭크-$n-1$ 아이디포텐트에 대응하는 최대부군은 자유군이며, 이는 $GL_{n-1}(Q)$ 와 동형이 되어야 한다는 기대와 모순된다.
• 저자들은 $1 < k < n-1$ 이며 $k < n/2$ 인 경우, IG(E(M_n(Q))) 내 랭크-$k$ 아이디포텐트에 대응하는 최대부군이 $GL_k(Q)$ 와 동형임을 추측하지만, 아직 증명되지 않았다.