[논문 리뷰] Bi-skew braces and Hopf Galois structures

Lindsay N. Childs|arXiv (Cornell University)|2019. 04. 18.

Algebraic structures and combinatorial models참고 문헌 16인용 수 23

한 줄 요약

이 논문은 두 개의 군 연산을 가진 대수적 구조인 이중-스키어 브레이스(bi-skew braces)를 소개한다. 각 연산이 각각 스카이어 브레이스를 이루는 구조이며, 이러한 구조는 갈루아 확대에서 양방향 호프 갈루아 구조와 대응되며, 근본 대수와 반직접곱의 결과로 일반화된 결과를 포함한다. 주요 기여는 근본 대수와 반직접곱에서 유래된 이중-스키어 브레이스의 특성화로, 순서 $p^3$인 왼쪽 브레이스가 근본환인 경우에만 이중-스키어 브레이스임을 보여준다.

ABSTRACT

We define a bi-skew brace to be a set $G$ with two group operations $\star$ and $\circ$ so that $(G, \circ, \star)$ is a skew brace with additive group $(G, \star)$ and also with additive group $(G, \circ)$. If $G$ is a skew brace, then $G$ corresponds to a Hopf Galois structure of type $(G, \star)$ on any Galois extension of fields with Galois group isomorphic to $(G, \circ)$. If $G$ is a bi-skew brace, then $G$ also corresponds to a Hopf Galois structure of type $(G, \circ)$ on a Galois extension of fields with Galois group isomorphic to $(G, \star)$. Many non-trivial examples exist. One source is radical rings $A$ with $A^3 = 0$, where one of the groups is abelian and the other need not be. The left braces of degree $p^3$ classified by Bachiller are bi-skew braces if and only they are radical rings. A different source of bi-skew braces is semidirect products of arbitrary finite groups, which yield many examples where both groups are non-abelian, and a skew brace proof of a result of Crespo, Rio and Vela that if $G = H times J$ is a semidirect product of finite groups, then a Galois extension of fields with Galois group $G$ has a Hopf Galois structure of type $H imes J$.

연구 동기 및 목표

• 두 개의 군 연산을 가진 집합으로서, 각 연산이 스카이어 브레이스를 이루는 이중-스키어 브레이스를 정의하고 연구하는 것.
• 갈루아 확대에서 양방향 유형의 호프 갈루아 구조와 이중-스키어 브레이스 사이의 대응 관계를 확립하는 것.
• 순서가 $p^3$인 왼쪽 브레이스가 근본 대수 $A^3 = 0$와 반직접곱으로부터 유래된 이중-스키어 브레이스로 분류하는 것.
• 순서 $p^3$인 왼쪽 브레이스가 이중-스키어 브레이스가 되는 조건을 규명하여, 이것이 정확히 근본환인 경우에만 성립함을 보여주는 것.

제안 방법

• 집합 $G$와 두 개의 군 연산 $\star$와 $\circ$를 갖는 이중-스키어 브레이스를 정의하여, $(G, \circ, \star)$가 덧셈군 $(G, \star)$을 갖는 스카이어 브레이스이자, 덧셈군 $(G, \circ)$를 갖는 스카이어 브레이스이기도 하도록 하는 것.
• 왼쪽 정규 표현 사상 $\lambda_\star$와 $\lambda_\circ$를 사용하여, 조건 $\lambda_\circ(G) \subseteq \mathrm{Hol}(G, \star)$를 통해 스카이어 브레이스를 특성화하는 것.
• 근본 $ \mathbb{F}_p$-대수 $A^3 = 0$에서 유래된 이중-스키어 브레이스를 구성하며, 한 쪽 군은 아벨일 수 있지만 다른 쪽은 아닐 수 있음을 고려하는 것.
• 유한군의 반직접곱 $G = H \rtimes J$를 사용하여, $G$가 $\star$에 대해 비아벨이고 $G$가 $\circ$에 대해 비아벨인 이중-스키어 브레이스를 생성하는 것.
• 이론을 적용하여 $G = H \rtimes J$이면 갈루아 확대가 유형 $H \times J$의 호프 갈루아 구조를 가짐을 증명하며, Crespo, Rio, Vela의 결과를 일반화하는 것.
• 순서 $p^3$인 왼쪽 브레이스의 Bachiller 분류를 분석하여, 그것이 근본 대수에서 유래된 경우에만 이중-스키어 브레이스임을 보여주는 것.

실험 결과

연구 질문

• RQ1 스카이어 브레이스가 이중-스키어 브레이스가 되는 조건은 무엇이며, 이를 보장하는 구조적 조건은 무엇인가?
• RQ2 순서 $p^3$인 왼쪽 브레이스가 근본 대수에서 유래된 이중-스키어 브레이스가 되는 조건은 무엇인가?
• RQ3 반직접곱과 이중-스키어 브레이스 사이의 관계는 무엇이며, 특히 두 군이 모두 비아벨일 경우 어떻게 되는가?
• RQ4 순서 $p^3$인 왼쪽 브레이스가 이중-스키어 브레이스가 되는 조건은 무엇인가?
• RQ5 동일한 갈루아 확대에서 하나의 이중-스키어 브레이스를 통해 양방향 호프 갈루아 구조를 실현할 수 있는가?

주요 결과

• 순서 $p^3$인 왼쪽 브레이스는 근본 $ \mathbb{F}_p$-대수 $A^3 = 0$에서 유래된 경우에만 이중-스키어 브레이스이다.
• 근본 대수 $A^3 = 0$에서 유도된 이중-스키어 브레이스는 반드시 반직접곱 구조로 표현될 수는 없으며, 이러한 구조의 서로 다른 원천을 보여준다.
• 모든 반직접곱 $G = H \rtimes J$에 대해, $(G, \circ, \star)$는 이중-스키어 브레이스를 이룬다. 여기서 $(G, \star)$는 반직접곱이고 $(G, \circ)$는 직접곱 $H \times J$이다.
• 만약 $G = H \rtimes J$이고 $H$와 $J$가 아벨이면, $G$-갈루아 확대는 유형 $H \times J$의 아벨 호프 갈루아 구조를 가진다.
• 비아벨 군 $N$에 대해 $\mathrm{Hol}(N) \cong N \rtimes \mathrm{Aut}(N)$는 덧셈군과 원환군 모두가 비아벨인 이중-스키어 브레이스를 제공하며, 헤이젠베르크 군 $M_{(p)}$의 예에서 이를 보여준다.
• 반직접곱에서 유래되지 않는 이중-스키어 브레이스가 존재한다. 예를 들어, $ \mathbb{F}_p$ 위의 6차원 근본 대수에서 덧셈군은 기본 아벨군이지만, 곱셈군은 $\circ = +$인 부분군의 곱으로 분해될 수 없는 경우가 존재한다.