Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

이 논문은 반군 (semigroup) 이론에서 **대각 부분반군 (diagonal subsemigroups)**과 **합동 (congruences)**의 수를 비교하여, 유한 반군의 구조적 특성을 정량화하는 새로운 지표인 **DSC 계수 (DSC coefficient)**를 도입하고 그 값의 분포를 규명하는 연구입니다.

저자 Callum Barber 와 Nik Ruškuc 는 이 주제를 다루기 위해 Rees 행렬 반군 (Rees matrix semigroups) 의 구조를 활용하여 임의의 유리수 값을 DSC 계수로 갖는 반군을 구성하는 방법을 제시했습니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 연구 배경 및 문제 정의

• 기본 개념:
  • 합동 (Congruence): 반군 $S$ 위의 동치 관계이면서 곱셈과 호환되는 관계.
  • 대각 부분반군 (Diagonal Subsemigroup): $S \times S$의 부분반군이면서 대각선 $\Delta_S = \{(s, s) : s \in S\}$를 포함하는 반사적 (reflexive) 관계. 모든 합동은 대각 부분반군이지만, 역은 성립하지 않습니다.
• DSC (Diagonal Subsemigroup Congruence) 성질: 모든 대각 부분반군이 합동인 반군을 DSC 반군이라 부릅니다. 이전 연구 [1] 에 따르면, 유한 반군 $S$가 DSC 성질을 가질 필요충분조건은 $S$가 **군 (Group)**인 것입니다.
• DSC 계수 ($\chi(S)$): 유한 반군 $S$에 대해 합동의 개수 $|Cong(S)|$와 대각 부분반군의 개수$|Diag(S)|$의 비율로 정의됩니다.
  $$\chi(S) = \frac{|Cong(S)|}{|Diag(S)|}$$
  • $0 < \chi(S) \le 1$이며, $\chi(S)=1$인 경우 $S$는 군입니다.
• 연구 목표: 유한 반군 $S$를 변화시킬 때 $\chi(S)$가 취할 수 있는 값의 범위는 무엇인가? 특히, $(0, 1]$ 구간의 임의의 유리수 $\alpha$에 대해 $\chi(S)=\alpha$인 유한 반군 $S$가 존재하는가?

2. 방법론 (Methodology)

이 논문은 Rees 행렬 반군 (Rees matrix semigroups) 구조를 핵심 도구로 사용합니다.

• Rees 행렬 반군: $S = \mathcal{M}[G; I, \Lambda; P]$로 표기되며, 여기서 $G$는 군, $I$와 $\Lambda$는 인덱스 집합, $P$는 $G$의 원소로 이루어진 $\Lambda \times I$ 행렬입니다.
• 대각 부분반군의 분류 (핵심 기여):
  • 기존에 Rees 행렬 반군의 합동은 군의 정규부분군과 인덱스 집합의 동치 관계로 분류된다는 Preston 의 정리가 알려져 있었습니다.
  • 저자들은 $G$가 DSC 성질을 가진다면, Rees 행렬 반군의 대각 부분반군도 유사하게 분류할 수 있음을 증명했습니다.
  • 연결된 반사적 삼중체 (Linked Reflexive Triples): 합동의 분류에 사용되던 '연결된 동치 삼중체 (linked equivalence triples)'를 약화시켜, 인덱스 집합의 관계가 동치 관계가 아닌 **반사적 관계 (reflexive relation)**만 만족하는 '연결된 반사적 삼중체'로 대각 부분반군을 일대일 대응시킵니다.
• 계수 계산 전략:
  • 합동의 개수는 연결된 동치 삼중체의 수와, 대각 부분반군의 개수는 연결된 반사적 삼중체의 수와 일치함을 이용합니다.
  • 이를 통해 $\chi(S)$를 정규부분군, 인덱스 집합의 동치 관계 수 (Bell 수 $B(n)$), 그리고 반사적 관계 수 ($2^{n^2-n}$) 의 함수로 표현합니다.

