[논문 리뷰] Central and medial quasigroups of small order

David Stanovský, Petr Vojtěchovský|arXiv (Cornell University)|2015. 11. 11.

Mathematics and Applications참고 문헌 5인용 수 4

한 줄 요약

이 논문은 $C_4\times C_2^4$, $C_2^6$, $C_3^4$, 또는 $C_5^3$와 동치인 경우를 제외하고 순서가 128 미만인 중심 및 중앙(quasigroup)의 동형류에 대한 체계적인 열거를 제시한다. 등장하는 동형류 정리와 GAP에서의 계산 방법을 사용하여, 유한 순환군 위에 애매하게 정의된 중심 쿼아스그룹의 수에 대한 명시적 공식을 유도하고, 나머지 모든 순서에 대해 정확한 수를 표로 정리하여, 소수의 순서를 넘어서는 중심 및 중앙 쿼아스그룹의 첫 번째 체계적 분류를 제공한다.

ABSTRACT

We enumerate central and medial quasigroups of order less than $128$ up to isomorphism, with the exception of those quasigroups that are isotopic to $C_4 imes C_2^4$, $C_2^6$, $C_3^4$ or $C_5^3$. We give an explicit formula for the number of quasigroups that are affine over a finite cyclic group.

연구 동기 및 목표

• 순서가 128 미만인 중심 및 중앙 쿼아스그룹을 동형류로 분류하고 열거하는 것.
• 특정 동치류를 제외한 중심 및 중앙 쿼아스그룹의 동형류에 대한 완전한 목록을 제공하는 것.
• 끝이 없는 순환군 위에 애매하게 정의된 중심 쿼아스그룹의 수에 대한 명시적 공식을 도출하는 것.
• GAP를 사용하여 동형류를 효율적으로 열거하는 계산 프레임워크를 수립하는 것.
• 기존의 중앙 쿼아스그룹 결과를 확장하고, 중앙 쿼아스그룹에 대한 OEIS 수열 A226193의 빈자리 메꾸기

제안 방법

• 중심 쿼아스그룹에 대한 동형류 정리를 제안하여 분류 문제를 아벨 군과 그 자동형군으로 환원한다.
• 저자들은 아벨 군 위에 애매하게 정의된 쿼아스그룹의 구조를 사용한다: $x*y = \varphi(x) + \psi(y) + c$, 여기서 $\varphi, \psi$는 기저 아벨 군의 자동형이다.
• 소수 거듭제곱 순서를 가진 순환군의 경우, 중심 쿼아스그룹의 동형류 수에 대한 닫힌 형태 공식을 유도한다.
• GAP 계산 대수 시스템을 사용하여 열거를 수행하며, 군 자동형군과 군 작용을 통한 궤도 수 계산을 활용한다.
• 이 방법은 자동형군이 교환 가능한 자동형 쌍과 이동 원소 위에서 작용하는 궤도를 계산하는 데 포함된다.
• 결과는 군의 구조별로 체계적으로 표로 정리되며, 중심 및 중앙 쿼아스그룹의 동형류 수가 포함된다.

실험 결과

연구 질문

• RQ1 순서가 128 미만인 아벨 군 중에서 특정 동치류를 제외한 경우, 각 군에 대해 비동형 중심 쿼아스그룹이 몇 개인가?
• RQ2 특히 소수 거듭제곱 또는 작은 소수의 곱인 경우, 순서 $n < 128$인 중앙 쿼아스그룹의 동형류 수는 정확히 얼마인가?
• RQ3 끝이 없는 순환군 위에 애매하게 정의된 중심 쿼아스그룹의 동형류 수에 대한 명시적 공식을 도출할 수 있는가?
• RQ4 동일한 순서를 가진 서로 다른 아벨 군의 구조에서 중심 및 중앙 쿼아스그룹의 수는 어떻게 비교되는가?
• RQ5 중심 쿼아스그룹의 동형류를 결정하는 자동형군 작용의 구조는 무엇인가?

주요 결과

• 논문은 $C_4\times C_2^4$, $C_2^6$, $C_3^4$, 또는 $C_5^3$와 동치인 경우를 제외하고, 순서가 128 미만인 모든 중심 및 중앙 쿼아스그룹의 동형류 수를 정확히 제시하며, 전체 결과는 부록에 표로 정리되어 있다.
• 소수 순서 $p$에 대해 중심 쿼아스그룹의 동형류 수는 $p(p-1)$이며, $C_{p^k}$의 경우 닫힌 형태의 공식이 도출된다.
• 순서 121인 중앙 쿼아스그룹의 수는 27,796이고, 순서 125인 경우 $C_5^3$에 대해 148,800,000개이지만, $C_5^3$의 정확한 동형류 수는 여전히 열린 문제로 남아 있다.
• 순서 108인 중심 쿼아스그룹의 수는 686,242이고, 순서 108인 중앙 쿼아스그룹의 수는 20,462이다.
• 소수 순서 $p$에 대해 중심 쿼아스그룹의 동형류 수는 $p(p-1)$이며, $C_p$에 대해 중앙 쿼아스그룹의 수도 $p(p-1)$로 동일하게 나타나며, 중심 쿼아스그룹의 수와 일치한다.
• 논문은 순서 127 이하의 모든 아벨 군에 대해 중심 및 중앙 쿼아스그룹의 열거를 해결하였으며, 네 가지 특정한 동치류를 제외하고, 향후 OEIS 항목의 기초를 마련하였다.