[논문 리뷰] Parastrophes of quasigroups

Wiesław A. Dudek|arXiv (Cornell University)|2016. 02. 04.

graph theory and CDMA systems참고 문헌 2인용 수 10

한 줄 요약

이 논문은 쿼아지그룹의 파라스트로피(동역)를 그들의 이소토피 관계에 따라 분류하며, 파라스트로피의 이소토피 클래스 수가 항상 1, 2, 3 또는 6임을 증명한다. 순열을 포함하는 항등식을 사용하여 서로 다른 파라스트로피가 언제 이소토피 또는 반-이소토피인지 특성화하고, 구조적 유형을 결정하며, 이소토피에 의한 파라스트로피 행동의 완전한 분류를 도출한다.

ABSTRACT

Parastrophes (conjugates) of a quasigroup can be divided into separate classes containing isotopic parastrophes. We prove that the number of such classes is always 1, 2, 3 or 6. Next we characterize quasigroups having a fixed number of such classes.

연구 동기 및 목표

• 쿼아지그룹의 파라스트로피들 사이의 이소토피 클래스 수를 분류하는 것.
• 파라스트로피들이 서로 언제 이소토피 또는 반-이소토피가 되는지 조건을 규명하는 것.
• 그들의 연산에 대해 성립하는 순열을 포함하는 항등식에 기반해 쿼아지그룹을 특성화하는 것.
• 일반 항등식과 이소토피 관계를 통해 파라스트로피적 구조의 완전한 분류를 수립하는 것.

제안 방법

• 다섯 개의 파라스트로피를 역연산을 사용해 정의한다: $ Q_1 = Q^{-1}, Q_2 = {}^{-1}Q, Q_3 = (Q^{-1})^{-1}, Q_4 = ({}^{-1}Q)^{-1}, Q_5 = (Q^{-1})^{-1} $.
• 순열 기반 항등식을 사용해 이소토피 $ (\alpha,\beta,\gamma) $ 와 반-이소토피 $ \gamma(xy) = \alpha(y)\beta(x) $ 를 정의한다.
• 전이성과 닫힘성을 다루는 보조정리들을 활용해 이소토피 및 반-이소토피를 통해 파라스트로피 간의 동치관계를 수립한다.
• 쿼아지그룹이 파라스트로피와 이소토피이거나 반-이소토피가 되는지를 특성화하는 다섯 가지 핵심 항등식 (eq2–eq5)을 유도한다.
• 이 항등식들을 사용해 이소토피 관계에 따라 쿼아지그룹을 여섯 가지 구조적 유형(A–F)으로 분류한다.
• 항등식 (6)–(10)이 $ Q = Q_i $ for $ i=1,\dots,5 $ 와 동치임을 증명하고, 항등식 (eq22)–(eq25)가 파라스트로피의 동등성을 정의함을 보인다.

실험 결과

연구 질문

• RQ1 쿼아지그룹의 파라스트로피들이 분할될 수 있는 최대 이소토피 클래스 수는 얼마인가?
• RQ2 쿼아지그룹의 두 파라스트로피가 언제 이소토피 또는 반-이소토피가 되는가?
• RQ3 어떤 파라스트로피 항등식이 성립하는지에 따라 쿼아지그룹의 구조적 유형을 어떻게 분류할 수 있는가?
• RQ4 항등식 $ x\cdot yx = y $, $ xy\cdot x = y $ 등과 파라스트로피의 동등성 간의 관계는 무엇인가?
• RQ5 항등식 $ \eqref{eq22} $–$ \eqref{eq25} $ 는 쿼아지그룹에서 파라스트로피의 동등성을 어떻게 결정하는가?

주요 결과

• 모든 쿼아지그룹에서 파라스트로피의 이소토피 클래스 수는 항상 1, 2, 3 또는 6이다.
• 쿼아지그룹이 항등식 (1)을 만족하는 것은 그가 첫 번째 파라스트로피 $ Q_1 $ 와 반-이소토피일 때이고, 이는 $ Q \sim Q_1 \sim Q_2 $ 를 함의한다.
• 항등식 $ \eqref{eq2} $–$ \eqref{eq5} $ 는 보편적이다: 하나의 쿼아지그룹에서 성립하면 모든 이소토피 쿼아지그룹에서도 성립한다.
• 모든 순열이 항등사상일 경우, 항등식 (6)–(10)은 각각 $ Q = Q_i $ for $ i=1,\dots,5 $ 와 동치이다.
• 유형 A–F로의 분류는 완전하다: 각 쿼아지그룹은 만족하는 항등식에 따라 정확히 한 유형에 속한다.
• 교환법칙이 성립하는 쿼아지그룹의 경우, 파라스트로피들은 $ Q $ 와 같거나, 세 개의 클래스로 나뉜다: $ \{Q=Q_5\}, \{Q_1=Q_3\}, \{Q_2=Q_4\} $.