[论文解读] Group Structures on Families of Subsets of a Group

Mario Gómez, Sergio R. López-Permouth+3 more|arXiv (Cornell University)|Apr 5, 2016

Advanced Algebra and Logic被引用 3

一句话总结

本文引入了幂群——在子集乘积运算下构成群的群 G 的非空子集族。它刻画了其所有幂群均为子商群（子群的商群）的群，证明当且仅当每个元素的阶有限时成立。研究发现，并非所有幂群都同构于子商群，以 ℚ 为例，存在非同构的幂群。

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 的子集族在子集乘积运算下形成群的性质。
• 刻画所有幂群同构于子商群（子群的商群）的群。
• 探讨子商群与更广一类称为“陪集群”的幂群之间的区别。
• 确定幂群同构于子商群的条件，以及何时不同构。
• 研究幂群的结构性质，例如单位元是否必须为子群，或是否必须包含群的单位元。

提出的方法

• 将幂群定义为群 G 的非空子集族，且在子集乘积运算 ab = {gh | g∈a, h∈b} 下封闭。
• 引入两类关键结构：子商群（子群的商群）和陪集群（由满足 E²=E 且具有类似正规性条件的子集 E 诱导）。
• 使用群论论证，证明四个条件等价：为子商群、单位元为子群、在幂群中对逆元封闭、在子群上构成划分。
• 构造显式例子，如 ℤ 和 ℚ，以说明何时所有幂群均为陪集群，或何时不是。
• 应用“底层群”概念：若 G₁ 的幂群同构于 G₂，则称 G₂ 底层于 G₁。
• 使用基数论证表明 ℚ 存在一个同构于 ℝ 的幂群，因此不可能同构于 ℚ 的任何子商群。

实验结果

研究问题

• RQ1 哪些群具有所有幂群均为子商群（即子群的商群）的性质？
• RQ2 在何种条件下，一个群的所有幂群都同构于子商群？
• RQ3 一个群是否可能拥有一个不同构于任何子商群的幂群？
• RQ4 关系“G₂ 底层于 G₁”是否在群之间具有传递性？
• RQ5 若一个群底层于另一个群，它们共享哪些结构性质？

主要发现

• ℤ 的唯一幂群是陪集群，且所有此类幂群都同构于子商群。
• 加法群 ℚ 有一个同构于 ℝ 的幂群，该幂群不可数，因此不可能同构于 ℚ 的任何子商群。
• 幂群是子商群当且仅当其单位元是 G 的子群。
• 幂群的单位元无需包含 G 的单位元，也无需是子群。
• 陪集群不一定是划分，与子商群不同，且其单位元可不包含 e。
• 存在彼此互为底层的非同构群，例如 ℚ 及其同构于 ℝ 的幂群。