[논문 리뷰] Hypergroups over the group and generalizations of Schreier's theorem on group extensions

Samuel H. Dalalyan|arXiv (Cornell University)|2014. 03. 24.

Advanced Topics in Algebra참고 문헌 1인용 수 3

한 줄 요약

이 논문은 군의 확장을 일반화하기 위해 군 위의 하이퍼그룹이라는 새로운 개념을 도입한다. 오른쪽 완전대표자에 대한 하이퍼그룹 구조를 정의함으로써, 차수 $ m $인 군 확장의 동형류와 군 작용에 대한 하이퍼그룹의 궤도 사이에 자연스러운 전단사 사상이 수립되며, 이는 고전적 코homology 기반의 확장 분류를 통합하고 비아벨 군의 경우에도 확장한다.

ABSTRACT

Let $H$ be a group, $m$ be a positive integer, $Ext_m H$ be the set of all isomorphic in $G$ classes of group monomorphisms $φ: H ightarrow G$ such that index of $φ(H)$ in $G$ is $m$. The main goal of this paper is to describe the elements of $Ext_m H$ in terms of a new concept of hypergroups over the group. The obtained result is a very broad generalization of the Schreier theorem (1926). As an application, a series of intermediate generalizations is obtained; particularly, a description of the set $Ext (H, Q)$ of isomorphic classes of all extensions of a noncommutative group $H$ by $Q$.

연구 동기 및 목표

• 1926년 Schreier의 군 확장에 관한 정리를 비아贝尔 군으로 일반화하기 위해 새로운 대수적 구조를 사용하는 것.
• 군, 체, 선형 공간을 통합하는 프레임워크로써 군 위의 하이퍼그룹을 정의하고 특성화하는 것.
• 차수 $ m $인 군 확장의 동형류와 군 작용에 대한 하이퍼그룹의 궤도 사이에 자연스러운 전단사 사상을 수립하는 것.
• 두 차수 코homology를 통해 비아벨 정규부군에 대한 확장의 코homology 기반 분류를 확장하는 것.
• 군 $ H $가 아벨일 때 Schreier의 원래 정리를 특수한 경우로 회복하는 것.

제안 방법

• 군 $ G $의 부분군 $ H $에 대한 오른쪽 완전대표자 $ M $을 사용하여 군 $ H $ 위의 하이퍼그룹을 정의하고, 구조 매핑 $ \theta = (\Phi, \Psi, \Xi, \Lambda) $를 도입한다.
• 하이퍼그룹과 관련된 (외부) 정확한 곱의 개념을 도입하여 직접곱, 반직접곱, Neumann의 일반곱을 일반화한다.
• 집합 $ Hg(H,M) $인 군 $ \mathcal{G} $와 하이퍼그룹의 동형류 위에 작용하는 $ \mathcal{A} $를 구성한다.
• 두 차수 코체인 $ \kappa \in H^M $, 코경계 $ \Lambda_\kappa $, 그리고 코homology 군 $ H^2((M,\Xi), H, \underline{\Psi}) $를 정의한다.
• 군 $ H $가 아벨일 경우, $ B^2((M,\Xi), H, \underline{\Psi}) $ 가 $ Z^2((M,\Xi), H, \underline{\Psi}) $ 의 정규부군임을 증명하여 몫 코homology 군을 정의할 수 있도록 한다.
• 자연스러운 전단사 사상 $ Ext_m(H) \cong Hg(H,M)/\mathcal{A} $ 를 수립하고, 주어진 몫군 $ Q $에 따라 확장을 분류하는 데 이를 정교화한다.

실험 결과

연구 질문

• RQ1 고정된 차수 $ m $인 군 확장을 통합적인 대수적 구조를 통해 어떻게 분류할 수 있는가?
• RQ2 Schreier의 군 확장에 관한 정리는 아벨 정규부군을 초월하여 일반화될 수 있는가?
• RQ3 군 위의 하이퍼그룹은 군 확장을 매개화하는 데 어떤 역할을 하는가?
• RQ4 구조 매핑 $ \Phi, \Psi, \Xi, \Lambda $ 는 확장에서의 군 곱셈을 어떻게 표현하는가?
• RQ5 두 차수 코homology 군 $ H^2(Q, H, \underline{\Psi}) $ 가 $ H $ 에 대한 $ Q $ 의 확장을 분류하는 데 어떤 조건에서 성립하는가?

주요 결과

• 차수 $ m $인 군 확장의 동형류 집합 $ Ext_m(H) $ 과 군 작용 $ \mathcal{A} $ 에서의 군 $ H $ 위의 하이퍼그룹의 몫집합 $ Hg(H,M)/\mathcal{A} $ 사이에 자연스러운 전단사 사상이 존재한다.
• 정규 확장의 집합 $ Ext_{m,0}(H) $ 는 $ Hg_0(H,M)/\mathcal{A} $ 와 전단사이며, 여기서 $ Hg_0 $ 는 $ \Phi $-행동이 자명한 하이퍼그룹의 집합이다.
• 고정된 동형류 $ [\Xi] $ 에 대해, 집합 $ Hg_0(H,M,[\Xi])/{\mathcal{A}} $ 는 $ Ext(H,Q) $ 와 전단사이며, 여기서 $ Q = (M,\Xi) $ 이다.
• 군 $ H $ 가 아벨일 경우, 사상 $ j: Hg_0(H,M,\Xi,\Psi)/\mathcal{A}_0 \to H^2((M,\Xi), H, \underline{\Psi}) $ 는 자연스러운 전단사 사상이며, Schreier의 정리를 특수한 경우로 복원한다.
• 군 $ H $ 가 아벨일 경우, 두 차수 코homology 군 $ H^2((M,\Xi), H, \underline{\Psi}) $ 는 $ H $ 에 대한 $ Q $ 의 확장을 분류하며, 분류 결과는 역함수 $ \underline{\Psi} $ 에 따라 달라진다.
• 일반적으로 군 $ H $ 가 비아벨일 경우, $ B^2 $ 가 정규부군이 아니며, 비가환성으로 인해 몫군을 만들 수 없기 때문에 이 구성은 실패한다.