[논문 리뷰] Group Structures on Families of Subsets of a Group

Mario Gómez, Sergio R. López-Permouth외 3명|arXiv (Cornell University)|2016. 04. 05.

Advanced Algebra and Logic인용 수 3

한 줄 요약

이 논문은 군 G의 공집합이 아닌 부분집합들의 집합들—집합 곱 연산에 대해 군을 이루는 '파wr 그룹(power groups)'을 도입한다. 모든 원소의 순서가 유한일 때 정확히 그와 같은 조건에서, 유일한 파워 그룹이 부분상구조(하위군의 상구조)인 군을 특성화한다. 연구는 모든 파워 그룹이 부분상구조와 동형이 되지 않는 경우가 있음을 드러내며, 이는 ℚ가 비동형 파워 그룹이 존재하는 반례가 된다.

ABSTRACT

A binary operation on any set induces a binary operation on its subsets. We explore families of subsets of a group that become a group under the induced operation and refer to such families as power groups of the given group. Our results serve to characterize some types of groups in terms of their power groups. In particular, we consider when the only power groups of a group are the factor groups of its subgroups and when that is the case up to isomorphism. We prove that the former are precisely those groups for which every element has finite order and provide examples to illustrate that the latter is not always the case. In the process we consider several natural questions such as whether the identity element of the group must belong to the identity element of a power group or the inverse of an element in a power group must consist of the inverses of its elements.

연구 동기 및 목표

• 군 G의 부분집합들의 가족이 집합 곱 연산에 대해 군을 이루는지 조사한다.
• 모든 파워 그룹이 부분상구조(하위군의 상구조)와 동형이 되는 군을 특성화한다.
• 부분상구조와 더 넓은 범주인 '여러분류군(cosets)'으로 불리는 파워 그룹의 범주 사이의 차이를 탐색한다.
• 파워 그룹이 부분상구조와 동형이 되는 조건과 그렇지 않은 조건을 규명한다.
• 파워 그룹의 구조적 성질을 검토한다. 예를 들어 항등원이 하위군이거나 항등원을 포함해야 하는지 여부를 고려한다.

제안 방법

• 파워 그룹을 군 G의 공집합이 아닌 부분집합들의 집합으로 정의하며, 이는 집합 곱 연산 ab = {gh | g∈a, h∈b}에 대해 닫혀 있다.
• 두 가지 핵심 클래스를 도입한다: 부분상구조(하위군의 상구조)와 분할 조건을 만족하는 부분집합 E(즉, E²=E 이며 정규성 유사 조건을 만족함)에 의해 유도되는 '여러분류군(cosets)'
• 군론적 추론을 통해 네 가지 조건이 서로 동치임을 증명한다: 부분상구조임, 항등원이 하위군임, 파워 그룹 내에서 역원이 존재함, 하위군의 분할을 이룸.
• 예를 들어 ℤ와 ℚ를 구체적으로 구성하여, 모든 파워 그룹이 분류군이거나 아닐 경우를 보여준다.
• 기본 군의 개념을 적용한다: G₂가 G₁의 기초를 이룬다. 즉, G₁이 G₂와 동형인 파워 그룹을 가질 때.
• 기수의 추론을 통해 ℚ가 ℝ과 동형인 파워 그룹을 가지며, 따라서 어떤 부분상구조와도 동형이 아니라는 것을 보여준다.

실험 결과

연구 질문

• RQ1 모든 파워 그룹이 부분상구조(즉, 하위군의 상구조)인 군은 어떤 것인가?
• RQ2 어떤 조건에서 군의 모든 파워 그룹이 부분상구조와 동형이 되는가?
• RQ3 군이 부분상구조와 동형이 되지 않는 파워 그룹을 가질 수 있는가?
• RQ4 'G₂가 G₁를 기초로 한다'는 관계가 군 간에 추이적일 수 있는가?
• RQ5 한 군이 다른 군을 기초로 할 경우, 그들이 공유하는 구조적 성질은 무엇인가?

주요 결과

• ℤ의 유일한 파워 그룹은 분류군이며, 이러한 모든 파워 그룹은 부분상구조와 동형이다.
• 덧셈 군 ℚ는 ℝ과 동형인 파워 그룹을 가지며, 이는 비가산이므로 ℚ의 어떤 부분상구조와도 동형이 될 수 없다.
• 파워 그룹이 부분상구조이기 위한 필요충분조건은 그 항등원이 G의 하위군이어야 한다는 것이다.
• 파워 그룹의 항등원이 G의 항등원을 포함할 필요는 없으며, 하위군일 필요도 없다.
• 분류군은 반드시 분할을 이루지는 않으며, 부분상구조와 달리 항등원이 e를 포함하지 않을 수 있다.
• 서로 비동형인 군이 상호로 기초를 이룰 수 있으며, 예를 들어 ℚ와 그 파워 그룹이 ℝ과 동형일 경우가 있다.