拟群

✍ dations ◷ 2025-10-15 01:53:34 #非结合代数,群论,拉丁方,代数结构

在数学中,特别是抽象代数里,拟群是一种类似于群的代数结构。拟群与群的相像之处是也能够进行除法运算,但拟群中并没有群所拥有的结合律。有单位元的拟群称作幺拟群或者圈(loop)。

拟群的正规定义有两种,分别带有一种和三种二元运算。

一个拟群 (, *) 是一个集合 与一个二元运算 * 的结合(即一个原群),满足对 中的任意元素 和 ,都存在唯一的 中元素 和 ,使得:

这两个唯一的元素被记作: = \ 和 = / 。其中“\” 和 “/”分别表示被二元运算所定义的“左除法”和“右除法”。拟群的公理化需要用到存在量词,因此也就需要建立在一阶逻辑之上。

拟群的第二个定义是建立在泛代数的背景中。泛代数希望代数结构为簇,也就是说其公理化过程应该只需要到等式的概念。在这样的要求下,拟群被定义为:

一个拟群 (, *, \, /) 是一种 (2,2,2) 代数,其满足等式:

因此如果 (, *) 是依据第一种定义的拟群,那么 (, *, \, /) 则是其在泛代数范畴内对应的概念。

一个有单位元的拟群称为一个幺拟群或一个圈,也可称作一个环,这里的单位元是指 中元素 使得:

可以证明单位元 是唯一的,并且这时每一个 中元素都有唯一的一个左逆元和右逆元。

拟群具有可消去性:如果 = ,那么 = 。同样地,如果 = ,那么 = 。

拟群 的定义说明拟群中的左乘变换和右乘变换:

都是 到自身的双射。原群 是拟群当且仅当这两个变换是双射变换,而且它们的逆变换给出了右除和左除变换:

在这种标记下,拟群写作:

一个有限拟群的乘法构成的乘法表是一个拉丁方:一个 × 的表格,每行每列都是 n 个不同的元素的排列,并且每个元素恰好出现在每一行和每一列各一次。

反之,每个拉丁方都可以以多种方式成为一个拟群的乘法表。

对于每个圈,圈中的每个元素都有左逆和右逆:

称一个圈是双边可逆的,如果对圈所有的 , x λ = x ρ {\displaystyle x^{\lambda }=x^{\rho }}  : → 满足 () = ()()。 拟群同态保持了左右除法以及单位元(如果有的话)。

设 和 为拟群,一个从 到 的 拟群同伦 是一个从 到 的映射三元组(α, β, γ) 使得对 中所有的 , ,有

三个映射都相同时,就是一个拟群同态。

一个同痕是使得 (α, β, γ) 中所有的三个映射都是双射的拟群同伦。两个拟群是同痕的当且仅当它们之间存在同痕映射。在拉丁方中,三元组 (α, β, γ) 由第 α 和第 β 列的一个置换以及其余集合上的一个置换 γ 给出。

一个自同痕是从 射到自身的同痕。一个拟群的所有自同痕构成一个群。

每个拟群都与某个圈同痕。如果一个圈与某个群同痕,那么它与此群同构,因此也为一个群。但是,如果一个拟群与某个群同痕,由于缺乏单位元,拟群本身不一定是群。比如说,实数集合 R 与其上的运算(+)/2 构成的拟群同痕于 R 上的加法群,但它本身不是群。

相关

  • 胚层胚层(germ layer)亦称为生殖上皮,但较少使用,是动物胚胎形成时的一群细胞。所有动物都具有胚层,其中脊椎动物的三胚层构造特别显著,而海绵动物的胚层最为简单。真后生动物(比海绵复
  • LimalokLimalok(原称Harrie或Harriet),是白垩纪—古新世时期成型的海底平顶山,是太平洋东南马绍尔群岛的一座海底山(水下火山)。它可能由今法属波利尼西亚一带的火山热点形成。Limalok坐
  • 人类免疫不全病毒人类免疫缺陷病毒(英语:human immunodeficiency virus,簡稱HIV,又称艾滋病毒)是一种感染人类免疫系统细胞的慢病毒,属逆转录病毒的一种。普遍认为,人类免疫缺陷病毒的感染导致艾滋
  • 雅各布弗朗索瓦·雅各布(法语:François Jacob,1920年6月17日-2013年4月19日)是一位犹太裔法国生物学家,他与雅克·莫诺发现了酶在原核生物转录作用调控中的角色,也就是后来所知的乳糖操
  • 福州平潭壳丘头遗址壳丘头遗址,是位于中国福建省平潭县平原镇南垄村东的古遗址,其历史年代为新石器时代至商朝,现为第八批全国重点文物保护单位的167处古遗址之一。壳丘头遗址在1991年4月17日获公
  • 谭纳标准谭纳标准,又称谭纳阶段(英语:Tanner scale),是用以测量青少年儿童和成年人身体发育的标准。标准用以测量身体初级和第二外部性征的发育,如乳房大小、生殖器、睾丸体积、阴毛和腋毛
  • 欧洲大平原东欧平原位于欧洲东部,范围北起北冰洋,南至黑海、里海之滨;东起乌拉尔山,西至波罗的海,面积近400万平方公里,平均海拔170米。东欧平原大部分在俄罗斯境内,因此又称为俄罗斯平原、欧
  • 葱烧海参葱烧海参是鲁菜及辽菜的一种。葱烧海参以海参为主料,葱为配料,进行料理。北京丰泽园制作的鲁菜“葱烧海参”在当地为正宗代表之一。
  • 商用客机座椅商用客机座椅是供乘客们在航空旅行时坐的。这种座位通常整齐排列在机身中。座位的布局图通常被称为座位图。在早期的的飞机上,座椅往往是一般的家用扶手椅,但这种座椅对于飞行
  • 李金龙 (园艺)李金龙(1947年-),台湾农学家,曾任行政院农业委员会主任委员。1970年毕业于国立中兴大学园艺学系,1980年汉诺威大学园艺暨景观系博士。曾任国立台湾大学园艺学系兼任教授、国立中兴