3. 주요 결과 (Key Results)

3.1. Rees 행렬 반군의 DSC 계수 하한 (Theorem 3.4)

인덱스 집합 $I$와 $\Lambda$의 크기가 각각 $a, b > 1$인 Rees 행렬 반군 $S$에 대해 다음이 성립합니다:
$$\frac{B(a)B(b)}{2^{a^2-a}2^{b^2-b}} \le \chi(S) < 1$$
여기서 $B(n)$은 $n$개의 원소로 이루어진 집합의 동치 관계 수 (Bell 수) 입니다.

• 이 하한은 직사각형 밴드 (rectangular band) $I \times \Lambda$의 DSC 계수와 일치합니다.
• 인덱스 집합의 크기가 커질수록 하한은 0 에 수렴합니다.

3.2. 임의의 유리수 값 달성 (Theorem 1.2)

주요 정리: $(0, 1]$ 구간의 임의의 유리수 $\alpha$에 대해, $\chi(S) = \alpha$인 유한 반군 $S$가 존재합니다.

• 구성 방법:
  • 소수 $p$와 정수 $k$를 사용하여 순환군 $G = \mathbb{Z}_{p^k}$를 선택합니다.
  • 행렬 $P$의 원소를 특정 소수 거듭제곱 ($p^r, 2p^r, \dots$) 으로 구성하여, 추출된 값 (extracts) $q_{\lambda\mu ij}$가 특정 정규부분군을 생성하도록 설계합니다.
  • 이를 통해 $\chi(S)$를 다음과 같은 형태로 표현할 수 있습니다:
    $$\chi(S) = \frac{c \cdot B(a)B(b) + d}{c \cdot 2^{a^2-a}2^{b^2-b} + d}$$
  • 여기서 $c, d$는 자연수 (또는 0) 로, 임의의 유리수 $\alpha$를 표현하기 위해 적절히 선택할 수 있습니다.

3.3. Clifford 반군에 대한 관찰 (Section 4)

• Clifford 반군 (idempotents 가 중심인 정규 반군) 에 대해서도 DSC 계수를 분석했습니다.
• Clifford 반군 $S$의 DSC 계수는 그 반격 (semilattice) $Y$의 DSC 계수 $\chi(Y)$보다 작거나 같습니다 ($\chi(S) \le \chi(Y)$).
• Rees 행렬 반군과 달리, Clifford 반군의 경우 인덱스 집합 (반격) 이 커질수록 DSC 계수의 가능한 값의 범위가 매우 좁아질 수 있음을 지적했습니다.

4. 의의 및 결론

1. 수학적 완결성: DSC 계수가 $(0, 1]$ 구간의 모든 유리수 값을 가질 수 있음을 증명하여, 이 계수가 반군의 "군에 얼마나 가까운가"를 측정하는 매우 정교하고 유연한 지표임을 보였습니다.
2. 구조적 통찰: Rees 행렬 반군에서 대각 부분반군과 합동의 관계를 체계적으로 분류하는 새로운 프레임워크 (연결된 반사적 삼중체) 를 제시했습니다. 이는 반군의 구조 이론에 중요한 기여를 합니다.
3. 계산 가능성: 구체적인 군과 행렬 구성을 통해 임의의 비율을 갖는 반군을 명시적으로 구성하는 방법을 제시함으로써, 추상적인 존재 정리를 넘어 구성적 증명 (constructive proof) 을 제공했습니다.

요약하자면, 이 논문은 반군 이론에서 합동과 대각 부분반군의 관계를 정량화하는 새로운 지표를 도입하고, Rees 행렬 반군의 구조를 활용하여 이 지표가 가질 수 있는 값의 스펙트럼이 $(0, 1]$ 내의 모든 유리수임을 증명함으로써 해당 분야의 중요한 문제를 해결했습니다.