群子集的乘积

✍ dations ◷ 2025-12-02 02:02:53 #群论,二元运算

在数学,若和为群的子集,则其乘积为的子集,其定义为

其中,和不必然需要是子群。其乘积的结合律源自群的结合律。因此,群子集的乘积定义出了一个于幂集上的自然幺半群结构。

即使和为的子群,其乘积也不必然会是个子群。其乘积为子群当且仅当 = 。在这一情形之下,会是个由和生成出的群,即 = = < ∪ >。若或有一是的正规子群,上述情形便会满足,会是个子群。设是正规子群,则根据第二同构定理, ∩ 是的正规子群且/ 同构于 /( ∩ )。

若为一有限群,且和为的子群,则的元素个数可由给定:

即使和都不是正规子群,上述公式也一样适用。

特别地,如果和的交集仅为单位元,那么的每一个元素都可以唯一地表示为乘积,其中位于内,位于内。如果和还是可交换的,那么就是一个群,称为扎帕-塞普乘积。更进一步,如果或在中正规,那么便称为半直积。最后,如果和都在中正规,那么便称为直积。

相关

  • 头孢三嗪头孢曲松(Ceftriaxone),商品名为罗氏芬(Rocephin),是一种可用于治疗如革兰氏阳性菌及革兰氏阴性菌等多种细菌感染的抗生素,包括中耳炎、心内膜炎、脑膜炎、肺炎、骨关节炎、腹腔内
  • 台东美术馆台东美术馆(英语:Taitung Art Museum)位于台湾台东县台东市区中,为全台第一座县级美术馆,其又有东美馆之称呼,目前由台东县政府文化处管理。台东美术馆最早是台东县政府为配合行政
  • Achatina fulica非洲大蜗牛(学名:Achatina fulica)是腹足纲动物,为陆栖蜗牛。俗名褐云玛瑙螺、菜螺。非洲大蜗牛也被列入世界百大外来入侵种之一。成体壳长一般为7-8公分,最大则可长到超过20公分
  • 坪顶古圳七星墩圳今又另称或包含坪顶古圳、双溪圳及登峰玔,为台湾大台北地区史载最早开发的人工水圳。该水圳初建于1725年(清朝雍正年间),开垦者为台湾举人王锡棋。七星墩圳之名源自该圳
  • 刘易斯与克拉克刘易斯与克拉克远征(英语:Lewis and Clark expedition,1804年5月–1806年9月)是美国国内首次横越大陆西抵太平洋沿岸的往返考察活动。领队为美国陆军的梅里韦瑟·刘易斯上尉(Meri
  • 大肠 (脏腑)据中医脏象学说,大肠与胆囊、胃、小肠、膀胱、三焦合称“六腑”;而大肠与“肺”互为脏腑。主要功能为传导糟粕和吸收津液。《灵枢.肠胃》对之的描述:“回肠当脐,在环回周叶积当下
  • 李夫人 (北魏献文帝)李氏(5世纪?-469年),北魏献文帝的妃子。拓跋宏的母亲。中山安喜人,父亲名李惠,母亲韩氏。李氏容貌婉丽、性情温和,年18岁选入东宫给年幼的太子拓跋弘为妾。天安元年(466年),十二岁的拓
  • 曾威豪曾威豪(1980年3月3日 - ),台湾艺人,出生于台东县卑南乡,绰号瘦瘦,昆山科技大学视觉传达设计系毕业。于2008年参加台湾台视主办的歌唱选秀节目《超级偶像》第二季,并获得第八名。现
  • 米哈伊尔·谢苗诺维奇·霍津米哈伊尔·谢苗诺维奇·霍津(俄语:Михаи́л Семёнович Хо́зин,1896年10月22日(11月3日)-1979年2月27日),苏联上将。1896年,生于坦波夫省萨拉托夫的斯卡奇哈镇。
  • 黄色笑话黄色笑话,也叫咸湿笑话、色情笑话、有味笑话、荤笑话、限制级笑话等,即带有色情成分的笑话。讲黄色笑话的行为称为开黄腔。唐朝诗人李白曾经在唐玄宗天宝元年(742年)供奉翰林。