[논문 리뷰] Wreath product decompositions for triangular matrix semigroups

Mark Kambites, Benjamin Steinberg|ArXiv.org|2005. 12. 01.

semigroups and automata theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 체 $k$ 위의 $n \times n$ 상삼각행렬의 반군 $T_n(k)$에 대해 명시적인 워프 제품 분해를 제공한다. 이는 $k$ 위의 비주기적 모노이드와 아핀군의 워프 제품으로 표현되며, 유한 체일 경우 $T_n(k)$의 군 복잡도와 일치하여 최적임을 보인다. 이 분해는 항등원을 가진 환과 반환에도 확장 가능하다.

ABSTRACT

We consider wreath product decompositions for semigroups of triangular matrices. We exhibit an explicit wreath product decomposition for the semigroup of all n-by-n upper triangular matrices over a given field k, in terms of aperiodic semigroups and affine groups over k. In the case that k is finite this decomposition is optimal, in the sense that the number of group terms is equal to the group complexity of the semigroup. We also obtain some decompositions for semigroups of triangular matrices over more general rings and semirings.

연구 동기 및 목표

• 체 $k$ 위의 $n \times n$ 상삼각행렬의 반군 $T_n(k)$에 대한 명시적 워프 제품 분해를 제공한다.
• 체 $k$가 유한할 경우 이 분해가 군 복잡도의 관점에서 최적임을 보인다.
• 이 분해 방법을 항등원을 가진 더 일반적인 환과 반환 위의 삼각행렬 반군으로 확장한다.
• 반군 $T_n(k)$의 구조와 크로hn-Rhodes 이론 사이의 연결 고리를 설정한다. 특히 $χ$-클래스와 깊이 분해를 통해.
• 분해에 포함된 모든 군이 $T_n(k)$의 부분군임을 보여, 구조적 관련성과 최소성 보장한다.

제안 방법

• 집합 $\{1,\dots,n\}$의 부분집합 라티스와 동형인 정규 $χ$-클래스의 격자(= $T_n(k)$의 $χ$-클래스 구조 분석에 활용).
• Krohn-Rhodes 이론의 깊이 분해 정리 적용: 반군의 깊이와 $χ$-클래스의 구조를 이용.
• 깊이와 이항계수를 인덱스로 하여, 비주기적 모노이드 $A_i$와 군 항목 $T_{n-i}^*(k)$를 반복적으로 이용해 워프 제품 분해를 구성.
• 질량이 $n-i$인 부분항등원에서의 최대 부분군과 $T_{n-i}^*(k)$ 사이의 동형을 이용해 군 성분 식별.
• 유니트리각형($UT_n(k)$) 및 프로젝티브 삼각행렬($PT_n(k)$) 반군에 대해 군 및 비주기적 성분을 조정함으로써 분해를 적응.
• 첫 번째 저자가 이전에 계산한 군 복잡도와 일치하는 군 항목의 수를 통해 최적성 검증.

실험 결과

연구 질문

• RQ1 체 $k$ 위의 상삼각행렬 반군 $T_n(k)$에 대해 명시적인 워프 제품 분해를 구성할 수 있는가?
• RQ2 체 $k$가 유한할 경우 이 분해가 군 복잡도 측면에서 최적인가?
• RQ3 $T_n(k)$의 구조적 성질, 예를 들어 $χ$-클래스 격자와 최대 부분군 등이 분해 과정에 어떻게 기여하는가?
• RQ4 이 분해 방법을 항등원을 가진 환과 반환 위의 삼각행렬 반군으로 일반화할 수 있는가?
• RQ5 $T_n(k)$의 깊이와 그 워프 제품 분해에 포함된 군 항목의 수 사이의 관계는 무엇인가?

주요 결과

• 분해는 $A_n \wr T_1^*(k)^n \wr A_{n-1} \wr T_2^*(k)^{\binom{n}{2}} \wr \cdots \wr T_n^*(k) \wr A_0$ 형태로 명시적으로 구성되며, 여기서 $A_i$는 비주기적 모노이드이다.
• 유한 체 $k$일 경우 분해에 포함된 군 항목의 수는 $T_n(k)$의 군 복잡도와 정확히 일치하여 최적성 확인.
• 이 분해는 유한 체뿐 아니라 무한 체에 대해서도 유효하여, 이 방법의 적용 범위가 넓어진다.
• 깊이 $i$인 $χ$-클래스에서의 최대 부분군은 $T_{n-i}^*(k)$와 동형이며, 이는 워프 제품의 군 성분을 직접적으로 안내한다.
• 이 방법은 $UT_n(k)$와 $PT_n(k)$에 대해서도 최적의 분해를 도출하며, 군 길이는 $n-1$이다. 반면 $k \neq \mathbb{Z}_2$일 경우 $T_n(k)$의 군 길이는 $n$이다.
• 깊이 분해 정리에 기반한 $UT_n(k)$와 $PT_n(k)$의 대안적 분해를 얻었으며, 이는 최적성과 구조적 일관성을 확인한다.