[논문 리뷰] Ordered algebraic structures and classification of semifields

Guillaume Tahar|arXiv (Cornell University)|2017. 09. 20.

Advanced Algebra and Logic참고 문헌 2인용 수 3

한 줄 요약

이 논문은 특성에 따라 반체를 분류하며, 특성 $p$인 반체는 모두 체임을 보여주고, 특성 1인 반체는 정확히 격자순서가 붙은 군(예: 최대-합 대수)과 일대일 대응되며, 특성 0인 엄격 반체는 취소 가능(부분순서가 붙은 링에 매장 가능한)이거나 취소 가능 반체의 몫임을 밝힌다. 주요 기여는 복잡한 대수적 구조를 잘 알려진 대수적 대상으로의 구조적 축소를 이룬 데 있다.

ABSTRACT

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For every characteristic, we provide a structure theorem that reduces the classification of semifields to the classification of better-known algebraic structures. Every semifield of characteristic $p$ is actually a field. There is an equivalence between semifields of characteristic one and lattice-ordered groups. Strict semifields of characteristic zero are quotients of cancellative semifields and there is an equivalence between concellative strict semifields and a particular class of partially ordered rings.

연구 동기 및 목표

• 특성에 따라 반체를 체계적으로 분류하여 복잡한 대수적 구조를 더 익숙한 것으로 축소하는 것.
• 특성 0인 엄격 반체의 분류 갭을 해소하기 위해 취소 가능 및 비취소 가능 케이스를 식별하는 것.
• 반체와 기존의 대수적 대상(예: 격자순서가 붙은 군, 부분순서가 붙은 링) 사이의 구조적 동치를 확립하는 것.
• 반체의 등급원소 및 비등급원소가 대수기하학과 토폴로지 수학에서 수행하는 역할을 명확히 하는 것.
• 모든 특성 0인 엄격 반체가 취소 가능 반체의 몫으로 나타남을 보여, 그들의 구성 방식을 통합하는 것.

제안 방법

• 반체의 특성을 그 덧셈 항등원과 곱셈 항등원이 생성하는 부분반체의 동형 유형으로 정의한다.
• 덧셈 역원의 존재가 곱셈 군에 의해 유도되므로 특성 $p$인 반체는 체임을 증명한다.
• 1 + x^{-1} = 1로 정의된 양의 원소 집합을 이용해 특성 1인 반체와 격자순서가 붙은 군 사이의 일대일 대응을 수립한다.
• x + z = y + z 이면 x = y임을 만족하는 반체를 취소 가능 반체로 정의하고, 그들을 그로텐디크 군 구성법을 통해 부분순서가 붙은 링에 매장한다.
• F의 원소들의 형식적 합과 분수로부터 몫 반체 $Q(F)$를 구성하며, 특성 0인 모든 엄격 반체가 취소 가능 반체의 몫임을 보인다.
• 격자순서가 붙은 군에서의 이동 불변성을 이용해 특성 1인 반체에서 덧셈에 대한 곱셈의 분배법칙이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 반체의 특성에 따라 완전한 분류는 무엇인가?
• RQ2 특성 1인 반체는 격자순서가 붙은 군과 어떻게 관련이 있는가?
• RQ3 취소 가능 반체는 특성 0인 엄격 반체의 분류에서 어떤 구조적 역할을 하는가?
• RQ4 모든 특성 0인 엄격 반체는 취소 가능 반체의 몫으로 구성될 수 있는가?
• RQ5 특성 0의 맥락에서 반체와 부분순서가 붙은 링 사이의 관계는 무엇인가?

주요 결과

• 특성 $p$인 반체는 반드시 체이며, 곱셈 군이 토크션 자유이면서 유한한 것은 자명성을 강제로 이끌어 덧셈 역원의 존재를 유도한다.
• 특성 1인 반체는 격자순서가 붙은 군과 일대일 대응되며, 여기서 덧셈은 최대값으로 정의되고 곱셈은 군 연산으로 작용한다.
• 특성 0인 취소 가능 엄격 반체는 모든 양의 원소가 역원에 대해 닫혀 있고 링을 생성하는 부분순서가 붙은 링에 매장될 수 있다.
• 반대로, 그러한 링의 엄격히 양의 원소 집합은 특성 0인 취소 가능 엄격 반체를 이룬다.
• 모든 특성 0인 엄격 반체는 형식적 합과 분수를 통해 유리 스케일링 관계에 대해 모듈로한 방식으로 취소 가능 엄격 반체의 몫으로 구성된다.
• 비취소 가능 반체, 예를 들어 점근적 동치에 따라 정의된 양의 유리 함수 반체는 취소 가능 반체의 몫으로 나타나며, 이는 일반적인 구성 메커니즘을 보여준다.