[논문 리뷰] Classification of doubly distributive skew hyperfields and stringent hypergroups

Nathan Bowler, Ting Su|arXiv (Cornell University)|2020. 03. 08.

Rings, Modules, and Algebras참고 문헌 9인용 수 4

한 줄 요약

이 논문은 이중 분배적 스칼라 하이퍼필드를 분류하기 위해 먼저 강한 하이퍼군(덧셈에서 서로 덧셈 역원이 아닌 경우 결과가 단일 원소가 되는)을 분류한다. 이로써 모든 이러한 하이퍼필드가 스칼라 필드의 몫임을 보인다. 분류 결과, 모든 이중 분배적 스칼라 하이퍼필드는 크라스너 하이퍼필드, 부호 하이퍼필드, 또는 스칼라 필드 위에서의 웨지 합 구조로부터 유도되며, 관련된 세미링은 슈퍼트로피컬, 대칭화된 (max,+), 또는 선형화된 (max,+) 구조를 이룬다.

ABSTRACT

A hypergroup is stringent if $a \boxplus b$ is a singleton whenever $a eq -b$. A hyperfield is stringent if the underlying additive hypergroup is. Every doubly distributive skew hyperfield is stringent, but not vice versa. We present a classification of stringent hypergroups, from which a classification of doubly distributive skew hyperfields follows. It follows from our classification that every such hyperfield is a quotient of a skew field.

연구 동기 및 목표

• 이중 분배적 스칼라 하이퍼필드의 기초가 되는 하이퍼군의 구조를 분석함으로써 모든 이중 분배적 스칼라 하이퍼필드를 분류하는 것.
• 덧셈에서 a≠−b일 때 a⊕b가 단일 원소가 되는 강한 하이퍼군이 이러한 하이퍼필드의 기초가 되는 클래스임을 보이는 것.
• 모든 이중 분배적 스칼라 하이퍼필드가 스칼라 필드의 몫임을 보이며, 이는 토폴로지 기하학과 매트로이드 이론에서 알려진 결과를 확장하는 것.
• 이 하이퍼필드의 관련 세미링을 도출하고, 이들이 슈퍼트로피컬, 대칭화된 (max,+), 또는 선형화된 (max,+) 세미링임을 확인하는 것.
• 매트로이드의 하이퍼필드 기반의 구조적 프레임워크를 제공하기 위해, 이중 분배적 스칼라 하이퍼필드의 대수적 성질을 특성화하는 것.

제안 방법

• 전체 순서가 있는 군 G와 G에 의해 인덱싱된 하이퍼군 F_g를 바탕으로, G 위에서의 웨지 합 구조를 사용해 강한 하이퍼군을 분류하며, F_g^×에서 G로의 사영 ψ를 정의한다.
• 하이퍼군 F_g의 순서와 하이퍼군 연산에 따라 결정되는 하이퍼덧셈을 갖는 웨지 합 F = ⋁_{g∈G} F_g를 정의한다.
• 이중 분배성의 성질을 이용해, 서로 덧셈 역원이 아닐 경우 덧셈 결과가 단일 원소임을 보이며, 모든 이중 분배적 스칼라 하이퍼필드가 강한 하이퍼군임을 증명한다.
• H의 멱집합에서 세미링 ⟨H⟩를 구성하며, ⊕와 ⊙ 연산은 하이퍼필드 덧셈과 곱셈으로 확장한다.
• 기초 하이퍼필드에 따라 세 가지 경우를 분석: 크라스너, 부호 하이퍼필드, 또는 스칼라 필드—각각 슈퍼트로피컬, 대칭화된 (max,+), 또는 선형화된 (max,+) 세미링을 유도한다.
• 가장자리 이론을 사용해 ν⁻¹(1_G)가 크라스너 하이퍼필드, 부호 하이퍼필드, 또는 스칼라 필드임을 보이며, 이는 유한한 이중 분배적 하이퍼필드가 이들로 국한됨을 시사한다.

실험 결과

연구 질문

• RQ1 이중 분배적 스칼라 하이퍼필드의 구조적 성질은 무엇이며, 강한 하이퍼군과 어떻게 관련되어 있는가?
• RQ2 모든 이중 분배적 스칼라 하이퍼필드가 스칼라 필드의 몫으로 표현될 수 있는가?
• RQ3 이중 분배적 하이퍼필드의 관련 세미링은 무엇이며, 이는 토폴로지 기하학에서 알려진 대수적 구조와 어떻게 관련되어 있는가?
• RQ4 세 가지 기본 사례인 크라스너, 부호 하이퍼필드, 스칼라 필드는 결과 하이퍼필드와 그 세미링의 형태를 어떻게 결정하는가?
• RQ5 강성(스트링언시)은 분류에서 어떤 역할을 하는가? 왜 이는 모든 이중 분배적 하이퍼필드를 특성화하는 데 부족한가?

주요 결과

• 모든 이중 분배적 스칼라 하이퍼필드는 스칼라 필드의 몫이며, 이는 매트로이드 이론과 토폴로지 기하학에 중요한 영향을 미치는 핵심적인 구조적 결과이다.
• 유한한 이중 분배적 하이퍼필드는 크라스너 하이퍼필드, 부호 하이퍼필드, 그리고 유한체 이외에는 존재하지 않으며, 이는 비자명한 순서 군이 무한하기 때문이다.
• 모든 이중 분배적 스칼라 하이퍼필드는 F = ⋁_{g∈G} F_g의 형태로 웨지 합 구조로부터 유도되며, 여기서 각 F_g는 크라스너 하이퍼필드, 부호 하이퍼필드, 또는 스칼라 필드이며, G는 전체 순서 군이다.
• 모든 이중 분배적 하이퍼필드 H의 관련 세미링 ⟨H⟩는 슈퍼트로피컬, 대칭화된 (max,+), 또는 선형화된 (max,+) 세미링 중 하나와 동형이며, 이는 기초 하이퍼필드에 따라 달라진다.
• 크라스너 기초 하이퍼필드의 경우 ⟨H⟩는 슈퍼트로피컬 세미링이며, 부호 하이퍼필드의 경우 대칭화된 (max,+) 세미링이며, 필드 기초의 경우 선형화된 (max,+) 세미링이다.
• 모든 이중 분배적 스칼라 하이퍼필드에서의 가중치 ν는 ν⁻¹(1_G) ∈ {Krasner, sign hyperfield, skew field}를 만족함으로써, 이러한 구조에 깊이 있는 대수적 제약 조건이 있음을 확인한다.