[논문 리뷰] Solubility Criteria for Hopf-Galois Structures

Nigel P. Byott|arXiv (Cornell University)|2014. 12. 18.

Finite Group Theory Research참고 문헌 27인용 수 16

한 줄 요약

이 논문은 유한 갈루아 체 확장에서 훌프-갈루아 구조의 가소성 기준을 확립한다. 구체적으로, 유형군 $ G $ 가 노름화 가능하면 갈루아 군 $ \Gamma $ 는 가소적이며, $ \Gamma $ 가 아벨이면 $ G $ 는 가소적이라고 증명한다. 이 결과들은 힐 하위군과 유한 단순군의 분류와 같은 군론적 도구에 기반하며, $ \Gamma $ 와 $ G $ 는 동일한 구성 인자를 가져야 한다는 이전의 가정을 반박한다.

ABSTRACT

Let $L/K$ be a finite Galois extension of fields with group $Γ$. Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $Γ$. The type of the Hopf-Galois structure is by definition the isomorphism type of $G$. We investigate the extent to which general properties of either of the groups $Γ$ and $G$ constrain those of the other. Specifically, we show that if $G$ is nilpotent then $Γ$ is soluble, and that if $Γ$ is abelian then $G$ is soluble. The proof of the latter result depends on the classification of finite simple groups. In contrast to these results, we give some examples where the groups $Γ$ and $G$ have different composition factors. In particular, we show that a soluble extension may admit a Hopf-Galois structure of insoluble type.

연구 동기 및 목표

• 갈루아 군 $ \Gamma $ 와 유형군 $ G $ 의 군론적 성질이 상호로 얼마나 제약을 받는지 조사하기.
• 유형군 $ G $ 의 가소성이 갈루아 군 $ \Gamma $ 의 가소성과 동치인지, 그 반대의 경우도 마찬가지인지 판단하기.
• 갈루아 군 $ \Gamma $ 와 유형군 $ G $ 가 반드시 동일한 구성 인자를 가져야 한다는 가정을 반박하기 위해 반례를 제시하기.
• 유한 단순군의 분류를 활용하여 아벨 갈루아 군이면 가소적인 유형군이 됨을 증명하기.

제안 방법

• 힐 $ p' $-하위군 이론을 적용하여, $ G $ 가 노름화 가능하면 $ \Gamma $ 는 가소적임을 증명하기.
• 비아벨 단순군에서 아벨 하위군에 관한 바운드를 포함한 유한 단순군의 분류에 기반한 바드빈의 결과를 사용하여, $ \Gamma $ 가 아벨이면 $ G $ 는 가소적임을 보여주기.
• 유한 비아벨 단순군이 소수 거듭제곱 지수의 하위군을 가질 수 있음을 보여주는 정리 6(Guralnick)을 활용하여, $ \Gamma = H \times J $ 인 갈루아 확장을 구성하기. 여기서 $ H $ 는 힐 $ p' $-하위군이고 $ J $ 는 시로프 $ p $-하위군이다.
• 유니타리 공간에서 최대 자기 수직 부분공간의 집합에 정규적으로 작용하는 순서 $ p^a $ 인 정규 하위군 $ J $ 가 존재함을 확인하기 위해, $ \mathrm{PSU}_4(2) $ 에서의 명시적 행렬 구성을 사용하기.
• 레마 6.1과 레마 6.5를 적용하여, $ \Gamma = H \times J $ 인 경우에 $ H $ 가 힐 $ p' $-하위군이고 $ J $ 가 시로프 $ p $-하위군일 때, 유형 $ G $ 의 훌프-갈루아 구조가 존재함을 증명하기.
• 사영 공간과 자기 수직 부분공간 위에서의 군 작용을 이용하여, $ \mathrm{Perm}(\Gamma) $ 의 정규 하위군을 구성함으로써, 특정 유형의 훌프-갈루아 구조의 존재를 보장하기.

실험 결과

연구 질문

• RQ1 훌프-갈루아 구조에서 유형군 $ G $ 가 노름화 가능하면 갈루아 군 $ \Gamma $ 는 가소적이어야 하는가?
• RQ2 갈루아 군 $ \Gamma $ 가 아벨이면 유형군 $ G $ 는 가소적이어야 하는가?
• RQ3 갈루아 군이 가소적이라도 유형군이 비가소적일 수 있는 훌프-갈루아 구조를 가진 갈루아 확장이 존재하는가?
• RQ4 훌프-갈루아 구조에서 $ \Gamma $ 와 $ G $ 의 구성 인자가 반드시 일치하는가?
• RQ5 유한 비아벨 단순군 $ G $ 에 대해, 소수 거듭제곱 지수의 하위군 $ H $ 가 존재할 경우, $ \Gamma = H \times J $ 에서 훌프-갈루아 구조가 존재할 수 있는 군론적 조건은 무엇인가?

주요 결과

• 유형군 $ G $ 가 노름화 가능하면, 힐 $ p' $-하위군 이론에 의해 갈루아 군 $ \Gamma $ 는 반드시 가소적임이 입증된다.
• 갈루아 군 $ \Gamma $ 가 아벨이면 유형군 $ G $ 는 가소적임이 입증되며, 이 결과는 유한 단순군의 분류와 비아벨 단순군에서 아벨 하위군의 크기 상한에 의존한다.
• 갈루아 군 $ \Gamma $ 가 가소적인 갈루아 확장이 존재하며, 이는 비가소적 유형의 훌프-갈루아 구조를 가질 수 있음을 보여주며, 이는 $ \Gamma $ 와 $ G $ 가 서로 다른 구성 인자를 가질 수 있음을 시사한다.
• 유한 비아벨 단순군 $ G $ 가 소수 거듭제곱 지수 $ p^a $ 의 하위군 $ H $ 를 가질 경우, $ \Gamma = H \times J $ 인 갈루아 확장이 존재하며, 이는 유형 $ G $ 의 훌프-갈루아 구조를 가질 수 있다. 여기서 $ J $ 는 시로프 $ p $-하위군이다.
• 특히 $ G = \mathrm{PSU}_4(2) $ 의 경우, 행렬 $ A $ 와 $ B $ 를 통해 순서 27인 정규 하위군 $ J $ 가 명시적으로 구성되었으며, 이는 $ J $ 가 27개의 최대 자기 수직 부분공간의 집합에 정규적으로 작용함을 보여준다.
• 이러한 정규 하위군의 구성은 갈루아 군이 힐 $ p' $-하위군과 시로프 $ p $-하위군의 직곱이지만, 비아벨 유형의 훌프-갈루아 구조가 존재함을 확인한다.